[论文解读] A Pieri-Chevalley formula in the K-theory of a G/B-bundle

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

Advanced Algebra and Geometry参考文献 3被引用 8

一句话总结

本文在光滑代数簇 $X$ 上的 $G/B$-丛的 K-理论中建立了 Pieri-Chevalley 公式，将齐次线丛类与 Schubert 类的乘积表示为 Schubert 类的 $K(X)$-线性组合。关键结果利用 Littelmann 的路径模型，通过最大提升和路径终点来描述结构常数，推广了经典 Schubert 微分几何结果，并将 Fulton 与 Lascoux 的公式拓展至相对情形。

ABSTRACT

The main result of this announcement is a formula for the tensor product of the class of a homogeneous line bundle with a Schubert class, expressed as a K(X)-linear combination of Schubert classes. We believe that this formula is the most general uniform result in the intersection theory of Schubert classes: it is related to a recent result of Fulton and Lascoux who presented a similar formula for a GL_n(C)/B-bundle. Indeed, in this case, their formula and ours coincide once one knows how to translate between their combinatorics with tableaux and ours with Littelmann paths. O. Mathieu has also proved the positivity which is implied by our formula. Applying the Chern character to our formula, and equating the lowest order terms we obtain a relative version of the classical result of Chevalley alluded to in the title of this paper.

研究动机与目标

• 在光滑代数簇 $X$ 上的 $G/B$-丛背景下，为齐次线丛类与 Schubert 类的乘积发展一个相对 K-理论公式。
• 通过 Schubert 类的 $K(X)$-线性组合，将经典的 Pieri 与 Chevalley 公式推广至相对情形。
• 利用 Littelmann 的路径模型与 $K(E(G/B))$ 上的 $W$-作用，在 Schubert 类的交点理论中建立统一公式。
• 提供一个统一的理论框架，将绝对与相对 Schubert 微分几何在 K-理论中统一起来，拓展了 Fulton、Lascoux 与 Demazure 的结果。

提出的方法

• 通过拉回与伴随丛构造，将 Grothendieck 环 $K(E(G/B))$ 定义为 $K(X)$-模。
• 利用 $K(X) \bigotimes R(T)$ 上的 $W$-作用，通过 $R(T)$ 上的 $T_\beta$ 运算定义 BGG 型算子 $T_w$，并将其延拓至 $K(E(G/B))$。
• 应用 Littelmann 的路径模型，将路径 $\pi \in \mathcal{T}^\lambda$ 编码为序列 $\vec{a}, \vec{\tau}$，追踪其初始与终点方向。
• 通过 Bruhat 顺序中的最大提升定义终点方向 $v(\pi, w)$，以控制展开式中的结构常数。
• 利用路径的 $\alpha_i$-串推导算子恒等式 $Y^\lambda T_{w^{-1}} = \sum_{\eta \in \mathcal{T}^\lambda_{\leq w}} T_{v(\eta,w)^{-1}} Y^{\eta(1)}$。
• 将算子公式应用于 $[\mathcal{O}_{\Omega_1}]$，在 $K(E(G/B))$ 中获得主要乘积公式。

实验结果

研究问题

• RQ1 如何在光滑基代数簇 $X$ 上的 $G/B$-丛的 K-理论中表达齐次线丛类与 Schubert 类乘积？
• RQ2 Littelmann 的路径模型在控制此类乘积在相对 K-理论中的结构常数中起什么作用？
• RQ3 $K(E(G/B))$ 上的 $W$-作用如何与 $K(X)$-模结构相互作用，以导出统一公式？
• RQ4 相对 Pieri-Chevalley 公式在何种意义上推广了绝对情形，并与 Fulton 和 Lascoux 对 $GL_n/C$ 的结果保持一致？
• RQ5 在 Bruhat 顺序中，最大提升在以 Schubert 类表示展开式的支撑时具有何种意义？

主要发现

• 在 $K(E(G/B))$ 中，乘积 $y^\lambda [\mathcal{O}_{\Omega_w}]$ 展开为 $\sum_{\eta \in \mathcal{T}^\lambda_{\leq w}} [\mathcal{O}_{\Omega_{v(\eta,w)}}] x^{\eta(1)}$，其中 $x^{\eta(1)} \in K(X)$。
• 该公式对任意极大积分权 $\lambda$ 与任意 $w \in W$ 成立，提供了完整的相对 K-理论分解。
• 结构常数由路径 $\eta \in \mathcal{T}^\lambda_{\leq w}$ 索引，其终点方向 $v(\eta,w)$ 由 Bruhat 顺序中的最大提升确定。
• $K(E(G/B))$ 上的 $W$-作用与理想 $\mathcal{I}$ 相容，从而导出同构 $K(E(G/B)) \cong K(X) \otimes_{R(G)} R(T) / \mathcal{I}$。
• 通过施加 Chern 示性类并提取最低阶项，该公式可恢复经典 Chevalley 公式。
• 该结果表明结构常数的非负性，证实了 Mathieu 在相对情形下的一个猜想。