[論文レビュー] The connection between representation theory and Schubert calculus

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

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

ひとこと要約

この論文は、Chern-Weil準同型を介して、$GL_n(\mathbb{C})$ の表現論とGrassmannian 上のシューベルト計算の間の直接的で概念的な関係を確立する。tensor積分解における表現の構造定数が、シューベルトコホモロジー環の積におけるそれらと一致することを示している。主な貢献は、$GL_n$ の表現環からGrassmannian のコホモロジーへの自然な環準同型を構成し、その上で既約表現がシューベルト類にマッピングされることを示したことである。

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 の表現論における構造定数とシューベルト計算におけるそれらの一致が、長年にわたり知られていたが、その直接的で概念的な説明を提供すること。
• 多項式表現環からGrassmannian $G(m,n)$ のコホモロジー環への自然な環準同型を確立すること。
• この準同型が既約表現をシューベルト類にマッピングすることを示し、両者の構造を統一すること。
• 特に $Sp_{2n}$ および $O_n$ を含む他のリー群への拡張を試み、非GL型の文脈における制限要因を検討すること。

提案手法

• Chern-Weil準同型を用いて、表現環 $\mathrm{R}_+(GL_n)$ からコホモロジー環 $H^*(G(m,n))$ への環準同型を構成する。
• リー代数上の $GL_n$-不変多項式への同型 $\phi: \mathrm{R}_+(GL_n) \to \mathrm{Pol}(\mathfrak{gl}_n)^{GL_n}$ に依存し、表現を $GL_n$-不変多項式として同定する。
• Chern-Weil構成を応用して、表現に特徴類を関連付け、それらを $H^*(G(m,n))$ 内のシューベルト類にマッピングする。
• Grothendieck のリー群表現のためのチャーン類の構成を用いて、シンプレクティック群および直交群への枠組みの拡張を実現する。
• シュール関手とシュール多項式を用いて、表現のキャラクターと対称関数との関係を確立し、代数的構造を基盤とする。
• GL_n がそのリー代数 $\mathfrak{gl}_n$ に稠密に含まれることを活用し、同型 $\phi$ を可能にする。これは、他のリー型では成立しない性質であり、対応関係が失敗する主な理由である。

実験結果

リサーチクエスチョン

• RQ1 なぜ $GL_n$ 表現のテンソル積分解における構造定数 $c_{\lambda\mu}^\nu$ が、$G(m,n)$ 上のシューベルト類のカップ積におけるそれらと一致するのか？
• RQ2 この一致は、対称関数を介さずに、幾何的または位相的構成によって直接説明可能か？
• RQ3 Chern-Weil理論は、表現論とシューベルト計算をどのように結びつけるか？
• RQ4 なぜこの対応関係は、$Sp_{2n}$ や $O_n$ などの他のリー群では成立しないのか？
• RQ5 Chern-Weil構成を他のリー型に適応し、シューベルトに類似た類を定義できるか？

主な発見

• Chern-Weil準同型は、表現環 $\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$ に対しては、実Grassmannian $G_\mathbb{R}(m,n)$ 上での可換性や適切なシューベルト計算が定義できないため、同様の類似物は存在しない。
• 代数幾何学的文脈では、同型 $\mathrm{gr}K(X) \otimes \mathbb{R} \cong CH^*_\mathbb{R}(X)$ を通じて枠組みが拡張され、代数的状況下での特徴類準同型の構成が可能になる。