One-dimensionality of certain cocycles for the detection of the Johnson cokernel

Toyo Taniguchi

One-dimensionality of certain cocycles for the detection of the Johnson cokernel

T0 review · 0 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read In the ribbon graph complex, the vertex-graded 1-cocycles form a one-dimensional space spanned by the one-vertex, one-edge graph G1.

desk verdict A short, correct-looking negative result: the ES trace graph is the only vertex-graded 1-cocycle in the ribbon graph complex; the only step worth probing is the RGC0/RGC1 identification via the identity map. read the letter →

arxiv 2507.20492 v1 pith:SNCNEVQX submitted 2025-07-28 math.AT

Toyo Taniguchi This is my paper · ORCID

classification math.AT MSC 18M7020F3432G15

keywords JohnsonhomomorphismribbongraphcomplexEnomoto–SatohtracemodulispaceofRiemannsurfacescokernelTuraevcobracket1-cocyclesvertexgrading

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 paper establishes that the space of vertex-graded 1-cocycles in the ribbon graph complex is one-dimensional, spanned by the unique graph with one vertex and one edge, denoted G1. This graph is the universal version of the Enomoto–Satoh trace, the known invariant that annihilates the image of the Johnson homomorphism, so the result says the ribbon graph complex offers no other independent 1-cocycle for detecting the Johnson cokernel. The significance is that a natural route toward new Johnson-cokernel invariants closes at cocycle degree one, while higher-degree cocycles remain an open possibility. The proof achieves this by transporting the question, through the Kontsevich isomorphism, into known vanishing results for the cohomology of moduli spaces of Riemann surfaces.

What carries the argument

The central object is the ribbon graph complex $\mathrm{RGC}_d$, a chain complex spanned by labelled ribbon graphs (fat graphs) whose differential is vertex expansion; it arises from the properad of ribbon graphs, a multi-input/multi-output algebraic structure encoding Lie bialgebras. The paper works in the vertex grading, i.e. grading by the number of vertices, and isolates the one-vertex, one-edge graph $G_1$, which represents the graded Turaev cobracket and hence the Enomoto–Satoh trace. The load-bearing identity is the Kontsevich isomorphism, which identifies the cohomology of $\mathrm{RGC}_0$ with a product of cohomology groups of moduli spaces of marked Riemann surfaces; filtering this isomorphism by vertex count turns the one-dimensionality claim into a vanishing computation in moduli-space cohomology.

What would settle it

Find a nonzero class in $H^{4g-3}(M_g^1;\mathbb{Q})$ for some $g\ge 2$, or directly compute $H^1$ of the vertex-graded ribbon graph complex in low genus and find a class not proportional to $G_1$; either would contradict Theorem 4.1.

Watch

Extended reading notes

Core claim

The main result, Theorem 4.1, is that the space of 1-cocycles in $\mathrm{RGC}_1$ with respect to the vertex grading has dimension one and is spanned by $G_1$, the one-vertex, one-edge ribbon graph. Under the canonical representation of the ribbon graph properad, $G_1$ maps to the graded Turaev cobracket, which in turn gives the Enomoto–Satoh trace on symplectic derivations; the theorem therefore makes the ES trace the unique 1-cocycle of this kind. The proof uses the Kontsevich isomorphism to identify the vertex-count-one part of the cohomology of $\mathrm{RGC}_0$ with a direct sum of cohomology groups $H^{4g+2n-5}(M_g^n;K) \otimes \mathrm{sgn}_n$ of moduli spaces of $n$-marked genus-$g$ curves. That sum vanishes: the $n \ge 2$ summands exceed Harer's virtual cohomological dimension, the $n=1$, $g\ge 2$ summand $H^{4g-3}(M_g^1;\mathbb{Q})$ vanishes by the external top-dimensional vanishing theorem for one-marked moduli spaces, and the $(g,n)=(1,1)$ term is zero because the modular curve has trivial $H^1$. Since the differential in $\mathrm{RGC}_1$ raises vertex count by one and there are no zero-vertex graphs, cohomology classes with one vertex are exactly the 1-cocycles, and the identity isomorphism between $\mathrm{RGC}_0$ and $\mathrm{RGC}_1$ completes the identification.

Load-bearing premise

