[論文レビュー] Tropical Fock-Goncharov coordinates for $\mathrm{SL}_3$-webs on surfaces I: construction

Daniel C. Douglas, Zhe Sun|arXiv (Cornell University)|Nov 3, 2020

Algebraic structures and combinatorial models参考文献 29被引用数 6

ひとこと要約

本稿は、非負整数ウェブ不変量を用いて、有限型の曲面における $ \mathrm{SL}_3(\mathbb{C}) $-特徴写像多様体の組み合わせ的座標系を構成する。これらの座標がクヌートソン＝トーマスの平行四辺形不等式および3を法とする合同条件に従うことを確立し、曲面上の $ \mathrm{SL}_3 $-ウェブに対するトロピカル・フォック＝ゴンチャロフパラメータ化を提供する。

ABSTRACT

For a finite-type surface $\mathfrak{S}$, we study a preferred basis for the commutative algebra $\mathbb{C}[\mathscr{R}_{\mathrm{SL}_3(\mathbb{C})}(\mathfrak{S})]$ of regular functions on the $\mathrm{SL}_3(\mathbb{C})$-character variety, introduced by Sikora-Westbury. These basis elements come from the trace functions associated to certain tri-valent graphs embedded in the surface $\mathfrak{S}$. We show that this basis can be naturally indexed by non-negative integer coordinates, defined by Knutson-Tao rhombus inequalities and modulo 3 congruence conditions. These coordinates are related, by the geometric theory of Fock and Goncharov, to the tropical points at infinity of the dual version of the character variety.

研究の動機と目的

• 穴あき有限型曲面上の $ \mathrm{SL}_3(\mathbb{C}) $-特徴写像多様体のシコラ＝ウェストバリー・ウェブ基底に対する非負整数座標の明示的かつ具体的な体系を提供すること。
• 曲線の交差数が $ \mathrm{SL}_2 $-設定で座標をなすのと同様に、$ \mathrm{SL}_3 $-設定においてはウェブ不変量を用いて一般化すること。
• 幾何的表現論における $ \mathrm{SL}_3(\mathbb{C}) $ と、理想三角形分割の組合せ論との間の関係を、トロピカル座標を通じて確立すること。
• 併論においてトロピカルクラスタ変換を用いたマッピングクラス群の作用を理解する基盤を築くこと。

提案手法

• 曲面の理想三角形分割を用いて、$ \mathrm{SL}_3 $-ウェブに整数不変量を割り当てる幾何的枠組みを定義する。
• クヌートソン＝トーマスの平行四辺形不等式を用いて、ウェブ基底要素の非負整数座標を特徴付ける。
• $ \mathrm{SL}_3 $-表現論およびウェブ構造と整合性を持つように、3を法とする合同条件を組み込む。
• 双対クラスタ多様体および無限遠点におけるトロピカル点のフォック＝ゴンチャロフ理論に依拠し、座標をトロピカル $ \mathcal{A} $-座標として解釈する。
• ラダー構成とホメオモルフィズム不変性を用いて、境界固定型本質的ウェブに対して座標系が適切に定義されていることを検証する。
• 境界が空でない曲面に対しても座標系を拡張するため、主定理の第二版を用いる。

実験結果

リサーチクエスチョン

• RQ1 シコラ＝ウェストバリーの $ \mathrm{SL}_3(\mathbb{C}) $-特徴写像多様体のウェブ基底は、非負整数座標によってパラメータ化可能か？
• RQ2 これらの座標の可能な値を、幾何的および表現論的データの観点から制限する組合せ的制約は何か？
• RQ3 理想三角形分割の変更に伴ってこれらの座標はどのように変化するか？また、クラスタ代数構造と何の関係があるか？
• RQ4 境界を持つ曲面に対しても座標系を拡張可能か？また、クーパーの定理のような既知の表現論的結果を回復できるか？
• RQ5 この座標系に、ディスクに対するクーパーの結果を一般化する表現論的解釈は存在するか？

主な発見

• シコラ＝ウェストバリーの $ \mathrm{SL}_3(\mathbb{C}) $-特徴写像多様体のウェブ基底は、クヌートソン＝トーマスの平行四辺形不等式および3を法とする合同条件によって特徴づけられる非負整数座標系を有する。
• これらの座標はホメオモルフィズム不変であり、境界あり・なしを問わず本質的ウェブに対して適切に定義されていることが示された。
• 理想多角形 $ \mathfrak{D}_k $ に対して、境界固定型クヌートソン＝トーマスの錐 $ \mathscr{C}^{+}_{\lambda}(S_{\partial\mathfrak{D}_k}) $ は、不変部分空間 $ V(S_{\partial\mathfrak{D}_k})^{\mathrm{SL}_3(\mathbb{C})} $ の線形基底をインデックスづける。これにより、クーパーの定理が幾何的に回復された。
• 座標系はトロピカル $ \mathcal{A} $-座標クラスタ構造と整合性があり、座標変換はトロピカル化された $ \mathcal{A} $-クラスタ変換に対応する。
• 空でない境界を持つ曲面に対しても結果が拡張可能であり、境界固定型および一般の本質的ウェブをカバーする主定理の2バージョンが提供された。
• 本研究は、ウェブ不変量を通じて、$ \mathrm{SL}_3(\mathbb{C}) $ のクヌートソン＝トーマスのハーブモデルの幾何的実現を提供し、組合せ論、幾何学、表現論を結びつける。