代数几何：仿射簇-理想的对应关系，理想的和、积、交

参考文献：Ideals, Varieties, and Algorithms (4th ed.) [Cox, Little & O’Shea 2015-06-14]

前置文章：仿射簇 和 Groebner基、消元 和 扩展

Nullstellensatz

给定仿射簇$V\subseteq k^n$，那么就可以写出一个理想：
I ( V ) = { f ∈ k [ x 1 , ⋯   , x n ] : f ( a ) = 0 , ∀ a ∈ V } \pmb I(V) = \{ f \in k[x_1,\cdots,x_n]: f(a)=0 ,\forall a \in V \} I(V)={f∈k[x1​,⋯,xn​]:f(a)=0,∀a∈V}
给定理想$I\in k[x_1,\cdots ,x_n]$，那么就可以写出一个仿射簇：
V ( I ) = { a ∈ k n : f ( a ) = 0 , ∀ f ∈ I } \pmb V(I) = \{ a \in k^n: f(a) = 0, \forall f \in I \} V(I)={a∈kn:f(a)=0,∀f∈I}
然而，上述的对应关系不是一一的。例如，对于任意域$k$，$<x>$和$<x^2>$是$k[x]$上的不同的理想，但是它们的簇相同： V ( x ) = V ( x 2 ) = { 0 } \pmb V(x) = \pmb V(x^2) = \{0\} V(x)=V(x2)={0}；又或者不是代数闭域的$R$，那么$1,1+x^2,1+x^2+x^4$都没有实数根，从而$V(1)=V(1+x^2)=V(1+x^2+x^4)=\varnothing$

弱零点定理（The Weak Nullstellensatz）：令$k$是代数封闭域（algebraically closed field），$I\in k[x_1,\cdots ,x_n]$是理想，它满足$V(I)=\varnothing$，那么$I=k[x_1,\cdots ,x_n]$

The original German name Nullstellensatz: a word formed, in typical German fashion, from three simpler words: Null (= Zero), Stellen (= Places), Satz (= Theorem).

也就是说，对于代数闭域，空簇和全空间一一对应。如果令$k=C$，那么就是Fundamental Theorem of Algebra for multivariable polynomials：如果一组多项式生成了$C[x_1,\cdots ,x_n]$中的真理想，那么它们一定在$C^n$内有公共零点。

consistency algorithm：

1. 给定代数闭域$k$上的多项式组$f_1,\cdots ,f_s\in k[x_1,\cdots ,x_n]$，判断是否有解
2. 首先计算理想$I=<f_1,\cdots ,f_s>$的约化Groebner基，字典序任意
3. 如果这组基是 { 1 } \{1\} {1}，那么方程组没有公共零点
4. 如果这组基不是 { 1 } \{1\} {1}，那么方程组一定有至少一个公共零点

Hilbert零点定理（Hilbert’s Nullstellensatz）：令$k$是代数封闭域，对于$f,f_1,\cdots ,f_s\in k[x_1,\cdots ,x_n]$，那么
$$f\in I(V(f_1,\cdots ,f_s))$$
当仅当存在$m\in N^{+}$，使得
$$f^m\in I:=<f_1,\cdots ,f_s>\subseteq k[x_1,\cdots ,x_n]$$
proof:

$\Leftarrow$，由于$f^m\in I$，那么$(f^m)(V(I))=0$，这仅当$f(V(I))=0$，于是$f\in I(V(I))$

$\Rightarrow$，我们巧妙地构造如下理想，
$$\tilde{I}=<f_1,\cdots ,f_s,1-yf>\subseteq k[x_1,\cdots ,x_n,y]$$
对于点$(a_1,\cdots ,a_n,a_{n+1})\in k^{n+1}$，由于$f\in I(V(f_1,\cdots ,f_s))$

1. 如果$(a_1,\cdots ,a_n)\in V(f_1,\cdots ,f_s)$，那么$f(a_1,\cdots ,a_n)=0$，从而$1-a_{n+1}f(a_1,\cdots ,a_n)=1\ne 0$，因此$(a_1,\cdots ,a_n,a_{n+1})\notin V(\tilde{I})$
2. 如果$(a_1,\cdots ,a_n)\notin V(f_1,\cdots ,f_s)$，那么存在$1\le i\le s$，使得$f_i(a_1,\cdots ,a_n)\ne 0$，于是$(a_1,\cdots ,a_n,a_{n+1})\notin V(\tilde{I})$

