[论文解读] Generalized Schubert Calculus

Nora Ganter, Arun Ram|arXiv (Cornell University)|Dec 22, 2012

Advanced Mathematical Theories and Applications参考文献 26被引用 14

一句话总结

本文利用Borel模型与权图模型，为旗流形中的等变Schubert上同调建立了一个广义框架，重点在于区分广义上同调理论中Schubert类与Bott-Samelson类。研究提供了在复维数≤3的A₂、B₂、G₂和A₁⁽¹⁾型秩2情形下，Schubert类、Pieri-Chevalley公式及Schubert类乘积的显式计算，揭示了深刻的正性特征，并为奇异Schubert流形中的代数cobordism提出了修正因子。

ABSTRACT

In this paper we study the T-equivariant generalized cohomology of flag varieties using two models, the Borel model and the moment graph model. We study the differences between the Schubert classes and the Bott-Samelson classes. After setup of the general framework we compute, for classes of Schubert varieties of complex dimension <4 in rank 2 (including A_2, B_2, G_2 and A_1^{(1)}), moment graph representatives, Pieri-Chevalley formulas and products of Schubert classes. These computations generalize the computations in equivariant K-theory for rank 2 cases which are given in Griffeth-Ram arXiv:math/0405333.

研究动机与目标

• 建立一个无需依赖广义上同调理论高级知识的广义等变Schubert上同调的通用框架。
• 澄清在广义上同调中Schubert类与Bott-Samelson类之间的区别，这些区别在普通上同调与K-理论中并不明显。
• 计算秩2情形下复维数≤3的Schubert流形的权图代表元、Pieri-Chevalley公式及Schubert类乘积。
• 通过修正因子、正性及Soergel双模，探索奇异Schubert流形中Schubert类的定义。
• 通过利用映射Φ的环同态性质，拓展权图模型的适用性，实现系统化计算。

提出的方法

• 使用Borel模型将G/B的等变广义上同调表示为余不变子环 S ⊗_{S^{W₀}} S。
• 利用权图模型通过T-不动点包含关系描述h_T(G/B)，并利用映射Φ的环同态性质。
• 应用广义仿射Hecke代数与BGG-Demazure算子，将代数结构与Schubert上同调联系起来。
• 显式计算t_sᵢ和Aᵢ算子关于x-变量与群型元素的展开式，编码辫关系。
• 通过权图代表元与算子演算推导Pieri-Chevalley公式及Schubert类乘积。
• 通过分析奇异Schubert流形的解析，提出等变代数cobordism类的修正因子。

实验结果

研究问题

• RQ1 当Schubert类与Bott-Samelson类在广义等变上同调中不相同时，如何定义Schubert类？
• RQ2 在复维数≤3的秩2旗流形中，Schubert类的权图代表元具有何种结构？
• RQ3 在如cobordism与K-理论等广义上同调理论中，Pieri-Chevalley公式与Schubert类乘积的行为如何？
• RQ4 能否为秩2情形下最小奇异Schubert流形的等变代数cobordism类计算出一致的修正因子？
• RQ5 Soergel双模或正性性质在多大程度上能唯一确定广义上同调中的Schubert类？

主要发现

• 本文显式计算了A₂、B₂、G₂与A₁⁽¹⁾中所有复维数≤3的Schubert流形的权图代表元与Schubert类乘积，对A₂与B₂提供了完整结果。
• Schubert类乘积展现出显著的正性特征，提示其可能通过乘法下的正性特征来表征。
• 在所有秩2情形下，计算了最小奇异Schubert流形（维数3）的等变代数cobordism类的候选修正因子。
• 权图模型中映射Φ的环同态性质使得系统化与广义化计算成为可能，超越了[GR]中的早期方法。
• 在广义上同调中，Schubert类与Bott-Samelson类的区别得到确认，朴素的上推与标准解析无法得到正确的Schubert类。
• 初步计算表明，基于定理3.1中S（广义上同调环）的Soergel双模可能为广义上同调中Schubert类的定义提供可行框架。