[논문 리뷰] Fock-Goncharov conjecture and polyhedral cones for $U \subset SL_n$ and base affine space $SL_n /U$

Timothy Magee|arXiv (Cornell University)|2015. 02. 12.

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$ 의 표준적 컴acts이화를 가능하게 한다.
• 사전순서로 가장 작은 축약 표현을 사용한 Lusztig 사상으로 $\mathring{U}$ 의 토리 $T \subset \mathring{U}$ 를 식별하고, $T$ 를 $\mathring{U}$ 의 토리 아틀라스에 통합한다.
• $T$ 와 관련된 시드의 비상수 행렬 성분들의 $\mathbf{g}$-벡터들이 거울 $\mathcal{X}(\mathbb{Z}^T)$ 의 정수 토로이드 점들의 기저를 이룬다는 것을 보인다.
• $\mathcal{X}(\mathbb{R}^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 콩과 동일하게 식별한다.
• $\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$ 와 일치하는가?

주요 결과

• $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 콩과 동일하다.
• $\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$ 에서의 비상수 행렬 성분들에 의해 생성되며, 모두 클러스터 구조로부터 내재적으로 유도된다.