所以，$V(\tilde{I})=\varnothing$，根据 the Weak Nullstellensatz，$1\in \tilde{I}$，
$$1=\sum _{i=1}^s{p}_i(x_1,\cdots ,x_n,y)f_i+q(x_1,\cdots ,x_n,y)(1-yf)$$
令$y=1/f$，那么
$$1=\sum _{i=1}^s{p}_i(x_1,\cdots ,x_n,1/f)f_i$$
两边同乘$f^m$，$m\in N^{+}$足够大，可以消去分母，那么就有
$$f^m=\sum _{i=1}^s\left(p_i\left(x_1,\cdots ,x_n,\frac{1}{f}\right)\cdot f^m\right)f_i$$
因此，$f^m\in I$，证毕。

Ideal - Variety Correspondence

令$V$是任意的仿射簇，如果对于某正整数$m$，有$f^m\in I(V)$，那么$f\in I(V)$。因为任意点$a\in V$，有$(f(a){)}^m=0$，如果$f(a)\ne 0$，那么矛盾。

根理想：理想$I$是根的（radical），它满足如果$\exists m\ge 1,f^m\in I$则导致$f\in I$。一个簇$V$，$I(V)$是根理想。

理想的根：令$I\subseteq k[x_1,\cdots ,x_n]$是理想，定义它的根（radical of $I$）：
I : = { f ∣ f m ∈ I , ∃ m ≥ 1 } \sqrt I := \{f | f^m \in I,\exist m \ge 1\} I ​:={f∣fm∈I,∃m≥1}
可以证明，$I\subseteq \sqrt{I}\subseteq k[x_1,\cdots ,x_n]$，它是根理想。

强零点定理（The Strong Nullstellensatz）：令$k$是代数封闭域，$I\in k[x_1,\cdots ,x_n]$是理想，那么
$$I(V(I))=\sqrt{I}$$
Ideal - Variety Correspondence：令$k$是任意域，

1. 映射
   $$I:affinevarieties\to ideals$$

   $$V:ideals\to affinevarieties$$

   是反包含的（inclusion-reversing）

   1. 如果$I_1\subseteq I_2$，那么$V(I_1)\supseteq V(I_2)$
   2. 如果$V_1\subseteq V_2$，那么$I(V_1)\supseteq I(V_2)$

2. 对于任意的簇$V$，都有
   $$V(I(V))=V$$
   即$I$总是双射。

3. 对于任意的理想$I$，都有
   $$V(\sqrt{I})=V(I)$$

   因此$V$不是单射。

4. 如果$k$是代数闭域，那么限制到根理想上的映射
   $$I:affinevarieties\to radicalideals$$

   $$V:radicalideals\to affinevarieties$$

   是反包含的双射（inclusion-reversing bijections），两者互为逆映射。

因此，只要在代数闭域上工作，那么：

1. 关于仿射簇的任意问题，都可以转化为关于根理想的代数（algebra）问题
2. 关于根理想的任意问题，都可以转化为关于仿射簇的几何（geometry）问题

已知理想$I=<f_1,\cdots ,f_s>$，有如下三个问题：

1. Radical Generators：如何计算$\sqrt{I}$的一组基？
2. Radical Ideal：如何判断$I$是否是根理想？
3. Radical Membership：给定$f\in k[x_1,\cdots ,x_n]$，如何判断$f\in \sqrt{I}$是否成立？

Radical Membership

令$k$是任意域，理想
$$I=<f_1,\cdots ,f_s>\subseteq k[x_1,\cdots ,x_n]$$
给定某多项式$f\in k[x_1,\cdots ,x_n]$，构造理想
$$\tilde{I}=<f_1,\cdots ,f_s,1-yf>\subseteq k[y,x_1,\cdots ,x_n]$$
利用 Hilbert’s Nullstellensatz 的证明过程，有
$$f\in \sqrt{I}⟺\exists m\in N^{+},f^m\in I⟺1\in \tilde{I}$$
radical membership algorithm：

1. 给定任意域$k$上的理想$I=<f_1,\cdots ,f_s>$，判断某多项式$f$是否属于$\sqrt{I}$
2. 首先计算理想$\tilde{I}=<f_1,\cdots ,f_s,1-yf>$的约化Groebner基，字典序任意
3. 如果这组基是 { 1 } \{1\} {1}，那么$f\in \sqrt{I}$
4. 如果这组基不是 { 1 } \{1\} {1}，那么那么$f\notin \sqrt{I}$

