3.2.1 正规簇与奇点解析

文档摘要

3.2.1 正规簇与奇点解析在代数几何的实践疆域中，正规簇（normal variety）绝非一个仅供理论把玩的抽象概念——它是现代计算代数几何工具链中一道隐秘却不可绕行的“校验闸门”。当你在 Singular 中执行时，当 Macaulay2 的返回而你正准备手动剥离嵌入分量时，当 SageMath 在构造射影嵌入后突然报出构造失败时——这些看似孤立的报错，其底层共性往往直指一个被轻视的事实：你正在操作的对象，在局部环层面尚未通过正规性检验；而奇点解析（resolution of singularities）不是可选的“锦上添花”，而是进入可靠几何计算的准入许可证。这不是教科书式的定义复述。