[论文解读] 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

一句话总结

该论文利用非负整数的web不变量，为有限型曲面上的 $ \mathrm{SL}_3(\mathbb{C}) $-特征簇构建了一个组合坐标系。它证明了这些坐标受Knutson-Tao菱形不等式和模3同余条件的约束，从而为曲面上的 $ \mathrm{SL}_3 $-webs 提供了tropical Fock-Goncharov参数化。

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.

研究动机与目标

• 为带 punctured 的有限型曲面上的 $ \mathrm{SL}_3(\mathbb{C}) $-特征簇的 Sikora-Westbury web 基提供一个具体的、显式的非负整数坐标系统。
• 将 $ \mathrm{SL}_2 $ 情形（其中曲线交叉数作为坐标）推广到 $ \mathrm{SL}_3 $ 设置，使用 web 不变量作为坐标。
• 通过tropical坐标建立 $ \mathrm{SL}_3(\mathbb{C}) $ 几何表示理论与理想三角剖分组合学之间的联系。
• 在附录论文中，通过tropical丛变换为映射类群作用于 web 坐标奠定基础。

提出的方法

• 利用曲面的理想三角剖分，为分配 $ \mathrm{SL}_3 $-webs 的整数不变量提供几何框架。
• 应用 Knutson-Tao 菱形不等式，刻画 web 基元素的非负整数坐标。
• 引入模3同余条件，以确保与 $ \mathrm{SL}_3 $-表示理论和 web 结构的一致性。
• 依赖 Fock-Goncharov 的对偶丛簇理论及无穷远处的 tropical 点，将坐标解释为 tropical $ \mathcal{A} $-坐标。
• 使用 ladder 构造和同伦不变性，验证该坐标系统对边界固定的本质 web 是良定义的。
• 通过第二个版本的主要定理，将坐标系统扩展到具有边界的曲面。

实验结果

研究问题

• RQ1 Sikora-Westbury 的 $ \mathrm{SL}_3(\mathbb{C}) $-特征簇的 web 基能否由非负整数坐标参数化？
• RQ2 这些坐标可能取值的组合约束由哪些几何和表示论数据决定？
• RQ3 当理想三角剖分改变时，这些坐标如何变换？它们与丛代数结构有何关系？
• RQ4 该坐标系统能否扩展到具有边界的曲面？它是否能恢复表示论中的已知结果，如 Kuperberg 定理？
• RQ5 是否存在一个表示论解释，使得该坐标系统能推广 Kuperberg 对圆盘的结果？

主要发现

• Sikora-Westbury 的 $ \mathrm{SL}_3(\mathbb{C}) $-特征簇的 web 基接受一个由 Knutson-Tao 菱形不等式和模3同余条件刻画的非负整数坐标系统。
• 这些坐标在同伦下不变，并对具有或不具有边界的曲面上的本质 web 是良定义的。
• 对于理想多边形 $ \mathfrak{D}_k $，边界固定的 Knutson-Tao 锥 $ \mathscr{C}^{+}_{\lambda}(S_{\partial\mathfrak{D}_k}) $ 索引了不变子空间 $ V(S_{\partial\mathfrak{D}_k})^{\mathrm{SL}_3(\mathbb{C})} $ 的线性基，从而几何地恢复了 Kuperberg 定理。
• 该坐标系统与 tropical $ \mathcal{A} $-坐标丛结构相容，坐标变换对应于 tropical 化的 $ \mathcal{A} $-丛变换。
• 该结果可推广至具有非空边界的曲面，两个版本的主要定理分别提供了对边界固定和一般本质 web 的坐标系统。
• 该工作通过 web 不变量，几何化实现了 $ \mathrm{SL}_3(\mathbb{C}) $ 的 Knutson-Tao 蜂窝模型，将组合学、几何学与表示论联系起来。