## The Lie bracket of undirected closed curves on a surface

HTML articles powered by AMS MathViewer

- by Moira Chas and Arpan Kabiraj PDF
- Trans. Amer. Math. Soc.
**375**(2022), 2365-2386 Request permission

## Abstract:

A Lie bracket defined on the linear span of the free homotopy classes of undirected closed curves on surfaces was discovered in stages passing through Thurston’s earthquake deformations, Wolpert’s corresponding calculations with Hamiltonian vector fields and Goldman’s algebraic treatment of the latter leading to a Lie bracket on the span of directed closed curves. The purpose of this work is to deepen the understanding of the former Lie bracket which will be referred to as the Thurston-Wolpert-Goldman Lie bracket or, briefly, the TWG bracket.

We give a local direct geometric definition of the TWG bracket and use this geometric point of view to prove three results: firstly, the center of the TWG bracket is the Lie sub algebra generated by the class of the trivial loop and the classes of loops parallel to boundary components or punctures; secondly the analogous result holds for the centers of the universal enveloping algebra and of the symmetric algebra determined by the TWG Lie algebra; and thirdly, in terms of the natural basis, the TWG bracket of two non-central curves is always a linear combination of non-central curves. These three results hold for surfaces with or without boundary. We also give a brief and more illuminating proof of a known result, namely, the TWG bracket counts intersection between a simple closed curve and any other closed curve.

We conclude by discussing substantial computer evidence suggesting an unexpected and strong conjectural statement relating the intersection structure of curves and the TWG bracket, namely, if the TWG bracket of two distinct undirected curves is zero then these curve classes have disjoint representatives. The computer experiments were performed on curves on surfaces with boundary.

The main tools are basic hyperbolic geometry and Thurston’s earthquake theory.

## References

