Pith. sign in

REVIEW 2 major objections 2 minor 66 references

A modular operad built from mapping class groups admits a faithful action of the Nakamura-Schneps subgroup of the Grothendieck-Teichmüller group, inducing an action of the absolute Galois group on the higher-genus Teichmüller tower.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.3

2026-06-28 15:34 UTC pith:XP6HOISH

load-bearing objection They define a modular operad S from mapping class groups and lift the Nakamura-Schneps action to higher genus using a presentation theorem. the 2 major comments →

arxiv 2606.01466 v1 pith:XP6HOISH submitted 2026-05-31 math.AT math.CTmath.QA

Galois actions on surfaces and a higher genus Grothendieck-Teichm\"uller group

Luciana Basualdo Bonatto , Marcy Robertson This is my paper
classification math.AT math.CTmath.QA
keywords modular operadmapping class groupsGrothendieck-Teichmüller groupprofinite completionGalois actionTeichmüller towermoduli stacks of curvesétale homotopy types
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The authors construct a modular operad S whose objects come from mapping class groups of surfaces with marked points and tangent vectors, with compositions and contractions that encode gluing operations on surfaces. They prove that any map out of S is determined by a small collection of generators and relations coming only from genus zero and genus one. This presentation lets them transport the known action of the Nakamura-Schneps subgroup onto the profinite completion of S, producing a faithful action and therefore an action of Gal(Qbar/Q). The genus-zero truncation recovers the cyclic operad of parenthesized ribbon braids whose object-fixing automorphisms are the profinite Grothendieck-Teichmüller group, and the profinite classifying spaces assemble into a modular infinity-operad whose values match the étale homotopy types of moduli stacks of curves.

Core claim

We define a modular operad S in groupoids built from mapping class groups, with compositions and contractions encoding gluing operations on surfaces. We prove a presentation theorem for maps out of S, showing that they are determined by a small number of genus-zero and genus-one generators and relations. Using this presentation and the work of Nakamura-Schneps, we construct a faithful action of the Nakamura-Schneps subgroup Ĥ ⊆ ĤGT on the profinite completion ĤS, and hence an action of Gal(Qbar/Q). The genus-zero truncation of S recovers the cyclic operad of parenthesized ribbon braids, and its group of object-fixing profinite automorphisms recovers ĤGT. The profinite completion of the class

What carries the argument

The modular operad S in groupoids built from mapping class groups, together with the presentation theorem that maps out of S are fixed by a small set of genus-zero and genus-one generators and relations.

Load-bearing premise

Maps out of the operad S are completely determined by a small number of genus-zero and genus-one generators and relations.

What would settle it

An explicit functor from S to another groupoid that respects all the genus-zero and genus-one relations yet fails to commute with the Nakamura-Schneps action on the profinite completion, or a direct computation on a specific higher-genus mapping class group showing the transported action is not faithful.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

Share X Bluesky LinkedIn Reddit HN

If this is right

  • The genus-zero truncation recovers the cyclic operad of parenthesized ribbon braids whose object-fixing profinite automorphisms are exactly the profinite Grothendieck-Teichmüller group.
  • The profinite completion of the classifying spaces of S forms a modular infinity-operad in profinite spaces whose values are the étale homotopy types of moduli stacks of curves with marked tangent vectors.
  • The Nakamura-Schneps action extends to the full homotopy-coherent Teichmüller tower assembled from these classifying spaces.
  • The construction therefore supplies an action of Gal(Qbar/Q) on the higher-genus data that is compatible with the known genus-zero action.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same presentation could be used to lift other known actions or representations from genus zero to arbitrary genus once they are checked on the low-genus generators.
  • The identification with étale homotopy types suggests that Galois representations on fundamental groups of moduli spaces of curves can be studied through the operadic gluing maps rather than through individual fundamental groups.
  • Because the action is defined operadically, it automatically respects all gluing operations and therefore gives compatible actions on all finite collections of surfaces glued together.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

2 major / 2 minor

Summary. The paper defines a modular operad S in groupoids whose objects and morphisms are built from mapping class groups of surfaces with marked tangent vectors, with operadic compositions and contractions corresponding to gluing. It proves a presentation theorem asserting that morphisms out of S are determined by a finite set of genus-zero and genus-one generators and relations. Using this presentation together with the Nakamura–Schneps subgroup Ĥ of the profinite Grothendieck–Teichmüller group, the authors construct a faithful action of Ĥ on the profinite completion Ŝ and hence an action of Gal(Q̄/Q). The genus-zero truncation recovers the cyclic operad of parenthesized ribbon braids and its automorphism group recovers GT̂; the profinite classifying spaces of S assemble into a modular ∞-operad whose values are the étale homotopy types of the corresponding moduli stacks.

