Tropical moduli spaces as symmetric Delta-complexes

Daniel Allcock; Daniel Corey; Sam Payne

REVIEW 2 major objections 3 minor 14 references

Tropical moduli spaces as symmetric Delta-complexes

T0 review · 2 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read Tropical moduli spaces are simply connected except for two small marked cases, and genus 4 has integral torsion.

desk verdict Genuinely new integral topology for tropical moduli spaces with a useful spectral-sequence toolkit; only the unaudited computer computations behind Theorem 1.3 need referee verification. read the letter →

arxiv 1908.08171 v2 pith:JNVUNBVM submitted 2019-08-22 math.AG math.GT

Daniel Allcock , Daniel Corey , Sam Payne This is my paper · ORCID

classification math.AGmath.GT MSC 14H1055N1055P10

keywords tropicalmodulispacesymmetricDelta-complexCW-complexfundamentalgroupintegralhomologyspectralsequenceofcurvestorsion

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

This paper develops tools for computing the fundamental group and integral singular homology of symmetric $\Delta$-complexes, spaces built by gluing quotients of simplices by finite groups. It applies them to $\Delta_g$ and $\Delta_{g,n}$, the links of the moduli spaces of stable tropical curves of unit volume. The main results are that $\Delta_g$ is simply connected for $g \geq 1$, and that $\Delta_{g,n}$ is simply connected whenever $(g,n)$ is not one of the two excluded pairs $(0,4)$ or $(0,5)$. The paper also proves that $\Delta_3$ is homotopy equivalent to the $5$-sphere and that $\Delta_4$ has nontrivial $3$-torsion in $H_5$ and nontrivial $2$-torsion in $H_6$ and $H_7$. These claims matter because the spaces are the links of tropical moduli spaces whose rational homology is tied to graph homology and to the top-weight cohomology of the classical moduli space of curves.

What carries the argument

The load-bearing object is the skeleton filtration spectral sequence (Theorems 4.2 and 4.3): for a symmetric CW-complex $X$ whose $p$-cells are quotients $(B^p)^\circ/G_i$ by finite groups $G_i \subset O(p)$, the $\mathrm{E}^{1}$ page is $E^1_{p,q} = \bigoplus_i \widetilde{H}_{p+q-1}(S^{p-1}/G_i; A)$, converging to filtration quotients of $H_{p+q}(|X|; A)$. The companion mechanism is the contractible subcomplex $\Delta^{\mathrm{bm}}_{g,n}$ of tropical curves with bridges, cut vertices, loops, repeated markings, positive-weight vertices, or multiple edges; Proposition 5.1 shows it is contractible because any quotient of a sphere by a finite group containing a reflection is contractible. Together these reduce the homology of $\Delta_g$ and $\Delta_{g,n}$ to finitely many sphere quotients attached to graphs with none of those features.

What would settle it

