代数几何：Affine Variety 和 Groebner Basis

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

Affine Sapce

给定域$k$，正整数$n$，定义$k$上的$n$维仿射空间为：
$$k^n=\{(a_1,\cdots ,a_n)|a_1,\cdots ,a_n\in k\}$$

特别地，$k^1$叫做 affine line，$k^2$叫做 affine plane

Affine Variety

给定域$k$，令$f_1,\cdots ,f_s$是多元多项式环$k[x_1,\cdots ,x_n]$上的元素，定义仿射簇：
$$V(f_1,\cdots ,f_s):=\{(a_1,\cdots ,a_n)\in k^n|f_i(a_1,\cdots ,a_n)=0,\forall 1\le i\le s\}$$
仿射簇就是方程$f_1=\cdots =f_s=0$的所有解的集合。如果$k=R$，那么仿射簇可以在$R^n$中绘画出来；比如圆锥截线（椭圆曲线、抛物线、双曲线）

如果给定方程组$f_1=0,\cdots ,f_s=0$，容易知道$h_1{f}_1+\cdots +h_s{f}_s=0,h_i\in k[x_1,\cdots ,x_n]$。也就是说，理想$<f_1,\cdots ,f_s>$中的所有元素都在$V(f_1,\cdots ,f_s)$上“消失”了。

根据Hilbert Basis Theorem，仿射簇仅与理想有关（与方程组无关），即如果$<f_1,\cdots ,f_s>=<g_1,\cdots ,g_t>=I$，那么$V(f_1,\cdots ,f_s)=V(g_1,\cdots ,g_t)=V(I)$

Ideal of V

令$V$是仿射簇，定义仿射簇的理想：
I ( V ) = { f ∈ k [ x 1 , ⋯   , x n ] ∣ f ( a 1 , ⋯   , a n ) = 0 , ∀ ( a 1 , ⋯   , a n ) ∈ V } I(V)=\{f\in k[x_1,\cdots,x_n] | f(a_1,\cdots,a_n)=0,\forall (a_1,\cdots,a_n) \in V\} I(V)={f∈k[x1​,⋯,xn​]∣f(a1​,⋯,an​)=0,∀(a1​,⋯,an​)∈V}
易知，$I(V)\subseteq k[x_1,\cdots ,x_n]$是理想。

令$V,W$都是$k^n$中的仿射簇，那么

1. $V\subseteq W$当仅当$I(V)\supseteq I(W)$
2. $V=W$当仅当$I(V)=I(W)$

如果域$k$是无限的，那么 I ( k n ) = { 0 } I(k^n)=\{0\} I(kn)={0}，只包含零多项式。

Orderings on the Monomials in $k[x_1,\cdots ,x_n]$

指数（Exponent，形如$\alpha =({\alpha }_1,\cdots ,{\alpha }_n)\in Z_{\ge 0}^n$），单项式（Monomial，形如$x^{\alpha }$），系数（Coefficient，形如$c\in k$），项（Terms，形如$c\cdot x^{\alpha }$）

单项式顺序（monomial ordering）是$Z_{\ge 0}^n$上的关系$>$，它满足如下条件：

1. 是全序关系，任意的一对$x^{\alpha },x^{\beta }$，都一定有$>,=,<$关系之一。良序关系自然导致了传递性。
2. 如果$\alpha >\beta$，对于$\forall \gamma \in Z_{\ge 0}^n$，都有$\alpha +\gamma >\beta +\gamma$
3. 是良序关系，如果$A\subseteq Z_{\ge 0}^n$是非空子集，那么$\exists \alpha \in A$，使得 ∀ β ∈ A \ { α } \forall \beta \in A \backslash \{\alpha\} ∀β∈A\{α}，都有$\beta >\alpha$

字典序：令$\alpha ,\beta \in Z_{\ge 0}^n$，当向量差$\alpha -\beta$的最左边的非零分量为正数，记做$\alpha {>}_{lex}\beta$

反字典序：令$\alpha ,\beta \in Z_{\ge 0}^n$，当向量差$\alpha -\beta$的最右边的非零分量为负数，记做$\alpha {>}_{revlex}\beta$

分级字典序：令$\alpha ,\beta \in Z_{\ge 0}^n$，记$\alpha {>}_{grlex}\beta$，如果满足$|\alpha |=\sum {\alpha }_i>|\beta |=\sum {\beta }_i$或者$|\alpha |=|\beta |,\alpha {>}_{lex}\beta$

分级反字典序：令$\alpha ,\beta \in Z_{\ge 0}^n$，记$\alpha {>}_{grevlex}\beta$，如果满足$|\alpha |=\sum {\alpha }_i>|\beta |=\sum {\beta }_i$或者$|\alpha |=|\beta |,\alpha {>}_{revlex}\beta$

