[论文解读] A Macaulay2 package for characteristic classes and the topological Euler characteristic of complex projective schemes

Christine Jost|arXiv (Cornell University)|Jan 17, 2013

Algebraic Geometry and Number Theory参考文献 7被引用 3

一句话总结

本论文介绍了 Macaulay2 包 CharacteristicClasses，该包通过符号与数值方法计算复射影概形的拓扑欧拉示性数、陈类与塞雷类。它利用剩余计算，并与 Bertini 集成以实现数值代数几何，从而高效计算射影空间中光滑与奇异概形的特征不变量。

ABSTRACT

The Macaulay2 package CharacteristicClasses provides commands for the computation of the topological Euler characteristic, the degrees of the Chern classes and the degrees of the Segre classes of a closed subscheme of complex projective space. The computations can be done both symbolically and numerically, the latter using an interface to Bertini. We provide some background of the implementation and show how to use the package with the help of examples.

研究动机与目标

• 为复射影概形的特征类与拓扑欧拉示性数提供计算工具。
• 解决对光滑及奇异射影概形的特征不变量进行计算的挑战。
• 实现符号与数值算法，以在代数几何中实现稳健且高效的计算。
• 与 Bertini 集成以实现数值求解，提升对高次或复杂概形的性能。
• 支持理想与射影概形输入，提升在代数几何应用中的可用性。

提出的方法

• 通过包含该概形的超曲面交的剩余分解计算陈类与塞雷类的次数。
• 利用格罗布纳基技术通过理想饱和实现剩余的符号计算。
• 通过与 Bertini 的接口使用数值代数几何方法，在符号方法不可行时求解多项式系统。
• 应用容斥原理计算由理想定义的开子概形的拓扑欧拉示性数。
• 利用到 ℙⁿ 的 Chow 环的推出与次数计算之间的等价性，表示特征类。
• 实现 chernClass、segreClass 与 eulerChar 等命令，以便在 Macaulay2 中直接访问特征不变量。

实验结果

研究问题

• RQ1 如何高效计算复射影概形的特征类与拓扑欧拉示性数，特别是对奇异概形？
• RQ2 剩余分量在将特征类的计算简化为更简单的交点问题中起什么作用？
• RQ3 符号与数值方法的结合如何提升特征类计算的可扩展性与鲁棒性？
• RQ4 该包如何与 Macaulay2 中 Aluffi 的 CSM 包等现有工具互补？
• RQ5 统计模型的最大似然度是多少，如何通过开子概形的拓扑欧拉示性数计算？

主要发现

• 该包成功计算出随机右删失模型的拓扑欧拉示性数为 3，与代数统计中的最大似然度一致。
• 惠特尼雨伞的奇异点集被计算为一条直线（次数为 1），其第一塞雷类的次数为 0，与存在两个压印点的现象一致。
• 扭三次曲线的陈类在 Chow 环 ℤ[H]/(H⁴) 中计算为 2H² + 3H³，其次数分别为 3 和 2。
• 通过 Bertini 的数值计算与符号计算结果一致，验证了接口的可靠性。
• 利用定义理想上的容斥原理，计算出随机右删失模型中开子概形的拓扑欧拉示性数为 5 − 2 = 3。
• 该包通过增加对拓扑欧拉示性数的支持，扩展了先前的实现，而拓扑欧拉示性数是代数几何与统计学中的关键不变量。