[論文レビュー] Fusion products, cohomology of GL(N) flag manifolds and Kostka polynomials

Rinat Kedem|ArXiv.org|Dec 29, 2003

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

ひとこと要約

本稿は、$\mathfrak{sl}_n$ の対称冪表現の融合積と $GL_N$ のフラッグ多様体 $\mathcal{F}l_{\mu'}$ のコホモロジー環の間の正確な対応を確立し、融合積分解における次数付き重複度空間がコホモロジー環におけるスペクト・モジュールの重複度空間に同型であることを示している。主な結果は、この設定において、コスタカ多項式が融合積の次数付き特徴を与えることであり、$N \to \infty$ の極限において、縮約されたウェッジ積と $\widehat{\mathfrak{sl}}_n$-加群への対応が得られることである。証明はシュール＝ワイエルシュトラス双対性とガルシア＝プロセスの座標環 $R_\mu$ の構成に依拠している。したがって、幾何学的かつ表現論的同定を通じて、融合積の特徴がコスタカ多項式として示された。

ABSTRACT

This paper explains the relation between the fusion product of symmetric power sl(n) evaluation modules, as defined by Feigin and Loktev, and the graded coordinate ring R(mu), which describes the cohomology ring of the flag variety Fl(mu) of GL(N). The graded multiplicity spaces appearing in the decomposition of the fusion product into irreducible sl(n)-modules are identified with the multiplicity spaces of the Specht modules in R(mu). This proves that the Kostka polynomial gives the character of the fusion product in this case. In the case of the product of fundamental evaluation modules, we give the precise correspondence with the reduced wedge product, and thus the usual wedge space construction of irreducible level-1 ^sl(n)-modules in the limit N->infty. The multiplicity spaces are W(sl(n))-algebra modules in this limit.

研究の動機と目的

• 対称冪 $\mathfrak{sl}_n$ 評価加群の融合積と $GL_N$ のフラッグ多様体 $\mathcal{F}l_{\mu'}$ のコホモロジー環との間の表現論的かつ幾何学的関係を確立すること。
• 融合積分解における次数付き重複度空間を、コホモロジー環 $R_\mu$ におけるスペクト・モジュールの重複度空間に同定すること。
• 対称冪表現の状況において、コスタカ多項式が融合積の次数付き特徴を計算することを証明すること。
• 極限 $N \to \infty$ における融合積とレベル1 $\widehat{\mathfrak{sl}}_n$-加群の縮約されたウェッジ積構成との関係を明確にすること。
• 融合積分解における重複度空間が、無限大極限において $W(\mathfrak{sl}_n)$-代数加群の構造をもつことを示すこと。

提案手法

• 評価加群のテンソル積に $\mathfrak{g}$-不変な次数を導入するフェイジン＝ロクテフの融合積構成を用いる。
• シュール＝ワイエルシュトラス双対性を用いて、$\pi^{\otimes N}$ 上の対称群作用を、不可約 $\mathfrak{sl}_n$-加群への分解に関連付ける。
• 点 $\mathcal{X}$ の $S_N$-軌道上で消えるイデアルによる $\mathbb{C}[z_1, \dots, z_N]$ の商として得られる $R_\mu$ のガルシア＝プロセスの構成を用いる。$R_\mu \simeq A_\mu$ は $S_N$-加群として同型である。
• 同型 $\mathrm{gr}(\pi^{\otimes N} \otimes A_\mu)^{S_N} \simeq \mathcal{F}_\mu^*$ を通じて、$R_\mu$ 内の次数付き重複度空間 $M_{\lambda,\mu}$ を融合積内の重複度空間に同定する。
• $R_\mu$ がフラッグ多様体 $\mathcal{F}l_{\mu'}$ のコホモロジー環に同型であり、その次数付き重複度がコスタカ多項式で与えられることに依拠する。
• $N \to \infty$ の極限を解析し、融合積を縮約されたウェッジ積およびレベル1 $\widehat{\mathfrak{sl}}_n$-加群の標準的構成に接続する。

実験結果

リサーチクエスチョン

• RQ1 対称冪 $\mathfrak{sl}_n$ 評価加群の融合積は、$GL_N$ フラッグ多様体のコホモロジーとどのように関係しているか？
• RQ2 コスタカ多項式は、対称冪の場合の融合積の次数付き特徴として解釈可能か？
• RQ3 シュール＝ワイエルシュトラス双対性は、融合積と $R_\mu$ の $S_N$-加群構造を結ぶ上で果たす役割は何か？
• RQ4 極限 $N \to \infty$ において、融合積は $\widehat{\mathfrak{sl}}_n$-加群の縮約されたウェッジ積構成とどのように関係しているか？
• RQ5 融合積分解における重複度空間の代数的構造は何か？

主な発見

• 対称冪 $\mathfrak{sl}_n$ 評価加群の融合積 $\mathcal{F}_\mu^*$ は、次数付き $\mathfrak{sl}_n$-加群として $\bigoplus_{\lambda \vdash N, \ell(\lambda) \leq n} \pi_\lambda \otimes M_{\lambda,\mu}$ に同型である。
• 融合積分解における重複度空間 $M_{\lambda,\mu}$ は、フラッグ多様体 $\mathcal{F}l_{\mu'}$ のコホモロジー環 $R_\mu$ におけるスペクト・モジュール重複度空間に同型である。
• 融合積の次数付き特徴は $\mathrm{ch}_q \mathcal{F}_\mu^* = \sum_{\lambda \vdash N, \ell(\lambda) \leq n} \mathrm{ch}\, \pi_\lambda \cdot \widetilde{K}_{\lambda,\mu}(q)$ で与えられ、ここで $\widetilde{K}_{\lambda,\mu}(q)$ はコスタカ多項式である。
• 環 $R_\mu$ はフラッグ多様体 $\mathcal{F}l_{\mu'}$ のコホモロジー環に同型であり、その $S_N$-加群分解は $R_\mu \simeq \bigoplus_{\lambda} W_\lambda \otimes M_{\lambda,\mu}$ であり、$M_{\lambda,\mu}$ は次数付きである。
• 極限 $N \to \infty$ において、基本的表現の融合積は縮約されたウェッジ積に対応し、重複度空間は $W(\mathfrak{sl}_n)$-代数加群になる。
• $\pi^{\otimes N} \otimes A_\mu$ の $S_N$-不変部分空間の関連する次数付き空間は、融合積 $\mathcal{F}_\mu^*$ に同型であり、この同型は次数および $\mathfrak{sl}_n$-作用と両立する。