The load-bearing premise is the external vanishing theorem that the top-dimensional rational cohomology $H^{4g-3}(M_g^1;\mathbb{Q})$ is zero for every $g\ge 2$; if that theorem were false, additional 1-cocycles could survive in the vertex-count-one part of the ribbon graph complex.

Editorial extensions

If this is right

Any vertex-graded 1-cocycle in the ribbon graph complex is a scalar multiple of $G_1$, so the associated Lie algebra 1-cocycle on symplectic derivations is always the Enomoto–Satoh trace up to scale.
The ribbon graph complex in vertex degree one contains no new Johnson-cokernel detector: any 1-cocycle there annihilates the Johnson image only through the already known mechanism.
The uniqueness is sharp at degree one: higher-degree cocycles in $\mathrm{RGC}_1$ remain abundant, and the paper poses the question whether any $k$-cocycle for $k>1$ can detect parts of the Johnson cokernel beyond the ES trace.
The vanishing argument transfers a computation over moduli spaces into a statement about combinatorial graph cocycles, so the same comparison can be used to constrain cocycles in other vertex degrees.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

A natural extension is to run the same moduli-space comparison in other vertex degrees and for other values of $d$; a plausible pattern is that low-vertex cohomology classes in $\mathrm{RGC}_d$ are governed entirely by virtual-cohomological-dimension vanishing, so new detectors, if any, would have to come from high vertex number or from other complexes such as Lie graph complexes.
A direct computational check in low genus at vertex number one would test the theorem independently of the moduli-space vanishing: explicit graph-homology computation of $H^1(\mathrm{RGC}_1)$ should return exactly the class of $G_1$.
If the external vanishing theorem were ever strengthened or refuted in a range, the one-dimensionality statement would change correspondingly, so the paper's conclusion is conditional on that theorem rather than on the graph complex alone.
The paper's open question about Lie graph complexes suggests an analogous uniqueness statement may or may not hold there; if it does, it would provide a Lie-world version of the ES trace and potentially new invariants of the Johnson cokernel.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

This is a short, honest paper that proves a modest negative result: in the ribbon graph complex, the only 1-cocycle in vertex degree one is the graph G1 corresponding to the Enomoto–Satoh trace. That rules out this complex as a source of new detectors for the Johnson cokernel. The result itself, Theorem 4.1, is new; I don't think it appears in the cited literature. The proof is a clean application of two known black boxes: the Kontsevich isomorphism identifying RGC0 cohomology with moduli-space cohomology, and the Church–Farb–Putman/Morita–Sakasai–Suzuki vanishing of the relevant top cohomology. The degree computation is correct: for one-vertex graphs the moduli degree lands at 4g+2n−5, and Harer's vcd plus the vanishing theorem kill every factor except G1. No free parameters, no post-hoc fitting.

The one soft spot is the transfer from RGC0 to RGC1. The paper says the complexes are isomorphic via the identity map, up to degree shift, and cites Merkulov–Willwacher. This is less transparent than the rest of the argument. The degree formulas differ by a genus-dependent shift, so "degree shift" cannot mean a constant shift; and whether the identity is actually a chain map depends on signs in the vertex-expansion differential. If those signs depend on d, the kernel on the vertex-degree-one subspace could in principle change. I suspect this is a standard identification that the author knows, but a referee should ask for the precise chain map and a sentence explaining why the #V=1 cocycle condition is preserved. It is the only load-bearing step I would want verified in writing.

The citation pattern is fine. The single self-citation appears in Example 4.3 and is not used in the main proof. The external vanishing theorems are solid. This is not a breakthrough; it closes a small door. The right audience is people working on the Johnson homomorphism, the ES trace, or ribbon graph cohomology. I would send it to a serious referee rather than desk-reject: it is short, clear, and correct-looking, and the requested clarification is well within the scope of a normal revision.

Referee Report

0 major / 5 minor

Summary. The paper studies the ribbon graph complex RGC1 introduced by Merkulov and Willwacher, equipped with the vertex grading. The main theorem (Theorem 4.1) states that the space of 1-cocycles with respect to the vertex grading is one-dimensional, spanned by the unique one-vertex-one-edge graph G1 that corresponds to the graded Turaev cobracket and, via the natural map to the Chevalley-Eilenberg complex of symplectic derivations, to the Enomoto-Satoh trace. The proof computes the relevant piece of the cohomology of RGC0 using the Kontsevich isomorphism (1), shows that all moduli-space summands vanish by Harer's virtual cohomological dimension bound and the Church-Farb-Putman/Morita-Sakasai-Suzuki vanishing theorem, and then transfers the result to RGC1 using the asserted isomorphism of the complexes RGCd given by the identity map.

