[論文レビュー] Alcove walks, buildings, symmetric functions and representations

James Parkinson, Arun Ram|ArXiv.org|Jul 23, 2008

Advanced Combinatorial Mathematics参考文献 36被引用数 7

ひとこと要約

本稿は、リー表現における重み多重度、マクドナルド球関数の係数、アフィンビルディングにおける再帰、およびループ群における二重コセットの交わりの間の同値性について、構成的で組合せ論的な証明を提示する。リトルマンのパスモデルとアルコーブウォークを用いて、重み空間が非ゼロであるとき、型λおよび重みµのパスを明示的に構成する。これにより、対称関数、表現論、幾何的構造が明示的なパス構成とビルディング内の再帰を通じて結びつけられる。

ABSTRACT

For a complex simple Lie algebra, the dimension $K_{λμ}$ of the $μ$ weight space of a finite dimensional representation of highest weight $λ$ is the same as the number of Littelmann paths of type $λ$ and weight $μ$. In this paper we give an explicit construction of a path of type $λ$ and weight $μ$ whenever $K_{λμ} e 0$. This construction has additional consequences, it produces an explicit point in the building which chamber retracts to $λ$ and sector retracts to $μ$, and an explicit point of the affine Grassmannian in the corresponding Mirković-Vilonen intersection. In an appendix we discuss the connection between retractions in buildings and alcove walks.

研究の動機と目的

• 表現論的重み多重度とビルディングおよびヘッケ代数における幾何的・組合せ論的条件との同値性を、直接的で組合せ論的な証明で与えること。
• 任意のドミナントコウェイトλおよび重みµ ∈ Πλに対し、型λおよび重みµの正に折りたたまれたアルコーブウォークを明示的に構成すること。
• パスモデルをビルディング内の再帰と結びつけることで、クリスタル基底理論と抽象的ビルディング理論との橋渡しをすること。
• 理論的結果（表現論）の「ブラックボックス」としての定理Rに依存する既存の証明の代わりに、構成的代替案を提示すること。
• このようなパスの集合が、重み多重度の下界を提供し、明示的なパrameterを有するミルコビッチ＝ヴィロネンサイクルの稠密部分集合を形成することを示すこと。

提案手法

• 中心的な組合せ論的枠組みとして、リトルマンパス理論および正に折りたたまれたアルコーブウォーク理論を用いる。
• W₀tλW₀に属する最小長さ代表元mλ ∈ W₀tλW₀への単位元からの最小長さのアルコーブウォーク ⃗mλ を構成する。
• 各u ∈ W₀^λ（最小長さのコセット代表元）に対してウォーク ⃗u を構成し、その連結 ⃗u·⃗mλ を形成する。
• P(⃗λ)µ を、タイプ ⃗u·⃗mλ に属し、アフィンtμW₀に終わる正に折りたたまれたアルコーブウォークの集合として定義する。
• クリスタル基底技術を適用し、µ ∈ Πλ のとき、このようなパスが存在し、最適次元 ⟨λ + µ, ρ⟩ を有することを示す。
• 付録を通じてラベル付きアルコーブウォークとチャーマーおよびセクター再帰との関係を確立し、パスの折りたたみとビルディング内再帰との関連を構築する。

実験結果

リサーチクエスチョン

• RQ1 定理Rに依存せずに、表現における重み多重度とビルディングにおける幾何的条件との同値性を構成的に証明できるか？
• RQ2 重み空間が非ゼロであるとき、型λおよび重みµの明示的組合せ論的パス構成は何か？
• RQ3 アルコーブウォークは、抽象的アフィンビルディング内の再帰およびループ群における二重コセットの交わりとどのように関係するか？
• RQ4 パスモデルは、マクドナルド球関数における係数cλµ(q⁻¹)の下界を提供できるか？
• RQ5 パスモデルの文脈において、最適次元⟨λ + µ, ρ⟩の幾何的・代数的意義は何か？

主な発見

• 任意のµ ∈ Πλに対し、タイプ⃗u·⃗mλに属し、tμW₀で終わる正に折りたたまれたアルコーブウォークが構成され、P(⃗λ)µ ≠ ∅ が証明される。
• µ ∈ Πλ のとき、P(⃗λ)µ に属するパスが最適次元⟨λ + µ, ρ⟩を有し、ここでρ = ½∑α∈R⁺ α である。
• 集合P(⃗λ)µ は、指定された再帰を有するビルディング上の点の集合の濃度の下界を提供する。
• 構成により、ループ群設定において明示的なストリングパrameterを有するミルコビッチ＝ヴィロネンサイクルの稠密部分集合が得られる。
• マクドナルド球関数における係数cλµ(q⁻¹)は、q > 1 に対して、cλµ(q⁻¹) ≥ q⁻¹/²(ℓ(tλ)−ℓ(mλ)) × ∑_{p∈P(⃗λ)µ} q^{f(p)/2}(1−q⁻¹)^{f(p)} を満たす。
• 代替的パスモデルP′(⃗λ)µ が、Pλ(x, q⁻¹) のより効率的な展開をもたらし、型A₂でλ = ω₁ + ω₂の場合のコンactな公式を導出する：Pλ(x, q⁻¹) = xλ + xs₁λ + xs₂λ + xs₁s₂λ + xs₂s₁λ + xw₀λ + (2 + q⁻¹)(1 − q⁻¹)。