代数几何：簇的分解、理想的分解

Decomposition of Variety

利用理想的升链条件（ACC），以及理想和簇的对应关系，可以容易得到如下条件。

The Descending Chain Condition（DCC）：任意的仿射簇的递减序列
$$V_1\supseteq V_2\supseteq V_3\supseteq \cdots$$
最终都会稳定（stabilize），即存在一个正整数$N$，使得$V_N=V_{N+1}=\cdots$

令$V\subseteq k^n$是仿射簇，那么它可以写作有限并集：
$$V=V_1\cup V_2\cup \cdots \cup V_m$$
其中每个$V_i$都是不可约的簇。

proof：

假设$V$无法写成有限个不可约簇的并集，那么$V$本身是可约的，将它写作$V=V_1\cup V_1^{\prime }$，其中$V_1\ne V,V_1^{\prime }\ne V$

更进一步，$V_1,V_2$中至少有一个依然不可以写成有限个不可约簇的并集。不失一般性的，令$V_1$不可以写成有限个不可约簇的并集。那么$V_1$本身是可约的，将它写作$V_1=V_2\cup V_2^{\prime }$，其中$V_2\ne V,V_2^{\prime }\ne V$

继续迭代，我们得到了$V\supseteq V_1\supseteq V_2\supseteq \cdots$，同时$V\ne V_1\ne V_2\ne \cdots$，这不符合DCC，矛盾。

上述的分解不唯一，因为这些不可约簇可能会相互包含。下面排除掉相等的或者相包含的情况。

令$V\subseteq k^n$是仿射簇，那么它可以写作有限并集：
$$V=V_1\cup V_2\cup \cdots \cup V_m$$
其中每个$V_i$都是不可约的簇，同时$V_i⊊V_j,\forall i\ne j$。这叫做最小分解（minimal decomposition），或者不可约并集（irredundant union），其中每个$V_i$叫做$V$的不可约分量（irreducible components）

对于任意的簇$V$，不考虑$V_i$顺序，都存在唯一的最小分解。注意，这个“存在性”依赖于“有限并集”：例如仿射平面，可以写成单点（不可约簇）的并集，也可以写成一条仿射直线（不可约簇）和其他单点的并集。

令$V,W$是簇，且$W⊊V$，那么差$V\backslash W$是$V$的Zariski稠密集$⟺W$中不含$V$的不可约分量。

Decomposition of Radical Ideal

利用素理想和不可约簇的对应关系，可以给出根理想的分解。

令$k$是代数闭域，那么环$k[x_1,\cdots ,x_b]$上任意的根理想$I$，都可以写成有限交集
$$I=P_1\cap P_2\cap \cdots \cap P_r$$
其中$P_i$都是素理想，且$P_i⊊P_j,\forall i\ne j$。这叫做最小分解（minimal decomposition），或者不可约交集（irredundant intersection）

令$k$是代数闭域，给定环$k[x_1,\cdots ,x_b]$上一个真根理想$I$，写出它的最小分解$I={\bigcap }_{i=1}^r{P}_i$，那么$P_i$恰好就是出现在集合
{ I : f ∣ f ∈ k [ x 1 , ⋯   , x n ] } \{I:f|f \in k[x_1,\cdots,x_n]\} {I:f∣f∈k[x1​,⋯,xn​]}
里的那些真素理想。

proof：

由于$I$是真理想，从而$P_i$都是真理想。

对于任意的$f\in k[x_1,\cdots ,x_n]$，
$$I:f=(\bigcap _{i=1}^r{P}_i):f=\bigcap _{i=1}^r(P_i:f)$$
可以证明，如果素理想$P={\bigcap }_{i=1}^n{I}_i$，那么对于某些$i$，有$P=I_i$

另外，对于素理想$P$，

1. 如果$f\in P$，那么$P:f=<1>$
2. 如果$f\notin P$，那么$P:f=P$

假设$I:f$是真的素理想，那么 $\exists i$ 使得$I:f=P_i:f$，进而根据$I:f$是真的，得到$I:f=P_i$