Independently recompute the reduced integral homology of $S^6/\mathrm{Aut}(G)$, $S^7/\mathrm{Aut}(G')$, and $S^7/\mathrm{Aut}(K_{3,3})$ and re-enumerate the stable genus-$4$ graphs to check that exactly three cells of $\Delta_4$ lie outside $\Delta^{\mathrm{bm}}_4$; any difference would overturn Theorem 1.3. A direct computation of $H_5(\Delta_4;\mathbb{Z})$ by another method would also settle the presence of $\mathbb{Z}/3\mathbb{Z}$.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is that the skeleton filtration of a symmetric CW-complex gives a usable spectral sequence for integral homology, and that for tropical moduli spaces the $\mathrm{E}^{1}$ page can be computed explicitly by discarding a large contractible subcomplex. The theorems establish that $\Delta_g$ is simply connected for every $g \geq 1$; that $\Delta_{g,n}$ is simply connected for all $(g,n)$ except $(0,4)$ and $(0,5)$, where $\Delta_{0,4}$ is disconnected and $\Delta_{0,5}$ is connected but not simply connected; that $\Delta_3$ is homotopy equivalent to $S^5$; and that the reduced integral homology of $\Delta_4$ vanishes outside degrees $5,6,7$, with a $\mathbb{Z}/3\mathbb{Z}$ class in $H_5$ and $\mathbb{Z}/2\mathbb{Z}$ classes in $H_6$ and $H_7$.

Load-bearing premise

The load-bearing premise is that the computer-assisted enumeration of stable genus-$4$ graphs and the computed integral homology of the three sphere quotients $S^6/\mathrm{Aut}(G)$, $S^7/\mathrm{Aut}(G')$, and $S^7/\mathrm{Aut}(K_{3,3})$ are correct; the paper states the outputs but does not pin the script to a version or print its full output tables.

Editorial extensions

If this is right

$\Delta_g$ is simply connected for every $g \geq 1$, so its fundamental group and first homology vanish.
$\Delta_{g,n}$ is simply connected for every $(g,n)$ except $(0,4)$ and $(0,5)$; the exceptional cases are known explicitly.
$\Delta_3$ is homotopy equivalent to $S^5$, so it has the integral homology of a $5$-sphere.
$\Delta_4$ is not contractible; its reduced integral homology is concentrated in degrees $5,6,7$, containing $3$-torsion and $2$-torsion.
The spectral sequence and contractible-subcomplex techniques work for symmetric CW-complexes in general, not only symmetric $\Delta$-complexes, which covers dual complexes from non-simplicial toroidal compactifications.

Reading between the lines

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

The same computational pipeline—enumerate graphs without bridges, cut vertices, loops, multiple edges, or positive weights, then compute sphere-quotient homology—could be run for $\Delta_5$ or for marked spaces $\Delta_{g,n}$ with small $g$ and $n$ to look for further torsion; the paper stops at genus $4$.
Because $\Delta_g$ is rationally identified with top-weight cohomology of $\mathcal{M}_g$, the $3$-torsion in $H_5(\Delta_4)$ suggests—but the paper does not establish—that the integral top-weight cohomology of $\mathcal{M}_4$ may carry a matching $3$-torsion class.
The reflection argument behind the contractible subcomplex suggests that toroidal compactifications whose boundary strata have reflection stabilizers may admit similarly large contractible subcomplexes, which would make their low-degree integral homology computable by the same spectral sequence; this application is left open.

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

Short version: genuinely new integral topology for tropical moduli spaces, and the proofs are worth taking seriously. The headline results hold up as far as I can see—Delta_g and Delta_{g,n} are simply connected except for the two known small cases, Delta_3 is homotopy equivalent to S^5, and the paper finds the first torsion in low-degree integral homology of these spaces: Z/3 in H_5(Delta_4), Z/2 in H_6 and H_7.

What is new here is a mix of useful machinery and concrete computation: the skeleton spectral sequence for symmetric CW-complexes with integral coefficients (Theorem 4.2), its relative version (Theorem 4.3), and the van Kampen argument Theorem 3.1 showing pi_1 is generated by the 1-skeleton, with Examples 3.2 through 3.7 showing cellular approximation fails in all higher dimensions. Proposition 5.1 and Theorem 6.1 are short and clean: multiple edges give a reflection, so the sphere quotients are contractible, and the subcomplex Delta^bm is strictly larger than Delta^br yet still contractible. I checked the main arguments and found no gaps.

The exposed point is Theorem 1.3. The proof depends on an asserted enumeration of the three genus-4 graphs outside Delta^bm_4 and three asserted homology computations of S^6/Aut(G), S^7/Aut(G'), and S^7/Aut(K3,3), all done by script. The GitHub link is there, but no commit hash and no output tables. The differential argument only preserves nontriviality given those E1 entries—a wrong entry, say in H_4(S^7/Aut(K3,3)), would change the torsion claims. To be clear, these are finite, well-specified computations a referee can redo in an afternoon, so I treat this as a verification requirement, not a suspected error.

The citation pattern is healthy; reliance on [CGP18] and [CGP19] is legitimate use of prior theorems, not circularity. No parameter fitting, no hidden data.

This is for people working on tropical moduli, graph complexes, or the topology of moduli spaces. I would bring it to reading group and cite the spectral sequence idea. It deserves a serious referee; accept, but require the code to be pinned or the homology outputs included before publication.

Referee Report

2 major / 3 minor

Summary. This paper develops tools for studying fundamental groups and integral singular homology of symmetric Delta-complexes (and the more general class of symmetric CW-complexes), then applies them to the links Delta_g and Delta_{g,n} of moduli spaces of stable tropical curves. The main results are Theorem 1.1 (Delta_g is simply connected for g >= 1), Theorem 1.4 (Delta_{g,n} is simply connected except for (0,4) and (0,5)), Theorem 1.2 (Delta_3 is homotopy equivalent to S^5), and Theorem 1.3 (the reduced integral homology of Delta_4 has nontrivial 3-torsion in H_5 and nontrivial 2-torsion in H_6 and H_7, and vanishes otherwise). The technical core consists of Theorem 3.1, proving that the fundamental group of a finite symmetric CW-complex is generated by loops in its 1-skeleton; Theorems 4.2 and 4.3, giving spectral sequences for homology from the skeletal filtration and a relative version; Proposition 5.1, showing that quotients of spheres by finite groups containing a reflection are contractible; and Theorem 6.1, establishing contractibility of the subcomplex Delta^{bm}_{g,n}. The paper also provides counterexamples showing that higher-dimensional cellular approximation fails for symmetric CW-complexes.

Significance. If the results are correct, they are significant. The paper settles simply-connectedness for these tropical moduli spaces, identifies Delta_3 as a sphere, and gives the first torsion in the integral homology of Delta_g in low degree, below the range where the rational homology is governed by known cohomological vanishing. The introduced framework of symmetric CW-complexes and the relative spectral sequence are natural and likely to be useful in future work on tropical and toroidal moduli spaces. The proofs of Theorems 3.1, 4.2, 6.1, and Proposition 5.1 are clean, mostly self-contained, and careful about the failure of naive cellular approximation in higher dimensions. The main caveat is that Theorem 1.3 depends on explicit computer-assisted computations that are not sufficiently pinned down in the manuscript; this is a reproducibility gap in a load-bearing part of the paper rather than a flaw in the geometric arguments.

major comments (2)

[Section 6, Proof of Theorem 1.3] The integral homology groups of the three sphere quotients S^6/Aut(G), S^7/Aut(G'), and S^7/Aut(K_{3,3}) are load-bearing for the headline torsion result. The 3-torsion in H_5(Delta_4; Z) depends entirely on the asserted entry E_1^{8,-3} = Z/3 coming from \tilde H_4(S^7/Aut(K_{3,3})), and the 2-torsion in H_6 and H_7 depends on the entries E_1^{8,-2} and E_1^{8,-1}. The manuscript states that these were computed with a Python script and Magma and gives a GitHub URL, but it provides no commit hash, no generated boundary matrices, and no output tables. A wrong or mistranscribed entry would change the torsion claims. Please include a pinned version of the code, the computed reduced homology groups, and enough intermediate data (for instance the chain matrices for the simplicial chain complexes) to make these three computations auditable from the text.
[Section 6, Proof of Theorem 1.3] The assertion that enumerating stable graphs of genus 4 yields exactly three cells outside Delta_4^{bm}, namely the square-pyramid graph G, the triangular-prism graph G', and K_{3,3}, is also not accompanied by a reproducible enumeration. Since the E_1 page of the relative spectral sequence is empty except for the contributions of these three cells and E_{0,0} = Z, an omission or misclassification would change the conclusion. Please provide the enumeration in a table or as script output, or otherwise document the classification of the genus-4 stable graphs outside Delta^{bm}.

minor comments (3)

[Section 6, Proof of Theorem 1.3] The sentence 'Each source is larger than its target' is telegraphic. A homomorphism from a finite abelian group to a strictly smaller group has a nontrivial kernel, but one must also note that no higher differential can hit or leave the surviving classes; expanding this one sentence would make the argument easier to check.
[Example 3.6] There is a typo: 'the barycenter of the opposite face t' should be 'the barycenter of the opposite face of t' or similar.
[References] Several references are cited by arXiv identifiers alone; adding journal or publication data where available would improve the reference list.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; the derivation is a standard spectral-sequence computation with independent external inputs.

full rationale

The paper's central results (Theorems 1.1-1.4) are derived from the skeleton spectral sequence (Theorems 4.2 and 4.3), whose E1 page consists of reduced homology groups of sphere quotients. These E1 terms are computed from explicit graph data and sphere-quotient topology, not fitted to the target homology groups. The main imported inputs are prior theorems: [CGP18, Theorem 1.1] on contractibility of Delta^br, [Vog90] on Delta_{0,n}, [Lan16] on sphere quotients generated by rotations, and standard Coxeter facts in Proposition 5.1. Although some of these are by overlapping authors, they are parameter-free prior theorems with stated assumptions that do not include the present conclusions, so they count as independent support under the review rules. Theorem 1.3 depends on two asserted computational facts—the enumeration of genus-4 stable graphs and the integral homology of three sphere quotients—with code linked but not audited in the text. This is an auditability and correctness risk, not a circular reduction, because the computations are inputs and the spectral sequence output is not used to define, fit, or justify them. No equation in the paper reduces to its own output, and no ansatz is smuggled in via citation; the derivation is self-contained conditional on the cited external theorems and computations.

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

Most of the proof is self-contained, but several external theorems are imported: [CGP18, Theorem 1.1] for contractibility of the bridge/cut-vertex/loop locus, [Vog90] for Delta_{0,n}, [Lan16] for sphere quotients by rotations, Bourbaki's reflection chamber theory, and standard algebraic topology facts. None of these are fitted to the target results and none amount to an assertion of the conclusions. No free parameters or invented physical entities appear.

assumptions (5)

domain assumption The subcomplex Delta^br_{g,n} of tropical curves with bridges, cut vertices, loop edges, repeated markings, or positive weights is contractible.
Imported from [CGP18, Theorem 1.1] and used in the proof of Theorem 6.1 to show the larger subcomplex Delta^bm_{g,n} is contractible. This is an established result from prior work by some of the same authors, but it concerns a different subcomplex and is not the target claim.
domain assumption Delta_{0,n} is homotopy equivalent to a wedge sum of (n-2)! spheres of dimension n-4.
Vogtmann's theorem [Vog90], used in the proof of Theorem 1.4 to handle genus 0 with n >= 6.
domain assumption A quotient of S^{n-1} by a finite group generated by rotations as in [Lan16] is PL-homeomorphic to S^{n-1}.
Imported from Lange [Lan16]; used in the proof of Theorem 1.2 to identify the boundary quotient of the K4 cell as a 4-sphere.
standard math For a finite reflection group K, every point in R^n is K-equivalent to exactly one point in a fixed chamber C.
Bourbaki's chamber theory, cited as [Bou68, V.3.3] in the proof of Proposition 5.1; the quotient S^{n-1}/H is shown contractible through this chamber.
standard math Standard algebraic topology results: van Kampen's theorem, Hurewicz theorem, convergence of the skeleton spectral sequence, and homotopy invariance of mapping cones.
Used throughout Sections 3, 4, and 6; these are universally accepted background facts rather than paper-specific postulates.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Tropical moduli spaces as symmetric Delta-complexes." pith.science (2026). https://pith.science/paper/JNVUNBVM

@misc{pith2026190808171,
  author       = {Pith},
  title        = {Pith review of: Tropical moduli spaces as symmetric Delta-complexes},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JNVUNBVM}},
  note         = {Machine review of arXiv:1908.08171}
}

read the original abstract

We develop techniques for studying fundamental groups and integral singular homology of symmetric Delta-complexes, and apply these techniques to study moduli spaces of stable tropical curves of unit volume, with and without marked points. As one application, we show that Delta_g and Delta_{g,n} are simply connected, for positive g. We also show that Delta_3 is homotopy equivalent to the 5-sphere, and that Delta_4 has 3-torsion in H_5.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

14 extracted references · 9 canonical work pages

[1]

Abramovich, L

D. Abramovich, L. Caporaso, and S. Payne, The tropicalization of the moduli space of curves, Ann. Sci. \'Ec. Norm. Sup\'er. (4) 48 (2015), no. 4, 765--809

work page 2015
[2]

M. A. Armstrong, On the fundamental group of an orbit space, Proc. Cambridge Philos. Soc. 61 (1965), 639--646

work page 1965
[3]

Bosma, J

W. Bosma, J. Cannon, and C. Playoust, The M agma algebra system. I . T he user language , J. Symbolic Comput. 24 (1997), no. 3-4, 235--265, Computational algebra and number theory (London, 1993)

1997
[4]

Brannetti, M

S. Brannetti, M. Melo, and F. Viviani, On the tropical T orelli map , Adv. Math. 226 (2011), no. 3, 2546--2586

work page 2011
[5]

Bourbaki, \' E l\' e ments de math\' e matique

N. Bourbaki, \' E l\' e ments de math\' e matique. F asc. XXXIV . G roupes et alg\`ebres de L ie. C hapitre IV : G roupes de C oxeter et syst\`emes de T its. C hapitre V : G roupes engendr\' e s par des r\' e flexions. C hapitre VI : syst\`emes de racines , Actualit\' e s Scientifiques et Industrielles, No. 1337, Hermann, Paris, 1968

work page 1968
[6]

Blum-Smith and S

B. Blum-Smith and S. Marques, When are permutation invariants C ohen- M acaulay over all fields? , Algebra Number Theory 12 (2018), no. 7, 1787--1821

work page 2018
[7]

M. Chan, S. Galatius, and S. Payne, Tropical curves, graph complexes, and top weight cohomology of M _g , arXiv:1805.10186, 2018

arXiv 2018
[8]

M. Chan, S. Galatius, and S. Payne, Topology of moduli spaces of tropical curves with marked points, arXiv:1903.07187, 2019

arXiv 1903

Show all 14 references

[9]

Chan, Topology of the tropical moduli spaces M _ 2,n , arXiv:1507.03878, 2015

M. Chan, Topology of the tropical moduli spaces M _ 2,n , arXiv:1507.03878, 2015

2015 arXiv
[10]

Harper, Factorization for stacks and boundary complexes, arXiv:1706.07999, 2017

A. Harper, Factorization for stacks and boundary complexes, arXiv:1706.07999, 2017

2017 arXiv
[11]

Lange, Characterization of finite groups generated by reflections and rotations, J

C. Lange, Characterization of finite groups generated by reflections and rotations, J. Topol. 9 (2016), no. 4, 1109--1129

2016
[12]

, When is the underlying space of an orbifold a manifold?, Trans. Amer. Math. Soc. 372 (2019), no. 4, 2799--2828

2019
[13]

Swartz, Matroids and quotients of spheres, Math

E. Swartz, Matroids and quotients of spheres, Math. Z. 241 (2002), no. 2, 247--269

2002
[14]

Vogtmann, Local structure of some Out (F_n) -complexes , Proc

K. Vogtmann, Local structure of some Out (F_n) -complexes , Proc. Edinburgh Math. Soc. (2) 33 (1990), no. 3, 367--379

1990

Pith tools

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

[1] [1]

Abramovich, L

D. Abramovich, L. Caporaso, and S. Payne, The tropicalization of the moduli space of curves, Ann. Sci. \'Ec. Norm. Sup\'er. (4) 48 (2015), no. 4, 765--809

work page 2015

[2] [2]

M. A. Armstrong, On the fundamental group of an orbit space, Proc. Cambridge Philos. Soc. 61 (1965), 639--646

work page 1965

[3] [3]

Bosma, J

W. Bosma, J. Cannon, and C. Playoust, The M agma algebra system. I . T he user language , J. Symbolic Comput. 24 (1997), no. 3-4, 235--265, Computational algebra and number theory (London, 1993)

1997

[4] [4]

Brannetti, M

S. Brannetti, M. Melo, and F. Viviani, On the tropical T orelli map , Adv. Math. 226 (2011), no. 3, 2546--2586

work page 2011

[5] [5]

Bourbaki, \' E l\' e ments de math\' e matique

N. Bourbaki, \' E l\' e ments de math\' e matique. F asc. XXXIV . G roupes et alg\`ebres de L ie. C hapitre IV : G roupes de C oxeter et syst\`emes de T its. C hapitre V : G roupes engendr\' e s par des r\' e flexions. C hapitre VI : syst\`emes de racines , Actualit\' e s Scientifiques et Industrielles, No. 1337, Hermann, Paris, 1968

work page 1968

[6] [6]

Blum-Smith and S

B. Blum-Smith and S. Marques, When are permutation invariants C ohen- M acaulay over all fields? , Algebra Number Theory 12 (2018), no. 7, 1787--1821

work page 2018

[7] [7]

M. Chan, S. Galatius, and S. Payne, Tropical curves, graph complexes, and top weight cohomology of M _g , arXiv:1805.10186, 2018

arXiv 2018

[8] [8]

M. Chan, S. Galatius, and S. Payne, Topology of moduli spaces of tropical curves with marked points, arXiv:1903.07187, 2019

arXiv 1903