代数几何是数学中最深刻、最优雅的领域之一，它通过代数方法研究几何对象的性质。其核心思想是将几何问题转化为代数问题（反之亦然），利用多项式的零点集来定义和刻画几何对象。代数几何在数论、微分方程、理论物理和密码学等诸多领域有着深远影响，曾孕育了费马大定理的证明、椭圆曲线密码学等里程碑式的成果。
代数簇（Algebraic Variety）是代数几何最基本的研究对象。简单地说，代数簇是多项式方程组在某个域上的公共零点集。
设 k 是一个域，k[x1,…,xn] 是 n 元多项式环。对于任意理想 I⊂k[x1,…,xn]，定义
V(I)={(a1,…,an)∈kn∣f(a1,…,an)=0,∀f∈I}
为 I 定义的仿射代数簇。反之，对于任意子集 X⊂kn，定义
I(X)={f∈k[x1,…,xn]∣f(a)=0,∀a∈X}
为 X 的消亡理想（vanishing ideal）。
Hilbert 零点定理（Hilbert's Nullstellensatz）是连接代数和几何的核心桥梁：
I(V(J))=J
即，V(J) 的消亡理想恰好等于 J 的根式理想。这意味着在代数闭域上，代数集和根式理想之间存在一一对应。
常见例子：
- 仿射直线：k 本身就是 k1 上的代数簇，由零多项式定义
- 仿射平面：k2，对应于 k[x,y] 中的零理想
- 圆锥曲线：如 V(x2+y2−1) 是单位圆
- 三次曲线：V(y2−x3+x) 是无奇异椭圆曲线
仿射空间 kn 是开集，但在代数几何中我们更常使用射影空间 Pkn，因为它是一种完备（proper）的空间——类比于拓扑学中的紧致性。
射影空间 Pkn 是 kn+1∖{0} 模去标量乘法得到的商空间：
Pkn=(kn+1∖{0})/∼,(a0,…,an)∼(λa0,…,λan),λ∈k×
射影代数簇由齐次多项式的零点定义。f∈k[x0,…,xn] 是齐次多项式当且仅当所有单项式的次数相同。
为什么使用射影空间？
- 相交性质更好：在射影空间中，两条曲线总会在某点相交（Bezout 定理）
- 紧致性：射影簇是完备的，不需要另外处理"无穷远点"
- 对偶性：Serre 对偶在射影簇上有最简洁的形式
经典例子：
- 射影直线 P1：所有经过原点的直线
- 有理曲线：由 [t2,t3,1] 参数化的三次曲线（有奇点）
- 椭圆曲线：射影平面中的三次光滑曲线 V(y2z−x3+xz2)
代数簇可以分解为不可约分支的有限并：X=X1∪⋯∪Xr，其中每个 Xi 是不可约的（不能进一步分解为真闭子集的并）。这对应于多项式环中理想的准素分解。
代数簇的维数定义为它的函数域在 k 上的超越次数。直观理解：
- 0 维：有限个点
- 1 维：代数曲线
- 2 维：代数曲面
- n 维：n 维代数簇
维数公式： 对于仿射簇 V(I)⊂kn，其维数等于 n 减去 I 中元素的一般相交条件数，更精确地，等于多项式环 k[x1,…,xn] 模 I 的 Krull 维数。
概形（Scheme）是 Grothendieck 在 20 世纪 60 年代引入的概念，它彻底革新了代数几何的语言，使得韦伊猜想（Weil conjectures）的证明成为可能。
经典代数簇的局限性：
- 只能研究代数闭域：k 需要是代数闭域
- 不能处理重根：V(x2)=V(x) 作为点集是一样的，但后者有"重数"
- 缺乏联系不同域的灵活性：如何将 Q 上的簇和 R 上的簇统一？
概形通过交换环替代域来定义"空间"，克服了所有这些局限。
一个仿射概形 Spec R 是交换环 R 的所有素理想构成的集合，配备一个拓扑（Zariski 拓扑）和一个结构层。
关键洞察： 经典代数簇的点的"坐标环" k[x1,…,xn]/I(X) 被替换为一般的交换环 R。R 的素理想就是概形的"点"——在这个框架下，一个域 k 上的概形不仅有闭点（对应于经典簇中的点），还有一般点（generic point），提供了更丰富的几何结构。
Zariski 拓扑：Spec R 的闭集形如 V(I)={p∈Spec R∣I⊂p}，其中 I⊂R 是理想。这种拓扑虽然非常粗（开集很大），但它在代数上正是我们需要的。
一个概形 (X,OX) 是一个局部同胚于仿射概形的环化空间。这意味着 X 的每个点都有一个开邻域 U，使得 (U,OX∣U)≅(Spec R,OSpec R)。
概形的关键性质：
- 函子性：概形范畴包含了所有经典代数簇的全忠实嵌入
- 基变换：允许在任意概形上扩展标量
- 纤维积：概形范畴中存在纤维积，提供了灵活的工具
| 方面 |
经典代数簇 |
概形 |
| 底层空间 |
代数闭域上的零集 |
素理想空间（Zariski拓扑） |
| 结构层 |
正则函数环 |
任意交换环 |
| 重数 |
不可见 |
体现在结构层中 |
| 一般点 |
无 |
每个不可约分支有一个 |
| 基域限制 |
需要代数闭域 |
任意域或环 |
| 灵活性 |
有限 |
极高 |
层（Sheaf）理论为代数几何提供了研究"局部到整体"问题的理想语言。层的概念源于分析学中的芽（germ），但在代数几何中得到了极致的发挥。
一个预层 F 在拓扑空间 X 上给每个开集 U 分配一个 Abel 群 F(U)，并在开集包含关系 V⊂U 上给出限制映射 resU,V:F(U)→F(V)，满足函子性条件。
一个层是满足以下两条附加条件的预层：
- 局部性：如果 U=⋃Ui，且 s,t∈F(U) 满足 s∣Ui=t∣Ui 对所有 i，则 s=t
- 黏合性：如果对每个 i 有 si∈F(Ui)，且 si∣Ui∩Uj=sj∣Ui∩Uj 对所有 i,j 成立，则存在 s∈F(U) 使得 s∣Ui=si
核心例子——结构层 OX：
- 当 X 是复流形：OX(U) = U 上的全纯函数
- 当 X 是仿射概形 Spec R：OX(D(f))=Rf（f 处的局部化）
- 当 X 是微分流形：OX(U) = U 上的光滑函数
- 常数层：A(U)=A(π0(U))，即 U 的连通分支数份 A 的直积
- 可逆层（线丛的截面层）：局部同构于 OX
- 扭层 O(n)：射影空间 Pn 上的标准层，O(1) 对应超平面丛
- 理想层 IY：子簇 Y⊂X 的消亡函数构成的层
- 结构层的商层 OY=OX/IY：子簇的结构层
层上同调（Sheaf Cohomology）通过导出函子来测量"局部到整体"的障碍。具体地，F 的 i 次上同调群 Hi(X,F) 是全局截面函子 Γ(X,⋅) 的第 i 个右导出函子。
核心定理：
-
长正合列：对短正合列 0→F→G→H→0，有
0→H0(X,F)→H0(X,G)→H0(X,H)→H1(X,F)→⋯
-
Serre 消失定理：对于射影簇 X 和丰沛线丛 L，当 i>0 且 n 足够大时，Hi(X,L⊗n)=0
-
Serre 对偶：对于光滑射影簇 X 和局部自由层 E，
Hi(X,E)≅Hn−i(X,E∨⊗ωX)∨
其中 ωX 是典范层（canonical sheaf）
-
Čech 上同调：对于足够好的覆盖，层上同调可以通过 Čech 上同调计算
-
Leray 谱序列：对于连续映射 f:X→Y，有 E2p,q=Hp(Y,Rqf∗F)⇒Hp+q(X,F)
层上同调的实际用途：
- 计算代数簇的几何亏格 pg=dimH0(X,ωX)
- 定义算术亏格 χ(F)=∑(−1)idimHi(X,F)
- 证明Riemann-Roch 定理：χ(L)=deg(L)+1−g（曲线情形）
Hilbert 零点定理（Nullstellensatz）是代数几何最基本的结果之一。它建立了代数集与多项式理想之间的精确对应。
强形式：设 k 是代数闭域，I⊂k[x1,…,xn] 是理想。则
I(V(I))=I
其中 I={f∈k[x1,…,xn]∣∃m≥1,fm∈I} 是 I 的根式。
弱形式：如果 I=(1)，则 V(I)=∅。
推论：代数闭域上的代数簇和有限生成的约化 k-代数之间存在反变等价。
Bezout 定理描述了射影代数簇相交的计数性质：
定理：设 X,Y⊂Pn 是射影代数簇，维数分别为 r 和 s，且 r+s≥n。则在一般位置下，X∩Y 是有限个点的并，且
#(X∩Y)=deg(X)⋅deg(Y)
其中 deg(X) 是 X 的次数——即 X 与一个一般线性子空间 L≅Pn−r 的交点个数。
经典情形：两条射影平面曲线，次数分别为 d 和 e，它们恰好相交于 de 个点（计入重数且包括无穷远点）。
重要教训：在仿射空间中，Bezout 定理不成立（例如直线与双曲线可能在无穷远处没有交点），这正是射影空间优越性的生动例证。
Riemann-Roch 定理是代数曲线理论中最强大的工具之一。
曲线情形：对于光滑射影曲线 C 和 C 上的除子 D，
ℓ(D)−ℓ(K−D)=deg(D)+1−g
其中：
- ℓ(D)=dimH0(C,O(D)) 是亚纯函数空间维数
- K 是典范除子（对应典范层 ωC）
- g 是 C 的亏格
计算方法：给定一条平面曲线 C:f(x,y)=0 次数为 d，
- 如果 C 光滑，则 g=2(d−1)(d−2)
- 如果 C 有节点等奇点，亏格需要在上述基础上减去奇点修正项
应用实例：
- 确定椭圆曲线（g=1）上的亚纯函数空间结构
- 证明每条亏格 0 曲线同构于 P1
- 构造曲线上的特殊映射（如典范映射）
Grothendieck 将 Riemann-Roch 定理推广到了高维，在 K-理论和陈类的基础上建立了更一般的公式：
ch(f!F)⋅td(TY)=f∗(ch(F)⋅td(TX))
其中 ch 是陈特征，td 是 Todd 类，f! 是适当映射下导出像的 Euler 示性数。Hirzebruch 对光滑射影簇的特殊情形给出了：
χ(E)=∫Xch(E)⋅td(TX)
层论是现代代数几何的语言。除了前面讨论的层上同调外，还有以下重要工具：
- 导出范畴：Db(X) 是层范畴的有界导出范畴，允许更灵活地操作复形
- Fourier-Mukai 变换：利用核在导出范畴之间建立等价
- 周环 A∗(X)：模有理等价的代数闭链环，是层上同调的替代
导出范畴 Db(X) 是 OX-模的有界链复形范畴，模去拟同构。关键性质：
- 三角结构：每个短正合列诱导出三角 A→B→C→A[1]
- Fourier-Mukai 函子：ΦP(−)=Rpr2∗(pr1∗(−)⊗P)，其中 P 是 X×Y 上的核
- Serre 函子：S(−)=(−)⊗ωX[dimX]
代数 K-理论为概形提供了重要的不变量：
- K0(X)：局部自由层的 Grothendieck 群
- G0(X)：凝聚层的 Grothendieck 群
- 对光滑概形，K0(X)≅G0(X)
与周环的关系：存在满射 ch:K0(X)⊗Q→A∗(X)⊗Q，建立了两者的联系。
形变理论研究代数簇的小扰动。核心思想：在一个无穷小邻域内研究"如何将代数簇从 X0 形变为 Xt"。
切空间与障碍：
- 一阶形变由 H1(X,TX) 参数化
- 形变的障碍位于 H2(X,TX) 中
- 如果 H2(X,TX)=0，形变空间是光滑的
应用：
- 模空间维数的计算
- 奇点解消的存在性
- Deligne-Mumford 叠的结构
代数曲线是最简单、研究最深入的代数簇。
曲线亏格分类：
- g=0：有理曲线，唯一的是 P1
- g=1：椭圆曲线（复环面 C/Λ）
- g≥2：一般型曲线，有多种可能性
模空间 Mg 是亏格 g 光滑射影曲线的参数空间。它的紧化 Mg（Deligne-Mumford 紧化）包含稳定曲线（允许节点奇点，但只有有限自同构）。
重要性：
- Mg 是代数几何的核心研究对象
- 其上存在丰富的相交理论
- 与 Teichmüller 理论、双曲几何深度关联
Enriques-Kodaira 分类将代数曲面按照小平维度（Kodaira dimension）κ 分为五类：
| 小平维度 |
类型 |
例子 |
| κ=−∞ |
有理曲面、 ruled |
P2、P1×P1 |
| κ=0 |
K3曲面、阿贝尔曲面 |
K3曲面、复环面 |
| κ=1 |
椭圆曲面 |
X→C，纤维是椭圆曲线 |
| κ=2 |
一般型 |
P2 中高次超曲面 |
关键不变量：
- 算术亏格 χ(OX)=∑(−1)idimHi(X,OX)
- 几何亏格 pg=dimH2(X,OX)
- 不完全性 q=dimH1(X,OX)
- 自相交数 KX2（典范类的自交）
奇点理论研究代数簇上"不光滑"的点。关键结果：
奇点解消（Hironaka）：在特征 0 的域上，任意代数簇存在一个双有理正则映射 f:X~→X，使得 X~ 光滑。这是代数几何最伟大的成就之一。
奇点类型（低维）：
- 节点（node）：x2+y2=0 形如两个横截相交的分支
- 尖点（cusp）：x2+y3=0
- 二重点（ADE型）：由单李代数分类，如 An:x2+y2+zn+1=0
应用：
- 奇点解消是双有理几何的基础
- ADE奇点与李代数、李群之间存在惊人的联系（McKay对应）
- 在弦论中，奇点对应于 D-膜和规范对称性的自发破缺
算术代数几何将代数几何的工具（概形、上同调）应用于整数环上的问题，是数论与代数几何的交叉。
核心对象：
- Spec Z 上的概形：视整数环为一条"算术曲线"
- 椭圆曲线上的有理点群 E(Q)
- 阿贝尔簇与模形式
Mordell-Weil 定理：椭圆曲线 E 上的有理点构成有限生成阿贝尔群：
E(Q)≅Zr⊕E(Q)tors
其中 r 是秩（rank），E(Q)tors 是挠子群。
费马大定理（Wiles, 1995）是算术代数几何最辉煌的胜利：
xn+yn=zn,n≥3 无正整数解
证明的核心是将椭圆曲线与模形式联系起来（模性定理），这需要依赖概形理论和层上同调的强大工具。具体来说，Wiles 证明了每个半稳定椭圆曲线是模的，从而确立了谷山-志村猜想的一个关键情形。
复代数几何关注复系数多项式方程定义的零点集。Serre 的 GAGA 原理建立了很多情形下的等价：
光滑复射影代数簇与复流形之间存在范畴等价——这意味着代数方法和解析方法能得到相同的结果。
Chow 定理：复射影空间中的闭解析子簇必然是代数的。也就是说，用分析方法构造的闭子集，只要是紧的，就必然由多项式方程定义。
代数几何在数论中的应用（算术代数几何）是 20 世纪数学最活跃的分支之一。
韦伊猜想（Weil conjectures, 证明于 1974）建立了有限域上代数簇的 ζ 函数与流形拓扑之间的联系。具体地，对 Fq 上光滑射影簇 X，其 ζ 函数定义为：
Z(X,t)=exp(n=1∑∞n∣X(Fqn)∣tn)
韦伊猜想断言：
- 有理性：Z(X,t) 是有理函数
- 函数方程：Z(X,1/qnt)=±qnχ/2tχZ(X,t)
- Riemann 假设类比：极点的模为 qi/2
- Betti 数联系：Z(X,t) 的度数等于 X 的 Betti 数之和
Grothendieck 发展了 ℓ-进上同调（ℓ-adic cohomology）来证明前三条，Deligne 在 1974 年完成了 Riemann 假设的证明。
代数几何与理论物理的联系在近几十年不断加深：
在弦论中的应用：
- Calabi-Yau 流形：Ricci 平坦的 Kähler 流形，紧化多余维度的基本对象
- 镜像对称：一对 Calabi-Yau 流形 X 和 Xˇ 之间存在"镜像"关系
Hp,q(X)≅Hd−p,q(Xˇ)
- Fano 簇：正 Ricci 曲率的代数簇，用于构造超对称场论
在规范场论中：
- 瞬子模空间：Yang-Mills 方程的自对偶解构成代数簇
- Seiberg-Witten 理论：使用椭圆曲线来参数化低能有效作用
| 人物 |
主要贡献 |
| Hilbert |
零点定理，多项式理想理论 |
| Noether |
交换代数框架，诺特环理论 |
| Zariski |
Zariski 拓扑，奇点解消的前期工作 |
| Weil |
韦伊猜想，抽象代数几何的先驱 |
| Serre |
GAGA 原理，层论和凝聚上同调的奠基 |
| Grothendieck |
概形理论，K-理论，动机理论的创建者 |
| Mumford |
几何不变量理论，模空间，代数曲面的分类 |
| Deligne |
韦伊猜想的完整证明 |
| Hironaka |
奇点解消 |
| Faltings |
Mordell 猜想（Faltings 定理） |
| Wiles |
费马大定理的证明 |
| Kontsevich |
镜像对称的数学形式化 |
代数几何是出了名的"入门门槛高"的数学领域。以下是一条可行的学习路径：
第一阶段：代数基础
- 交换代数：Atiyah-MacDonald《交换代数导引》前 7 章（理想、模、张量积、局部化、Noether 环、整性、Artin 环）
- 基本代数拓扑：点集拓扑的同调群和基本群
第二阶段：经典代数几何
- Fulton《代数曲线》：从复代数曲线的角度入门，直观且具体
- Shafarevich《基本代数几何》第一卷：经典语言与现代语言的平衡
第三阶段：薛格式代数几何
- Hartshorne《代数几何》：第二到三章是核心（概形、上同调）
- Vakil《代数几何基础》：更现代的体系化入门，深受好评
- Görtz-Wedhorn《代数几何 I》：以概形为基础，非常详尽
第四阶段：专题深化
- Harris《代数几何：初等教程》：经典方法的教科书
- Griffiths-Harris《代数几何原理》：深入且全面
- Eisenbud-Harris《以方案看几何》：用现代语言看经典
- Lazarsfeld《代数簇的正性》：极值理论的权威参考
根据我个人学习代数几何的经验，以下几点值得注意：
坑 1：过早进入概形理论
直接读 Hartshorne 第 2 章会让人崩溃。建议至少有一些经典曲线和曲面的具体例子作为基础，否则会迷失在抽象的语言中。建议路线：先读 Fulton 的《代数曲线》，再进入概形。
坑 2：忽略交换代数
概形理论严重依赖交换代数。If you hit a wall，多半是交换代数不够。Atiyah-MacDonald 的习题至少要做一半。特别需要掌握：
- 张量积和 Hom 的右正合/左正合性
- 局部化与整性
- Artin 环的结构
坑 3：忽视具体例子
代数几何很容易陷入"泛型对象"的抽象构造中，忘记具体的高维例子。我建议学完每个抽象概念后，回到下面几个具体例子验证：
- Pn（射影空间）
- P1×P1（二次曲面）
- 椭圆曲线（三次曲线）
- K3 曲面（四次曲面）
坑 4：低估上同调计算
层上同调的计算是代数几何的核心技能。不要满足于知道定义，要用 Čech 上同调手动算几个具体例子，比如 Pn 上的 O(d) 层上同调。
坑 5：忽视与其他领域的联系
学代数几何时可以同步了解复几何、代数数论、表示论的联系。以模空间和曲线为纽带走出去，会让抽象变得更生动。
计算工具：
- Macaulay2：专为代数几何和交换代数设计的开源计算系统
- Singular：专注于奇点理论和多项式计算
- SageMath：Python 生态，对代数几何有不错支持
笔记建议：
- 使用 commutative diagrams 记录不可交换的重要图表
- 对不同层类型维护一个分类卡片
- 每个定理尽量算一个具体例子
- Hartshorne, R. Algebraic Geometry. Springer, 1977.
- Shafarevich, I. R. Basic Algebraic Geometry 1-2. Springer, 1994.
- Vakil, R. The Rising Sea: Foundations of Algebraic Geometry. 2017.
- Eisenbud, D., Harris, J. The Geometry of Schemes. Springer, 2000.
- Griffiths, P., Harris, J. Principles of Algebraic Geometry. Wiley, 1978.
- Atiyah, M. F., MacDonald, I. G. Introduction to Commutative Algebra. Addison-Wesley, 1969.
- Fulton, W. Algebraic Curves. 2008.
- Bredon, G. E. Sheaf Theory. Springer, 1997.
- Grothendieck, A. Éléments de géométrie algébrique (EGA). IHES, 1960-1967.
- Deligne, P. La conjecture de Weil. I. Publications Mathématiques de l'IHÉS, 1974.