[论文解读] Equivariant Todd Classes for Toric Varieties

Jean-Luc Brylinski, Bin Zhang|ArXiv.org|Nov 18, 2003

Algebraic structures and combinatorial models参考文献 15被引用 20

一句话总结

本文通过结合等变Riemann-Roch定理与等变上同调和同调的计算，利用其组合数据——扇状图（fan）——建立了完备toric代数簇的等变Todd类的显式公式。关键贡献在于以扇状图上的分段多项式函数形式，给出了等变Todd类的闭式表达式，该表达式对光滑及一般完备toric代数簇均成立，通过奇点的解析化实现。

ABSTRACT

For a complete toric variety, we obtain an explicit formula for the localized equivariant Todd class in terms of the combinatorial data -- the fan. This is based on the equivariant Riemann-Roch theorem and the computation of the equivariant cohomology and equivariant homology of toric varieties.

研究动机与目标

• 基于其组合扇状图数据，推导完备toric代数簇的等变Todd类的显式公式。
• 通过使用等变同调而非等变Chow群，将等变Riemann-Roch定理推广至一般完备toric代数簇。
• 计算toric代数簇的等变上同调与同调，作为Todd类公式的基石。
• 通过扇状图的剖分实现toric代数簇的奇点解析化，将一般情形约化为光滑情形。
• 通过幂映射与局部化技术，建立Todd类与扇状图上分段多项式函数之间的联系。

提出的方法

• 利用Totaro对普遍丛$EG$的逼近，通过代数逼近的逆极限定义等变上同调与同调。
• 在Baum-Fulton-MacPherson框架下应用等变Riemann-Roch定理，以等变同调作为Todd类的取值空间。
• 通过分析torus作用与扇状图结构，计算toric代数簇的等变上同调与同调。
• 利用幂映射与局部化技术，将等变Todd类表示为锥上的和，使用分段连续多项式函数。
• 通过扇状图的剖分实现奇点解析化，将一般情形约化为已知Todd类的光滑情形。
• 应用公式$L^{-1}PD^{-1}(\textstyle\bigsum S(A_σ)[\bar{O}_\sigma])$，在完成的等变同调中恢复等变Todd类。

实验结果

研究问题

• RQ1 如何基于其扇状图数据，显式表达完备toric代数簇的等变Todd类？
• RQ2 如何使用等变同调正确表述一般toric代数簇的等变Riemann-Roch定理？
• RQ3 幂映射与局部化技术如何促进等变Todd类的计算？
• RQ4 通过扇状图剖分实现奇点解析化，在将公式从光滑情形推广至一般toric代数簇中起到何种作用？
• RQ5 扇状图上的分段多项式函数如何与完成的等变同调中的等变Todd类相关联？

主要发现

• 光滑toric代数簇的等变Todd类在每个锥$\sigma$上由$\prod_{i=1}^{p} \frac{v_i^*}{1 - e^{-v_i^*}}$给出，可解释为分段多项式函数。
• 对于一般完备toric代数簇，通过扇状图剖分解析奇点，并将类从光滑模型向前推，得到等变Todd类。
• 公式$L^{-1}PD^{-1}(\sum S(A_\sigma)[\bar{O}_\sigma])$在$L^{-1}\hat{H}^T_*(X)$中给出等变Todd类，其中$S(A_\sigma)$是半群$\bar{\sigma} \cap M$的生成级数。
• 对任意锥$\sigma$的剖分，恒等式$\sum S(\mathbb{C}[\bar{\sigma}_i]) = S(\mathbb{C}[\bar{\sigma}])$成立，确保了在细分下Todd类的一致性。
• 等变Todd类属于$\hat{H}^T_*(X)$，且在torus等变双有理映射下不变，如通过解析的前推所证明。
• 该方法成功地将Brion与Vergne的等变Riemann-Roch结果从单纯情形推广至一般完备toric代数簇，使用同调方法。