[논문 리뷰] Cluster realizations of Weyl groups and higher Teichmüller theory

Rei Inoue, Tsukasa Ishibashi외 1명|arXiv (Cornell University)|2019. 02. 07.

Algebraic structures and combinatorial models참고 문헌 48인용 수 5

한 줄 요약

이 논문은 비가역적 카크-무디 리 대수 $ \mathfrak{g} $ 에 대해 가중치가 부여된 쿼워버 $ Q_m(\mathfrak{g}) $ 의 가족을 구성하며, 그 클러스터 모듈라르 군은 웨일 군 $ W(\mathfrak{g}) $ 를 부분군으로 포함한다. 웨일 군 생성자의 명시적 클러스터 변환을 제공하고, 유한형 $ \mathfrak{g} $ 에서 녹색 수열과 클러스터 도널드슨-토머스 변환을 수립하며, 고전적 유한형 $ \mathfrak{g} $ 에서 코엑스터 수 $ h $ 를 가질 경우, $ Q_{kh}(\mathfrak{g}) $ 가 경계에 $ 2k $ 개의 표본점이 있는 한 개의 구멍이 있는 디스크의 높은 테이히뮐러 공간의 클러스터 구조를 표현하는 쿼워버와 변형 등가임을 증명한다. 이는 [GS18]에서 제시된 기하적 구성과 일치하는 높은 테이히뮐러 공간 위에 웨일 군 작용을 유도한다.

ABSTRACT

For a symmetrizable Kac-Moody Lie algebra $\mathfrak{g}$, we construct a family of weighted quivers $Q_m(\mathfrak{g})$ ($m \geq 2$) whose cluster modular group $Γ_{Q_m(\mathfrak{g})}$ contains the Weyl group $W(\mathfrak{g})$ as a subgroup. We compute explicit formulae for the corresponding cluster $\mathcal{A}$- and $\mathcal{X}$-transformations. As a result, we obtain green sequences and the cluster Donaldson-Thomas transformation for $Q_m(\mathfrak{g})$ in a systematic way when $\mathfrak{g}$ is of finite type. Moreover if $\mathfrak{g}$ is of classical finite type with the Coxeter number $h$, the quiver $Q_{kh}(\mathfrak{g})$ ($k \geq 1$) is mutation-equivalent to a quiver encoding the cluster structure of the higher Teichmüller space of a once-punctured disk with $2k$ marked points on the boundary, up to frozen vertices. This correspondence induces the action of direct products of Weyl groups on the higher Teichmüller space of a general marked surface. We finally prove that this action coincides with the one constructed in [GS18] from the geometrical viewpoint.

연구 동기 및 목표

• 비가역적 카크-무디 리 대수 $ \mathfrak{g} $ 의 웨일 군 $ W(\mathfrak{g}) $ 을 구성된 쿼워버 $ Q_m(\mathfrak{g}) $ 의 클러스터 모듈라르 군의 부분군으로 실현하는 것.
• 유한형 $ \mathfrak{g} $ 에서 웨일 군 생성자에 대응하는 명시적 클러스터 변환을 체계적으로 계산하고 녹색 수열 및 클러스터 도널드슨-토머스 변환을 수립하는 것.
• 경계에 $ 2k $ 개의 표본점이 있는 한 개의 구멍이 있는 디스크의 높은 테이히뮐러 공간의 클러스터 구조를 표현하는 쿼워버와 $ Q_{kh}(\mathfrak{g}) $ 간의 변형 등가성을 확립하는 것.
• 클러스터 구조를 통해 유도된 높은 테이히뮐러 공간 위의 웨일 군 작용이 [GS18]에서 제시된 기하적 작용과 일치함을 증명하는 것.

제안 방법

