Pith. sign in

REVIEW 2 major objections 2 minor 66 references

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

T0 review · 2 major / 2 minor · reviewed 2026-06-28 · grok-4.3

Pith's one-line read 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.

desk verdict They define a modular operad S from mapping class groups and lift the Nakamura-Schneps action to higher genus using a presentation theorem. read the letter →

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

classification math.ATmath.CTmath.QA
keywords modularoperadmappingclassgroupsGrothendieck-TeichmüllergroupprofinitecompletionGaloisactionTeichmüllertowermodulistacksofcurvesétalehomotopytypes
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

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.

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.

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

Extended reading notes

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

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.

Editorial extensions

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.

Reading between the lines

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.
Share X Bluesky LinkedIn Reddit HN

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 · score 0.0 of 10

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.

Assumptions & free parameters 0 free parameters · 2 assumptions · 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.

assumptions (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
    purpose: Operadic model for the higher-genus Teichmüller tower
    New object defined in the paper from mapping class groups.

how reviews work

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}
}
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). Continue with ORCID to comment.

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

  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

  3. [3]

    Bakalov and A

    B. Bakalov and A. Kirillov, Jr. On the Lego-Teichm ¨uller game.Transform. Groups, 5(3):207–244, 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

  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

  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

  7. [7]

    G. V. Bely˘ı. Galois extensions of a maximal cyclotomic field.Izv. Akad. Nauk SSSR Ser. Mat., 43(2):267–276, 479, 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

Show all 66 references
  1. [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

  2. [10]

    Berger and I

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

  3. [11]

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

  4. [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

  5. [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

  6. [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

  7. [15]

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

  8. [16]

    Campos, N

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

  9. [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

  10. [18]

    Deshmukh

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

  11. [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

  12. [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

  13. [21]

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

  14. [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

  15. [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

  16. [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

  17. [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

  18. [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

  19. [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

  20. [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

  21. [29]

    Getzler and M

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

  22. [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

  23. [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

  24. [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

  25. [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

  26. [34]

    Hackney, M

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

  27. [35]

    Hackney, M

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

  28. [36]

    Hackney, M

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

  29. [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

  30. [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

  31. [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

  32. [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

  33. [41]

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

  34. [42]

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

  35. [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

  36. [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 ...

  37. [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

  38. [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

  39. [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

  40. [48]

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

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

  41. [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

  42. [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

  43. [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

  44. [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

  45. [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

  46. [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

  47. [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

  48. [56]

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

  49. [57]

    Zalesski ˘ı

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

  50. [58]

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

  51. [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

  52. [60]

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

  53. [61]

    Tillmann

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

  54. [62]

    Wahl.Ribbon Braids and related operads

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

  55. [63]

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

  56. [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

  57. [65]

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

  58. [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 AND...

Pith tools

Reviewed June 28, 2026 · model on record in the stance chip above.