[논문 리뷰] Donaldson-Thomas trasnsformations of moduli spaces of G-local systems

A. B. Goncharov, Linhui Shen|arXiv (Cornell University)|2016. 02. 21.

Advanced Algebra and Geometry참고 문헌 43인용 수 16

한 줄 요약

이 논문은 장식된 표면 위의 PGL_m-로컬 시스템의 모듈리 공간에서 Weyl 군 작용과 쌍대성 호환성 작용이 클러스터 파울슨 변환을 통해 작용하며, 이러한 공간에 대한 Donaldson-Thomas 변환을 계산한다. Keller의 클러스터 DT-변환 프레임워크와 Gross-Hacking-Keel-Kontsevich의 결과를 활용하여, X_PGL_m,S의 정칙 함수에 대한 표준 기저와 SL_m에 대한 Fomin-Zelevinsky 상위 클러스터 대수에 대한 표준 기저를 구축한다. 이는 이 설정에서의 쌍대성 추측을 확인한다.

ABSTRACT

Kontsevich and Soibelman defined Donaldson-Thomas invariants of a 3d Calabi-Yau category equipped with a stability condition. Any cluster variety gives rise to a family of such categories. Their DT invariants are encapsulated in a single formal automorphism of the cluster variety, called the DT-transformation. Let S be an oriented surface with punctures, and a finite number of special points on the boundary considered modulo isotopy. It give rise to a moduli space X(m, S), closely related to the moduli space of PGL(m)-local systems on S, which carries a canonical cluster Poisson variety structure. For each puncture of S, there is a birational Weyl group action on the space X(m, S). We prove that it is given by cluster Poisson transformations. We prove a similar result for the involution * of the space X(m,S) provided by dualising a local system on S. We calculate the DT-transformation of the moduli space X(m,S), with few exceptions. Namely, let C(m,S) be the transformation of the space X(m,S) given by the product of three commuting maps: the involution *, the product, over all punctures of S, of the longest element of the Weyl group action corresponding to the puncture, and the "shift of the special points on the boundary by one" map. Using a characterisation of a class of DT-transformations due to Keller, we prove that C(m,S) = DT. We prove that, burring few exceptions, the Weyl group and the involution * act by cluster transformations of the dual moduli space A(m, S). So the formula C(m,S) = DT is valid for the space A(m,S). Our main result, combined with the work of Gross, Hacking, Keel and Kontsevich, deliver a canonical basis in the space of regular functions on the cluster variety X(m,S), and in the upper cluster algebra with principal coefficients related to the pair (SL(m), S), with few exceptions.

연구 동기 및 목표

• G-로컬 시스템의 모듈리 공간에서 Weyl 군과 쌍대성 호환성이 클러스터 변환으로 작용하는 조건을 규명하는 것.
• 장식된 표면 S 위의 PGL_m-로컬 시스템의 모듈리 공간 X_PGL_m,S에 대한 Donaldson-Thomas 변환을 계산하는 것.
• Fomin-Zelevinsky와 Fock-Goncharov의 추측에 따르면 예측된, X_PGL_m,S의 정칙 함수의 링과 SL_m에 대한 상위 클러스터 대수에서 표준 기저의 존재를 확립하는 것.
• 림네이션과 이상 삼각분할을 통한 표면 기반 기하적 실현을 통해 클러스터 DT-변환을 제공하는 것.
• 조합적 및 기하적 방법을 사용하여 클러스터 DT-변환의 프레임워크를 로컬 시스템의 모듈리 공간으로 확장하는 것.

제안 방법

• 구멍과 특수한 경계점을 가진 표면에 대해 Fock와 Goncharov가 정의한, X_PGL_m,S 위의 클러스터 파울슨 구조를 사용한다.
• Keller의 클러스터 DT-변환 분류를 적용하여, g(S) + μ ≥ 3 또는 S가 두 개의 특수 점을 가진 고리형 표면인 경우에 대해 적합한 장식된 표면 S에 대해 DT-변환을 계산한다.
• 이상 삼각분할과 프레임 전달을 통한 플립의 수열을 통해 최장 Weyl 군 원소 w_0의 이상 삼각분할과 림네이션에 대한 작용을 분석한다.
• Weyl 군 작용의 토로피컬라이제이션과 매핑 클래스 군 작용을 활용하여 변환의 클러스터 성격을 검증한다.
• 로컬 시스템에 대한 쌍대성 호환성 ∗를 사용하고, 이가 이중 A-공간에서의 Schützenberger 호환성에 의해 클러스터 변환으로 작용함을 보인다.
• GHKK의 표준 기저 구축 결과와 결합하여, X_PGL_m,S와 SL_m에 대한 상위 클러스터 대수에서 표준 기저의 존재를 증명한다.

실험 결과

연구 질문

• RQ1 장식된 표면 S 위의 PGL_m-로컬 시스템의 모듈리 공간 X_PGL_m,S에서 Weyl 군 작용이 클러스터 변환으로 작용하는가?
• RQ2 로컬 시스템을 쌍대화함으로써 유도되는 X_PGL_m,S 위의 쌍대성 호환성 ∗는 클러스터 변환인가?
• RQ3 S가 적합한 경우, 클러스터 파울슨 다양체 X_PGL_m,S에 대한 Donaldson-Thomas 변환의 명시적 형태는 무엇인가?
• RQ4 Weyl 군과 쌍대성 작용은 이중 A-공간 A_SL_m,S로 어떻게 올라가며, 그곳에서 클러스터 변환인가?
• RQ5 Fomin-Zelevinsky와 Fock-Goncharov가 추측한 표준 기저는 클러스터 DT-변환과 림네이션을 통해 기하학적으로 구성될 수 있는가?

주요 결과

• 모든 적합한 장식된 표면 S에 대해, X_PGL_m,S 위의 Weyl 군 작용은 클러스터 파울슨 변환으로 주어진다.
• X_PGL_m,S 위의 쌍대성 호환성 ∗는 클러스터 변환으로 작용하며, 이는 이중 A-공간에서의 Schützenberger 호환성을 통해 실현된다.
• Keller의 클러스터 DT-변환 프레임워크를 사용하여, X_PGL_m,S의 Donaldson-Thomas 변환을 명시적으로 계산하였다.
• 적합한 S에 대해, X_PGL_m,S 위의 정칙 함수의 표준 기저는 GHKK 방법을 통해 구성되었으며, 이는 쌍대성 추측을 확인한다.
• 쌍대성 추측에 따르면 예측된, (SL_m, S) 쌍에 대한 주로 클러스터 대수에 표준 기저가 존재한다.
• X_PGL_m,S의 클러스터 DT-변환은 림네이션과 이상 삼각분할을 통해 기하학적으로 실현되었으며, 플립과 프레임 전달을 통한 명시적 좌표 변화가 검증되었다.