[论文解读] Computations in intersection rings of flag bundles

Daniel R. Grayson, Alexandra Seceleanu+1 more|arXiv (Cornell University)|May 18, 2012

Commutative Algebra and Its Applications参考文献 6被引用 4

一句话总结

本文提出了一种用于旗丛相交环的极小Gröbner基，基于陈类的有序单项式基，通过在Macaulay2中实现的算法，实现了对循环类上推的高效计算。该方法可扩展至正交和辛旗丛，为旗簇上的交集理论提供了系统化的计算框架。

ABSTRACT

Intersection rings of flag varieties and of isotropic flag varieties are generated by Chern classes of the tautological bundles modulo the relations coming from multiplicativity of total Chern classes. In this paper we describe the Groebner bases of the ideals of relations and give applications to computation of intersections, as implemented in Macaulay2.

研究动机与目标

• 为在非奇异簇上具有向量丛的旗丛相交环提供一个显式的极小Gröbner基。
• 通过结构化的单项式排序，实现交集上同调中循环类上推的算法计算。
• 将该框架推广至正交旗丛，扩展其在正交与辛旗簇上的适用性。
• 通过在Macaulay2中实现该算法，支持计算交换几何的实际应用。

提出的方法

• 使用类似字典序的排序方式，对旗丛上典范丛的陈类的单项式进行排序，该排序与旗滤子相容。
• 构造定义相交环 $ A(\mathbb{F}) $ 的陈类之间关系的理想，并计算该理想的极小Gröbner基。
• 利用Gröbner基执行标准单项式约化，从而为循环类提供典范表示。
• 在Macaulay2中实现该算法，通过相交环的结构计算循环的上推。
• 通过调整单项式排序与关系结构，将该方法推广至正交旗丛，以适应正交与辛情形。
• 利用Gröbner基的极小性与排序特性，确保上推运算在计算上高效且正确。

实验结果

研究问题

• RQ1 如何利用陈类及其关系，通过算法描述旗丛的相交环？
• RQ2 何种单项式排序可确保相交环关系理想中Gröbner基的极小性？
• RQ3 如何利用Gröbner基结构高效计算循环类的上推？
• RQ4 能否将普通旗丛的框架推广至正交旗丛，并保持类似的计算保证？
• RQ5 在计算机代数系统中实现此类算法的计算复杂度与实际可行性如何？

主要发现

• 通过特定的陈类单项式排序，显式构造了旗丛相交环的极小Gröbner基。
• Gröbner基使得循环类的典范约化成为可能，这对交集理论中上推的计算至关重要。
• 该算法框架已在Macaulay2中实现，为旗丛上循环类的上推计算提供了实用工具。
• 该方法可推广至正交旗丛，扩展了其在正交与辛旗簇中的适用性。
• 采用恰当的单项式排序确保了Gröbner基的极小性与计算效率。
• 结果为旗簇上的交集理论提供了基础性的计算工具，支持代数几何与Schubert微积分的进一步研究。