[论文解读] 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）提出的关于 $\mathrm{SL}_n$ 的丛结构的猜想 11.11 及其部分猜想 0.19。
• 在 $\mathrm{SL}_n/U$ 中完整建立开双布劳哈特胞的 Fock-Goncharov 猜想。
• 通过镜像丛簇的热带化，构造 $H^0(\mathrm{SL}_n/U, \mathcal{O})$ 和不可约表示 $V_\lambda$ 的规范基。
• 表明该基自然来源于特定种子中丛变量的 $\mathbf{g}$-向量，其与多面体锥的生成元相一致。

提出的方法

• 证明 $G^{e,w_0}$ 中每个冻结变量均具有优化种子，从而通过冻结变量的限制，实现 $U$ 的规范紧化。
• 利用 $w_0$ 的词典序最小约化词，通过 Lusztig 映射识别 $\mathring{U}$ 中的环 $T \subset \mathring{U}$，并将 $T$ 嵌入 $\mathring{U}$ 的环图册中。
• 证明与 $T$ 相关种子中非常数矩阵元的 $\mathbf{g}$-向量构成镜像 $\mathcal{X}(\mathbb{Z}^T)$ 的整数热带点的基。
• 建立锥 $W^T \geq 0 \subset \mathcal{X}(\mathbb{R}^T)$ 为全维单纯锥，其边由这些 $\mathbf{g}$-向量张成。
• 利用 $w_0$ 的字典序最小约化表达式对应的种子，将 $\Xi = \{x \in \mathcal{X}(\mathbb{R}^T) : W^T \geq 0\}$ 与最终坐标设为 0 的 Gelfand-Tsetlin 锥相等。
• 证明 minors $\Delta^{j_1,\dots,j_i}_{1,\dots,i}$ 的 $\mathbf{g}$-向量生成 $\Xi$ 的整数点的幺半群，且这些 minors 构成 $H^0(\mathrm{SL}_n/U, \mathcal{O})$ 的规范基。

实验结果

研究问题

• RQ1 Fock-Goncharov 猜想是否在 $\mathrm{SL}_n/U$ 的开双布劳哈特胞中成立？
• RQ2 能否通过丛结构导出的多面体锥中的整数点来实现 $H^0(\mathrm{SL}_n/U, \mathcal{O})$ 的规范基？
• RQ3 不可约表示 $V_\lambda$ 的规范基是否由 Gelfand-Tsetlin 锥与固定权 $\lambda$ 的仿射超平面的交集中的整数点参数化？
• RQ4 minors $\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$？

主要发现

• 对于 $U \subset \mathrm{SL}_n$ 和 $\mathrm{SL}_n/U$，Fock-Goncharov 猜想完全成立，由定理 1 和定理 2 证明。
• 规范基 $H^0(\mathrm{SL}_n/U, \mathcal{O})$ 由锥 $\Xi = \{x \in \mathcal{X}(\mathbb{R}^T) : W^T \geq 0\}$ 中的整数点参数化，该锥被识别为最终坐标设为 0 的 Gelfand-Tsetlin 锥。
• minors $\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$ 上的 minors $\Delta^{j_1,\dots,j_i}_{1,\dots,i}$ 生成，且由 $U$ 上的非常数矩阵元生成，二者均源自丛结构的内在构造。