在固定单项式顺序$>$下，给定$f={\sum }_{\alpha }{c}_{\alpha }\cdot x^{\alpha }$，定义：

1. m u l t i d e g ( f ) : = m a x { α ∈ Z ≥ 0 n ∣ c α ≠ 0 } multideg(f):=max\{\alpha\in Z_{\ge0}^n | c_\alpha \neq 0\} multideg(f):=max{α∈Z≥0n​∣cα​=0}，简写为$deg(f)$
2. $LC(f):=c_{deg(f)}\in k$，前导系数
3. $LM(f):=x^{deg(f)}$，前导单项式
4. $LT(f):=LC(f)\cdot LM(f)$，前导项

易知，$deg(fg)=deg(f)+deg(g)$，$deg(f+g)\le max(deg(f),deg(g))$；若$deg(f)\ne deg(g)$则$deg(f+g)=max(deg(f),deg(g))$

Division Algorithm

令$>$是$Z_{\ge 0}^n$上的单项式顺序，令有序$s$元组$F=(f_1,\cdots ,f_s)\in (k[x_1,\cdots ,x_n]{)}^s$，对于任意$f\in k[x_1,\cdots ,x_n]$，都可以写成

$$f=q_1{f}_1+\cdots +q_s{f}_s+r$$

这种表示不唯一。交换$F$元素的顺序，商$q_i$会改变，余数$r$也可能不同。对于有序$s$元组$F$，$f$除以$F$的余数记做${\overline{f}}^F$

上述的除法算法直到最近50年才被明确给出！

monomial ideal

单项理想：给定（可能无限大）子集$A\subseteq Z_{\ge 0}^n$，令$I=<x^{\alpha }|\alpha \in A>$，它包含所有的有限和${\sum }_{\alpha \in A}{h}_{\alpha }{x}^{\alpha }$，$h_{\alpha }\in k[x_1,\cdots ,x_n]$

若单项式$x^{\beta }\in I$，那么$\exists \alpha \in A,x^{\alpha }|x^{\beta }$，易知$\beta \in \alpha +Z_{\ge 0}^n$

关于单项理想的三个等价表述：

1. $f\in I$
2. $f$的每一项都属于$I$
3. $f$是$I$中单项式的$k$上线性组合

Dickson’s Lemma：令$I=<x^{\alpha }|\alpha \in A>\subseteq k[x_1,\cdots ,x_n]$是单项理想，那么可以写成$I=<x^{{\alpha }_1},\cdots ,x^{{\alpha }_s}>$，其中${\alpha }_1,\cdots ,{\alpha }_s\in A$，即$I$是由有限个单项式生成的。

最小基：单项理想$I$存在唯一的一组基 { x α 1 , ⋯   , x α s } \{x^{\alpha_1},\cdots,x^{\alpha_s}\} {xα1​,⋯,xαs​}，满足$x^{{\alpha }_i}\nmid x^{{\alpha }_j},\forall i\ne j$

Hilbert Basis Theorem

令$I\subseteq k[x_1,\cdots ,x_n]$是任意的非零理想，确定单项顺序，可以定义：

1. L T ( I ) : = { c x α ∣ ∃ f ∈ I \ { 0 } , L T ( f ) = c x α } LT(I):=\{cx^\alpha | \exist f \in I \backslash \{0\},LT(f)=cx^\alpha \} LT(I):={cxα∣∃f∈I\{0},LT(f)=cxα}
2. $<LT(I)>:=<t|t\in LT(I)>$

如果$I=<f_1,\cdots ,f_s>$，那么$<LT(f_1),\cdots ,LT(f_s)>\subseteq <LT(I)>$，并且可以是严格大。

$<LT(I)>$是单项理想，根据Dickson’s Lemma它是有限生成的。如果$<LT(I)>=<LT(g_1),\cdots ,LT(g_t)>$，其中$g_1,\cdots ,g_t\in I$，那么可以声明$I=<g_1,\cdots ,g_t>$：令$\forall f\in I$，做除法$f=q_1{g}_1,\cdots ,q_t{g}_t+r$，则$r$必定是零（因为$LT(r)\in <LT(I)>$，但是$deg(LT(r))<deg(TL(g_i))$）

Hilbert Basis Theorem：$k[x_1,\cdots ,x_n]$的任意理想$I$，都拥有有限的生成集，即$I=<g_1,\cdots ,g_t>$，其中$g_1,\cdots ,g_t\in I$是有限个多项式。

Groebner Basis

固定单项式顺序，对于理想$I$的有限子集 G = { g 1 , ⋯   , g t } G=\{g_1,\cdots,g_t\} G={g1​,⋯,gt​}，如果满足
$$<LT(g_1),\cdots ,LT(g_t)>=<LT(I)>$$
那么集合$G$叫做$I$的Groebner Basis或者standard basis