Significance. If the result is correct, it is a clean and useful negative result: no ribbon-graph 1-cocycle other than the universal ES trace can exist, so the detection of the Johnson cokernel cannot be improved within this particular complex. The argument is short and transparent, and it depends on strong external results (Kontsevich's theorem, Harer's vcd, and CFP/MSS vanishing) rather than on new heavy machinery. The degree computation leading to 4g+2n-5 is carefully done, and the vanishing checks are correct. The paper is appropriately cautious in framing the result as a statement about the ribbon graph complex, leaving open the Lie graph analogue in Question 4.4.

minor comments (5)

[Section 3, paragraph on RGCd isomorphisms] The statement 'The complexes RGCd are isomorphic to each other up to degree shift, and the isomorphism is given by the identity map of the underlying vector space' is load-bearing for the proof of Theorem 4.1, but no precise reference to a proposition in [MW15] is given, and the phrase 'up to degree shift' is ambiguous because the degree difference |G|_1 - |G|_0 = -2g(G) is not a constant shift. Please specify the exact statement in [MW15] and explicitly confirm that the differentials δ0 and δ1 coincide on the underlying vector space, or provide the correct chain isomorphism if the identity is not a chain map.
[Proof of Theorem 4.1] The expression 'H•(RGC0,δ)∩(#V(G)=1)' is informal; it should be defined as the subspace of cohomology classes admitting a representative that is a cocycle with exactly one vertex. Also, the displayed equality with the product of moduli cohomology groups is asserted 'by the isomorphism (1)' without explaining why the vertex-count condition corresponds exactly to those summands; a containment statement would suffice for the vanishing argument, and equality would then follow from G1 itself being such a cocycle.
[Proof of Theorem 4.1, final paragraph] The transfer 'since the complexes RGCd are isomorphic via the identity map' should be spelled out in the context of the vertex grading: one should explain that a 1-cocycle with one vertex is the unique representative of its cohomology class, so the identification of one-vertex cocycles follows from the identification of the underlying vector spaces. This would also address the reader's concern about the non-constant degree shift.
[Section 2 and references] There are a few typos: 'fundamntal' should be 'fundamental' in Section 2, and 'qudratic' should be 'quadratic' in the title of reference [MP98]. In the introduction, the name 'Kassabov' is spelled 'Kasabov' in the phrase 'Conant, Kassabov and Vogtmann'; please make the spelling consistent.
[Proof of Theorem 4.1, (g,n)=(1,1) case] The phrase 'the moduli space M_1^1 is the modular curve, which is a cusped disk' is imprecise: M_{1,1} is an orbifold whose coarse moduli space is the affine line (a disk-like space), and its rational cohomology is indeed trivial. Rephrasing this sentence would avoid confusion.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the proof relies on external geometric vanishing theorems and the Kontsevich/MW15 isomorphism as independent inputs, and never assumes the conclusion it proves.

full rationale

I walked the derivation of Theorem 4.1. The paper computes the vertex-degree-one part of H^*(RGC0) through the Kontsevich isomorphism (1), eliminates all moduli-space terms except the KG1 summand using the Harer virtual cohomological dimension bound and the Church–Farb–Putman / Morita–Sakasai–Suzuki vanishing theorem H^{4g-3}(M_g^1;Q)=0, and then transfers the result to RGC1 via the asserted isomorphism of the complexes RGCd, cited to Merkulov–Willwacher. Each of these inputs is external to the present claim: the Kontsevich isomorphism identifies RGC0 cohomology with moduli-space cohomology; the vanishing theorem is an independent geometric result; the RGCd isomorphism is cited from [MW15] and is not derived from the desired conclusion. The Enomoto–Satoh trace enters only as motivation and through the fact that G1 represents it; the proof never uses the annihilation property TrES∘τ=0 or any other property of the ES trace to conclude that no other 1-cocycle exists. The only self-citation, [Tan25] in Example 4.3, is an illustrative remark about the graph G_k and plays no role in the proof of Theorem 4.1. I therefore find no step in which an input is equivalent to, or fitted to, the target statement. The unverified identity-map isomorphism between RGC0 and RGC1 is a potential correctness gap, not a circularity, because it is asserted as a fact about the two complexes rather than defined by the theorem's conclusion.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No free parameters or invented entities appear. The proof is an application of established theorems and contains no fitted quantities or new postulates.

