[論文レビュー] Quantum affine $\frak{gl}_n$ via Hecke algebras

Jie Du, Qiang Fu|arXiv (Cornell University)|Nov 8, 2013

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

ひとこと要約

本稿は、アフィン対称群のヘッケ代数とそのシュール代数を用いて、量子アフィン glₙ代数を構成し、ループ代数 glₙ の量子包絡代数を完全に代数的かつ組合せ論的に実現する。主な貢献は、幾何的技法に依存しない独立な基底構成により、長年の予想である量子アフィン glₙ に関する予想を証明する、明示的な生成子による乗法規則を有する新基底の構成である。

ABSTRACT

We use the Hecke algebras of affine symmetric groups and their associated Schur algebras to construct a new algebra through a basis, and a set of generators and explicit multiplication formulas of basis elements by generators. We prove that this algebra is isomorphic to the quantum enveloping algebra of the loop algebra of $\mathfrak {gl}_n$. Though this construction is motivated by the work \cite{BLM} by Beilinson--Lusztig--MacPherson for quantum $\frak{gl}_n$, our approach is purely algebraic and combinatorial, independent of the geometric method which seems to work only for quantum $\mathfrak{gl}_n$ and quantum affine $\mathfrak{sl}_n$. As an application, we discover a presentation of the Ringel--Hall algebra of a cyclic quiver by semisimple generators and their multiplications by the defining basis elements.

研究の動機と目的

• 先行研究で用いられた幾何的技法に依存せずに、ループ代数 glₙ の量子包絡代数を完全に代数的かつ組合せ論的に構成すること。
• アフィンヘッケ代数上の v-置換加群の自己準同型代数から導かれる新しい基底を用いて、量子アフィン glₙ 代数を実現すること。
• 生成子による乗法公式を明示的に得る基底構成を通じて、量子アフィン glₙ に関する予想を証明すること。
• 半単純生成子によって生成される部分代数が、量子アフィン slₙ と同型であることを示し、量子アフィン glₙ の構造を明確にすること。

提案手法

• アフィン対称群の二重コセットに添え字が付く基底を持つアフィンヘッケ代数を用いる。
• シュール代数は、アフィンヘッケ代数上の v-置換加群の自己準同型代数として定義される。
• 量子包絡代数 U(ĝlₙ) の新しい基底 {A(j)} を、行列 A ∈ Θ⁻(n) とシーケンス j ∈ ℤⁿ_△ に添え字が付く形で定義する。
• 二重コセットと擬似行列の組合せ論を用いて、生成子（0(j)、Sₐ(0)、Sₐ(0)*）による基底要素の乗法規則を明示的に導出する。
• 行列の行和と列和から得られるシーケンスの列方向読み取りにより、二重コセットの最短代表元を構成する。
• 最短代表元の長さを ∑_{i<k; j>l} a_ij a_kl として計算し、組合せ論と代数的構造を結びつける。

実験結果

リサーチクエスチョン

• RQ1 量子アフィン glₙ 代数は、幾何的技法に依存せずに完全に代数的かつ組合せ論的に構成可能だろうか？
• RQ2 量子アフィン glₙ における基底要素と生成子間の乗法規則の明示的構造は何か？
• RQ3 サイクリックなクーヴァーのリングル＝ホール代数は、半単純生成子とその積を用いてどのように提示可能だろうか？
• RQ4 シュール代数を用いた量子アフィン glₙ の実現に関する予想は真であり、量子設定において証明可能だろうか？
• RQ5 アフィン対称群における二重コセットの組合せ論と、量子アフィン glₙ の PBW 型基底との間の正確な関係は何か？

主な発見

• 量子包絡代数 U(ĝlₙ) は、生成子 0(j)、Sₐ(0)、Sₐ(0)* による明示的乗法規則を持つ新しい基底 {A(j)} によって生成される代数と同型である。
• 半単純生成子によって生成される部分代数は、量子アフィン glₙ 代数と同型であり、代数の構造的性質を確認する。
• 行列 A ∈ Θ⁻(n) に関連する二重コセットの最短代表元は、A から得られる擬似行列の列方向読み取りによって構成される置換 ỹ_A で与えられる。
• ỹ_A の長さはちょうど ∑_{i<k; j>l} a_ij a_kl に等しく、最短代表元の長さを組合せ論的公式で与える。
• 反転から集合 R_i^λ ∩ w(R_j^μ) の交わりへの写像 φ_w は単射であり、ỹ_A に対して全射性が成り立つことから、ℓ(ỹ_A) = N が示され、代表元の最小性が確認される。
• 本構成により、量子アフィン glₙ の実現予想が証明され、代数的かつ組合せ論的完全な提示が確立された。