[论文解读] Notes on Schubert classes of a loop group

Péter Magyar|ArXiv.org|May 25, 2007

Advanced Combinatorial Mathematics参考文献 3被引用 14

一句话总结

本文提出了一种利用Bott对Pontryagin环$H_*(ΩK)$作为$H_*(K/T)$上的对称代数的实现方式，通过拓扑方法计算环群$ΩK$中仿射Schubert同调类。它建立了两个关键结果：(1) 通过仿射Weyl群中的弱序，实现仿射Schubert类的分解性质；(2) 利用Demazure算子全局定义仿射Schubert多项式，类比于普通Schubert多项式，适用于所有类型，并给出了$\mathrm{SL}_n\mathbb{C}$的显式公式。

ABSTRACT

In these notes, we survey the homology of the loop group Omega(K) of a compact group K, also known as the affine Grassmannian of a complex loop group. Using the Bott picture of H_*(Omega(K)), the homology algebra or Pontryagin ring, we obtain two new results: A. Factorization of affine Schubert homology classes. B. Definition of affine Schubert polynomials representing the affine Schubert homology classes in all types, in terms similar to ordinary Schubert polynomials.

研究动机与目标

• 为利用有理同调在仿射Grassmannian $\widehat{\mathrm{Gr}} \cong \Omega K$ 中计算同调类提供一个拓扑框架。
• 通过Bott-Samelson簇作为直积的拓扑结构，揭示仿射Schubert类的分解性质。
• 通过Demazure算子定义表示$H_*(\Omega K)$中Schubert类的仿射Schubert多项式，推广普通Schubert多项式。
• 通过证明有理同调表现得如同等变K-理论和Demazure模的“柔韧”版本，统一拓扑与代数视角。
• 将理论从$\mathrm{SL}_n$扩展到任意单连通单代数群，给出$\mathrm{SL}_n$的显式公式。

提出的方法

• 利用Bott对Pontryagin环$H_*(\Omega K)$的构造，即作为$H_*(K/T)$上的对称代数，借助紧致群的拓扑灵活性。
• 应用仿射Weyl群$\widehat{W}$上的弱序，通过左、右序关系刻画Schubert类的分解。
• 通过作用于$H^*(K/T)$的Borel图景上的Demazure算子定义仿射Schubert多项式，类比于普通Schubert多项式的构造。
• 利用余权格$P^\vee$在基本单体上的作用，通过条件${{}^\wedge t}_\lambda \stackrel{\mathrm{R}}{\leq} x^{-1}$确定最大分解。
• 使用公式$\lambda = \lfloor \langle \alpha_i, y(\epsilon) \rangle \rfloor \varpi^\vee_i$（其中$y = x^{-1}$）全局表示Schubert类，其中$\epsilon$位于基本仿射胞腔内部。
• 全程使用有理同调，指出通过小心处理分母，结果可提升至整数系数。

实验结果

研究问题

• RQ1 如何利用仿射Weyl群中的弱序对$\Omega K$中的仿射Schubert同调类进行分解？
• RQ2 能否通过Demazure算子在所有类型中全局定义仿射Schubert多项式，类比于普通Schubert多项式？
• RQ3 Schubert类的分解与余权格在基本单体上的作用之间存在何种精确关系？
• RQ4 与代数设定相比，$\Omega K$的拓扑结构在构造Schubert类时如何简化过程？
• RQ5 此处构造的仿射Schubert多项式在多大程度上与已知基（如Lapointe-Morse的限制Schur多项式）一致？

主要发现

• 在$H_*(\Omega K)$中，仿射Schubert类根据弱序分解：当且仅当$x \stackrel{\mathrm{L}}{\leq} z$或$x \stackrel{\mathrm{R}}{\leq} y$时，有$x = y \cdot z$且$\ell(x) = \ell(y) + \ell(z)$。
• 使得${{}^\wedge t}_\lambda \stackrel{\mathrm{R}}{\leq} x^{-1}$成立的最大余权$\lambda \in P^\vee_+$为$\lambda = \sum_i \lfloor \langle \alpha_i, y(\epsilon) \rangle \rfloor \varpi^\vee_i$，其中$y = x^{-1}$，$\epsilon$位于基本仿射胞腔内部。
• 仿射Schubert多项式作为Demazure算子在$H^*(K/T)$的Borel图景上的像被全局定义，推广了普通Schubert多项式的构造。
• 当$G = \mathrm{SL}_n\mathbb{C}$时，所构造的仿射Schubert多项式与Lapointe-Morse的限制Schur多项式一致，如Lam所展示。
• Pontryagin环$H_*(\Omega K)$被实现为$H_*(K/T)$上的对称代数，使得可通过标准Schubert多项式技术系统地计算Schubert类。
• 使用紧致群的拓扑方法比代数设定更具灵活性，使得即使在代数上为非平凡纤维化，Bott-Samelson簇在拓扑上可被视为直积。