$K[x_1,\cdots ,x_n]$的任意理想$I$都拥有很多的Groebner基，并且它们都是$I$的一组基，$I=<g|g\in G>$

The Ascending Chain Condition

理想的上升链：$I_1\subseteq I_2\subseteq I_3\subseteq \cdots$

上升链条件（ACC）：令$I_1\subseteq I_2\subseteq I_3\subseteq \cdots$是$k[x_1,\cdots ,x_n]$中理想的上升链，那么存在一个$N\ge 1$，使得$I_N=I_{N+1}=\cdots$

ACC等价于Hilbert Basis Theorem.

Groebner基的性质

理想$I$的子集 G = { g 1 , ⋯   , g t } G=\{g_1,\cdots,g_t\} G={g1​,⋯,gt​}是Groebner基，任意给定$f\in k[x_1,\cdots ,x_n]$，那么存在一个$r\in k[x_1,\cdots ,x_n]$，使得$r$的每一项都不被$LT(g_i)$整除，且$f-r=g\in I$

实际上，$r$就是$f$除以$G$的唯一余数$r={\overline{f}}^G$，无论如何改变$G$中元素的除法顺序（但商$q_i$可能会改变）。这里，余数$r$叫做$f$的标准型（normal form）

理想的隶属问题：令$G$是理想$I$的Grobner基，那么$f\in I$当仅当${\overline{f}}^G=0$

冗余：如果$G$是理想$I$的Grobner基，令$p\in G$且 L T ( p ) ∈ < L T ( G \ { p } ) > LT(p) \in <LT(G \backslash\{p\})> LT(p)∈<LT(G\{p})>，那么 G \ { p } G \backslash\{p\} G\{p}依然是理想$I$的Grobner基。

约简Groebner基：任意的理想$I$，都存在唯一的一组Grobner基$G$，满足：

1. $LC(p)=1,\forall p\in G$
2. $\forall p\in G$，它的任意单项式都不属于 < L T ( G \ { p } ) > <LT(G\backslash\{p\})> <LT(G\{p})>

相等理想：固定单项式顺序，如果理想$<f_1,\cdots ,f_s>$和理想$<g_1,\cdots ,g_t>$拥有相同的约简Groebner基，那么它们是同一个理想。

求解方程组：设置单项顺序为字典序，那么Groebner基$G$可以写成行阶梯矩阵的形式，矩阵的第$i$行是$g_i\in G$的$k$上系数。可以用来消元，求解方程组：通过方程组$Eq$可以确定一个仿射簇$V(Eq)$，令$I=<Eq>$，计算$I$的Groebner基$G$，那么$V(Eq)=V(I)=V(G)$。由于$G$是行阶梯矩阵，最后一行仅包含少量的变元，求解后回代计算倒数第二行，最终可求得$V(Eq)$

Buchberger’s Criterion

对于$f,g\in k[x_1\cdots ,x_n]$，记$x^{\gamma }=lcm(LM(f),LM(g))$，定义S多项式（syzygy-polynomial）为：
$$S(f,g):=\frac{x^{\gamma }}{LT(f)}\cdot f-\frac{x^{\gamma }}{LT(g)}\cdot g$$
如果$deg(p_i)=\delta ,\forall i$，且$deg({\sum }_i{p}_i)<\delta$，那么${\sum }_i{p}_i$可以表示成S多项式的线性组合：${\sum }_i{p}_i=\sum c_{jl}S(p_j,p_l)$，其中$c_{ij}\in k$

Buchberger’s Criterion：理想$I$的子集 G = { g 1 , ⋯   , g t } G=\{g_1,\cdots,g_t\} G={g1​,⋯,gt​}，$G$是Groebner基当仅当${\overline{S(g_i,g_j)}}^G=0,\forall i\ne j$

Buchberger’s Criterion也被叫做S-pair criterion，可以用来判断$G$是否是Groebner基，也用来自然地引出计算Groebner基的算法。

Buchberger’s Algorithm

初始版本：

改进版本：

但是在实践中，Buchberger’s Algorithm的效率过低，实际上使用的是更高效的F4算法和F5算法来计算Groebner基。

Nullstellensatz

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

Hilbert零点定理：令$k$是代数封闭域，对于$f,f_1,\cdots ,f_s\in k[x_1,\cdots ,x_n]$，那么$f\in I(V(f_1,\cdots ,f_s))$当仅当$f^m\in <f_1,\cdots ,f_s>$，$\exists m\ge 1$

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

理想的根：令$I\subseteq k[x_1,\cdots ,x_n]$是理想，定义：
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]$是根理想。

强零点定理：令$k$是代数封闭域，$I\in k[x_1,\cdots ,x_n]$是理想，那么$I(V(I))=\sqrt{I}$