assumptions (5)

standard math Kontsevich's isomorphism: H^k(RGC0,δ) is isomorphic to the product of H^{6g-6+3n-k}(M_g^n;K) tensor sgn_n plus a K summand when k is congruent to 1 mod 4.
Stated in Eq. (1) as a result of Strebel, Harer, Penner, Kontsevich, and cited to [MP98] and [MW15]. It translates the homological condition in RGC0 into moduli space cohomology.
standard math Harer's virtual cohomological dimension formula: vcd(M_g^n) = n-3 for g=0 and 4g+n-4 for g>=1.
Used in the proof of Theorem 4.1 to eliminate all moduli space factors with n>=2.
standard math Church-Farb-Putman and Morita-Sakasai-Suzuki: H^{4g-3}(M_g^1;Q)=0 for g>=2.
Used to eliminate the n=1, g>=2 factors; this is the key vanishing input that makes the one-dimensionality hold.
standard math The moduli space M_1^1 is a cusped disk, so H^1(M_1^1;K)=0.
Used for the (g,n)=(1,1) case.
standard math The complexes RGC_d are isomorphic up to degree shift via the identity map on the underlying vector space, and this preserves the condition #V=1.
Cited from [MW15] and used to transfer the computation from RGC0 to RGC1 and to equate cohomology classes with #V=1 with vertex-graded 1-cocycles.

how reviews work

0 comments

Cite this review

Pith. "Pith review of One-dimensionality of certain cocycles for the detection of the Johnson cokernel." pith.science (2026). https://pith.science/paper/SNCNEVQX

@misc{pith2026250720492,
  author       = {Pith},
  title        = {Pith review of: One-dimensionality of certain cocycles for the detection of the Johnson cokernel},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SNCNEVQX}},
  note         = {Machine review of arXiv:2507.20492}
}

read the original abstract

The Enomoto-Satoh (ES) trace detects the Johnson cokernel, and its 1-cocycle property is important for the proof that the Johnson image is annihilated by the ES trace. Via the natural map from the ribbon graph complex introduced by Merkulov and Willwacher to the Chevalley-Eilenberg complex of the Lie algebra of symplectic derivations, where the Johnson image lives, the ES trace is essentially obtained from the 1-cocycle given by the unique ribbon graph with one vertex and one edge. In this perspective, this ribbon graph is the "universal" version of the ES trace. The main result of this paper is that there are no other (linearly independent) 1-cocycles in the ribbon graph complex, showing that nothing can be found there for the detection of the Johnson cokernel. The proof is done by applying the result of Church-Farb-Putman and Morita-Sakasai-Suzuki, which states that the virtual top-dimensional cohomology of the moduli space of marked Riemann surfaces vanishes.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

28 extracted references · 17 canonical work pages

[1]

The Goldman--Turaev Lie bialgebra and the Kashiwara--Vergne problem in higher genera, Version 3

Anton Alekseev, Nariya Kawazumi, Yusuke Kuno, and Florian Naef. The Goldman--Turaev Lie bialgebra and the Kashiwara--Vergne problem in higher genera, Version 3 . 2023. https://arxiv.org/abs/1804.09566v3 arXiv:1804.09566v3

arXiv 2023
[2]

The rational cohomology of the mapping class group vanishes in its virtual cohomological dimension

Thomas Church, Benson Farb, and Andrew Putman. The rational cohomology of the mapping class group vanishes in its virtual cohomological dimension. International Mathematics Research Notices , 2012(21):5025--5030, 2011. https://arxiv.org/abs/1108.0622 arXiv:1108.0622 , https://doi.org/10.1093/imrn/rnr208 doi:10.1093/imrn/rnr208

work page Pith review arXiv 2012
[3]

Hopf Algebras and Invariants of the Johnson Cokernel

Jim Conant and Martin Kassabov. Hopf algebras and invariants of the J ohnson cokernel. Algebraic & Geometric Topology , 16:2325--2363, 2016. https://arxiv.org/abs/1509.03236 arXiv:1509.03236 , https://doi.org/10.2140/agt.2016.16.2325 doi:10.2140/agt.2016.16.2325

