概念

模空间

模空间是参数化同构类代数对象的概形，把「分类问题」转化为「模空间的几何」。

阅读路径

参考可汗学院 Get ready 机制：先修概念 → 当前概念 → 进阶概念，✓ 表示已读。

模空间代数几何

01定义

模空间是参数化一族代数对象同构类的（概形）空间：每个点对应一个对象，空间本身的几何编码分类问题的结构。从椭圆曲线的

\mathbb{A}^1_j

到曲线的

\mathcal{M}_g

，「分类问题」被转化为「研究模空间的几何」。

模空间：点即对象——分类问题变成研究 M 的几何

细模空间带「万有族」，点之间的几何直接对应对象的形变；粗模空间只记录点的集合。栈（stack）语言处理自同构带来的精细结构。

椭圆曲线模空间 $\mathcal{M}_{1,1}\approx\mathbb{A}^1_j$ （ $j$ 坐标）；亏格 $g$ 曲线的 $\mathcal{M}_g$ 维数为 $3g-3$ ，其紧化 $\overline{\mathcal{M}}_g$ 是双有理几何的中心对象。

模空间上的交数（如 GW 不变量、DT 不变量）回答「满足条件的曲线有多少条」——枚举几何被上同调积分彻底现代化。

\dim\mathcal{M}_g=3g-3\quad(g\geq 2)

\mathcal{M}_{1,1}\cong\mathbb{A}^1_j

黎曼首创「模」一词（1857，黎曼面的模数）；Mumford 在 1960 年代用几何不变量论（GIT）严格构造模空间；Deligne-Mumford 的曲线模紧化（1969）成为现代经典。

弦论的紧致化研究 Calabi-Yau 模空间的镜像对偶；GW 不变量源于物理的拓扑弦论；代数统计中参数模型的模空间结构决定可辨识性。

三角形的模空间：边长决定形状拖 a、b：每个合法边长对对应模空间中一点，边界是退化三角形

a 边长0.60b 边长0.70