[論文レビュー] Fock-Goncharov conjecture and polyhedral cones for $U \subset SL_n$ and base affine space $SL_n /U$

Timothy Magee|arXiv (Cornell University)|Feb 12, 2015

Algebraic structures and combinatorial models参考文献 20被引用数 11

ひとこと要約

本稿は、$U \subset \mathrm{SL}_n$ および基底アフィン空間 $\mathrm{SL}_n/U$ における Fock-Goncharov の予想を証明し、鏡像のトロピカル空間に多面体錐 $W^T \geq 0$ を備えた標準的クラスター構造を確立する。この錐内の整数点は、$H^0(\mathrm{SL}_n/U, \mathcal{O})$ の標準的基底および可約表現 $V_\lambda$ をパラメータ化する。Gelfand-Tsetlin による既知のパラメータ化は、新しい内在的な幾何的構成によって再現される。

ABSTRACT

I prove several conjectures of \cite{GHKK} on the cluster structure of $SL_n$, which in particular imply the full Fock-Goncharov conjecture for the open double Bruhat cell $\mathcal{A} \subset SL_n/U$, for $U \subset SL_n$ a maximal unipotent subgroup. This endows the mirror cluster variety $\mathcal{X}$ with a canonical potential function $W$, and determines a canonical cone $W^T \geq 0 \subset \mathcal{X}\left(\mathbb{R}^T ight)$ of the mirror tropical space, whose integer points parametrize a basis of $H^0\left(SL_n/U,\mathcal{O}_{SL_n/U} ight)$, canonically determined by the open subset $\mathcal{A} \subset SL_n/U$. Each choice of seed identifies $\mathcal{X}\left(\mathbb{R}^T ight)$ with a real vector space, and $W^T \geq 0$ with a system of linear equations with integer coefficients, cutting out a polyhedral cone. We obtain in this way (generally) infinitely many parameterizations of the canonical basis as integer points of a polyhedral cone. For the usual initial seed of the double Bruhat cell, we recover the parametrizations of Berenstein-Kazhdan\cite{BKaz,BKaz2} and Berenstein-Zelevinsky\cite{BZ96} by integer points of the Gelfand-Tsetlin cone.

研究の動機と目的

• Fock と Goncharov (2016) の予想 11.11 および予想 0.19 の一部を $\mathrm{SL}_n$ のクラスター構造に関して証明すること。
• $\mathrm{SL}_n/U$ 内の開二重ブリュアートセルに関して、Fock-Goncharov の完全な予想を確立すること。
• 鏡像クラスター多様体のトロピカル化を用いて、$H^0(\mathrm{SL}_n/U, \mathcal{O})$ 及び可約表現 $V_\lambda$ の標準的基底を構成すること。
• この基底が、特定のシードにおけるクラスター変数の $\mathbf{g}$-ベクトルから自然に生じることを示し、それらが多面体錐の生成元として同定されることを示すこと。

提案手法

• $G^{e,w_0}$ 内のすべての凍結変数が最適化されたシードを持つことを証明し、凍結変数の制限によって $U$ の標準的コンactification を可能にする。
• $w_0$ の辞書的最小の簡約表現を用いて Lusztig 写像により $T \subset \mathring{U}$ を特定し、$T$ を $\mathring{U}$ のトーラスアトラスに埋め込む。
• $T$ に関連するシードにおける非定数行列成分の $\mathbf{g}$-ベクトルが、鏡像 $\mathcal{X}(\mathbb{Z}^T)$ の整数トロピカル点の基底をなすことを示す。
• $\mathbf{g}$-ベクトルが生成するベクトルによって張られる、$W^T \geq 0 \subset \mathcal{X}(\mathbb{R}^T)$ の全次元的単体錐であることを確立する。
• $w_0$ の辞書的最小の簡約表現に関連するシードを用いて、$\Xi = \{x \in \mathcal{X}(\mathbb{R}^T) : W^T \geq 0\}$ を、最終座標を 0 に制限した Gelfand-Tsetlin 錐と同一視する。
• $\Delta^{j_1,\dots,j_i}_{1,\dots,i}$ の $\mathbf{g}$-ベクトルが、$\Xi$ の整数点のモノイドを生成することを示し、これらの小行列式が $H^0(\mathrm{SL}_n/U, \mathcal{O})$ の標準的基底をなすことを示す。

実験結果

リサーチクエスチョン

• RQ1 $\mathrm{SL}_n/U$ 内の開二重ブリュアートセルに関して、Fock-Goncharov の予想は成り立つか？
• RQ2 $H^0(\mathrm{SL}_n/U, \mathcal{O})$ の標準的基底は、クラスター構造から生じる多面体錐内の整数点として実現可能か？
• RQ3 可約表現 $V_\lambda$ の標準的基底は、Gelfand-Tsetlin 錐と固定された重み $\lambda$ のアフィン超平面の交差における整数点によってパラメータ化可能か？
• RQ4 小行列式 $\Delta^{j_1,\dots,j_i}_{1,\dots,i}$ の $\mathbf{g}$-ベクトルは、鏡像トロピカル錐 $W^T \geq 0$ 内の整数点のモノイドを生成するか？
• RQ5 重みスライス $\Xi \cap \bigcap \mathcal{H}_{\lambda_i}$ 内の整数点の数は、$\dim V_\lambda$ に等しいか？

主な発見

• 定理 1 および 2 によって、$U \subset \mathrm{SL}_n$ および $\mathrm{SL}_n/U$ に関して、Fock-Goncharov の完全な予想が成立することが証明された。
• $H^0(\mathrm{SL}_n/U, \mathcal{O})$ の標準的基底は、$\Xi = \{x \in \mathcal{X}(\mathbb{R}^T) : W^T \geq 0\}$ 内の整数点によってパラメータ化され、これは最終座標を 0 に制限した Gelfand-Tsetlin 錐と同一視される。
• 小行列式 $\Delta^{j_1,\dots,j_i}_{1,\dots,i}$ の $\mathbf{g}$-ベクトルは、$\Xi \cap \mathcal{X}(\mathbb{Z}^T)$ のモノイドの非恒等生成元であり、鏡像の整数トロピカル点の基底をなす。
• $\mathrm{SL}_3$ における重み $\lambda = (3,1)$ に対して、$\Xi \cap \mathcal{H}_{\lambda_1} \cap \mathcal{H}_{\lambda_2}$ は正確に 15 個の整数点を持ち、$\dim V_\lambda = 15$ と一致する。これにより、基底のパラメータ化が確認された。
• 本構成により、各シードごとに多面体錐内の整数点としての標準的基底の無限に多くのパラメータ化が得られ、標準的初期シードでは通常の Gelfand-Tsetlin 錐が回復される。
• 標準的基底は、$\mathrm{SL}_n/U$ 上の小行列式 $\Delta^{j_1,\dots,j_i}_{1,\dots,i}$ および $U$ 上の非定数行列成分によって生成され、両者ともクラスター構造から内在的に生じる。