代数几何

代数几何：用方程研究形状

别以为代数几何是关在书斋里的高深摆设，也别以为它和日常经验毫无交集。用手机扫码、让导航绕开拥堵、把体检断层影像重建成三维器官，这些场景背后都站着相同的思想底座：用方程描述形状，再借形状反过来理解方程。这本教程讲的，就是这座底座最原始也最坚固的部分——从多项式方程出发，搭起一套研究"形状"的完整框架，最后走到现代数学给它安上的新名字：概形。

代数几何：研究多项式方程组解集之几何结构的数学分支。它的核心是一册"代数-几何字典"：几何对象（簇）对应代数对象（理想），几何性质（光滑、维数、相交）对应代数性质（环、维数、重数）。学会查这本字典，就同时掌握了解方程的几何直觉与看形状的代数工具。

全书主线可以压缩成一句话：方程组 → 理想 → 簇 → 射影化 → 函数与映射 → 维数与次数 → 奇点 → 除子与椭圆曲线 → 概形。每一环都只用前一环的概念，不空降名词；每章都带着同样的几位"老朋友"出场——圆 x²+y²=1、双曲线 xy=1、尖点曲线 y²=x³、结点曲线 xy=0 与 y²=x³+x²、椭圆曲线 y²=x³−x。盯住这几个具体方程，抽象定义就有了落脚点。

全册知识地图：先学什么，后学什么

下面这张图给出全册七章的依赖关系。箭头指向"学完当前章后有资格进入"的部分；虚线箭头是可选的快速通道。

图：全册知识地图与学习依赖

阅读顺序建议老实按编号走：第 4、5 章同时依赖前三章的字典与坐标环语言，跳过第 2 章直接看贝祖定理，会卡在"无穷远交点"上；只在应用场景里查资料的读者，可以沿虚线走"第 1 章 → 第 7 章"的概念速通线，先把词汇表建起来，回头再补细节。

为什么从"用方程研究形状"筑基

几何直觉人人都有，但它靠不住的地方也恰恰在"直觉"二字：曲线在图上相交，肉眼看是相切还是穿过？交点有几个？画到无穷远处还算不算数？这些问题在图像上争论不出结果，在方程里却有唯一答案。把"形状"翻译成"方程组"，肉眼问题就变成了可计算、可证明的代数问题——这就是这门学科四百年来站稳脚跟的根本原因。

反方向的翻译同样值钱。面对一个庞大方程组，代数运算常常让人迷失在符号里；而"这个理想对应一块几何图形"的念头，往往瞬间指出该往哪里算。本册反复演示这种双向翻译：1.3 节的零点定理给出字典的封面，2.3 节用齐次化把"无穷远"收进方程，4.2 节用重数修正贝祖定理的数数规则，6.3 节用几何作图解释椭圆曲线上的点如何相加。每个抽象概念出场时，都会先在具体曲线上现一次身。

全册结构与各章一句话

• 第 1 章 方程造形：仿射簇与理想：把"解方程"升级成"研究零点集"；理想是方程组的规范形，零点定理是字典的封面页。
• 第 2 章 射影空间与齐次化：平行线在无穷远相交不是悖论而是设计；齐次化让方程自己开口谈无穷远。
• 第 3 章 簇上的函数与态射：只在曲线上有定义的函数长什么样；映射如何把一个簇"搬"到另一个簇上，又如何被函数的拉回反向刻画。
• 第 4 章 维数与次数：维数的三种定义收敛到同一直觉；次数让"曲线相交有几个点"第一次变成可算的数，贝祖定理登场。
• 第 5 章 奇异与光滑：切空间是一阶近似的显微镜；偏导数矩阵的秩，一行代数判据分 Smooth 与奇异，顺手给奇点分门别类。
• 第 6 章 除子、线丛与椭圆曲线：给曲线上的点记账（除子），给记账规则找守恒律（黎曼-罗赫），然后解剖 y²=x³−x：它为什么自带加法群，密码学为何偏偏选中它。
• 第 7 章 现代视角与计算实践：概形是什么，用一段话讲清动机不装懂；Singular 与 Macaulay2 上手算理想；最后给出继续深造的路线图。

读者画像与前置知识

本册为三类读者而写：数学系低年级想提前接触现代几何的学生；计算机或工程背景、需要椭圆曲线密码与编码理论底层的从业者；以及被交换代数术语淹没、想找回几何直觉的自学者。前置要求控制得很低：会解联立方程、知道多项式因式分解、见过的矩阵够算二阶行列式即可。全书公式一律用普通文本书写（如 y² = x³ − x），不依赖任何公式渲染；涉及抽象代数的概念（环、理想、商）都在首次使用处现场补课。

怎么用这本教程

每节按"问题在哪 → 概念怎么长出来 → 动手算一个 → 易错点"推进，一节只讲透一到两个知识点。每章开头有知识点清单，读完合上书自测；章末的"前置与延伸"告诉你哪些节可以缓一缓。计算环节用的是 Singular 与 Macaulay2 的概念化代码——语法细节不重要，重要的是看现代系统如何把"算理想"变成日常操作。图分两类：SVG 示意图负责几何形状本身，请放大细看曲线的走势与交点；流程图负责概念之间的依赖。最后提醒一句：这本册子刻意停在"除子与椭圆曲线"的门口，概形只有一段话的篇幅——地基打牢之后，门后那条路属于下一册。