[论文解读] A Pieri-Chevalley formula for K(G/B)

Harsh Pittie, Arun Ram|ArXiv.org|Jan 23, 2004

Algebraic Geometry and Number Theory参考文献 8被引用 4

一句话总结

本文在复半单李群 $G$ 的旗流形 $G/B$ 的 $K$-理论中建立了通用的 Pieri-Chevalley 公式，给出了 $e^{\tau}[ℓ_{X_w}]$ 对 Schubert 类 $[ℓ_{X_v}]$ 的组合展开。通过使用 Littelmann 的路径模型而非表格，该公式将 Fulton 和 Lascoux 的早期结果推广到任意李型，并通过陈特征类恢复了 Chevalley 的经典上同调公式。

ABSTRACT

The ring K(G/B) is isomorphic to a quotient of a Laurent polynomial ring by an ideal generated by certain W-symmetric functions and has a basis given by classes O_w, where O_w is the class of the structure sheaf of the Schubert variety X_w. In this paper we give an explicit combinatorial formula for the tensor product of a (negative) line bundle with the structure sheaf of a Schubert variety, expanded in terms of the Schubert class basis O_w. Chevalley's classical formula for the class of a hyperplane section of a Schubert variety in H^*(G/B) can be recovered from our formula by applying the Chern character and comparing lowest degree terms. The higher order terms of our formula may yield further interesting identities in cohomology. Fulton and Lascoux have given a formula similar to ours for the GL_n(C) case. Our formula is a generalization of their formula to general type. In our work the column strict tableaux used by Fulton and Lascoux are replaced by Littelmann's path model.

研究动机与目标

• 将 $GL_n$ 情形下的 Pieri-Chevalley 公式推广至任意复半单李群在旗流形 $G/B$ 上的 $K$-理论。
• 用 Littelmann 的路径模型替代表格和 jeu de taquin 的组合工具，实现对所有李型的统一处理。
• 在 $K(G/B)$ 中建立线丛与 Schubert 类之间的交换关系，从而导出 $e^{\tau}[\mathcal{O}_{X_w}]$ 的显式公式。
• 展示陈特征如何将 $K(G/B)$ 与 $H^*(G/B)$ 联系起来，使该公式的最低次项恢复 Chevalley 的经典上同调公式。

提出的方法

• 利用同构 $K(G/B) \cong R(T)/\mathcal{I}$，其中 $R(T)$ 是极大环面 $T$ 的表示环，$\mathcal{I}$ 是由无常数项的 $W$-不变函数生成的理想。
• 将 Schubert 类 $[\mathcal{O}_{X_w}]$ 定义为 Schubert 代数簇 $X_w \subseteq G/B$ 的结构层，构成 $K(G/B)$ 的一组基。
• 引入作用在 $K(G/B)$ 上的算子 $T_\alpha$，通过沿 $P^1$-丛 $f_\alpha: G/B \to G/P_\alpha$ 的推拉构造定义为 $T_\alpha(x) = (f_\alpha)^! (f_\alpha)_!(x)$。
• 推导 $T_\alpha$ 与 Schubert 类之间的交换关系，从而导出主公式：$e^{\tau}[\mathcal{O}_{X_w}] = \sum_{\eta \in \mathcal{T}^{\tau}_w} [\mathcal{O}_{X_{v(\eta,w)}}]$。
• 应用陈特征将 $K(G/B)$ 与 $H^*(G/B)$ 联系起来，表明该公式的最低次项恢复了 Chevalley 在上同调中的经典公式。
• 利用 Grothendieck-Riemann-Roch 定理，将 $K$-理论算子 $T_\alpha$ 与上同调算子 $\partial_\alpha$ 联系起来，建立 $K$-理论与上同调之间的字典。

实验结果

研究问题

• RQ1 如何将 $K(G/B)$ 中的 Pieri-Chevalley 公式从 $GL_n$ 情形推广至任意复半单李群？
• RQ2 何种组合模型可替代 Fulton 和 Lascoux 基于表格的方法，以实现对所有李型的统一处理？
• RQ3 陈特征如何将 $K$-理论的 Pieri 公式转化为上同调中的经典 Chevalley 公式？
• RQ4 $K$-理论算子 $T_\alpha$ 与上同调算子 $\partial_\alpha$ 之间的确切关系为何？
• RQ5 能否完全使用 Littelmann 的路径模型替代表格正则化，来描述 $K(G/B)$ 的结构？

主要发现

• 本文建立了 $K(G/B)$ 中的通用 Pieri-Chevalley 公式：$e^{\tau}[\mathcal{O}_{X_w}] = \sum_{\eta \in \mathcal{T}^{\tau}_w} [\mathcal{O}_{X_{v(\eta,w)}}]$，其中 $\mathcal{T}^{\tau}_w$ 是编码 $e^{\tau}$ 作用于 Schubert 类的组合性质的路径集合。
• 该公式源于 $K$-理论算子 $T_\alpha$ 与 Schubert 类之间的交换关系，该关系将 BGG 关系推广至 $K$-理论。
• 使用 Littelmann 的路径模型避免了对复杂组合工具（如 jeu de taquin 和正则化）的依赖，简化了向任意李型的推广。
• 对 $K$-理论公式应用陈特征后，可恢复 Chevalley 的经典上同调公式：$\lambda \cdot [X_w] = \sum_{v \to w} \langle \lambda, \alpha^\vee \rangle [X_v]$，其中 $v = s_\alpha w$ 且 $\ell(v) = \ell(w) - 1$。
• $T_\alpha$ 与 $\partial_\alpha$ 之间的关系通过陈特征表达为：$\mathrm{ch}(T_\alpha(x)) = \partial_\alpha(\mathrm{ch}(x) \cdot \frac{\alpha}{1 - e^{-\alpha}})$，清晰揭示了 $K$-理论与上同调之间的联系。
• 该公式证实了 $G/B$ 的 $K$-理论同构于 Laurent 多项式环 $R(T)$ 关于 $W$-不变函数无常数项的理想之商，且 Schubert 类构成一组基。