Radical Generators

令$f\in k[x_1,\cdots ,x_n]$，令$I=<f>$是主理想（principal ideal），假设$f=c{f}_1^{e_1}{f}_2^{e_2}\cdots f_r^{e_r}$是唯一素分解，那么
$$\sqrt{I}=\sqrt{<f>}=<f_1{f}_2\cdots f_r>$$
它的根理想也是主理想，其生成元为$f_{red}=f_1{f}_2\cdots f_r$，叫做$f$的约化（reduction）。如果$f=f_{red}$，那我们称$f$是 reduced 或者 square-free 的多项式。

如果域$k\supseteq \mathbb{Q}$，那么主理想$I=<f>$的根为$\sqrt{I}=<f_{red}>$，其中
$$f_{red}=\frac{f}{GCD(f,\frac{\partial f}{\partial x_1},\cdots ,\frac{\partial f}{\partial x_n})}$$
可以利用后面介绍的理想的交来计算GCD，从而直接计算出$f_{red}$，不必做困难的素分解。

Sums, Products, Intersections

理想的和

令$I,J$是环$k[x_1,\cdots ,x_n]$上的理想，那么它们的和（sum）
I + J = { f + g : f ∈ I , g ∈ J } I+J = \{ f+g: f \in I,g \in J \} I+J={f+g:f∈I,g∈J}

• $I+J$是包含$I,J$的最小理想。

• 如果$I=<f_1,\cdots ,f_r>$，$J=<g_1,\cdots ,g_s>$，那么
  $$I+J=<f_1,\cdots ,f_r,g_1,\cdots ,g_s>\subseteq k[x_1,\cdots ,x_n]$$

• 根据上述性质，可以推出：
  $$<f_1,\cdots ,f_r>=<f_1>+\cdots +<f_r>$$

  即环$k[x_1,\cdots ,x_n]$中任意的理想（根据 Hilbert Basis Theorem 它们都是有限生成的），都可以分解为有限个主理想的和。

• 令$I,J$是环$k[x_1,\cdots ,x_n]$上的理想，那么
  $$V(I+J)=V(I)\cap V(J)$$
  任意的$a\in V(I+J)$，由于$I\subseteq I+J$，从而$a\in V(I)$，同理有$a\in V(J)$，于是$V(I+J)\subseteq V(I)\cap V(J)$

  任意的$a\in V(I)\cap V(J)$，对于$h\in I+J$，有$h=f+g,f\in I,g\in J$，那么$h(a)=f(a)+g(a)=0+0=0$，因此$a\in (I+J)$，于是$V(I+J)\supseteq V(I)\cap V(J)$

理想的积

令$I,J$是环$k[x_1,\cdots ,x_n]$上的理想，那么它们的积（product）
I ⋅ J = { f 1 g 1 + ⋯ + f r g r : f i ∈ I , g j ∈ J } I\cdot J = \{ f_1g_1 + \cdots + f_rg_r: f_i \in I,g_j \in J \} I⋅J={f1​g1​+⋯+fr​gr​:fi​∈I,gj​∈J}

• $I\cdot J$是理想，$I\cdot J\subseteq I$ 且 $I\cdot J\subseteq J$

• 如果$I=<f_1,\cdots ,f_r>$，$J=<g_1,\cdots ,g_s>$，那么
  $$I\cdot J=<f_i{g}_j:1\le i\le r,1\le j\le s>$$

• 令$I,J$是环$k[x_1,\cdots ,x_n]$上的理想，那么
  $$V(I\cdot J)=V(I)\cup V(J)$$
  任意的$a\in V(I\cdot J)$，它使得$f(a)g(a)=0,\forall f\in I,\forall g\in J$，如果$\exists g\in J,g(a)\ne 0$，那么一定有$f(a)=0,\forall f\in I$，从而$a\in V(I)$，反之亦然，于是$V(I\cdot J)\subseteq V(I)\cup V(J)$

  任意的$a\in V(I)\cup V(J)$，要么$f(a)=0,\forall f\in I$，要么$g(a)=0,\forall g\in J$，所以$f(a)g(a)=0,\forall f\in I,\forall g\in J$，因此任意的$h\in I\cdot J$，都有$h(a)=\sum 0=0$，从而$a\in V(I\cdot J)$，于是$V(I\cdot J)\supseteq V(I)\cup V(J)$

