3.1.2 射影簇：齐次理想与Proj构造

文档摘要

3.1.2 射影簇：齐次理想与Proj构造在代数几何的实践疆域里，射影簇从来不是教科书上静止的定义，而是一组可计算、可验证、可嵌入现代符号计算流水线的构造性对象。当你在 SageMath 中键入，当 Macaulay2 在终端中输出的维度与度数，当一个深度学习模型试图将射影空间中的图像变换建模为 $\mathrm{PGL}(n+1)$ 作用下的不变量——这些都不是魔法，而是齐次理想在分次环上被“解构—裁剪—粘合”后所呈现的稳定形态。