[論文レビュー] Parabolic Induction and Geometry of Orbital Varieties for GL(n)

Taiwang Deng|arXiv (Cornell University)|Mar 21, 2016

Advanced Algebra and Geometry参考文献 22被引用数 4

ひとこと要約

この論文は、p進体上のGL(n)における誘導表現の重複度が、多重セグメント内のセグメントの相対的位置にのみ依存することを示すゼレヴィンスキーの予想を、切断函手と部分微分を用いて対称群の設定に還元することで証明する。重複度は、Kazhdan-Lusztig多項式のq=1における値に等しく、軌道多様体とシューベルト多様体を介した幾何的解釈が与えられる。

ABSTRACT

Ariki and Ginzburg, after the previous work of Zelevinsky on orbital varieties, proved that multiplicities in a total parabolically induced representations are given by the value at q=1 of Kazhdan-Lusztig Polynomials associated to the symmetric groups. In my thesis I explore the geometry of orbital varieties and I essentially obtain two important results: - first I prove a conjecture of Zelevinksy on a property of independence of total parabolically induced representations. - More crucially I give a strategy to compute multiplicities in general parabolically induced representations using the product of perverse sheaves introduced by Lusztig.

研究の動機と目的

• この論文の目的は、Zelevinskyの予想を証明することである。すなわち、GL(n,F)における誘導表現π(a) = LΔ₁ × ⋯ × LΔₛの重複度m(b,a)は、多重セグメントaとbにおけるセグメントの相対的位置にのみ依存する。
• 研究の目的は、LΔがセグメントに付随する既約表現を表すとき、π(a)における重複度m(b,a)を計算することである。
• 目的は、これらの重複度をKazhdan-Lusztig多項式および軌道多様体に結びつける幾何的かつ組合的枠組みを確立することである。
• 論文は、切断函手と部分微分に基づく新しい手法を用いて、既知の誘導表現に関する結果を一般化し再導出することを目的としている。
• bがセグメントである場合のm(c,b,a)を計算する明示的なアルゴリズムを提供することを目的としている。

提案手法

• この手法は、整数kによって添字づけられる切断函手a ↦ a(k)と部分微分Dkを用い、一般の多重セグメントを対称群の設定に還元する。
• 軌道多様体の理論と、それらがA型シューベルト多様体に埋め込まれる事実を、Chriss-GinzburgとArikiの結果を活用して応用する。
• 主な技術的道具は、m(aτ, aσ)を、τ,σ ∈ SₙにおけるKazhdan-Lusztig多項式Pτ,σ(q)のq=1における値Pτ,σ(1)に一致させることである。
• 論文は、Kazhdan-Lusztig多項式の定義に用いられる5つの関係式の幾何的解釈を、半単純な軌道の構造を介して提示する。
• perverse sheavesのLusztig積を用いて、Dk(La)における係数に幾何的意味を与える。
• この手法は、特にbがセグメントである場合に、微分作用素と多重セグメント上の組合的条件を組み合わせることで、m(c,b,a)の明示的公式を構成する。

実験結果

リサーチクエスチョン

• RQ1 誘導表現π(a) = ×LΔᵢにおける重複度m(b,a)は、aとbにおけるセグメントの相対的位置にのみ依存するという、Zelevinskyの予想が正しいか？
• RQ2 重複度m(b,a)は、対称群Sₙ内の置換に関連するKazhdan-Lusztig多項式のq=1における値として表せるか？
• RQ3 部分微分Dk(La)における係数の幾何的意味は何か？また、それらは軌道多様体の構造とどのように関係するか？
• RQ4 bがセグメントである場合に、切断と微分函手を用いて、m(c,b,a)を計算する明示的アルゴリズムを構成できるか？
• RQ5 多重セグメント上の優位順序によって定義されるposet S(a) = {b : b ≤ a}は、対称群Sₙまたはその商群内の区間とどのように関係するか？

主な発見

• この論文は、Zelevinskyの予想を証明した。m(b,a)は、基礎となる特徴的表現に依存せず、aとbにおけるセグメントの相対的位置にのみ依存する。
• 置換τ,σ ∈ Sₙによってパラメトライズされる多重セグメントにおける重複度m(aτ, aσ)は、Kazhdan-Lusztig多項式Pτ,σ(q)のq=1における値Pτ,σ(1)に等しい。
• b = [k+1]の場合のLa × Lbについて、新しい公式が導出された。La × Lb = La+b + Σ_{c∈Γℓₖ₋₁(a,k)} (θₖ(c,a) − θₖ(c[k+1]₁, a+b))Lc [k+1]₁[k]ℓₖ₋₁。
• b = [k−i₀+1, k+1]の場合、Γℓₖ₋ᵢ₀₋₁(a,k−i₀)k−i₀+1上の和と係数θₖ₋ᵢ₀(d,a)およびm(c,b,d(k−i₀+1))を含む再帰的公式が提供され、補正項が含まれる。
• poset S(a)は、SₙまたはSₙの二重商における区間として分類され、一般化されたフラッグ多様体におけるパラボリック軌道に対応する。
• Kazhdan-Lusztig多項式の定義に用いられる5つの関係式の幾何的解釈が、半単純な軌道と軌道多様体の構造を介して確立された。