[論文レビュー] Crystal structures arising from representations of $GL(m|n)$

Jonathan R. Kujawa|ArXiv.org|Nov 14, 2003

Algebraic structures and combinatorial models参考文献 15被引用数 23

ひとこと要約

本稿は、任意の特徴的体上の超群 $GL(m|n)$ のモジュラー表現理論に対して、結晶理論的枠組みを確立し、非可約超モジュール上の移動関手が、重みに作用する演算子がカシワラの結晶演算子と一致することを示している。連結性の原理を証明し、結晶同型を用いて分岐則を記述し、セルガノワの奇数反転が、異なるボレル部分代数の選択に対応する結晶構造間の標準的同型に一致することを示している。

ABSTRACT

This paper provides results on the modular representation theory of the supergroup $GL(m|n).$ Working over a field of arbitrary characteristic, we prove that the explicit combinatorics of certain crystal graphs describe the representation theory of a modular analogue of the Bernstein-Gelfand-Gelfand category $\mathcal{O}$. In particular, we obtain a linkage principle and describe the effect of certain translation functors on irreducible supermodules. Furthermore, our approach accounts for the fact that $GL(m|n)$ has non-conjugate Borel subgroups and we show how Serganova's odd reflections give rise to canonical crystal isomorphisms.

研究の動機と目的

• 複素数体 $\mathbb{C}$ 上の $\mathfrak{gl}(m|n,\mathbb{C})$ の $\mathcal{O}$-カテゴリのグローテンディーク群に関するブランドンの予想を、正の特徴的体へ拡張すること。
• 非可約超モジュールの最高重み上のカシワラの結晶演算子 $\tilde{e}_r^*, \tilde{f}_r^*$ の表現論的実現を提供すること。
• $GL(m|n)$ における非共轭なボレル部分代数の存在を説明し、それらが最高重みパrametrization に与える影響を明らかにすること。
• セルガノワの奇数反転が、異なるボレル部分代数から生じる異なる結晶構造の間の標準的同型を誘導することを示すこと。
• クレシュチェフの $GL(n)$ のモジュラー分岐則を、結晶組合せ論を用いて超群 $GL(m|n)$ へ一般化すること。

提案手法

• 特徴的 $p$ の体上の $GL(m|n)$ に対して、ベルンシュタイン＝ゲルファンド＝ゲルファンドのカテゴリ $\mathcal{O}$ のモジュラー類似物 $\mathcal{O}_p$ を定義すること。
• 整数 $r \in \mathbb{Z}/p\mathbb{Z}$ に対し、非可約超モジュールに作用する移動関手 $E_r, F_r$ を構成し、それらが自己双対的で、非可約なサイクルとコサイクルをもつ非分解的モジュールを生成することを示すこと。
• 最高重み上の誘導された演算子 $\tilde{e}_r^*, \tilde{f}_r^*$ が、モジュール $\mathcal{V}^{\overline{v}_1} \otimes \cdots \otimes \mathcal{V}^{\overline{v}_{m+n}}$ 上のカシワラの結晶演算子の双対に一致することを証明すること。
• 正の特徴的体における $\widehat{\mathfrak{sl}}(p,\mathbb{C})$ の作用を用いて、モジュール $\mathcal{V}^{\overline{v}_1} \otimes \cdots \otimes \mathcal{V}^{\overline{v}_{m+n}}$ から最高重みの集合 $X(T)$ へ結晶構造を上げること。
• 単純な反転 $s_i$ の重みへの作用を用いて、異なるボレル部分代数パラメータ化に対応する結晶構造間の結晶同型を定義すること。
• セルガノワ理論の奇数反転が、重みへの $s_i$-作用を介して、これらの結晶同型に正確に対応することを確立すること。

実験結果

リサーチクエスチョン

• RQ1 モジュラー $\mathcal{O}_p$-カテゴリにおける $GL(m|n)$ の非可約超モジュール上の移動関手は、最高重みにどのように作用するか？
• RQ2 これらの関手によって誘導される結晶演算子 $\tilde{e}_r^*, \tilde{f}_r^*$ の正確な組合せ論的構造は何か？
• RQ3 非可約なボレル部分代数をもつ $GL(m|n)$ は、非可約超モジュールのパラメータ化にどのように影響を与え、それらはどのように関連づけられるか？
• RQ4 奇数反転は、異なるボレル部分代数から生じる異なる結晶構造を結ぶ役割を果たすか？
• RQ5 $GL(m|n)$ のモジュラー分岐則は、結晶組合せ論を用いて一様に記述可能か？

主な発見

• 非可約超モジュールにおける $\mathcal{O}_p$ 上の移動関手 $E_r, F_r$ は、自己双対的で、非可約なサイクルとコサイクルをもち、それぞれ $L(\tilde{e}_r^*(\lambda))$ および $L(\tilde{f}_r^*(\lambda))$ と同型である非分解的モジュールを生成する。
• 最高重み上の演算子 $\tilde{e}_r^*, \tilde{f}_r^*$ は明示的に記述され、モジュール $\mathcal{V}^{\overline{v}_1} \otimes \cdots \otimes \mathcal{V}^{\overline{v}_{m+n}}$ 上のカシワラの結晶演算子の双対に一致することが示された。
• 単純な反転 $s_i$ の最高重み集合への作用は、隣接するパラメータ列 $\overline{v}_i, \overline{v}_{i+1}$ に対応する結晶構造の間の結晶同型を誘導する。
• セルガノワ理論の奇数反転は、異なるボレル部分代数から生じる異なる結晶構造の間の標準的同型として実現される。
• 結果として得られたものは、クレシュチェフの $GL(n)$ のモジュラー分岐則を $GL(m|n)$ へ一般化したものであり、分岐則は結晶演算子 $\tilde{e}_r^*, \tilde{f}_r^*$ に符号化されている。
• 正の特徴的体において、$\mathfrak{gl}(\infty,\mathbb{C})$ をアフィンカク＝ムーディ代数 $\widehat{\mathfrak{sl}}(p,\mathbb{C})$ に置き換えても、結晶構造は依然として適切に定義される。