Advertisement

A cluster realization of \(U_q(\mathfrak {sl}_{\mathfrak {n}})\) from quantum character varieties

  • Gus Schrader
  • Alexander ShapiroEmail author
Article
  • 89 Downloads

Abstract

We construct an injective algebra homomorphism of the quantum group \(U_q(\mathfrak {sl}_{n+1})\) into a quantum cluster algebra \(\mathbf {L}_n\) associated to the moduli space of framed \(PGL_{n+1}\)-local systems on a marked punctured disk. We obtain a description of the coproduct of \(U_q(\mathfrak {sl}_{n+1})\) in terms of the corresponding quantum cluster algebra associated to the marked twice punctured disk, and express the action of the R-matrix in terms of a mapping class group element corresponding to the half-Dehn twist rotating one puncture about the other. As a consequence, we realize the algebra automorphism of \(U_q(\mathfrak {sl}_{n+1})^{\otimes 2}\) given by conjugation by the R-matrix as an explicit sequence of cluster mutations, and derive a refined factorization of the R-matrix into quantum dilogarithms of cluster monomials.

Mathematics Subject Classification

17B37 13F601 

Notes

Acknowledgements

We would like to thank Vladimir Fock for sharing his insights and expertise, and for his suggestion to study quantum groups via quantization of the moduli spaces of framed local systems considered in his work with Alexander Goncharov. We are grateful to Arkady Berenstein for many inspiring discussions. Our gratitude also goes to Nicolai Reshetikhin for his support and helpful suggestions throughout the course of this work. We thank Linhui Shen for careful reading of the first version of this manuscript, for teaching us a trick used in the proof of Proposition 2, and for providing many excellent remarks, which led in particular to a significant simplification in the exposition of Lemma 7.6. We are grateful to David Hernandez for his hospitality in Paris, where the first version of this paper was completed. Finally, we would like to thank the anonymous referee for valuable comments which helped us improve exposition of the paper.

