Grothendieck--Teichmüller Symmetries of Cyclic Operads and Tangles

We characterise the profinite Grothendieck-Teichmüller group $\widehat{\mathsf{GT}}$ as the group of automorphisms of the profinite completion of a cyclic operad of parenthesised ribbon braids. This operad generates a symmetric monoidal category which is equivalent to the category of framed, oriented tangles, thereby providing an operadic model for profinite tangles and their arithmetic symmetries. As applications, we show that $\widehat{\mathsf{GT}}$ acts naturally on tangles and provide an alternative proof of the formality of the cyclic framed little disks operad.

💡 Research Summary

The paper establishes a precise relationship between the profinite Grothendieck‑Teichmüller group ĜT and a cyclic operad built from parenthesised ribbon braids, and then exploits this relationship to obtain arithmetic actions on tangles and a new proof of the rational formality of the cyclic framed little disks operad.

First, the authors recall that the étale fundamental groupoid of the genus‑zero moduli space 𝓜₀,ₙ₊₁ carries a natural action of the absolute Galois group Gal(ℚ̅/ℚ). Drinfeld’s profinite Grothendieck‑Teichmüller group ĜT is characterised as the group of automorphisms of the tower of profinite braid groups compatible with the natural operations of adding, deleting, and doubling strands. This tower can be encoded operadically: the operad 𝓟 of parenthesised ribbon braids (each arity n given by the groupoid of ribbon braids on n strands) carries partial composition maps that model precisely these strand operations.

The authors then introduce a cyclic structure on 𝓟. By viewing a configuration of n framed discs in the plane together with the point at infinity, the output boundary becomes indistinguishable from the inputs, yielding a cyclic operad 𝓟_cyc. After profinite completion they obtain 𝓟̂_cyc, a profinite cyclic operad whose arity‑n component is the profinite completion of the ribbon braid group.

The first main theorem (Theorem 5.4, Corollary 5.6) proves that the group of homotopy automorphisms of 𝓟̂_cyc is canonically isomorphic to ĜT. The proof analyses the constraints imposed by the operadic and cyclic structures and shows that any automorphism satisfying these constraints determines, and is determined by, an element of ĜT. This extends earlier results that identified ĜT with automorphisms of the non‑cyclic operad of parenthesised braids.

Next, the authors pass from the operad to a symmetric monoidal category via the envelope construction. The envelope of a cyclic operad carries a natural duality, and its associated metric prop (a prop enriched in profinite sets) is shown to be equivalent to a parenthesised version of Furusho’s category of profinite tangles. Consequently, the profinite Grothendieck‑Teichmüller group acts by automorphisms on the category of self‑dual profinite tangles 𝓣̂. This yields a concrete, non‑trivial Galois action on tangles:
  Gal(ℚ̅/ℚ) → ĜT → Aut(𝓣̂).

The paper also treats the prounipotent version GT(ℚ) and shows that the same constructions recover the known Galois actions on prounipotent tangles, linking the present work to Willwacher’s description of the prounipotent Grothendieck‑Teichmüller group.

Finally, the authors apply the operadic description of ĜT to prove the rational formality of the cyclic framed little disks operad 𝔻_cyc. Using a variation of Petersen’s formality criterion, they show that the ĜT‑action forces the cohomology operad to be a model for 𝔻_cyc, thereby giving an alternative proof of formality that avoids heavy model‑category machinery.

In summary, the paper makes three major contributions: (1) it identifies ĜT as the automorphism group of a profinite cyclic operad of parenthesised ribbon braids; (2) it lifts this identification to a natural action of ĜT (and hence of Gal(ℚ̅/ℚ)) on a profinite tangle category; and (3) it uses the same framework to give a new proof of the rational formality of the cyclic framed little disks operad. These results deepen the connection between arithmetic geometry, operad theory, and low‑dimensional topology, showing that the profinite Grothendieck‑Teichmüller group governs symmetries at the operadic level that manifest in both tangles and configuration‑space operads.