Geometry of canonical bases and mirror symmetry

By A. Goncharov, Li-Chien Shen. 2013

81 citations recorded by the source corpus.

A decorated surface$$S$$S is an oriented surface with boundary and a finite, possibly empty, set of special points on the boundary, considered modulo isotopy. Let $$\mathrm{G}$$G be a split reductive group over $${\mathbb Q}$$Q. A pair $$(\mathrm{G}, S)$$(G,S) gives rise to a moduli space $${\mathcal A}_{\mathrm{G}, S}$$AG,S, closely related to the moduli space of $$\mathrm{G}$$G-local systems on $$S$$S. It is equipped with a positive structure (Fock and Goncharov, Publ Math IHES 103:1–212, 2006). So a set $${\mathcal A}_{\mathrm{G}, S}({\mathbb Z}^t)$$AG,S(Zt) of its integral tropical points is defined. We introduce a rational positive function $${\mathcal W}$$W on the space $${\mathcal A}_{\mathrm{G}, S}$$AG,S, called the potential. Its tropicalisation is a function $${\mathcal W}^t: {\mathcal A}_{\mathrm{G}, S}({\mathbb Z}^t) \rightarrow {\mathbb Z}$$Wt:AG,S(Zt)→Z. The condition $${\mathcal W}^t\ge 0$$Wt≥0 defines a subset of positive integral tropical points$${\mathcal A}^+_{\mathrm{G}, S}({\mathbb Z}^t)$$AG,S+(Zt). For $$\mathrm{G=SL}_2$$G=SL2, we recover the set of positive integral $${\mathcal A}$$A-laminations on $$S$$S from Fock and Goncharov (Publ Math IHES 103:1–212, 2006). We prove that when $$S$$S is a disc with $$n$$n special points on the boundary, the set $${\mathcal A}^+_{\mathrm{G}, S}({\mathbb Z}^t)$$AG,S+(Zt) parametrises top dimensional components of the fibers of the convolution maps. Therefore, via the geometric Satake correspondence (Lusztig, Astérisque 101–102:208–229, 1983; Ginzburg,1995; Mirkovic and Vilonen, Ann Math (2) 166(1):95–143, 2007; Beilinson and Drinfeld, Chiral algebras. American Mathematical Society Colloquium Publications, vol. 51, 2004) they provide a canonical basis in the tensor product invariants of irreducible modules of the Langlands dual group $$\mathrm{G}^L$$GL: 1$$\begin{aligned} (V_{\lambda _1}\otimes \ldots \otimes V_{\lambda _n})^{\mathrm{G}^L}. \end{aligned}$$(Vλ1⊗…⊗Vλn)GL.When $$\mathrm{G=GL}_m$$G=GLm, $$n=3$$n=3, there is a special coordinate system on $${\mathcal A}_{\mathrm{G}, S}$$AG,S (Fock and Goncharov, Publ Math IHES 103:1–212, 2006). We show that it identifies the set $${\mathcal A}^+_{\mathrm{GL_m}, S}({\mathbb Z}^t)$$AGLm,S+(Zt) with Knutson–Tao’s hives (Knutson and Tao, The honeycomb model of GL(n) tensor products I: proof of the saturation conjecture, 1998). Our result generalises a theorem of Kamnitzer (Hives and the fibres of the convolution morphism, 2007), who used hives to parametrise top components of convolution varieties for $$\mathrm{G=GL}_m$$G=GLm, $$n=3$$n=3. For $$\mathrm{G=GL}_m$$G=GLm, $$n>3$$n>3, we prove Kamnitzer’s conjecture (Kamnitzer, Hives and the fibres of the convolution morphism, 2012). Our parametrisation is naturally cyclic invariant. We show that for any $$\mathrm{G}$$G and $$n=3$$n=3 it agrees with Berenstein–Zelevinsky’s parametrisation (Berenstein and Zelevinsky, Invent Math 143(1):77–128, 2001), whose cyclic invariance is obscure. We define more general positive spaces with potentials $$({\mathcal A}, {\mathcal W})$$(A,W), parametrising mixed configurations of flags. Using them, we define a generalization of Mirković–Vilonen cycles (Mirkovic and Vilonen, Ann Math (2) 166(1):95–143, 2007), and a canonical basis in $$V_{\lambda _1}\otimes \ldots \otimes V_{\lambda _n}$$Vλ1⊗…⊗Vλn, generalizing the Mirković–Vilonen basis in $$V_{\lambda }$$Vλ. Our construction comes naturally with a parametrisation of the generalised MV cycles. For the classical MV cycles it is equivalent to the one discovered by Kamnitzer (Mirkovich–Vilonen cycles and polytopes, 2005). We prove that the set $${\mathcal A}^+_{\mathrm{G}, S}({\mathbb Z}^t)$$AG,S+(Zt) parametrises top dimensional components of a new moduli space, surface affine Grasmannian, generalising the fibers of the convolution maps. These components are usually infinite dimensional. We define their dimension being an element of a $${\mathbb Z}$$Z-torsor, rather then an integer. We define a new moduli space $$\mathrm{Loc}_{G^L, S}$$LocGL,S, which reduces to the moduli spaces of $$G^L$$GL-local systems on $$S$$S if $$S$$S has no special points. The set $${\mathcal A}^+_{\mathrm{G}, S}({\mathbb Z}^t)$$AG,S+(Zt) parametrises a basis in the linear space of regular functions on $$\mathrm{Loc}_{G^L, S}$$LocGL,S. We suggest that the potential $${\mathcal W}$$W itself, not only its tropicalization, is important—it should be viewed as the potential for a Landau–Ginzburg model on $${\mathcal A}_{\mathrm{G}, S}$$AG,S. We conjecture that the pair $$({\mathcal A}_{\mathrm{G}, S}, {\mathcal W})$$(AG,S,W) is the mirror dual to $$\mathrm{Loc}_{G^L, S}$$LocGL,S. In a special case, we recover Givental’s description of the quantum cohomology connection for flag varieties and its generalisation (Gerasimov et al., New integral representations of Whittaker functions for classical Lie groups, 2012; Rietsch, A mirror symmetric solution to the quantum Toda lattice, 2012). We formulate equivariant homological mirror symmetry conjectures parallel to our parametrisations of canonical bases.

Subfields: Geometry and Topology, Statistical and Nonlinear Physics

View Paper: https://www.semanticscholar.org/paper/cb935acdf753d07e9ed2b2df6141d0c68a252adb

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Geometry and Topology

  1. Mark Gross
  2. P. Hacking
  3. S. Keel
  4. M. Kontsevich
  5. Bernd S Siebert
  6. M. Abouzaid
  7. Ben Davison
  8. D. Auroux

In Statistical and Nonlinear Physics

  1. P. Hacking
  2. Mark Gross
  3. S. Keel
  4. M. Kontsevich
  5. Ben Davison
  6. Bernd Sturmfels
  7. Jürgen Hausen
  8. Laurent Demonet

Citations in the corpus