反之，对于任意的$P_i$，选取
$$f\in (\bigcap _{j\ne i}^r{P}_j)\backslash P_i$$
那么$P_i:f=P_i$，且$P_j:f=<1>,\forall j\ne i$，因此$I:f={\bigcap }_{i=1}^r(P_i:f)=P_i$

更进一步，对于如下的三个问题：

1. Primality：判定一个理想是否是素的？
2. Irreducibility：判定一个仿射簇是否是不可约的？
3. Decomposition：如何找出簇和理想的最小分解？

上述的问题都有明确算法。对于代数封闭域，将仿射簇的问题转化为根理想的问题。判定簇$V$是否不可约，转化为判断根理想$I(V)$是否是素的，如果是素的，那么簇是不可约的。找出簇$V$的最小分解，转化为寻找根理想$I(V)$的最小分解，找到了分解$I={\bigcap }_{i=1}^r{P}_i$后，那么就有$V={\bigcup }_{i=1}^{r}V(P_i)$，其中的分量$V(P_i)$都是不可约的。

algorithm for finding the minimal decomposition of radical ideal：T. Becker, V. Weispfenning, Gröbner Bases (GTM 141)， Chapter 8.

Primary Decomposition of Ideal

上一节给出了根理想的分解。下面讨论任意理想的分解。

一个理想$I\subseteq k[x_1,\cdots ,x_n]$是初等的（primary），如果$fg\in I$，那么$f\in I$或者$\exists m\ge 1,g^m\in I$

容易看到，任意的素理想都是初等的，取$m=1$即可。

如果$I$是初等理想，那么它的根$P=\sqrt{I}$是包含$I$的最小素理想，我们称$I$是**$P-$初等的**（$P-$primary）

primary decomposition：对于任意理想$I\subseteq k[x_1,\cdots ,x_n]$，都可以写成有限交集
$$I=Q_1\cap Q_2\cap \cdots \cap Q_r$$
其中$P_i$都是初等理想。如果$\sqrt{Q_i}$两两不同，且$Q_i⊉{\bigcap }_{j\ne i}{Q}_j$，那么叫做 minimal primary decomposition 或者 irredundant primary decomposition.

引理：

1. 如果$I,J$都是初等理想，且$\sqrt{I}=\sqrt{J}$，那么$I\cap J$是初等的。
2. 如果$I$是初等的，$\sqrt{I}=P$，$f\in k[x_1,\cdots ,x_n]$，那么
   1. 若$f\in I$，则$I:f=<1>$
   2. 若$f\notin I$，则$I:f$是$P-$初等的
   3. 若$f\notin I$，则$I:f=I$

Lasker-Noether：任意的理想$I\subseteq k[x_1,\cdots ,x_n]$，都有最小初等分解。对于真理想$I$的最小初等分解$I={\bigcap }_{i=1}^r{Q}_i$，令$P_i=\sqrt{Q_i}$，那么$P_i$恰好就是集合
{ I : f ∣ f ∈ k [ x 1 , ⋯   , x n ] } \{ \sqrt{I:f} | f \in k[x_1,\cdots,x_n] \} {I:f ​∣f∈k[x1​,⋯,xn​]}
中的那些真的素理想。

推论：对于真的根理想$I$的最小初等分解$I={\bigcap }_{i=1}^r{Q}_i$，那么$Q_i$恰好就是集合
{ I : f ∣ f ∈ k [ x 1 , ⋯   , x n ] } \{ I:f | f \in k[x_1,\cdots,x_n] \} {I:f∣f∈k[x1​,⋯,xn​]}
中的那些真的素理想。

事实上，Lasker-Noether定理可以加强为：$P_i$恰好就是集合 { I : f ∣ f ∈ k [ x 1 , ⋯   , x n ] } \{ I:f | f \in k[x_1,\cdots,x_n] \} {I:f∣f∈k[x1​,⋯,xn​]}里的那些真的素理想。

最后，我们也可以证明，上述的最小初等分解是唯一的。

更进一步，对于如下的两个问题：

1. Primary Decomposition：如何计算一个理想$I$的最小初等分解的各个初等理想$Q_i$的一组基？
2. Associated Primes：如何计算对应的素理想$P_i=\sqrt{Q_i}$的一组基？

上述的问题也都有明确算法。

总结