Table of Contents
Fetching ...

A generalization of the Center Theorem of the Thurston-Wolpert-Goldman Lie algebra

Aoi Wakuda

TL;DR

The paper generalizes the center-theorem framework of the TWG Lie algebra by establishing an Annihilator Theorem for the even/odd components A0 and A1 of the Goldman Lie algebra, showing that the annihilators are generated by non-essential curve classes. It leverages hyperbolic geometry and Teichmüller theory to relate intersection geometry to TWG brackets and derives length- and angle-based controls for curve concatenations under earthquakes. The results extend naturally to the symmetric and universal enveloping algebras, including Turaev’s Poisson deformations S_k(Khat_pi) and corresponding annihilators, via PBW-type bases. Collectively, these findings clarify the centralizer structure of curve-based Lie algebras and illuminate how geometric data governs algebraic annihilators with potential implications for moduli spaces and representation theory.

Abstract

The Goldman Lie algebra of an oriented surface was defined by Goldman. By the natural involution that opposes the orientation of curves, the Goldman Lie algebra becomes a $\mathbb{Z}_{2}$-graded Lie algebra. Its even part is isomorphic to the Thurston-Wolpert-Goldman Lie algebra or, briefly, the TWG Lie algebra. Chas and Kabiraj proved the center of the TWG Lie algebra is generated by the class of the unoriented trivial loop and the classes of unoriented loops parallel to boundary components or punctures. The center of the even part can be rephrased as the set of elements of the even part annihilated by all the elements of the even part. We also prove some similar statements for the remaining 3 cases involving the odd part. Moreover, we compute the elements of the symmetric algebra and the universal enveloping algebra of the Goldman Lie algebra annihilated by all the even elements of the Goldman Lie algebra, and those annilated by all the odd elements.

A generalization of the Center Theorem of the Thurston-Wolpert-Goldman Lie algebra

TL;DR

The paper generalizes the center-theorem framework of the TWG Lie algebra by establishing an Annihilator Theorem for the even/odd components A0 and A1 of the Goldman Lie algebra, showing that the annihilators are generated by non-essential curve classes. It leverages hyperbolic geometry and Teichmüller theory to relate intersection geometry to TWG brackets and derives length- and angle-based controls for curve concatenations under earthquakes. The results extend naturally to the symmetric and universal enveloping algebras, including Turaev’s Poisson deformations S_k(Khat_pi) and corresponding annihilators, via PBW-type bases. Collectively, these findings clarify the centralizer structure of curve-based Lie algebras and illuminate how geometric data governs algebraic annihilators with potential implications for moduli spaces and representation theory.

Abstract

The Goldman Lie algebra of an oriented surface was defined by Goldman. By the natural involution that opposes the orientation of curves, the Goldman Lie algebra becomes a -graded Lie algebra. Its even part is isomorphic to the Thurston-Wolpert-Goldman Lie algebra or, briefly, the TWG Lie algebra. Chas and Kabiraj proved the center of the TWG Lie algebra is generated by the class of the unoriented trivial loop and the classes of unoriented loops parallel to boundary components or punctures. The center of the even part can be rephrased as the set of elements of the even part annihilated by all the elements of the even part. We also prove some similar statements for the remaining 3 cases involving the odd part. Moreover, we compute the elements of the symmetric algebra and the universal enveloping algebra of the Goldman Lie algebra annihilated by all the even elements of the Goldman Lie algebra, and those annilated by all the odd elements.
Paper Structure (9 sections, 21 theorems, 34 equations, 2 figures)

This paper contains 9 sections, 21 theorems, 34 equations, 2 figures.

Key Result

Theorem 1.1

Chas-Kabiraj The center of the TWG Lie algebra is generated by the class of non-essential curves as a $K$-module.

Figures (2)

  • Figure 1: The angle $\theta_{P}(X)$
  • Figure 2: Theorem \ref{['thm cosh']}

Theorems & Definitions (32)

  • Theorem 1.1
  • Theorem 1.2: Annihilator Theorem
  • Theorem 1.3
  • Theorem 1.4
  • Definition 2.1
  • Proposition 2.2
  • Proposition 2.3
  • Lemma 3.1
  • Lemma 3.2
  • Theorem 3.3
  • ...and 22 more