A topological characterisation of the Kashiwara–Vergne groups
HTML articles powered by AMS MathViewer
- by Zsuzsanna Dancso, Iva Halacheva and Marcy Robertson;
- Trans. Amer. Math. Soc. 376 (2023), 3265-3317
- DOI: https://doi.org/10.1090/tran/8761
- Published electronically: February 3, 2023
- HTML | PDF
Abstract:
In [Math. Ann. 367 (2017), pp. 1517–1586] Bar-Natan and the first author show that solutions to the Kashiwara–Vergne equations are in bijection with certain knot invariants: homomorphic expansions of welded foams. Welded foams are a class of knotted tubes in $\mathbb {R}^4$, which can be finitely presented algebraically as a circuit algebra, or equivalently, a wheeled prop. In this paper we describe the Kashiwara-Vergne groups $\mathsf {KV}$ and $\mathsf {KRV}$—the symmetry groups of Kashiwara-Vergne solutions—as automorphisms of the completed circuit algebras of welded foams, and their associated graded circuit algebras of arrow diagrams, respectively. Finally, we provide a description of the graded Grothendieck-Teichmüller group $\mathsf {GRT}_1$ as automorphisms of arrow diagrams.References
- A. Alekseev, B. Enriquez, and C. Torossian, Drinfeld associators, braid groups and explicit solutions of the Kashiwara-Vergne equations, Publ. Math. Inst. Hautes Études Sci. 112 (2010), 143–189. MR 2737979, DOI 10.1007/s10240-010-0029-4
- A. Alekseev and E. Meinrenken, On the Kashiwara-Vergne conjecture, Invent. Math. 164 (2006), no. 3, 615–634. MR 2221133, DOI 10.1007/s00222-005-0486-4
- Anton Alekseev and Charles Torossian, The Kashiwara-Vergne conjecture and Drinfeld’s associators, Ann. of Math. (2) 175 (2012), no. 2, 415–463. MR 2877064, DOI 10.4007/annals.2012.175.2.1
- D. Bar-Natan, Expansions and quadraticity for groups, 2015, http://drorbn.net/AcademicPensieve/Projects/ExQu/index.html.
- Clemens Berger and Ieke Moerdijk, Resolution of coloured operads and rectification of homotopy algebras, Categories in algebra, geometry and mathematical physics, Contemp. Math., vol. 431, Amer. Math. Soc., Providence, RI, 2007, pp. 31–58. MR 2342815, DOI 10.1090/conm/431/08265
- Dror Bar-Natan, On the Vassiliev knot invariants, Topology 34 (1995), no. 2, 423–472. MR 1318886, DOI 10.1016/0040-9383(95)93237-2
- Dror Bar-Natan, On associators and the Grothendieck-Teichmuller group. I, Selecta Math. (N.S.) 4 (1998), no. 2, 183–212. MR 1669949, DOI 10.1007/s000290050029
- Dror Bar-Natan, Khovanov’s homology for tangles and cobordisms, Geom. Topol. 9 (2005), 1443–1499. MR 2174270, DOI 10.2140/gt.2005.9.1443
- Dror Bar-Natan, Introduction to Vassiliev knot invariants [book review of MR2962302], Bull. Amer. Math. Soc. (N.S.) 50 (2013), no. 4, 685–690. MR 3090428, DOI 10.1090/S0273-0979-2013-01413-7
- Dror Bar-Natan and Zsuzsanna Dancso, Finite-type invariants of w-knotted objects, I: w-knots and the Alexander polynomial, Algebr. Geom. Topol. 16 (2016), no. 2, 1063–1133. MR 3493416, DOI 10.2140/agt.2016.16.1063
- Dror Bar-Natan and Zsuzsanna Dancso, Finite type invariants of w-knotted objects II: tangles, foams and the Kashiwara-Vergne problem, Math. Ann. 367 (2017), no. 3-4, 1517–1586. MR 3623232, DOI 10.1007/s00208-016-1388-z
- S. Chmutov, S. Duzhin, and J. Mostovoy, Jacobi diagrams, Cambridge University Press, 2012, pp. 115–156.
- Zsuzsanna Dancso, On the Kontsevich integral for knotted trivalent graphs, Algebr. Geom. Topol. 10 (2010), no. 3, 1317–1365. MR 2661529, DOI 10.2140/agt.2010.10.1317
- Zsuzsanna Dancso, Iva Halacheva, and Marcy Robertson, Circuit algebras are wheeled props, J. Pure Appl. Algebra 225 (2021), no. 12, Paper No. 106767, 33. MR 4265709, DOI 10.1016/j.jpaa.2021.106767
- H. A. Dye and Louis H. Kauffman, Virtual knot diagrams and the Witten-Reshetikhin-Turaev invariant, J. Knot Theory Ramifications 14 (2005), no. 8, 1045–1075. MR 2196647, DOI 10.1142/S021821650500424X
- V. G. Drinfel′d, Quasi-Hopf algebras, Algebra i Analiz 1 (1989), no. 6, 114–148 (Russian); English transl., Leningrad Math. J. 1 (1990), no. 6, 1419–1457. MR 1047964
- V. G. Drinfel′d, On quasitriangular quasi-Hopf algebras and on a group that is closely connected with $\textrm {Gal}(\overline \textbf {Q}/\textbf {Q})$, Algebra i Analiz 2 (1990), no. 4, 149–181 (Russian); English transl., Leningrad Math. J. 2 (1991), no. 4, 829–860. MR 1080203
- Benoit Fresse, Lie theory of formal groups over an operad, J. Algebra 202 (1998), no. 2, 455–511. MR 1617616, DOI 10.1006/jabr.1997.7280
- Benoit Fresse, Homotopy of operads and Grothendieck-Teichmüller groups. Part 1, Mathematical Surveys and Monographs, vol. 217, American Mathematical Society, Providence, RI, 2017. The algebraic theory and its topological background. MR 3643404, DOI 10.1090/surv/217.1
- Benoit Fresse, Homotopy of operads and Grothendieck-Teichmüller groups. Part 2, Mathematical Surveys and Monographs, vol. 217, American Mathematical Society, Providence, RI, 2017. The applications of (rational) homotopy theory methods. MR 3616816, DOI 10.1090/surv/217.2
- A. Henriques, D. Penneys, and J. Tener, Planar algebras in braided tensor categories, Preprint, arXiv:1607.06041, 2016.
- V. F. R. Jones, Planar algebras, I, Preprint, arXiv:math.QA/9909027, 1999.
- Maxim Kontsevich, Vassiliev’s knot invariants, I. M. Gel′fand Seminar, Adv. Soviet Math., vol. 16, Amer. Math. Soc., Providence, RI, 1993, pp. 137–150. MR 1237836
- Greg Kuperberg, What is a virtual link?, Algebr. Geom. Topol. 3 (2003), 587–591. MR 1997331, DOI 10.2140/agt.2003.3.587
- Masaki Kashiwara and Michèle Vergne, The Campbell-Hausdorff formula and invariant hyperfunctions, Invent. Math. 47 (1978), no. 3, 249–272. MR 492078, DOI 10.1007/BF01579213
- Tu Quoc Thang Le and Jun Murakami, The universal Vassiliev-Kontsevich invariant for framed oriented links, Compositio Math. 102 (1996), no. 1, 41–64. MR 1394520
- Thang T. Q. Le, Jun Murakami, and Tomotada Ohtsuki, On a universal perturbative invariant of $3$-manifolds, Topology 37 (1998), no. 3, 539–574. MR 1604883, DOI 10.1016/S0040-9383(97)00035-9
- Sergei Merkulov, Grothendieck-Teichmüller group, operads and graph complexes: a survey, Integrability, quantization, and geometry II. Quantum theories and algebraic geometry, Proc. Sympos. Pure Math., vol. 103, Amer. Math. Soc., Providence, RI, [2021] ©2021, pp. 383–445. MR 4285704, DOI 10.1090/pspum/103.2/01863
- John W. Milnor and John C. Moore, On the structure of Hopf algebras, Ann. of Math. (2) 81 (1965), 211–264. MR 174052, DOI 10.2307/1970615
- Shin Satoh, Virtual knot presentation of ribbon torus-knots, J. Knot Theory Ramifications 9 (2000), no. 4, 531–542. MR 1758871, DOI 10.1142/S0218216500000293
- D. E. Tamarkin, Another proof of M. Kontsevich formality theorem, 1998, math/9803025.
- Thomas Willwacher, M. Kontsevich’s graph complex and the Grothendieck-Teichmüller Lie algebra, Invent. Math. 200 (2015), no. 3, 671–760. MR 3348138, DOI 10.1007/s00222-014-0528-x
Bibliographic Information
- Zsuzsanna Dancso
- Affiliation: School of Mathematics and Statistics, The University of Sydney, Sydney, NSW, Australia
- MR Author ID: 905914
- Email: zsuzsanna.dancso@sydney.edu.au
- Iva Halacheva
- Affiliation: Department of Mathematics, Northeastern University, Boston, Massachusetts
- MR Author ID: 951481
- ORCID: 0000-0002-2189-2197
- Email: i.halacheva@northeastern.edu
- Marcy Robertson
- Affiliation: School of Mathematics and Statistics, The University of Melbourne, Melbourne, Victoria, Australia
- MR Author ID: 1115770
- Email: marcy.robertson@unimelb.edu.au
- Received by editor(s): July 12, 2021
- Received by editor(s) in revised form: June 14, 2022
- Published electronically: February 3, 2023
- Additional Notes: The first and third authors were supported by the Mathematical Sciences Research Institute (MSRI) via the 2020 program “Higher Categories and Categorification”. The third author was provided visitor funding by the Sydney Mathematical Institute (SMRI)
Marcy Robertson is the corresponding author - © Copyright 2023 by the authors
- Journal: Trans. Amer. Math. Soc. 376 (2023), 3265-3317
- MSC (2020): Primary 18M60, 57K12
- DOI: https://doi.org/10.1090/tran/8761
- MathSciNet review: 4577332