理想的交

令$I,J$是环$k[x_1,\cdots ,x_n]$上的理想，那么它们的交（intersection）
I ∩ J = { f : f ∈ I , f ∈ J } I\cap J = \{ f: f \in I, f \in J \} I∩J={f:f∈I,f∈J}

• $I\cap J$是理想，且$I\cdot J\subseteq I\cap J$

• 令$I,J$是环$k[x_1,\cdots ,x_n]$上的理想，那么
  $$V(I\cap J)=V(I)\cup V(J)=V(I\cdot J)$$
  由于$I\cdot J\subseteq I\cap J$，因此$V(I\cap J)\subseteq V(I\cdot J)=V(I)\cup V(J)$

  任意的$a\in V(I)\cup V(J)$，要么$f(a)=0,\forall f\in I$，要么$g(a)=0,\forall g\in J$，自然地对于任意的$h\in I\cap J$都有$h(a)=0$，从而$a\in V(I\cap J)$，于是$V(I\cap J)\supseteq V(I)\cup V(J)$

• 令$I,J$是环$k[x_1,\cdots ,x_n]$上的任意理想，那么
  $$\sqrt{I\cap J}=\sqrt{I}\cap \sqrt{J}$$
  如果$f\in \sqrt{I\cap J}$，那么$f^m\in I\cap J$，于是$f^m\in I$，即$f\in \sqrt{I}$，同理可证$f\in \sqrt{J}$，于是$\sqrt{I\cap J}\subseteq \sqrt{I}\cap \sqrt{J}$

  如果$f\in \sqrt{I}\cap \sqrt{J}$，那么$f^m\in I$且$f^p\in J$，那么$f^{m+p}\in I\cdot J\subseteq I\cap J$，因此$f\in \sqrt{I\cap J}$，于是$\sqrt{I\cap J}\supseteq \sqrt{I}\cap \sqrt{J}$

给定环$k[x_1,\cdots ,x_n]$上的理想$I$，以及环$k[t]$上的多项式$f(t)$，定义环$k[x_1,\cdots ,x_n,t]$上的理想
$$f(t)I:=<f(t)h(x):h(x)\in I>$$

1. 对于$I=<f_1,\cdots ,f_s>$，那么
   $$f(t)I=<f(t)f_1(x),\cdots ,f(t)f_s(x)>$$

2. 如果$g(x,t)\in f(t)I$，$a\in k$是任意的域元素，那么
   $$g(x,a)\in I$$

令$I,J$是环$k[x_1,\cdots ,x_n]$上的理想，那么它们的交可以表示为：
$$I\cap J=(tI+(1-t)J)\cap k[x_1,\cdots ,x_n]$$
algorithm for computing intersections of ideals：

1. 给定$I=<f_1,\cdots ,f_r>$，$J=<g_1,\cdots .g_s>$，构造
   $$tI+(1-t)J=<t{f}_1,\cdots ,t{f}_r,(1-t)g_1,\cdots ,(1-t)g_s>$$

2. 字典序$t>x_1>\cdots >x_n$，计算它的Groebner基$G$

3. 集合$G^{\prime }=G\cap k[x_1,\cdots ,x_n]$是理想$I\cap J$的一组Groebner基

特别地，如果$I=<f>,J=<g>\subseteq k[x_1,\cdots ,x_n]$是主理想，那么$I\cap J$也是主理想，且它的生成元为：
$$h=LCM(f,g)$$
algorithm for computing the least common multiple：

1. 为了计算$f,g\in k[x_1,\cdots ,x_n]$的最小公倍数，构造理想$I=<f>,J=<g>$
2. 利用algorithm for computing intersections of ideals，计算$I\cap J$的任意一组Groebner基$G$
3. 由于$I\cap J$仍是主理想，那么任取$h\in G$，都有$h=LCM(f,g)$

algorithm for computing the greatest common divisor：

1. 为了计算$f,g\in k[x_1,\cdots ,x_n]$的最大公因子，
2. 利用algorithm for computing the least common multiple，计算出$h=LCM(f,g)$
3. 输出$GCD(f,g)=\frac{f\cdot g}{h}$

注意，欧几里得算法对于多变量多项式的GCD会失效！当然，上述算法的效率也不算高，实践中使用更高效的1993年 DAVENPORT, SIRET and TOURNIER 的算法。