References

  1. 1.
    Berenstein, A.: Group-like elements in quantum groups and Feigin’s conjecture (1996). arXiv:q-alg/9605016
  2. 2.
    Berenstein, A., Fomin, S., Zelevinsky, A.: Parametrizations of canonical bases and totally positive matrices. Adv. Math. 122(1), 49–149 (1996)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Berenstein, A., Zelevinsky, A.: String bases for quantum groups of type \(A_r\). Adv. Soviet Math. 16(1), 51–89 (1993)zbMATHGoogle Scholar
  4. 4.
    Berenstein, A., Zelevinsky, A.: Quantum cluster algebras. Adv. Math. 195(2), 405–455 (2005)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Braverman, A., Finkelberg, M., Nakajima, H.: Towards a mathematical definition of Coulomb branches of 3-dimensional \(\cal{N}= 4\) gauge theories, II. arXiv:1601.03586 (2016)
  6. 6.
    Bytsko, A., Teschner, J.: R-operator, co-product, and Haar-measure for the modular double of \(U_q(\mathfrak{sl}(2,\mathbb{R}))\). Commun. Math. Phys. 240(1–2), 171–196 (2003)CrossRefzbMATHGoogle Scholar
  7. 7.
    Cautis, S., Williams, H.: Cluster theory of the coherent Satake category. arXiv:1801.08111 (2018)
  8. 8.
    Drinfeld, V.: Quantum groups. In: Proceedings of the international congress of mathematicians, Berkeley, pp. 798–820 (1986)Google Scholar
  9. 9.
    Faddeev, L.: Modular double of quantum group. arXiv:math/9912078 (1999)
  10. 10.
    Finkelberg, M., Tsymbaliuk, A.: Multiplicative slices, relativistic Toda and shifted quantum affine algebras. arXiv:1708.01795 (2017)
  11. 11.
    Fock, V., Goncharov, A.: Moduli spaces of local systems and higher Teichmüller theory. Publications Mathématiques de l’IHÉS 103, 1–211 (2006)CrossRefzbMATHGoogle Scholar
  12. 12.
    Fock, V., Goncharov, A.: Cluster \(\cal{X}\)-varieties, amalgamation, and Poisson–Lie groups. In: Ginzburg, V. (ed.) Algebraic Geometry and Number Theory, pp. 27–68. Birkhäuser, Boston (2006)CrossRefGoogle Scholar
  13. 13.
    Fock, V., Goncharov, A.: The quantum dilogarithm and representations of quantum cluster varieties. Invent. Math. 175(2), 223–286 (2009)MathSciNetCrossRefzbMATHGoogle Scholar
  14. 14.
    Fomin, S., Zelevinsky, A.: Cluster algebras I: foundations. J. Am. Math. Soc. 15(2), 497–529 (2002)MathSciNetCrossRefzbMATHGoogle Scholar
  15. 15.
    Frenkel, I., Ip, I.: Positive representations of split real quantum groups and future perspectives. Int. Math. Res. Not. 2014(8), 2126–2164 (2014)MathSciNetCrossRefzbMATHGoogle Scholar
  16. 16.
    Geiss, C., Leclerc, B., Schröer, J.: Cluster structures on quantum coordinate rings. Sel. Math. 19(2), 337–397 (2013)MathSciNetCrossRefzbMATHGoogle Scholar
  17. 17.
    Gekhtman, M., Shapiro, M., Vainshtein, A.: Drinfeld double of \(GL_n\) and generalized cluster structures. Proc. Lond. Math. Soc. 116(3), 429–484 (2018)MathSciNetCrossRefzbMATHGoogle Scholar
  18. 18.
    Goncharov, A., Shen, L.: Geometry of canonical bases and mirror symmetry. Invent. Math. 202(2), 487–633 (2015)MathSciNetCrossRefzbMATHGoogle Scholar
  19. 19.
    Goncharov, A., Shen, L.: Donaldson–Thomas trasnsformations of moduli spaces of G-local systems. Adv. Math. 327, 225–348 (2018)MathSciNetCrossRefzbMATHGoogle Scholar
  20. 20.
    Hernandez, D., Leclerc, B.: Cluster algebras and quantum affine algebras. Duke Math. J. 154(2), 265–341 (2010)MathSciNetCrossRefzbMATHGoogle Scholar
  21. 21.
    Hernandez, D., Leclerc, B.: A cluster algebra approach to \(q\)-characters of Kirillov–Reshetikhin modules. J. Eur. Math. Soc. 18, 1113–1159 (2016)MathSciNetCrossRefzbMATHGoogle Scholar
  22. 22.
    Hikami, K., Inoue, R.: Braiding operator via quantum cluster algebra. J. Phys. A Math. Theor. 47(47), 474006 (2014)MathSciNetCrossRefzbMATHGoogle Scholar
  23. 23.
    Ip, I.: Representation of the quantum plane, its quantum double, and harmonic analysis on \(GL_q^+(2,\mathbb{R})\). Sel. Math. 19(4), 987–1082 (2013)CrossRefzbMATHGoogle Scholar
  24. 24.
    Ip, I.: Cluster realization of \(U_q(\mathfrak{g})\) and factorization of the universal \(R\)-matrix. arXiv:1612.05641 (2016)
  25. 25.
    Kang, S., Kashiwara, M., Kim, M., Oh, S.: Monoidal categorification of cluster algebras. J. Am. Math. Soc. 31(2), 349–426 (2018)MathSciNetCrossRefzbMATHGoogle Scholar
  26. 26.
    Kashaev, R.: On the spectrum of Dehn twists in quantum Teichmüller theory. In: Kirillov, A.N., Liskova, N. (eds.) Physics and Combinatorics 2000: Proceedings of the Nagoya 2000 International Workshop, pp. 63–81. World Scientific Publishing (2001)Google Scholar
  27. 27.
    Kashiwara, M.: Crystal bases and categorifications. arXiv:1809.00114 (2018)
  28. 28.
    Kimura, Y.: Quantum unipotent subgroup and dual canonical basis. Kyoto J. Math. 52(2), 277–331 (2012)MathSciNetCrossRefzbMATHGoogle Scholar
  29. 29.
    Kimura, Y., Qin, F.: Graded quiver varieties, quantum cluster algebras and dual canonical basis. Adv. Math. 262, 261–312 (2014)MathSciNetCrossRefzbMATHGoogle Scholar
  30. 30.
    Kirillov, A., Reshetikhin, N.: q-Weyl group and a multiplicative formula for universal \(R\)-matrices. Commun. Math. Phys. 134(2), 421–431 (1990)MathSciNetCrossRefzbMATHGoogle Scholar
  31. 31.
    Knutson, A., Tao, T.: The honeycomb model of \(GL_n(\mathbb{C})\) tensor products I: proof of the saturation conjecture. J. Am. Math. Soc. 12(4), 1055–1090 (1999)CrossRefzbMATHGoogle Scholar
  32. 32.
    Levendorskii, S., Soibelman, Y.: Quantum Weyl group and multiplicative formula for the \(R\)-matrix of a simple Lie algebra. Funct. Anal. Appl. 25(2), 143–145 (1991)MathSciNetCrossRefGoogle Scholar
  33. 33.
    Lusztig, G.: Canonical bases arising from quantized enveloping algebra. J. Am. Math. Soc. 3(2), 447–498 (1990)MathSciNetCrossRefzbMATHGoogle Scholar
  34. 34.
    Nakajima, H.: Quiver varieties and cluster algebras. Kyoto J. Math. 51(1), 71–126 (2011)MathSciNetCrossRefzbMATHGoogle Scholar
  35. 35.
    Ponsot, B., Teschner, J.: Liouville bootstrap via harmonic analysis on a noncompact quantum group. arXiv:hep-th/9911110 (1999)
  36. 36.
    Ponsot, B., Teschner, J.: Clebsch–Gordan and Racah–Wigner coefficients for a continuous series of representations of \(U_q(\mathfrak{sl}(2,\mathbb{R}))\). Commun. Math. Phys. 224(3), 613–655 (2001)CrossRefzbMATHGoogle Scholar
  37. 37.
    Qin, F.: Quantum groups via cyclic quiver varieties I. Compos. Math. 152(2), 299–326 (2016)MathSciNetCrossRefzbMATHGoogle Scholar
  38. 38.
    Rosso, M.: An analogue of P.B.W. theorem and the universal \(R\)-matrix for \(U_\hbar \mathfrak{sl}(N+ 1)\). Commun. Math. Phys. 124(2), 307–318 (1989)CrossRefzbMATHGoogle Scholar
  39. 39.
    Rupel, D.: The Feigin tetrahedron. SIGMA 11, 024 (2015)MathSciNetzbMATHGoogle Scholar
  40. 40.
    Schrader, G., Shapiro, A.: Quantum groups, quantum tori, and the Grothendieck–Springer resolution. Adv. Math. 321, 431–474 (2017)MathSciNetCrossRefzbMATHGoogle Scholar
  41. 41.
    Schrader, G., Shapiro, A.: Continuous tensor categories from quantum groups I: algebraic aspects. arXiv:1708.08107 (2017)
  42. 42.
    Schrader, G., Shapiro, A.: On \(b\)-Whittaker functions. arXiv:1806.00747 (2018)
  43. 43.
    Williams, H.: Cluster ensembles and Kac–Moody groups. Adv. Math. 247, 1–40 (2013)MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer-Verlag GmbH Germany, part of Springer Nature 2019

Authors and Affiliations

  1. 1.Department of MathematicsColumbia UniversityNew YorkUSA
  2. 2.Department of MathematicsUniversity of EdinburghEdinburghUK

Personalised recommendations