work page Pith review arXiv 2016
[4]

Hairy graphs and the unstable homology of Mod(g,s), Out(F_n) and Aut(F_n)

James Conant, Martin Kassabov, and Karen Vogtmann. Hairy graphs and the unstable homology of Mod(g, s) , Out(F_n) and Aut(F_n) . Journal of Topology , 6(1):119--153, 2013. https://arxiv.org/abs/1107.4839 arXiv:1107.4839 , https://doi.org/10.1112/jtopol/jts031 doi:10.1112/jtopol/jts031

work page Pith review arXiv 2013
[5]

Higher hairy graph homology

James Conant, Martin Kassabov, and Karen Vogtmann. Higher hairy graph homology. Geometriae Dedicata , 176(1):345--374, 2015. https://arxiv.org/abs/1308.3825 arXiv:1308.3825 , https://doi.org/10.1007/s10711-014-9972-4 doi:10.1007/s10711-014-9972-4

work page Pith review arXiv 2015
[6]

The Johnson Cokernel and the Enomoto-Satoh invariant

James Conant. The J ohnson cokernel and the E nomoto-- S atoh invariant. Algebraic & Geometric Topology , 15:801--821, 2015. https://arxiv.org/abs/1306.3698 arXiv:1306.3698 , https://doi.org/10.2140/agt.2015.15.801 doi:10.2140/agt.2015.15.801

work page Pith review arXiv 2015
[7]

New series in the Johnson cokernels of the mapping class groups of surfaces

Naoya Enomoto and Takao Satoh. New series in the J ohnson cokernels of the mapping class groups of surfaces. Algebr. Geom. Topol. , 14:627--669, 2014. https://arxiv.org/abs/1012.2175 arXiv:1012.2175

work page Pith review arXiv 2014
[8]

Stable cohomology of graph complexes

Matteo Felder, Florian Naef, and Thomas Willwacher. Stable cohomology of graph complexes. Selecta Mathematica , 29(2):23, 2023. https://arxiv.org/abs/2106.12826 arXiv:2106.12826 , https://doi.org/10.1007/s00029-023-00830-5 doi:10.1007/s00029-023-00830-5

work page Pith review arXiv 2023

Show all 28 references

[9]

Graph complexes and the symplectic character of the T orelli group

Stavros Garoufalidis and Ezra Getzler. Graph complexes and the symplectic character of the T orelli group. 2017. https://arxiv.org/abs/1712.03606 arXiv:1712.03606

2017 arXiv
[10]

Richard M. Hain. Completions of mapping class groups and the cycle C-C^- . In Mapping Class Groups and Moduli Spaces of R iemann Surfaces , volume 150 of Contemporary Mathematics , pages 75--105. American Mathematical Society, Providence, 1993. https://arxiv.org/abs/alg-geom/9...

1993 arXiv
[11]

Infinitesimal presentations of the T orelli groups

Richard Hain. Infinitesimal presentations of the T orelli groups. Journal of the American Mathematical Society , 10(3):597--651, 1997. https://arxiv.org/abs/alg-geom/9512001 arXiv:alg-geom/9512001 , https://doi.org/10.1090/S0894-0347-97-00235-X doi:10.1090/S0894-0347-97-00235-X

1997 arXiv
[12]

John L. Harer. The virtual cohomological dimension of the mapping class group of an orientable surface. Inventiones mathematicae , 84(1):157--176, 1986. https://doi.org/10.1007/BF01388737 doi:10.1007/BF01388737

1986 doi
[13]

Characteristic classes of A_ -algebras

Alastair Hamilton and Andrey Lazarev. Characteristic classes of A_ -algebras. Journal of Homotopy and Related Structures , 3(1):65--111, 2008. https://arxiv.org/abs/0801.0904 arXiv:0801.0904

2008 arXiv
[14]

An abelian quotient of the mapping class group I _g

Dennis Johnson. An abelian quotient of the mapping class group I _g . Mathematische Annalen , 249:225--242, 1980

1980
[15]

A survey of the T orelli group

Dennis Johnson. A survey of the T orelli group. Contemporary Mathematics , 20:165--179, 1983

1983
[16]

The G oldman-- T uraev L ie bialgebra and the J ohnson homomorphisms , volume V of Handbook of Teichm\"uller Theory , pages 97--165

