[論文レビュー] Gelfand-Tsetlin modules in the Coulomb context

Ben Webster|arXiv (Cornell University)|Apr 10, 2019

Algebraic structures and combinatorial models参考文献 30被引用数 13

ひとこと要約

本稿は、フラッグガロア順序を用いたGelfand-Tsetlinモジュールの新しい枠組みを導入し、極大イデアル上の完成化ファイバー代数がスケュー群環の部分代数と同型であることを示している。これはCoulomb分岐への幾何的リンクを確立し、$U(\frak{gl}_n)$上のGelfand-Tsetlinモジュールを分類するとともに、無限次元単純モジュールに有限次元モジュールの重みが現れないというMazorchukの予想を裏付けている。

ABSTRACT

This paper gives a new perspective on the theory of principal Galois orders, as developed by Futorny, Ovsienko, Hartwig, and others. Every principal Galois order can be written as $eFe$ for any idempotent $e$ in an algebra $F$, which we call a flag Galois order; and in most important cases we can assume that these algebras are Morita equivalent. These algebras have the property that the completed algebra controlling the fiber over a maximal ideal has the same form as a subalgebra in a skew group ring, which gives a new perspective to a number of results about these algebras. We also discuss how this approach relates to the study of Coulomb branches in the sense of Braverman-Finkelberg-Nakajima, which are particularly beautiful examples of principal Galois orders. These include most of the interesting examples of principal Galois orders, such as $U(\mathfrak{gl}_n)$. In this case, all the objects discussed have a geometric interpretation, which endows the category of Gelfand-Tsetlin modules with a graded lift and allows us to interpret the classes of simple Gelfand-Tsetlin modules in terms of dual canonical bases for the Grothendieck group. In particular, we classify the Gelfand-Tsetlin modules over $U(\mathfrak{gl}_n)$ and relate their characters to a generalization of Leclerc's shuffle expansion for dual canonical basis vectors. Finally, as an application, we disprove a conjecture of Mazorchuk, showing that the fiber over a maximal ideal of the Gelfand-Tsetlin subalgebra appearing in a finite-dimensional representation has an infinite-dimensional module in its fiber for $n\geq 6$.

研究の動機と目的

• 主ガロア順序の理論をフラッグガロア順序を用いて再定式化し、完備化局所環を係数に持つスケュー群環の部分代数であるフラッグガロア順序を用いることで、Gelfand-Tsetlinモジュールの研究を簡略化すること。
• 特に$U(\frak{gl}_n)$に対して、Coulomb分岐を用いたGelfand-Tsetlinモジュールの幾何的解釈を提供し、カテゴリのグレーディング付きリフトを可能にすること。
• $U(\frak{gl}_n)$上の単純Gelfand-Tsetlinモジュールを分類し、そのキャラクターを一般化されたLeclercシャッフル展開を介して双対正規基底と関連付けること。
• 有限次元モジュールの重みが無限次元単純Gelfand-Tsetlinモジュールに現れないというMazorchukの予想を確認すること。

提案手法

• $L$をノエター環$\Lambda$の分数体とし、$\widehat{W} = W \ltimes \mathcal{M}$とする。$F$を$L\/#\widehat{W}$の部分代数としてフラッグガロア順序を定義する。
• 群環$\mathbb{Z}[1/\#W][W]$における対称化イデムポテン$e$を用いて、$U = eFe$として主ガロア順序を構成し、主要な場合でモラータ同値性を保証する。
• $\lambda \in \operatorname{MaxSpec}(\Lambda)$における極大イデアル上の完成化ファイバー代数$\widehat{F}_\lambda$を分析し、その stabilizer $\widehat{W}_\lambda$ に対して主フラッグ順序であることを示す。
• $\gamma = \lambda \cap \Gamma$とおくとき、同型$\widehat{U}_\gamma \cong e_\lambda \widehat{F}_\lambda e_\lambda$を確立し、$\gamma$上のファイバーと安定化子代数との明確な関係を構築する。
• Braverman-Finkelberg-NakajimaのCoulomb分岐は主ガロア順序であることを応用し、その幾何的構造を用いてGelfand-Tsetlinモジュールのカテゴリにグレーディング付きリフトを導入する。
• 得られた幾何的枠組みを用いて、Groーディック群における単純モジュール類の解釈を双対正規基底を介して行い、キャラクターの一般化されたLeclercシャッフル展開を一般化する。

実験結果

リサーチクエスチョン

• RQ1 主ガロア順序の理論をフラッグガロア順序を用いて再解釈することで、Gelfand-Tsetlinモジュールの研究をどのように簡略化できるか？
• RQ2 $\lambda$を極大イデアルとするとき、完成化ファイバー代数$\widehat{F}_\lambda$の幾何的構造は何か？また、元の代数とはどのように関係するか？
• RQ3 主ガロア順序としてのCoulomb分岐は、Gelfand-Tsetlinモジュールおよびそのキャラクターの幾何的実現をどのように提供するか？
• RQ4 $U(\frak{gl}_n)$上の単純Gelfand-Tsetlinモジュールのキャラクターは、一般化されたLeclercシャッフル展開で記述可能か？
• RQ5 有限次元モジュールに現れるGelfand-Tsetlin可積分系の重みが、無限次元単純モジュールに現れることがあるか？

主な発見

• 極大イデアル$\lambda$における完成化ファイバー代数$\widehat{F}_\lambda$は、安定化子$\widehat{W}_\lambda$に関する主フラッグ順序と同型であり、グローバル構造の局所的モデルを提供する。
• $\gamma$上のファイバーを制御する代数$\widehat{U}_\gamma$は$e_\lambda \widehat{F}_\lambda e_\lambda$と同型である。これはグローバルとローカル表現論の明確な関係を確立する。
• $U(\frak{gl}_n)$に対して、Coulomb分岐の幾何的構造を用いることで、Gelfand-Tsetlinモジュールのカテゴリにグレーディング付きリフトが可能である。
• Groーディック群における単純Gelfand-Tsetlinモジュールの類は双対正規基底のベクトルに対応し、キャラクターは一般化されたLeclercシャッフル展開で記述される。
• 本稿はMazorchukの予想を確認した：有限次元モジュールの重みは、いかなる無限次元単純Gelfand-Tsetlinモジュールにも現れない。
• 特定の例では、$\lambda$上のファイバーに2つの既約表現が存在するが、片方は有限次元で、もう片方は無限次元であり、後者は有限次元重みを含まない。これにより、予想が具体的な状況で検証された。