关于ℤ[x]-模范畴中Laurent多项式短正合列分裂性的问询

嘿，这个问题乍一看好像应该有个简单答案，但实际深究起来确实容易卡壳，我来一步步给你拆解：

首先明确核心结论：不是所有这类短正合列都可裂——也就是说，M未必和$\mathbb{Z}[x,x^{-1}]\oplus \mathbb{Z}[x,x^{-1}]$作为$\mathbb{Z}[x]$-模同构。

1. 先回忆模短正合列可裂的等价条件 #

对于环$R$上的短正合列$0\to A\to B\to C\to 0$，可裂的关键等价条件有两个：

• 存在$R$-模同态$s:C\to B$，使得$p\circ s = \text{id}_C$（$p$是$B\to C$的满同态）；
• 对应的Ext群$\text{Ext}_R^1(C,A)=0$，也就是所有从$C$到$A$的扩张都是平凡的。

这里$R=\mathbb{Z}[x]$，$A=C=\mathbb{Z}[x,x^{{-1}]$，所以我们只需要判断$\text{Ext}_{\mathbb{Z}[x]}}1(\mathbb{Z}[x,x^{{-1}],\mathbb{Z}[x,x}{-1}])$是否为零群。

2. 为什么Ext群非零？ #

首先，$\mathbb{Z}[x,x^{{-1}]$是$\mathbb{Z}[x]$关于乘法子集$S={x}n\mid n\geq0}$的局部化，它是平坦$\mathbb{Z}[x]$-模（局部化函子保持平坦性），但它不是投射$\mathbb{Z}[x]$-模——因为$\mathbb{Z}[x]$是UFD而非PID，而$\mathbb{Z}[x,x^{-1}]$是无限生成的$\mathbb{Z}[x]$-模，没法写成有限生成投射模的直和。

更直接的是，我们可以构造一个不可裂的扩张实例：
定义加法群$M = \mathbb{Z}[x,x^{-1}]\oplus \mathbb{Z}[x,x^{-1}]$，然后给它赋予$\mathbb{Z}[x]$-模结构：
对于任意$(a,b)\in M$，$x$的作用为：
$$x\cdot(a,b) = (xa + (b - b(1)), xb)$$
这里$b(1)$是将Laurent多项式$b$中的$x$替换为1得到的整数（Laurent多项式在$x=1$处有定义，因为没有分母为零的问题）。

现在验证这是一个短正合列：

• 嵌入映射$i:\mathbb{Z}[x,x^{-1}]\to M$定义为$i(a)=(a,0)$，显然是$\mathbb{Z}[x]$-模同态，且单射；
• 满射$p:M\to \mathbb{Z}[x,x^{-1}]$定义为$p(a,b)=b$，也是$\mathbb{Z}[x]$-模同态，且满射；
• $\ker p = {(a,0)\mid a\in\mathbb{Z}[x,x^{-1}]} = \text{Im }i$，满足正合性。

接下来证明这个扩张不可裂：
假设存在分裂同态$s:\mathbb{Z}[x,x^{-1}]\to M$，满足$p\circ s=\text{id}_{\mathbb{Z}[x,x^{{-1}]}$，那么$s(b)$必然形如$(h(b),b)$，其中$h$是$\mathbb{Z}[x]$-模同态$\mathbb{Z}[x,x}{-1}]\to \mathbb{Z}[x,x^{-1}]$。

根据$\mathbb{Z}[x]$-模的作用相容性，$x\cdot s(b) = s(xb)$，代入得：
$$x\cdot(h(b),b) = (xh(b) + (b - b(1)), xb)$$
$$s(xb) = (h(xb), xb)$$
因此必须满足：
$$xh(b) + (b - b(1)) = h(xb)$$
也就是：
$$h(xb) - xh(b) = b - b(1)$$

现在假设$h$是$\mathbb{Z}[x]$-模同态，那么$h$由它在$1$处的像唯一确定：设$h(1)=t\in\mathbb{Z}[x,x^{-1}]$，则$h(b)=b\cdot t$对所有$b\in\mathbb{Z}[x,x^{-1}]$成立。代入上式左边得：
$$h(xb)-xh(b)=xb\cdot t - x\cdot b\cdot t=0$$
但右边是$b - b(1)$，显然不恒为零（比如取$b=x^{{-1}$，右边是$x}{-1}-1\neq0$），矛盾。因此不存在这样的分裂同态$s$，这个扩张是不可裂的。

3. 总结 #

综上，存在形如$0\to \mathbb{Z}[x,x^{-1}]\to M \to \mathbb{Z}[x,x^{-1}]\to 0$的$\mathbb{Z}[x]$-模短正合列不可裂，对应的$M$也不和$\mathbb{Z}[x,x^{-1}]\oplus \mathbb{Z}[x,x^{-1}]$同构。当然，也存在可裂的情况（比如直和本身对应的正合列），但不是所有这类正合列都可裂。

内容的提问来源于stack exchange，提问作者cjackal