Quantum geometry of moduli spaces of local systems and representation theory

Abstract

Let G be a split semi-simple adjoint group, and S a colored decorated surface, given by an oriented surface with punctures, special boundary points, and a specified collection of boundary intervals. We introduce a moduli space P(G,S) parametrizing G-local system on S with some boundary data, and prove that it carries a cluster Poisson structure, equivariant under the action of the cluster modular group M(G,S), containing the mapping class group of S, the group of outer automorphisms of G, and the product of Weyl / braid groups over punctures / boundary components. We prove that the dual moduli space A(G,S) carries a M(G,S)-equivariant cluster structure, and the pair (A(G,S), P(G,S)) is a cluster ensemble. These results generalize the works of V. Fock & the first author, and of I. Le. We quantize cluster Poisson varieties X for any Planck constant h s.t. h>0 or |h|=1. First, we define a *-algebra structure on the Langlands modular double A(h; X) of the algebra of functions on X. We construct a principal series of representations of the *-algebra A(h; X), equivariant under a unitary projective representation of the cluster modular group M(X). This extends works of V. Fock and the first author when h>0. Combining this, we get a M(G,S)-equivariant quantization of the moduli space P(G,S), given by the *-algebra A(h; P(G,S)) and its principal series representations. We construct realizations of the principal series *-representations. In particular, when S is punctured disc with two special points, we get a principal series *-representations of the Langlands modular double of the quantum group Uq(g). We conjecture that there is a nondegenerate pairing between the local system of coinvariants of oscillatory representations of the W-algebra and the one provided by the projective representation of the mapping class group of S.

arXiv comment234 pages. Updated following the referee report. Sections 2.4, 13.4, 17.8, 17.9 20.3, 20.4 new

References in corpus (3)

• Liouville Correlation Functions from Four-dimensional Gauge Theories
• Vertex Algebras and Algebraic Curves
• An analog of a modular functor from quantized Teichm"uller theory

Cited by in corpus (17)

• A slow review of the AGT correspondence
• Positive Representations of Split Real Simply-laced Quantum Groups
• Cyclic Sieving and Cluster Duality of Grassmannian
• Augmentations, Fillings, and Clusters
• Cluster realizations of Weyl groups and higher Teichmüller theory
• Cluster Structures on Double Bott-Samelson Cells
• Tropical Fock-Goncharov coordinates for ${\mathrm{SL}}_3$-webs on surfaces I: construction
• Duals of semisimple Poisson-Lie groups and cluster theory of moduli spaces of G-local systems
• Quantum decorated character stacks
• Naturality of ${\mathrm{SL}}_3$ quantum trace maps for surfaces
• Earthquake theorem for cluster algebras of finite type
• Representations of a quantum-deformed Lorentz algebra, Clebsch-Gordan map, and Fenchel-Nielsen representation of complex Chern-Simons theory at level-$N$
• Tropical Fock-Goncharov coordinates for ${\mathrm{SL}}_3$-webs on surfaces II: naturality
• Parabolic Positive Representations of ${\mathcal{U}}_q({\mathfrak{g}}_{\mathbb{R}})$
• Quantum traces for ${\mathrm{SL}}_n(\mathbb{C})$: The case $n=3$
• On webs, polylogarithms and cluster algebras
• Okamoto's symmetry on the representation space of the sixth Painlevé equation