- Eiichi Abe,
*Hopf algebras*, Cambridge Tracts in Mathematics, vol. 74, Cambridge University Press, Cambridge-New York, 1980. Translated from the Japanese by Hisae Kinoshita and Hiroko Tanaka. MR**594432** - Anton Alekseev, Nariya Kawazumi, Yusuke Kuno, and Florian Naef,
*Goldman-Turaev formality implies Kashiwara-Vergne*, Quantum Topol.**11**(2020), no. 4, 657–689. MR**4191651**, DOI 10.4171/qt/143 - M. F. Atiyah and R. Bott,
*The Yang-Mills equations over Riemann surfaces*, Philos. Trans. Roy. Soc. London Ser. A**308**(1983), no. 1505, 523–615. MR**702806**, DOI 10.1098/rsta.1983.0017 - Alan F. Beardon,
*The geometry of discrete groups*, Graduate Texts in Mathematics, vol. 91, Springer-Verlag, New York, 1983. MR**698777**, DOI 10.1007/978-1-4612-1146-4 - Patricia Cahn and Vladimir Chernov,
*Intersections of loops and the Andersen-Mattes-Reshetikhin algebra*, J. Lond. Math. Soc. (2)**87**(2013), no. 3, 785–801. MR**3073676**, DOI 10.1112/jlms/jds065 - Moira Chas,
*Combinatorial Lie bialgebras of curves on surfaces*, Topology**43**(2004), no. 3, 543–568. MR**2041630**, DOI 10.1016/j.top.2003.03.003 - Moira Chas,
*Minimal intersection of curves on surfaces*, Geom. Dedicata**144**(2010), 25–60. MR**2580416**, DOI 10.1007/s10711-009-9385-y - Moira Chas and Siddhartha Gadgil,
*The extended Goldman bracket determines intersection numbers for surfaces and orbifolds*, Algebr. Geom. Topol.**16**(2016), no. 5, 2813–2838. MR**3572349**, DOI 10.2140/agt.2016.16.2813 - Moira Chas and Fabiana Krongold,
*An algebraic characterization of simple closed curves on surfaces with boundary*, J. Topol. Anal.**2**(2010), no. 3, 395–417. MR**2718130**, DOI 10.1142/S1793525310000379 - Moira Chas and Dennis Sullivan,
*String topology*, 1999. - Pavel Etingof,
*Casimirs of the Goldman Lie algebra of a closed surface*, Int. Math. Res. Not. , posted on (2006), Art. ID 24894, 5. MR**2250002**, DOI 10.1155/IMRN/2006/24894 - William M. Goldman,
*Invariant functions on Lie groups and Hamiltonian flows of surface group representations*, Invent. Math.**85**(1986), no. 2, 263–302. MR**846929**, DOI 10.1007/BF01389091 - William M. Goldman,
*The symplectic nature of fundamental groups of surfaces*, Adv. in Math.**54**(1984), no. 2, 200–225. MR**762512**, DOI 10.1016/0001-8708(84)90040-9 - Jim Hoste and Józef H. Przytycki,
*Homotopy skein modules of orientable $3$-manifolds*, Math. Proc. Cambridge Philos. Soc.**108**(1990), no. 3, 475–488. MR**1068450**, DOI 10.1017/S0305004100069371 - Arpan Kabiraj,
*Center of the Goldman Lie algebra*, Algebr. Geom. Topol.**16**(2016), no. 5, 2839–2849. MR**3572350**, DOI 10.2140/agt.2016.16.2839 - Arpan Kabiraj,
*Equal angles of intersecting geodesics for every hyperbolic metric*, New York J. Math.**24**(2018), 167–181. MR**3761943** - Arpan Kabiraj,
*Poisson algebras of loops on surfaces and skein algebras associated to their quantization*, arXiv:2011.08283, 2020. - Nariya Kawazumi and Yusuke Kuno,
*The center of the Goldman Lie algebra of a surface of infinite genus*, Q. J. Math.**64**(2013), no. 4, 1167–1190. MR**3151610**, DOI 10.1093/qmath/has017 - Steven P. Kerckhoff,
*The Nielsen realization problem*, Ann. of Math. (2)**117**(1983), no. 2, 235–265. MR**690845**, DOI 10.2307/2007076 - John Morgan and Gang Tian,
*Ricci flow and the Poincaré conjecture*, Clay Mathematics Monographs, vol. 3, American Mathematical Society, Providence, RI; Clay Mathematics Institute, Cambridge, MA, 2007. MR**2334563**, DOI 10.1305/ndjfl/1193667709 - John Stallings,
*How not to prove the Poincaré conjecture*, Topology Seminar, Wisconsin, 1965, Ann. of Math. Stud., vol. 60, Princeton Univ. Press, Princeton, NJ, 1966, pp. 83–88. MR**2906378** - Vladimir Turaev,
*Loops in surfaces and star-fillings*, arXiv:1910.01602, 2019. - Vladimir Turaev,
*Topological constructions of tensor fields on moduli spaces*, arXiv:1901.02634, 2019. - Vladimir G. Turaev,
*Skein quantization of Poisson algebras of loops on surfaces*, Ann. Sci. École Norm. Sup. (4)**24**(1991), no. 6, 635–704. MR**1142906** - Scott Wolpert,
*The Fenchel-Nielsen deformation*, Ann. of Math. (2)**115**(1982), no. 3, 501–528. MR**657237**, DOI 10.2307/2007011 - Scott Wolpert,
*On the symplectic geometry of deformations of a hyperbolic surface*, Ann. of Math. (2)**117**(1983), no. 2, 207–234. MR**690844**, DOI 10.2307/2007075

## Additional Information

**Moira Chas**- Affiliation: Stony Brook Mathematics Department and Institute for Mathematical Sciences, Stony Brook, New York
- MR Author ID: 601049
- Email: moira.chas@stonybrook.edu
**Arpan Kabiraj**- Affiliation: Department of Mathematics, Indian Institute of Technology Palakkad, India
- MR Author ID: 1186361
- Email: arpaninto@iitpkd.ac.in
- Received by editor(s): December 16, 2020
- Received by editor(s) in revised form: June 14, 2021
- Published electronically: November 5, 2021
- Additional Notes: The first author was partially supported by the NSF.

The second author was partially supported by the DST, India: INSPIRE Faculty fellowship. - © Copyright 2021 American Mathematical Society
- Journal: Trans. Amer. Math. Soc.
**375**(2022), 2365-2386 - MSC (2020): Primary 57K20; Secondary 57M50
- DOI: https://doi.org/10.1090/tran/8541
- MathSciNet review: 4391721