• 각 $ m \geq 2 $ 에 대해 $ \mathfrak{g} $ 와 관련된 코엑스터 쿼워버 $ Q(\mathfrak{g}) $ 를 기반으로 가중치가 부여된 쿼워버 $ Q_m(\mathfrak{g}) $ 를 정의한다.
• 각 코엑스터 생성자 $ r_s \in W(\mathfrak{g}) $ 의 작용을 실현하는 클러스터 모듈라르 군 $ \Gamma_{Q_m(\mathfrak{g})} $ 내의 명시적 변형 시퀀스 $ R(s) $ 를 구성한다.
• 클러스터 모듈라르 군의 작용이 토로픽 $ \mathcal{X} $-공간의 부분집합에 작용함을 이용하여, 이 작용이 루트 격자 $ L(\mathfrak{g}) $ 에서의 웨일 군 작용을 올리는 것을 보인다.
• 유한형일 경우, $ w = r_{s_1} \cdots r_{s_k} $ 가 최소 표현일 때, 변형 시퀀스 $ R(w) $ 는 $ Q_m(\mathfrak{g}) $ 에 대해 녹색 수열을 이룬다.
• $ Q_{kh}(\mathfrak{g}) $ 가 경계에 $ 2k $ 개의 표본점이 있는 한 개의 구멍이 있는 디스크의 높은 테이히뮐러 공간의 클러스터 구조를 표현하는 쿼워버와 변형 등가임을 보이며, 동결된 정점들을 제외한 상태에서 성립한다.
• 클러스터 좌표와 단형성의 비교를 통해, 높은 테이히뮐러 공간 위에 유도된 웨일 군 작용이 [GS18]에서 제시된 기하적 작용과 일치함을 보여준다.

실험 결과

연구 질문

• RQ1 비가역적 카크-무디 대수 $ \mathfrak{g} $ 의 웨일 군 $ W(\mathfrak{g}) $ 는 클러스터 대수의 클러스터 모듈라르 군의 부분군으로 실현될 수 있는가?
• RQ2 웨일 군 생성자의 클러스터 다양체 위에서의 작용을 실현하기 위해 명시적인 클러스터 변환을 어떻게 구성할 수 있는가?
• RQ3 유한형 $ \mathfrak{g} $ 에서, $ W(\mathfrak{g}) $ 의 최소 표현에 대응하는 변형 시퀀스는 녹색 수열을 형성하고 잘 정의된 클러스터 도널드슨-토머스 변환을 유도하는가?
• RQ4 $ Q_{kh}(\mathfrak{g}) $ 와 경계에 $ 2k $ 개의 표본점이 있는 한 개의 구멍이 있는 디스크의 높은 테이히뮐러 공간의 클러스터 구조를 표현하는 쿼워버 사이에 변형 등가성이 존재하는가?
• RQ5 클러스터 구조를 통해 유도된 높은 테이히뮐러 공간 위의 웨일 군 작용은 [GS18]에서 정의된 기하적 작용과 일치하는가?

주요 결과

• 다음과 같은 단사 군 준동형사상 $ \phi_m: W(\mathfrak{g}) \to P_{|Q_m(\mathfrak{g})|} $ 가 존재한다. 여기서 $ P_{|Q_m(\mathfrak{g})|} $ 는 집합합 맵 아래에서 심플렉틱 리프를 보존하는 클러스터 모듈라르 군의 정규부분군이다.
• 웨일 군 $ W(\mathfrak{g}) $ 는 루트 격자 $ L(\mathfrak{g}) $ 에서 $ W(\mathfrak{g}) $--equivariant 임bedding을 통해 단항식 파울리 카시미르 군 $ Z(\mathcal{X}_{|Q_m(\mathfrak{g})|}) $ 의 군에 포함됨으로써 작용한다.
• 모든 최소 표현 $ w = r_{s_1} \cdots r_{s_k} $ 에 대해, $ \mathfrak{g} $ 가 유한형일 경우 변형 시퀀스 $ R(w) = R(s_1) \cdots R(s_k) $ 는 $ Q_m(\mathfrak{g}) $ 에 대해 녹색 수열을 이룬다.
• 클러스터 도널드슨-토머스 변환은 $ \sigma \circ R $ 로 주어지며, 여기서 $ \sigma $ 는 표준 클러스터 변환이고 $ R $ 은 최장 원소에 대응하는 최소 표현에 대응하는 변형의 복합이다.
• 고전적 유한형 $ \mathfrak{g} $ 에서 코엑스터 수 $ h $ 를 가질 경우, $ Q_{kh}(\mathfrak{g}) $ 는 경계에 $ 2k $ 개의 표본점이 있는 한 개의 구멍이 있는 디스크의 높은 테이히뮐러 공간의 클러스터 구조를 표현하는 쿼워버와 변형 등가이며, 동결된 정점들을 제외한 상태에서 성립한다.
• 클러스터 구조 $ Q_{kh}(\mathfrak{g}) $ 를 통해 높은 테이히뮐러 공간 위에 유도된 웨일 군 작용은 [GS18]에서 제시된 기하적 작용과 일치함을 확인하여, 대수적 실현과 기하적 실현 간의 일致성을 확인한다.