[論文レビュー] Duality for metaplectic ice

Ben Brubaker, Valentin Buciumas+2 more|arXiv (Cornell University)|Sep 19, 2017

Advanced Algebra and Geometry参考文献 21被引用数 7

ひとこと要約

本稿は、非アルキメデス的局所体 $F$ 上の $\mathrm{GL}(r,F)$ の $n$ 重メタプレクティック被覆におけるメタプレクティック・ホイットラー関数の二つの可解格子模型—ガンマアイスとデルタアイス—の双対性を確立する。ヤン・バクスター方程式と転送行列の可換性を用いて、ホイットラー関数に関する先行知識に依存せずに、これらの模型の分配関数が等しいことを証明する。これにより、ワイル群作用の下での関数方程式が直接代数的に証明され、古典的結果がメタプレクティック設定へと拡張される。

ABSTRACT

We interpret values of spherical Whittaker functions on metaplectic covers of the general linear group over a nonarchimedean local field as partition functions of two different solvable lattice models. We prove the equality of these two partition functions by showing the commutativity of transfer matrices associated to different models via the Yang-Baxter equation.

研究の動機と目的

• $n$ 重被覆 $\mathrm{GL}(r,F)$ 上のメタプレクティック・ホイットラー関数を表す二つの分配関数—ガンマアイスとデルタアイス—の等価性を証明すること。
• ラングランズパラメータ $\mathbf{z}$ におけるワイル群作用の下でのこれらの分配関数の関数方程式を確立すること。
• ホイットラー関数の恒等式に依存せずに、ヤング・バクスター方程式を用いた直接的で組合せ論的な証明により、二つの模型の等価性を示すこと。
• 二つの模型の $R$-行列からパラメータ化されたヤング・バクスター系を構成し、双代数の構成を可能にすること。

提案手法

• スピン状態がクリスタル $\mathcal{B}_{\lambda+\rho}$ の元に対応するアイス型頂点に定義されたボルツマン重みを持つ可解格子模型を用いる。
• ヤング・バクスター方程式を用いて、異なる格子模型に関連する転送行列の可換性を証明する。
• 「トレイン・アーギュメント」を用い、ねじれた $R$-頂点を格子内を移動させることで、頂点の再配置に対しても分配関数が保存されることを保証する。
• $R$-行列 $R^{\Gamma\Gamma}, R^{\Delta\Gamma}, R^{\Gamma\Delta}, R^{\Delta\Delta}$ を用いて、特定の可換関係を持つパラメータ化されたヤング・バクスター系を定義する。
• 量子アフィン $\mathfrak{gl}(n|1)$ の $R$-行列に依存し、特に $\llbracket R^{\Gamma\Gamma}, R^{\Gamma\Gamma}, R^{\Gamma\Gamma} \rrbracket = 0$ の恒等式を導出する。
• 連続性の議論を用いて、$z_2^n - v^n z_1^n = 0$ の場合にも恒等式を拡張し、すべてのスペクトルパラメータに対して有効であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 ガンマアイスとデルタアイス模型の分配関数は、$\mathrm{GL}(r,F)$ のメタプレクティック被覆において等しいか？
• RQ2 ヤング・バクスター方程式を用いて、ワイル群作用の下でのこれらの分配関数の関数方程式を導出できるか？
• RQ3 二つの模型の $R$-行列は一貫性のあるヤング・バクスター系を形成するか？
• RQ4 シャインタニ＝カッセルマン＝シャリカの公式やホイットラー関数の恒等式に依存せずに、双対性の直接的代数的証明は可能か？

主な発見

• ヤング・バクスター可換性を用いた証明により、すべてのドミナント重み $\lambda$ およびすべての $n \geq 1$ に対して、ガンマアイスとデルタアイスの分配関数が等しいことが示された。
• シャインタニ＝カッセルマン＝シャリカの公式を用いずに、恒等式の新たな直接的証明が得られた。
• $R$-行列 $R^{\Gamma\Gamma}, (R^{\Delta\Gamma})^{-1}, R^{\Gamma\Delta}, (R^{\Delta\Delta})^{\ddagger}$ は、$(R^{\Gamma\Delta})^{\ddagger}$ が $(R^{\Delta\Gamma})^{-1}$ に比例するという関係を満たすパラメータ化されたヤング・バクスター系を形成する。
• ヤング・バクスター方程式により「トレイン・アーギュメント」が可能となり、頂点を格子内を移動させても分配関数が保存され、二つの模型の等価性が証明された。
• ワイル群作用の下での分配関数の関数方程式が導出され、$n=1$ の場合のシュール多項式の対称性が一般化された。
• 連続性の議論により、$z_2^n - v^n z_1^n = 0$ の場合を含め、すべての $z_i$ に対して証明が有効であることが保証された。