On free generators in the Grothendieck-Teichmüller Lie Algebra

Thomas Willwacher

Abstract

We prove that any homogeneous family $σ_3,σ_5,\ldots$ in $\mathfrak{grt}_1(\mathbb K)$ with nonzero coefficients of $x^{2k}y$ in $σ_{2k+1}$ generates a free Lie subalgebra, building on the work of Brown.

Disclosure

“was dicussed with the AI, on the basis of making my old lecture notes on Brown’s work into a paper, with the upgrade of replacing the role of the KZ associator in those notes by a more general one. After the exact plan was decided, I used ChatGPT 5.6 Pro to generate a first draft of the paper on the basis of the lecture notes, which was then iteratively improved in several rounds of prompting. Once this resulted in a somewhat acceptable text, I took over the editing and revised and”

PDF page 2
Classification
Drafting limited passages
Multiplier
5
Verified

Structural counts

Pages 15 pdf
Theorems 3 source
Lemmas 9 source
Propositions 6 source
Corollaries 0 source
Definitions 1 source
Displayed equations 104 source
Bibliography entries 8 source
Appendix pages 0 estimated

Count notes

  • Source counts use the expanded primary TeX file main_reworked_2.tex.
  • Appendix pages include the first PDF page with an explicit Appendix heading through the final page.