[論文レビュー] A combinatorial description of the affine Gindikin-Karpelevich formula of type A_n^(1)

Seok‐Jin Kang, Kyu‐Hwan Lee+2 more|arXiv (Cornell University)|Mar 7, 2012

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

ひとこと要約

この論文は、一般化されたヤングウォールのクリスタル上の和として表される、型 $A_n^{(1)}$ のアフィン・ギンディキン＝カルペレヴィッチ公式の組合せ的実現を提供する。ルシュツィグのパrametrizationと、壁の配置における非ゼロ成分の数を数える統計量 $\mathscr{N}(Y)$ を用いて、公式は係数 $ (1 - q^{-1})^{/mathscr{N}(Y)} $ を持つ形に再定式化され、アフィンの場合の新しい明示的な組合せ的解釈が得られる。

ABSTRACT

The classical Gindikin-Karpelevich formula appears in Langlands' calculation of the constant terms of Eisenstein series on reductive groups and in Macdonald's work on p-adic groups and affine Hecke algebras. The formula has been generalized in the work of Garland to the affine Kac-Moody case, and the affine case has been geometrically constructed in a recent paper of Braverman, Finkelberg, and Kazhdan. On the other hand, there have been efforts to write the formula as a sum over Kashiwara's crystal basis or Lusztig's canonical basis, initiated by Brubaker, Bump, and Friedberg. In this paper, we write the affine Gindikin-Karpelevich formula as a sum over the crystal of generalized Young walls when the underlying Kac-Moody algebra is of affine type A_n^(1). The coefficients of the terms in the sum are determined explicitly by the combinatorial data from Young walls.

研究の動機と目的

• 有限型からアフィン型 $A_n^{(1)}$ へのギンディキン＝カルペレヴィッチ公式の組合せ的実現の拡張。
• 一般化されたヤングウォールを用いて、アフィン・ギンディキン＝カルペレヴィッチ公式をクリスタル $\mathcal{B}(\infty)$ 上の和として表現すること。
• ヤングウォール上の組合せ的統計量 $\mathscr{N}(Y)$ を定義・計算し、有限型の場合の一般化を図ること。
• ルシュツィグのパrametrizationとクリスタル基底データを用いて、アフィンの場合の明示的公式を提供すること。

提案手法

• キムとシンが導入した一般化されたヤングウォールを用いて、アフィン型 $A_n^{(1)}$ のクリスタル $\mathcal{B}(\infty)$ を実現する。
• 一般化されたヤングウォール $Y$ のルシュツィグのパrametrization $\phi_\mathbf{i}(Y)$ における非ゼロ成分の数として、統計量 $\mathscr{N}(Y)$ を定義する。
• アフィン・ギンディキン＝カルペレヴィッチ公式を $\sum_{Y \in \mathcal{Y}(\infty)} (1 - q^{-1})^{\mathscr{N}(Y)} \mathbf{z}^{-\mathrm{wt}(Y)}$ の形で表現する。ここで $\mathrm{wt}(Y)$ はウォールの重みである。
• 重み付き積の形 $\prod_{\alpha \in \Delta^+} \left( \frac{1 - q^{-1} \mathbf{z}^\alpha}{1 - \mathbf{z}^\alpha} \right)^{\mathrm{mult}(\alpha)}$ を生成関数として用いる。
• Sage において `InfinityCrystalOfGeneralizedYoungWalls` クラスを用いて構成を実装し、クリスタル作用素とグラフ生成をサポートする。
• Sage を用いた計算例を通じて結果を検証し、重みの計算、クリスタル作用素 $f_i$、$e_i$、およびコンテンツ統計量を確認する。

実験結果

リサーチクエスチョン

• RQ1 型 $A_n^{(1)}$ のアフィン・ギンディキン＝カルペレヴィッチ公式を、組合せ的クリスタル基底上の和としてどのように表現できるか。
• RQ2 公式における係数 $ (1 - q^{-1})^{\mathscr{N}(Y)} $ に対応する一般化されたヤングウォール上の組合せ的統計量は何か。
• RQ3 ルシュツィグの正規基底のパrametrizationを、一般化されたヤングウォールを用いてアフィンの場合に適応可能か。
• RQ4 一般化されたヤングウォールのクリスタル構造は、アフィン根系における正根の重複度構造をどのように符号化しているか。
• RQ5 Sage における実装を通じて、公式の計算的実行可能性と正しさはどのように検証できるか。

主な発見

• 型 $A_n^{(1)}$ のアフィン・ギンディキン＝カルペレヴィッチ公式は、$\sum_{Y \in \mathcal{Y}(\infty)} (1 - q^{-1})^{\mathscr{N}(Y)} \mathbf{z}^{-\mathrm{wt}(Y)}$ の形で表現され、ここで $\mathscr{N}(Y)$ は一般化されたヤングウォール $Y$ のルシュツィグのパrametrizationにおける非ゼロ成分の数を数える。
• 公式は積の形 $\prod_{\alpha \in \Delta^+} \left( \frac{1 - q^{-1} \mathbf{z}^\alpha}{1 - \mathbf{z}^\alpha} \right)^{\mathrm{mult}(\alpha)}$ と一致し、組合せ的実現が確認された。
• $n=2$ の例において、$\#(T^{-\gamma} \cap S^0)$ の計算は $2(q - 1)^2$ を得ており、公式と整合的である。
• Sage 実装は $\mathscr{N}(Y)$、重み、クリスタル作用素 $f_i$、$e_i$、およびコンテンツを正しく計算しており、特定のウォール $Y$ に対して $\mathrm{wt}(Y) = -7\alpha_0 - 7\alpha_1 - 6\alpha_2$ が得られている。
• Sage を用いた部分クリスタル構成により、深さ 4 まで $\mathcal{B}(\infty)$ のクリスタルグラフが正常に生成された。
• また、キムとシン（2019）の定理 4.1 に従い、一般化されたヤングウォールを用いた最高重みクリスタルのサポートも実装された。