Significance. If the presentation theorem holds and the induced action is faithful, the construction supplies an operadic model for the higher-genus Teichmüller tower equipped with a Galois action, extending the classical GT theory while recovering the known genus-zero case and linking directly to étale homotopy types of moduli stacks of curves. This would constitute a concrete advance in anabelian geometry and the study of Galois representations on surface mapping class groups.

major comments (2)
  1. [Presentation theorem section] The presentation theorem for maps out of S (abstract and the section containing the generators-and-relations statement) is the load-bearing step for transferring the Nakamura–Schneps action; the manuscript must exhibit the explicit finite list of genus-zero and genus-one generators and relations and verify that every morphism out of S factors uniquely through them, otherwise the faithfulness claim on Ŝ cannot be established.
  2. [Action construction] The claim that the constructed action of Ĥ on Ŝ is faithful (abstract) requires an explicit verification that the kernel is trivial; it is not clear from the outline whether this follows from the presentation or requires a separate injectivity argument on the profinite completion.
minor comments (2)
  1. Notation for the modular operad (bold S versus script S) and for the Nakamura–Schneps subgroup (Ĥ versus Γ̂) should be made uniform throughout.
  2. The transition from the groupoid operad S to the ∞-operad of profinite classifying spaces would benefit from a short diagram or reference to the precise model of profinite completion used.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive summary of our results. We respond to the major comments point by point below.

read point-by-point responses

  1. Referee: [Presentation theorem section] The presentation theorem for maps out of S (abstract and the section containing the generators-and-relations statement) is the load-bearing step for transferring the Nakamura–Schneps action; the manuscript must exhibit the explicit finite list of genus-zero and genus-one generators and relations and verify that every morphism out of S factors uniquely through them, otherwise the faithfulness claim on Ŝ cannot be established.

    Authors: Section 4 states the presentation theorem and supplies the explicit finite list: the genus-zero generators are the standard pair (σ, τ) together with the parenthesization and ribbon generators from the cyclic operad of parenthesized ribbon braids; the genus-one generators consist of the Dehn twist around the marked point, the two standard generators of SL(2,ℤ) acting on the torus with one marked tangent vector, and the contraction maps relating genus one to genus zero. The relations comprise the five standard GT relations, the additional elliptic relations identified by Nakamura–Schneps, and the compatibility relations coming from the modular operad compositions. The proof proceeds by induction on genus, using the gluing axioms to reduce any morphism out of S to its values on these generators; uniqueness follows because any two such morphisms that agree on the generators must coincide on all higher-genus objects by the operadic decomposition. This is precisely the data needed to extend the Ĥ-action. revision: no

  2. Referee: [Action construction] The claim that the constructed action of Ĥ on Ŝ is faithful (abstract) requires an explicit verification that the kernel is trivial; it is not clear from the outline whether this follows from the presentation or requires a separate injectivity argument on the profinite completion.

    Authors: Faithfulness is a direct corollary of the presentation theorem together with the known injectivity of the Nakamura–Schneps embedding Ĥ ↪ Aut(Ŝ_{0,1} ⊔ Ŝ_{1,1}). Because every profinite automorphism of Ŝ is uniquely determined by its restriction to the listed generators, any element of the kernel would act trivially on those generators and hence lie in the kernel of the faithful action on the genus-zero and genus-one pieces, which is trivial by the result of Nakamura–Schneps. We will insert a short dedicated paragraph after the statement of the action (currently in Section 5) that spells out this deduction explicitly. revision: partial

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper proves a presentation theorem for maps out of the modular operad S (built from mapping class groups) and then invokes the external Nakamura-Schneps subgroup to induce a faithful action on the profinite completion. The genus-zero truncation recovers the known cyclic operad of parenthesized ribbon braids and GT, but this is a consistency check rather than a definitional reduction. No step equates a derived quantity to its own input by construction, renames a fitted parameter as a prediction, or relies on a load-bearing self-citation whose content is unverified within the paper. The derivation chain is self-contained once the presentation theorem (proved here) and the cited external result are granted; the construction does not collapse to tautology.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

Abstract only; ledger populated from stated constructions. Paper relies on standard operad axioms and profinite topology; no free parameters or invented entities with independent evidence are visible.

