7.1.2 模空间：M_g与Hilbert方案

文档摘要

7.1.2 模空间：Mg与Hilbert方案在代数几何的宏大叙事中，模空间从来不是抽象思辨的终点，而是一场精密工程的起点——它把“所有亏格为 $g$ 的光滑射影曲线”这一看似飘渺的集合，锻造成一个可计算、可参数化、可嵌入、可切片、可上同调分析的代数簇。当我们站在 $7.1.2$ 这一节的门槛上，真正要叩问的，不是“$ \mathcal{M}g $ 是什么”，而是：如何把它造出来？如何让一台计算机‘看见’它？如何在有限域上显式构造它的点？如何用 Hilbert 方案为它铺设一条通往实际计算的钢轨？