Nariya Kawazumi and Yusuke Kuno. The G oldman-- T uraev L ie bialgebra and the J ohnson homomorphisms , volume V of Handbook of Teichm\"uller Theory , pages 97--165. EMS Press, 2016. https://arxiv.org/abs/1304.1885 arXiv:1304.1885 , https://doi.org/10.4171/160 doi:10.4171/160

2016 arXiv
[17]

On the T orelli L ie algebra

Alexander Kupers and Oscar Randal-Williams. On the T orelli L ie algebra. Forum of Mathematics, Pi , 11, 2023. https://arxiv.org/abs/2106.16010 arXiv:2106.16010 , https://doi.org/10.1017/fmp.2023.10 doi:10.1017/fmp.2023.10

2023 arXiv
[18]

Abelian quotients of subgroups of the mapping class group of surfaces

Shigeyuki Morita. Abelian quotients of subgroups of the mapping class group of surfaces. Duke Mathematical Journal , 70(3), 1993. https://doi.org/10.1215/s0012-7094-93-07017-2 doi:10.1215/s0012-7094-93-07017-2

1993 doi
[19]

Cohomological structure of the mapping class group and beyond

Shigeyuki Morita. Cohomological structure of the mapping class group and beyond. In Problems on Mapping Class Groups and Related Topics , volume 74 of Proceedings of Symposia in Pure Mathematics , pages 329--354. American Mathematical Society, Providence, 2006. https://arxiv.o...

2006 arXiv
[20]

Ribbon graphs, qudratic differentials on R iemann surfaces, and algebraic curves defined over Q

Motohico Mulase and Michael Penkava. Ribbon graphs, qudratic differentials on R iemann surfaces, and algebraic curves defined over Q . The Asian Journal of Mathematics , 2(4):875--920, 1998. https://arxiv.org/abs/math-ph/9811024 arXiv:math-ph/9811024

1998 arXiv
[21]

Abelianizations of derivation L ie algebras of the free associative algebra and the free L ie algebra

Shigeyuki Morita, Takuya Sakasai, and Masaaki Suzuki. Abelianizations of derivation L ie algebras of the free associative algebra and the free L ie algebra. Duke Mathematical Journal , 162(5), 2013. https://arxiv.org/abs/1107.3686 arXiv:1107.3686 , https://doi.org/10.1215/0012...

2013 arXiv
[22]

Structure of symplectic invariant L ie subalgebras of symplectic derivation L ie algebras

Shigeyuki Morita, Takuya Sakasai, and Masaaki Suzuki. Structure of symplectic invariant L ie subalgebras of symplectic derivation L ie algebras. Advances in Mathematics , 282:291--334, 2015. https://arxiv.org/abs/1404.3351 arXiv:1404.3351 , https://doi.org/10.1016/j.aim.2015.0...

2015 arXiv
[23]

Deformation theory of representations of prop(erad)s II

Sergei Merkulov and Bruno Vallette. Deformation theory of representations of prop(erad)s II . Journal f\"ur die reine und angewandte Mathematik (Crelles Journal) , 2009(636), 2009. https://arxiv.org/abs/0707.0889v4 arXiv:0707.0889v4 , https://doi.org/10.1515/crelle.2009.084 do...

2009 arXiv
[24]

Props of ribbon graphs, involutive L ie bialgebras and moduli spaces of curves

Sergei Merkulov and Thomas Willwacher. Props of ribbon graphs, involutive L ie bialgebras and moduli spaces of curves. 2015. https://arxiv.org/abs/1511.07808 arXiv:1511.07808

2015 arXiv
[25]

On the lower central series of the IA -automorphism group of a free group

Takao Satoh. On the lower central series of the IA -automorphism group of a free group. Journal of Pure and Applied Algebra , 216(3):709--717, 2012. https://doi.org/10.1016/j.jpaa.2011.08.006 doi:10.1016/j.jpaa.2011.08.006

2012 doi
[26]

A H opf algebra quantizing a necklace L ie algebra canonically associated to a quiver

Travis Schedler. A H opf algebra quantizing a necklace L ie algebra canonically associated to a quiver. International Mathematics Research Notices , 2005(12):725--760, 2005. https://arxiv.org/abs/math/0406200 arXiv:math/0406200 , https://doi.org/10.1155/IMRN.2005.725 doi:10.11...

