[論文レビュー] Lectures on geometric constructions of the irreducible representations of GL_n

Joel Kamnitzer|arXiv (Cornell University)|Dec 3, 2009

Advanced Algebra and Geometry参考文献 10被引用数 7

ひとこと要約

この論文は、$GL_n$ の既約表現の幾何的構成を、3つの密接に関連したアプローチを用いて行う。すなわち、フラッグ多様体上のラインバンドを用いたBorel-Weil理論、Ginzburgの方法によるBorel-Mooreホモロジーを用いたスプリンガー被覆の構成、およびアフィングラスマン多様体の交差ホモロジーを用いた幾何的サタケ対応である。主な貢献は、スKEW-ハウ双対性を用いてGinzburgの構成を幾何的サタケ同値から導出することにより、これら3つの構成を共通の幾何的枠組みで統一することにある。

ABSTRACT

We give an exposition of three geometric constructions of the irreducible representations of GL_n. In particular, we discuss Borel-Weil theory, the Ginzburg construction, and the geometric Satake construction. We also explain how to deduce the Ginzburg construction from the geometric Satake equivalence. These are lecture notes for a lecture series at the Summer School on geometric representation theory and extended affine Lie algebras held at University of Ottawa in June 2009.

研究の動機と目的

• 高度な代数的群論を前提としない、$GL_n$ の既約表現のアクセス可能な幾何的解説を提供すること。
• Borel-Weil、Ginzburg、幾何的サタケの3つの主要な幾何的構成を、$GL_n$ の文脈で統合すること。
• Ginzburgの構成が、スKEW-ハウ双対性を用いて幾何的サタケ同値からどのように導出できるかを示すこと。
• perverse ファンクター や ユーヴァー多様体 といった技術的道具を避けて、代わりに明確な幾何的およびホモロジー的構成に焦点を当てること。

提案手法

• Borel-Weil理論を用いることで、$G/B$ 上のラインバンドの全体切断の空間として、既約表現が得られる。
• Ginzburgの構成では、$\mathfrak{gl}_n$ の作用が、ノンアーベル的軌道上のスプリンガー被覆のBorel-Mooreホモロジー上の畳み込みを介して実現される。
• 幾何的サタケ対応を用いることで、$\mathrm{Gr}^\lambda$、つまりアフィングラスマン多様体内の軌道の交差ホモロジーとして、既約表現が実現される。
• スKEW-ハウ双対性を用いて、テンソル積 $\Lambda^N(\mathbb{C}^n \otimes \mathbb{C}^m)$ が $GL_m$--equivariant 写像を介して、$GL_n$-既約モジュールに分解される。
• Ginzburgの構成を幾何的サタケから導出するには、$\mathrm{Fl}_\mu(\mathbb{C}^N)^X$ のトップホモロジーを $V(\lambda^\vee)$ と特定する必要がある。ここで $X$ はジョルダン型 $\lambda$ を持つ。
• 幾何的サタケとスKEW-ハウ双対性を用いて、$\bigoplus_{\mu} H_{\text{top}}(\mathrm{Fl}_\mu(\mathbb{C}^N)^X)$ 上に $GL_n$ の作用を再構成し、元のGinzburg作用と一致させること。

実験結果

リサーチクエスチョン

• RQ1 フラッグ多様体、スプリンガー被覆、およびアフィングラスマン多様体を用いて、$GL_n$ の既約表現をどのように幾何的に構成できるか。
• RQ2 Ginzburgの構成と幾何的サタケ同値対応との間の明確な関係は何か。
• RQ3 スKEW-ハウ双対性を用いて、Ginzburgの構成を幾何的サタケ同値から導出することは可能か。
• RQ4 3つの構成において、重み分解とチェヴァリの生成子の作用がどのように一致するか。
• RQ5 テンソル積 $\Lambda^N(\mathbb{C}^n \otimes \mathbb{C}^m)$ は、これらの幾何的表現を統合するために果たす役割は何か。

主な発見

• Ginzburgの構成は、スKEW-ハウ双対性を用いて幾何的サタケ同値から導出され、2つの主要な幾何的表現理論的枠組みの深い関係が確立された。
• 既約表現 $V(\lambda^\vee)$ は、$|\mu|=N$ を満たすすべての $\mu$ に対して、$H_{\text{top}}(\mathrm{Fl}_\mu(\mathbb{C}^N)^X)$ の直和として実現される。ここで $X$ はジョルダン型 $\lambda$ を持つ。
• $V(\lambda^\vee)$ の重み分解は、$\mu$ に関する直和の分解と一致し、各重み空間の重複度が正しく保証された。
• チェヴァリの生成子の作用が、Ginzburgの構成において、幾何的サタケとスKEW-ハウ双対性を介して定義された作用と一致することが、$\operatorname{Hom}_{GL_m}(V_\lambda, \Lambda^{\mu_1}\mathbb{C}^m \otimes \cdots \otimes \Lambda^{\mu_n}\mathbb{C}^m)$ 上での作用の一致によって示された。
• 等式 $\Lambda^N(\mathbb{C}^n \otimes \mathbb{C}^m) \cong \bigoplus_{|\mu|=N} \Lambda^{\mu_1}\mathbb{C}^m \otimes \cdots \otimes \Lambda^{\mu_n}\mathbb{C}^m$ を用いて、幾何的サタケを介してテンソル積を $GL_n$-既約モジュールに分解した。
• 幾何的サタケ対応により、$V(\lambda^\vee)$ とスプリンガー被覆 $\mathrm{Fl}_\mu(\mathbb{C}^N)^X$ のトップホモロジーの間の自然な同型が与えられ、Ginzburgの定理が幾何的に証明された。