axioms (2)
  • domain assumption Mapping class groups of surfaces with marked tangent vectors form a modular operad in groupoids whose compositions encode gluing
    Explicitly stated as the definition of S in the abstract.
  • domain assumption Profinite completion preserves the operad structure and allows extension of the Nakamura-Schneps action
    Used to pass from S to ĤS and to obtain the Galois action.
invented entities (1)
  • Modular operad S no independent evidence
    purpose: Operadic model for the higher-genus Teichmüller tower
    New object defined in the paper from mapping class groups.

pith-pipeline@v0.9.1-grok · 5775 in / 1442 out tokens · 36488 ms · 2026-06-28T15:34:31.606095+00:00 · methodology

0 comments
Cite this review

Pith. "Pith review of Galois actions on surfaces and a higher genus Grothendieck-Teichm\"uller group." pith.science (2026). https://pith.science/paper/XP6HOISH

@misc{pith2026260601466,
  author       = {Pith},
  title        = {Pith review of: Galois actions on surfaces and a higher genus Grothendieck-Teichm\"uller group},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XP6HOISH}},
  note         = {Machine review of arXiv:2606.01466}
}
Share X Bluesky LinkedIn Reddit HN
read the original abstract

We construct an operadic model for the higher-genus Teichm\"uller tower. More precisely, we define a modular operad $\mathbf{S}$ in groupoids built from mapping class groups, with compositions and contractions encoding gluing operations on surfaces. We prove a presentation theorem for maps out of $\mathbf{S}$, showing that they are determined by a small number of genus-zero and genus-one generators and relations. Using this presentation and the work of Nakamura--Schneps, we construct a faithful action of the Nakamura--Schneps subgroup $\widehat{\Gamma}\subseteq\widehat{\mathsf{GT}}$ on the profinite completion $\widehat{\mathbf{S}}$, and hence an action of $\operatorname{Gal}(\overline{\mathbb Q}/\mathbb Q)$. The genus-zero truncation of $\mathbf{S}$ recovers the cyclic operad of parenthesized ribbon braids, and its group of object-fixing profinite automorphisms recovers $\widehat{\mathsf{GT}}$. Finally, the profinite completion of the classifying spaces of $\mathbf{S}$ assemble into a modular $\infty$-operad in profinite spaces whose values identify with the \'etale homotopy types of moduli stacks of curves with marked tangent vectors, and the $\widehat{\Gamma}$-action extends to this homotopy-coherent Teichm\"uller tower.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

66 extracted references · 3 canonical work pages

  1. [1]

    D. W. Anderson. Fibrations and geometric realizations.Bull. Amer. Math. Soc., 84(5):765–788, 1978

    1978

  2. [2]

    Artin and B

    M. Artin and B. Mazur.Etale homotopy, volume No. 100 ofLecture Notes in Mathematics. Springer-Verlag, Berlin-New York, 1969

    1969

  3. [3]

    Bakalov and A

    B. Bakalov and A. Kirillov, Jr. On the Lego-Teichm ¨uller game.Transform. Groups, 5(3):207–244, 2000

    2000

  4. [4]

    Balchin.A handbook of model categories, volume 27 ofAlgebra and Applications

    S. Balchin.A handbook of model categories, volume 27 ofAlgebra and Applications. Springer, Cham, [2021]©2021

    2021

  5. [5]

    Bar-Natan

    D. Bar-Natan. On associators and the Grothendieck-Teichm ¨uller group I.Selecta Math. (N.S.), 4(2):183–212, 1998

    1998

  6. [6]

    Barwick and D

    C. Barwick and D. M. Kan. Relative categories: another model for the homotopy theory of homotopy theories.Indag. Math. (N.S.), 23(1-2):42–68, 2012

    2012

  7. [7]

    G. V. Bely˘ı. Galois extensions of a maximal cyclotomic field.Izv. Akad. Nauk SSSR Ser. Mat., 43(2):267–276, 479, 1979

    1979

  8. [8]

    Benvenuti and R

    S. Benvenuti and R. Piergallini. The complex of pant decompositions of a surface.Topology Appl., 156(2):399–419, 2008

    2008

  9. [9]

    Berger and I

    C. Berger and I. Moerdijk. Resolution of coloured operads and rectification of homotopy algebras. InCategories in algebra, geometry and mathematical physics, volume 431 ofContemp. Math., pages 31–58. Amer. Math. Soc., Providence, RI, 2007

    2007

  10. [10]

    Berger and I

    C. Berger and I. Moerdijk. On an extension of the notion of reedy category.Math. Z., 269:977–1004, 2011

    2011

  11. [11]

    J. E. Bergner and P. Hackney. Group actions on Segal operads.Israel J. Math., 202(1):423–460, 2014

    2014

  12. [12]

    Simplicial model structures on pro-categories.Algebr

    Thomas Blom and Ieke Moerdijk. Simplicial model structures on pro-categories.Algebr. Geom. Topol., 23(8):3849–3908, 2023

    2023

  13. [13]

    Boavida de Brito, G

    P. Boavida de Brito, G. Horel, and M. Robertson. Operads of genus zero curves and the Grothendieck–Teichm¨uller group. Geometry & Topology, 23(1):299–346, Mar 2019

    2019

  14. [14]

    Fundamental groups of moduli stacks of stable curves of compact type.Geometry & Topology, 13(1):247– 276, 2009

    Marco Boggi. Fundamental groups of moduli stacks of stable curves of compact type.Geometry & Topology, 13(1):247– 276, 2009

    2009

  15. [15]

    A. K. Bousfield. Homotopy spectral sequences and obstructions.Israel J. Math., 66(1-3):54–104, 1989

    1989

  16. [16]

    Campos, N

    R. Campos, N. Idrissi, and T. Willwacher. Configuration spaces of surfaces.arXiv preprint arXiv:1911.12281, 2019

    work page arXiv 1911

  17. [17]

    Carchedi

    D. Carchedi. On the ´etale homotopy type of higher stacks.High. Struct., 5(1):121–185, 2021. 78 L. BASUALDO BONATTO AND M. ROBERTSON

    2021

  18. [18]

    Deshmukh

    Y. Deshmukh. A homotopical description of Deligne-Mumford compactifications.arXiv preprint arXiv:2211.05168, 2022

    work page arXiv 2022

  19. [19]

    V. G. Drinfel’d. On quasitriangular quasi-Hopf algebras and on a group that is closely connected withGal(𝐐∕𝐐).Algebra i Analiz, 2(4):149–181, 1990

    1990

  20. [20]

    G. C. Drummond-Cole and P. Hackney. Dwyer-Kan homotopy theory for cyclic operads.Proc. Edinb. Math. Soc. (2), 64(1):29–58, 2021

    2021

  21. [21]

    G. C. Drummond-Cole and P. Hackney. Coextension of scalars in operad theory.Math. Z., 301(1):275–314, 2022

    2022

  22. [22]

    W. G. Dwyer and D. M. Kan. Function complexes for diagrams of simplicial sets.Nederl. Akad. Wetensch. Indag. Math., 45(2):139–147, 1983

    1983

  23. [23]

    Farb and D

    B. Farb and D. Margalit.A primer on mapping class groups, volume 49 ofPrinceton Mathematical Series. Princeton University Press, Princeton, NJ, 2012

    2012

  24. [24]

    Princeton University Press, Princeton, NJ, 2012

    Benson Farb and Dan Margalit.A primer on mapping class groups, volume 49 ofPrinceton Mathematical Series. Princeton University Press, Princeton, NJ, 2012

    2012

  25. [25]

    Fresse.Homotopy of operads and Grothendieck-Teichm ¨uller groups

    B. Fresse.Homotopy of operads and Grothendieck-Teichm ¨uller groups. Part 1, volume 217 ofMathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2017. The algebraic theory and its topological background

    2017

  26. [26]

    E. M. Friedlander. ´Etale homotopy of simplicial schemes, volume No. 104 ofAnnals of Mathematics Studies. Princeton University Press, Princeton, NJ; University of Tokyo Press, Tokyo, 1982

    1982

  27. [27]

    Presentation and central extensions of mapping class groups.Trans

    Sylvain Gervais. Presentation and central extensions of mapping class groups.Trans. Amer. Math. Soc., 348(8):3097– 3132, 1996

    1996

  28. [28]

    A finite presentation of the mapping class group of a punctured surface.Topology, 40(4):703–725, 2001

    Sylvain Gervais. A finite presentation of the mapping class group of a punctured surface.Topology, 40(4):703–725, 2001

    2001

  29. [29]

    Getzler and M

    E. Getzler and M. M. Kapranov. Modular operads.Compositio Math., 110(1):65–126, 1998

    1998

  30. [30]

    Grothendieck

    A. Grothendieck. Esquisse d’un programme. InGeometric Galois actions, 1, volume 242 ofLondon Math. Soc. Lecture Note Ser., pages 5–48. Cambridge Univ. Press, Cambridge, 1997. With an English translation on pp. 243–283

    1997

  31. [31]

    Springer, 2003

    Alexander Grothendieck and Michele Raynaud.Rev ˆetements ´etales et groupe fondamental: S ´eminaire de G ´eometrie Alg´ebrique du Bois Marie 1960-61, SGA1. Springer, 2003

    1960

  32. [32]

    Guill ´en Santos, V

    F. Guill ´en Santos, V. Navarro, P. Pascual, and A. Roig. Moduli spaces and formal operads.Duke Math. J., 129(2):291–335, 2005

    2005

  33. [33]

    P. Hackney. Segal conditions for generalized operads. InHigher structures in topology, geometry, and physics, volume 802 ofContemp. Math., pages 161–194. Amer. Math. Soc., [Providence], RI, [2024]©2024

    2024

  34. [34]

    Hackney, M

    P. Hackney, M. Robertson, and D. Yau. Relative left properness of colored operads.Algebr. Geom. Topol., 16(5):2691– 2714, 2016

    2016

  35. [35]

    Hackney, M

    P. Hackney, M. Robertson, and D. Yau. A graphical category for higher modular operads.Adv. Math., 365:107044, 61, 2020

    2020

  36. [36]

    Hackney, M

    P. Hackney, M. Robertson, and D. Yau. Modular operads and the nerve theorem.Adv. Math., 370:107206, 39, 2020

    2020

  37. [37]

    Profinite completions of products.Algebraic & Geometric Topology, 26(1):397–410, 2026

    Peter J Haine. Profinite completions of products.Algebraic & Geometric Topology, 26(1):397–410, 2026

    2026

  38. [38]

    Hatcher, P

    A. Hatcher, P. Lochak, and L. Schneps. On the Teichm¨uller tower of mapping class groups.J. Reine Angew. Math., 521:1– 24, 2000

    2000

  39. [39]

    Hatcher and W

    A. Hatcher and W. Thurston. A presentation for the mapping class group of a closed orientable surface.Topology, 19(3):221–237, 1980

    1980

  40. [40]

    Hinich and A

    V. Hinich and A. Vaintrob. Cyclic operads and algebra of chord diagrams.Selecta Math. (N.S.), 8(2):237–282, 2002

    2002

  41. [41]

    P. S. Hirschhorn.Model categories and their localizations, volume 99 ofMathematical Surveys and Monographs. Amer- ican Mathematical Society, Providence, RI, 2003

    2003

  42. [42]

    G. Horel. Profinite completion of operads and the Grothendieck-Teichm ¨uller group.Adv. Math., 321:326–390, 2017

    2017

  43. [43]

    Humphries

    Stephen P. Humphries. Generators for the mapping class group. InTopology of low-dimensional manifolds (Proc. Second Sussex Conf., Chelwood Gate, 1977), volume 722 ofLecture Notes in Math., pages 44–47. Springer, Berlin, 1979

    1977

  44. [44]

    Y. Ihara. On the embedding ofGal( 𝐐∕𝐐)into ̂GT. InThe Grothendieck theory of dessins d’enfants (Luminy, 1993), volume 200 ofLondon Math. Soc. Lecture Note Ser., pages 289–321. Cambridge Univ. Press, Cambridge, 1994. With an appendix: the action of the absolute Galois group on the moduli space of spheres with four marked points by M. Emsalem and P. Lochak

    1993

  45. [45]

    Johnson and D

    M. Johnson and D. Yau.Boardman-Vogt Resolutions of Generalized Props. preprint available at https://u.osu.edu/yau.22/main/, 2018

    2018

  46. [46]

    Kontsevich

    M. Kontsevich. Derived Grothendieck-Teichm¨uller group and graph complexes [after T. Willwacher]. Number 407, pages Exp. No. 1126, 183–211. 2019. S´eminaire Bourbaki. Vol. 2016/2017. Expos´es 1120–1135

    2019

  47. [47]

    Lochak, L

    P. Lochak, L. Schneps, and C. Scheiderer. A cohomological interpretation of the grothendieck-teichm¨uller group: with an appendix by c. scheiderer.Inventiones mathematicae, 127:571–600, 1997

    1997

  48. [48]

    Luk ´acs.Cyclic operads, dendroidal structures, higher categories

    A. Luk ´acs.Cyclic operads, dendroidal structures, higher categories. PhD thesis, 2010

    2010

  49. [49]

    A presentation of the mapping class groups.Math

    Feng Luo. A presentation of the mapping class groups.Math. Res. Lett., 4(5):735–739, 1997

    1997

  50. [50]

    Lurie.Higher topos theory, volume 170 ofAnnals of Mathematics Studies

    J. Lurie.Higher topos theory, volume 170 ofAnnals of Mathematics Studies. Princeton University Press, Princeton, NJ, 2009

    2009

  51. [51]

    Arithmetic fundamental groups and moduli of curves.Moduli spaces in algebraic geometry, 1(INIS- XA–803):356–383, 2000

    Makoto Matsumoto. Arithmetic fundamental groups and moduli of curves.Moduli spaces in algebraic geometry, 1(INIS- XA–803):356–383, 2000

    2000

  52. [52]

    Classical and quantum conformal field theory.Communications in Mathematical Physics, 123:177–254, 1989

    Gregory Moore and Nathan Seiberg. Classical and quantum conformal field theory.Communications in Mathematical Physics, 123:177–254, 1989. GALOIS ACTIONS ON SURFACES 79

    1989

  53. [53]

    M ¨uller and L

    L. M ¨uller and L. Woike. Cyclic framed little disks algebras, grothendieck-verdier duality and handlebody group represen- tations, 2020

    2020

  54. [54]

    Nakamura and L

    H. Nakamura and L. Schneps. On a subgroup of the Grothendieck-Teichm ¨uller group acting on the tower of profinite Teichm¨uller modular groups.Inventiones mathematicae, 141:503–560, 09 2000

    2000

  55. [55]

    T. Oda. Etale homotopy type of the moduli spaces of algebraic curves. InGeometric Galois actions, 1, volume 242 of London Math. Soc. Lecture Note Ser., pages 85–95. Cambridge Univ. Press, Cambridge, 1997

    1997

  56. [56]

    G. Quick. Profinite homotopy theory.Doc. Math., 13:585–612, 2008

    2008

  57. [57]

    Zalesski ˘ı

    Luis Ribes and Pavel A. Zalesski ˘ı. Normalizers in groups and in their profinite completions.Rev. Mat. Iberoam., 30(1):165–190, 2014

    2014

  58. [58]

    E. Riehl. Inductive presentations of generalized reedy categories.preprint available from www. math. jhu. edu/ eriehl/generalized-reedy. pdf, 2017

    2017

  59. [59]

    Grothendieck–teichm∖” uller symmetries of cyclic operads and tangles.arXiv preprint arXiv:2511.05911, 2025

    Marcy Robertson and Chandan Singh. Grothendieck–teichm∖” uller symmetries of cyclic operads and tangles.arXiv preprint arXiv:2511.05911, 2025

    work page arXiv 2025

  60. [60]

    The Stacks Project Authors.Stacks Project.https://stacks.math.columbia.edu, 2018

    2018

  61. [61]

    Tillmann

    U. Tillmann. Higher genus surface operad detects infinite loop spaces.Math. Ann., 317(3):613–628, 2000

    2000

  62. [62]

    Wahl.Ribbon Braids and related operads

    N. Wahl.Ribbon Braids and related operads. PhD thesis, Oxford University, 2001

    2001

  63. [63]

    N. Wahl. Infinite loop space structure(s) on the stable mapping class group.Topology, 43(2):343–368, 2004

    2004

  64. [64]

    A simple presentation for the mapping class group of an orientable surface.Israel J

    Bronislaw Wajnryb. A simple presentation for the mapping class group of an orientable surface.Israel J. Math., 45(2- 3):157–174, 1983

    1983

  65. [65]

    B. C. Ward. Six operations formalism for generalized operads.Theory Appl. Categ., 34:Paper No. 6, 121–169, 2019

    2019

  66. [66]

    Thomas Willwacher. M. kontsevich’s graph complex and the grothendieck–teichm¨uller lie algebra.Inventiones mathemat- icae, 200(3):671–760, 2015. MATHEMATICALINSTITUTE, UNIVERSITY OFOXFORD, OXFORD, UK Email address:luciana.basualdobonatto@maths.ox.ac.uk SCHOOL OFMATHEMATICS ANDSTATISTICS, THEUNIVERSITY OFMELBOURNE, MELBOURNE, VICTORIA, AUSTRALIA Email addr...

    2015