4.2.1 方案态射：主导、本质与主导

文档摘要

4.2.1 方案态射：主导、本质与主导在代数几何与同调代数的深水区，有一个看似朴素却暗流汹涌的概念，它不常出现在初等教材的首页，却在Grothendieck拓扑、平展上同调、导出代数几何乃至现代算术几何的底层引擎中反复轰鸣——那就是方案态射的平坦性（flatness of morphisms of schemes）。而当我们聚焦于“4.2.1 方案态射：主导、本质与主导”这一节时，真正的挑战并非定义本身，而在于：如何在具体构造中辨识一个态射是否平坦？当平坦性失效时，它究竟在哪个局部坐标卡上崩塌？我们能否用可计算的代数工具——比如Gröbner基、Tor函子的消去算法、或局部自由模的秩跳变检测——把它从抽象范畴语言中拽出来，钉在一张可执行的代码清单上？