[论文解读] The connection between representation theory and Schubert calculus

Harry Tamvakis|arXiv (Cornell University)|Jun 29, 2003

Advanced Algebra and Geometry参考文献 26被引用 5

一句话总结

本文通过陈-韦伊同态，建立了 $GL_n(Χ)$ 的表示理论与格拉斯曼流形上的施伯特上同调之间的直接、概念性联系，证明了多项式表示张量积分解中的结构常数与施伯特上同调环乘积中的结构常数完全一致。关键贡献在于构造了一个从 $GL_n$ 的表示环到格拉斯曼流形上同调的自然环同态，该同态将不可约表示映射为施伯特类。

ABSTRACT

We describe a direct connection between the representation theory of the general linear group and classical Schubert calculus on the Grassmannian, which goes via the Chern-Weil theory of characteristic classes. We also explain why the analogous constructions do not give the same result for other Lie groups.

研究动机与目标

• 为 $GL_n$ 表示理论与施伯特上同调之间长期已知的结构常数巧合提供一种直接、概念性的解释。
• 建立从 $GL_n$ 的多项式表示环到格拉斯曼流形 $G(m,n)$ 上同调环的自然环同态。
• 证明该同态将不可约表示映射为施伯特类，从而统一两种结构。
• 将该构造推广至其他李群，特别是 $Sp_{2n}$ 和 $O_n$，并考察在非 $GL$ 情境下的限制。

提出的方法

• 利用陈-韦伊同态，从表示环 $\mathrm{R}_+(GL_n)$ 构造一个到上同调环 $H^*(G(m,n))$ 的环同态。
• 依赖于典范同构 $\phi: \mathrm{R}_+(GL_n) \to \mathrm{Pol}(\mathfrak{gl}_n)^{GL_n}$，将表示与李代数上的 $GL_n$-不变多项式对应起来。
• 应用陈-韦伊构造，为表示关联特征类，将其映射到 $H^*(G(m,n))$ 中的施伯特类。
• 利用格罗滕迪克对李群表示的特征类构造，将框架扩展至辛群与正交群。
• 运用舒尔函子与舒尔多项式，将表示特征标与对称函数联系起来，奠定代数结构基础。
• 利用 $GL_n$ 在其李代数 $\mathfrak{gl}_n$ 中的稠密性，使得同构 $\phi$ 成立，这是该对应关系在其他李型中失效的关键原因。

实验结果

研究问题

• RQ1 为何 $GL_n$ 表示张量积分解中的结构常数 $c_{\lambda\mu}^\nu$ 与格拉斯曼流形 $G(m,n)$ 上施伯特类的上积中的常数完全一致？
• RQ2 这一巧合能否通过直接的几何或拓扑构造来解释，而非依赖对称函数？
• RQ3 陈-韦伊理论在连接表示理论与施伯特上同调中扮演何种角色？
• RQ4 为何该对应关系在其他李群（如 $Sp_{2n}$ 或 $O_n$）中不成立？
• RQ5 陈-韦伊构造能否被调整，以在其他李型中定义类似施伯特的类？

主要发现

• 陈-韦伊同态诱导出从表示环 $\mathrm{R}_+(GL_n)$ 到上同调环 $H^*(G(m,n))$ 的环同构，将不可约表示 $V^\lambda$ 映射为施伯特类 $\sigma_\lambda$。
• 张量积 $V^\lambda \otimes V^\mu = \sum c_{\lambda\mu}^\nu V^\nu$ 中的结构常数 $c_{\lambda\mu}^\nu$ 与上积 $\sigma_\lambda \cdot \sigma_\mu = \sum c_{\lambda\mu}^\nu \sigma_\nu$ 中的常数完全一致。
• 同构 $\phi: \mathrm{R}_+(GL_n) \to \mathrm{Pol}(\mathfrak{gl}_n)^{GL_n}$ 是典范的，且依赖于 $GL_n$ 在 $\mathfrak{gl}_n$ 中的稠密性，这一性质在其他李群中不成立。
• 对于 $Sp_{2n}$，相同构造将生成元 $c_{2k}(y)$ 映射为特殊施伯特类 $\tau_{(1^k)}$，且表示环中的结构常数与上同调环中的常数完全匹配。
• 对于 $O_n$，由于实格拉斯曼流形 $G_\mathbb{R}(m,n)$ 缺乏定向性与良好定义的施伯特上同调，不存在此类类比。
• 该框架可通过同构 $\mathrm{gr}K(X) \otimes \mathbb{R} \cong CH^*_\mathbb{R}(X)$ 扩展至代数几何，使得在代数设定下可构造特征同态。