2005 arXiv
[27]

A family of algebraic operations extending the T uraev cobracket

Toyo Taniguchi. A family of algebraic operations extending the T uraev cobracket. 2025. https://arxiv.org/abs/2502.04806 arXiv:2502.04806

2025 arXiv
[28]

A K oszul duality for props

Bruno Valette. A K oszul duality for props. Transactions of the American Mathematical Society , 359:4865--4943, 2007. https://arxiv.org/abs/math/0411542 arXiv:math/0411542 , https://doi.org/10.1090/S0002-9947-07-04182-7 doi:10.1090/S0002-9947-07-04182-7

2007 arXiv

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.

[1] [1]

The Goldman--Turaev Lie bialgebra and the Kashiwara--Vergne problem in higher genera, Version 3

Anton Alekseev, Nariya Kawazumi, Yusuke Kuno, and Florian Naef. The Goldman--Turaev Lie bialgebra and the Kashiwara--Vergne problem in higher genera, Version 3 . 2023. https://arxiv.org/abs/1804.09566v3 arXiv:1804.09566v3

arXiv 2023

[2] [2]

The rational cohomology of the mapping class group vanishes in its virtual cohomological dimension

Thomas Church, Benson Farb, and Andrew Putman. The rational cohomology of the mapping class group vanishes in its virtual cohomological dimension. International Mathematics Research Notices , 2012(21):5025--5030, 2011. https://arxiv.org/abs/1108.0622 arXiv:1108.0622 , https://doi.org/10.1093/imrn/rnr208 doi:10.1093/imrn/rnr208

work page Pith review arXiv 2012

[3] [3]

Hopf Algebras and Invariants of the Johnson Cokernel

Jim Conant and Martin Kassabov. Hopf algebras and invariants of the J ohnson cokernel. Algebraic & Geometric Topology , 16:2325--2363, 2016. https://arxiv.org/abs/1509.03236 arXiv:1509.03236 , https://doi.org/10.2140/agt.2016.16.2325 doi:10.2140/agt.2016.16.2325

work page Pith review arXiv 2016

[4] [4]

Hairy graphs and the unstable homology of Mod(g,s), Out(F_n) and Aut(F_n)

James Conant, Martin Kassabov, and Karen Vogtmann. Hairy graphs and the unstable homology of Mod(g, s) , Out(F_n) and Aut(F_n) . Journal of Topology , 6(1):119--153, 2013. https://arxiv.org/abs/1107.4839 arXiv:1107.4839 , https://doi.org/10.1112/jtopol/jts031 doi:10.1112/jtopol/jts031

work page Pith review arXiv 2013

[5] [5]

Higher hairy graph homology

James Conant, Martin Kassabov, and Karen Vogtmann. Higher hairy graph homology. Geometriae Dedicata , 176(1):345--374, 2015. https://arxiv.org/abs/1308.3825 arXiv:1308.3825 , https://doi.org/10.1007/s10711-014-9972-4 doi:10.1007/s10711-014-9972-4

work page Pith review arXiv 2015

[6] [6]

The Johnson Cokernel and the Enomoto-Satoh invariant

James Conant. The J ohnson cokernel and the E nomoto-- S atoh invariant. Algebraic & Geometric Topology , 15:801--821, 2015. https://arxiv.org/abs/1306.3698 arXiv:1306.3698 , https://doi.org/10.2140/agt.2015.15.801 doi:10.2140/agt.2015.15.801

work page Pith review arXiv 2015

[7] [7]

New series in the Johnson cokernels of the mapping class groups of surfaces

Naoya Enomoto and Takao Satoh. New series in the J ohnson cokernels of the mapping class groups of surfaces. Algebr. Geom. Topol. , 14:627--669, 2014. https://arxiv.org/abs/1012.2175 arXiv:1012.2175

work page Pith review arXiv 2014

[8] [8]

Stable cohomology of graph complexes

Matteo Felder, Florian Naef, and Thomas Willwacher. Stable cohomology of graph complexes. Selecta Mathematica , 29(2):23, 2023. https://arxiv.org/abs/2106.12826 arXiv:2106.12826 , https://doi.org/10.1007/s00029-023-00830-5 doi:10.1007/s00029-023-00830-5

work page Pith review arXiv 2023