Curves with colliding points: logarithmic and stacky

Martin Olsson; Rachel Webb

Curves with colliding points: logarithmic and stacky

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

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

Pith's one-line read Generalized log twisted curves allow marked points to collide while retaining stacky data, and their moduli form a smooth algebraic stack over the integers.

desk verdict Solid new theory of log twisted curves with colliding markings; the μ4 counterexample works, and the paper deserves refereeing. read the letter →

arxiv 2412.03408 v2 pith:L2BYPLSL submitted 2024-12-04 math.AG

Martin Olsson , Rachel Webb This is my paper · ORCID

classification math.AG MSC 14A2014H1014D23

keywords generalizedlogtwistedcurvesadmissiblemonoidsstackyHassettcontractionstameabeliannodalorbicurvesrootstacksstructures

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

Generalized log twisted curves are marked nodal curves whose sections may land on top of one another, equipped with a sheaf of admissible monoids and a simple extension of the base log structure. The paper shows these objects form a smooth algebraic stack locally of finite type over $\mathbb{Z}$, and that the earlier theory of twisted curves with distinct markings is recovered exactly when the sections are disjoint. It also proves that any contraction of the underlying coarse curve extends to a canonical initial contraction of generalized log twisted curves, giving a lifting of the weighted-contraction procedure to the stacky setting. Finally, it characterizes which tame abelian nodal orbicurves arise from generalized log twisted curves: the local monoid at each marked point must be a pushout of an admissible monoid, and all $\mu_2$ and $\mu_3$ examples do arise while an explicit $\mu_4$ orbicurve does not.

What carries the argument

The load-bearing object is an admissible monoid $N \subset \mathbb{Q}^n_{\ge 0}$: a finitely generated saturated submonoid containing $\mathbb{N}^n$, equivalently described by an admissible subgroup of $\mathbb{Q}^n$. Packaged as a sheaf on the curve, $N$ encodes the amount of rooting at possibly coinciding sections. The associated stack $\mathcal{C} = \mathcal{C}_{\mathrm{node}} \times_C \mathcal{C}_N$ combines the node stack obtained from the simple log inclusion with the stack of roots $\mathcal{C}_N$ built from $N$ via the system of denominators $\bigoplus s_{i,\ast}\mathbb{N} \to N$; locally $\mathcal{C}_N$ is the toric quotient $[\operatorname{Spec}(R \otimes_{\mathbb{Z}[\mathbb{N}^m]} \mathbb{Z}[N]) / D(N^{\mathrm{gp}}/\mathbb{Z}^m)]$. The contraction theorem is carried by the canonical log enhancement of a coarse contraction and by the initial-contraction construction in which the new base log structure is defined as a saturation and the new admissible monoid as a fiber product, making the universal property hold.

What would settle it

Recompute the graded algebra $A = k[y,w]/(y^2-w^2, yw)$ with its $\mu_4$ eigenspaces and check whether the identifications $2z_1 = z_2$ and $2z_3 = z_2$ force $z_1 - z_3$ to be a torsion element of $N^{\mathrm{gp}}$ whose saturation contradicts the relation; if $z_1 - z_3$ is not torsion, or if $y/w$ actually lies in the ring $k[y,w]/(y^2-w^2)$, Example 7.26 collapses.

Watch

Extended reading notes

Core claim

The central discovery is that the extra freedom needed to allow coinciding markings is precisely a global admissible sheaf of monoids $N \subset \bigoplus s_{i,\ast}\mathbb{Q}_{\ge 0}$, together with a simple extension of the base log structure; from these data one canonically constructs a tame Artin stack $\mathcal{C}$ with coarse space $C$. The functor taking a generalized log twisted curve to its associated stack is faithful but not full, and the paper determines its essential image: a tame abelian nodal orbicurve arises this way iff at every smooth point with nontrivial stabilizer the local monoid $D_x$ is a pushout $\mathbb{N}^m \oplus_{\mathbb{N}^m} N$ of an admissible monoid. Consequently every $\mu_2$ and $\mu_3$ tame abelian nodal orbicurve lies in the image, while the stack $[\operatorname{Spec}(k[y,w]/(y^2-w^2))/\mu_4]$ does not. On the moduli side, the fibered category $\mathcal{M}^{\mathrm{glt}}_{g,n}$ is a smooth algebraic stack locally of finite type over $\mathbb{Z}$ with a Zariski open cover by standard twisted-curve stacks, and contractions of coarse curves lift to universal initial contractions of generalized log twisted curves.

Load-bearing premise

If the eigenspace calculation in Example 7.26 showing that the $\mu_4$ stack $[\operatorname{Spec}(k[y,w]/(y^2-w^2))/\mu_4]$ cannot be written as a quotient of an admissible toric stack is wrong, then the claimed boundary of the essential image and the non-fullness of the functor are not established.

Editorial extensions

If this is right

Because $\mathcal{M}^{\mathrm{glt}}_{g,n}$ is a smooth algebraic stack locally of finite type over $\mathbb{Z}$ with quasi-compact and separated diagonal, the usual deformation-theoretic and descent machinery applies to families of generalized log twisted curves.
Any contraction of the underlying coarse curve has a universal initial lift to generalized log twisted curves, so contractions can be performed compatibly with stacky and logarithmic data without losing information.
When the marked sections are pairwise disjoint, generalized log twisted curves coincide with the classical twisted curves, so the new theory contains the earlier distinct-markings theory as a special case.
A tame abelian nodal orbicurve lies in the essential image exactly when each local monoid is an admissible pushout, so all $\mu_2$ and $\mu_3$ cases occur while the explicit $\mu_4$ stack $[\operatorname{Spec}(k[y,w]/(y^2-w^2))/\mu_4]$ does not.
The associated-stack functor is faithful with finite fibers but not full, so the log data genuinely distinguish objects that the underlying orbicurve forgets.

Reading between the lines

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

This suggests a testable classification of the essential image by finite abelian groups: for a fixed stabilizer group $G$, the obstruction to being an admissible pushout should be computable from the eigenspace decomposition, and $\mu_4$ should be the first in an infinite family of forbidden quotients.
If the companion article's program succeeds, weighted stable maps from these curves should form proper moduli stacks whose boundary points encode exactly the colliding-marking configurations that admissible monoids describe.
The non-fullness examples imply that enumerative invariants counting maps from these curves should be built from the generalized log twisted curve itself, not merely from its associated orbicurve.
One can test the contraction formalism on explicit one-parameter families: take a weighted stable family where two markings collide and compare the initial contraction of Theorem 6.15 with the relative coarse space of the associated stack; they should agree.

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

Know the punchline first: this is a solid, genuinely new piece of moduli theory. Generalized log twisted curves give a unified language for Hassett's weighted pointed curves and Abramovich–Vistoli twisted curves, and they handle colliding markings. The main theorems — smooth stack, initial contraction, essential image with the μ4 boundary — are new and, as far as I can tell, proven correctly.

The paper is careful about foundations. It reduces to published work by Borne–Vistoli, Olsson, and Abramovich–Olsson–Vistoli where it can, and the proofs of 2.31, 6.15, and 7.22 are detailed rather than hand-wavy. The μ4 counterexample (7.26) is genuinely nice: the eigenspace argument that the reader flagged is terse, but I checked the graded algebra computation and it is sound. The deduction 2z1 = z2 and 2z3 = z2 from one-dimensional eigenspaces is justified because the presentation as k[N]/(N^r) makes distinct monomial classes k-linearly independent; saturatedness then forces z1 = z3, contradicting the distinct classes. So the non-fullness claim stands.

Soft spots, in proportion: the paper cites the unpublished [10] (Bragg–Olsson–Webb) for the statement that tame abelian nodal orbicurves form a 1-category. That is a real dependence, but it only affects the categorical framing of the functor, not the object-level characterization of the essential image (7.22), and the authors flag it. A couple of proofs are terse — the admissibility check in 6.20 defers to 5.13, and the distinct-marking agreement with Abramovich–Vistoli is via [4, A.5] rather than reproved. Those are confidence issues, not correctness issues. There is also a lot of technical bookkeeping with monoids in Section 2, but that is the nature of the subject.

Who is this for? Anyone working on moduli of stable maps to tame stacks, or on logarithmic/weighted curves. It is not a paper that will change how we think about curves in general, but it genuinely advances the subfield. It deserves a serious referee. I would send it out rather than desk-reject; my expectation is that the referee will ask for a bit more detail in Section 7 and a careful treatment of the [10] dependency, but the central mathematics is in good shape.

Referee Report

0 major / 5 minor

Summary. The paper introduces generalized log twisted curves: marked nodal curves with possibly coinciding sections, together with a simple inclusion of log structures and an admissible sheaf of monoids at the markings. For distinct markings these recover Abramovich-Vistoli twisted curves. The paper proves that the resulting moduli stack M^glt_{g,n} is a smooth algebraic stack locally of finite type with quasi-compact and separated diagonal (Theorem 2.31), constructs a canonical initial lift of any contraction of coarse curves to generalized log twisted curves (Theorem 6.15), and characterizes which tame abelian nodal orbicurves arise from this construction (Corollary 7.22, Theorem 1.7). A concrete non-example with a μ4 stabilizer is given in Example 7.26.

Significance. If the results stand, the paper supplies a logarithmic and stacky framework for Hassett-style weighted curves with colliding markings and gives the deformation-theoretic foundations needed for the companion theory of twisted stable maps. Its strengths are the precise universal property in Theorem 6.15, the reduction of the moduli theorem to prior published foundations, and the falsifiable negative statement in Theorem 1.7/Example 7.26. I specifically checked the μ4 counterexample: the eigenspace computation is justified because the presentation (7.26.2) is by a monomial ideal, so one-dimensional eigenspaces force 2z1 = z2 and 2z3 = z2, and saturatedness of N makes N^gp torsion-free, giving the required contradiction. I therefore do not see a load-bearing correctness gap.

minor comments (5)

[6.20] The admissibility of N_D is verified with the sentence 'One can check (for example using 5.13) that all the monoids appearing in the solid part of (6.19.1) are fine and saturated.' Since this is a load-bearing step for Theorem 6.15, please expand this into a short argument or a lemma with the relevant stalk computation from 5.13.
[7.17] The identification of the 2-category of tame abelian nodal orbicurves with a 1-category is delegated to the unpublished preprint [10, 7.10]. The object-level statements in Corollary 7.22 and Theorem 1.7 are independent of this identification, but the functor in 7.17.1 and the faithfulness/non-fullness discussion in 7.18 are stated in that language; please either provide the argument or explicitly state that the later essential-image results do not depend on [10].
[7.26] In Example 7.26, the phrase 'the element y/w is not in the ring k[y,w]/(y^2-w^2)' is somewhat informal; the contradiction is clearer if phrased as: saturatedness forces z1 = z3, so the monomials y and w would be equal in the graded algebra A, contradicting the displayed eigenspace decomposition.
[2.31] In the proof of Theorem 2.31, the phrase 'For any admissible monoid N ⊂ Nn' should read 'N ⊂ Q^n_{>=0}', since admissible monoids are submonoids of Q^n_{>=0}.
[Throughout] There are several typographical slips: 'folllowing' in the proof of 2.17, 'surjecive' in the proof of 4.3, and 'Alqvist' in the Introduction for the author of reference [6], whose name is spelled Ahlqvist there.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: main theorems are proved from stated definitions and external foundations; the only self-referential element is the unpublished [10, 7.10] used for categorical framing, which is not load-bearing for the stack, contraction, or essential-image results.

full rationale

The derivation chain is self-contained at the level required. Definition 2.26 fixes generalized log twisted curves as marked prestable curves plus a simple inclusion of log structures and an admissible sheaf N; the associated stack is then constructed in 3.4 explicitly via published root-stack and log-stack results ([9, Prop 3.25, 4.13, 4.19]; [16, 1.8]; [4]). Theorem 2.31 is obtained by comparing M^glt_{g,n} to the known stack M_{g,n} for each fixed admissible monoid (2.31: 'the restriction of (2.31.1) to M^glt_{g,n}(N) is an equivalence of categories'), not by assuming the conclusion. The initial contraction theorem 6.15 constructs the target D from the given coarse contraction by saturation of log structures (6.17) and by a fiber product defining N^D (6.19), with the universal property proved from the contraction axioms; there is no fitted parameter or predicted quantity that reduces to an input. The essential-image characterization 7.22 is an unpacking of the local monoid of the associated stack, and the negative mu4 result in Example 7.26 is a direct eigenspace computation that does not invoke the theorem being tested. The only self-referential reliance is [10, 7.10], an unpublished paper by two of the present authors, cited in 7.17 to view tame abelian nodal orbicurves as a 1-category; this affects the categorical framing of the functor in Section 7 but is not needed for the object-level classification, the mu4 counterexample, the moduli-stack theorem, or the contraction theorem. This is a minor non-load-bearing self-citation rather than a circular step.

Assumptions & free parameters 0 free parameters · 6 assumptions · 1 invented entities

The central theory rests on standard logarithmic geometry and previously published twisted curve foundations. The only notable fragility is the unpublished self-cited [10, 7.10] used in Section 7. No empirical constants are fitted.

assumptions (6)

domain assumption Simple inclusions of log structures define twisted curves with stacky nodes (Olsson, Log twisted curves, [16, 1.8])
Used at 2.29 and 3.4 to associate a stack C_node to the log inclusion; this is the prior published foundation for the node part of the construction.
domain assumption Systems of denominators and their stacks of roots exist ([9, 4.19])
Used at 3.4 to define the stack of roots C^N from the admissible sheaf N.
domain assumption The category of tame abelian nodal orbicurves is equivalent to a 1-category ([10, 7.10])
Relied on at 7.17 to define the functor 7.17.1. The cited work is an unpublished preprint by overlapping authors (Bragg, Olsson, Webb); if this result is not available, the categorical comparison is not justified.
standard math Pushforwards of log structures along contractions are log structures and extension results hold ([2, B.3, B.6])
Used in the proofs of 5.8 through 5.12 to construct the canonical log enhancement of contractions.
standard math Log blowups and fine saturated monoid pushouts behave as in Ogus's monograph ([14, II, 1.7.5])
Used in the rational bridge and rational tail constructions in 5.1 through 5.6.
standard math Tame stacks admit local presentations [Spec(A)/G] with G diagonalizable ([3, Proof of 3.6])
Used in 7.4 through 7.16 to develop local monoids and prove the characterization 7.16.

invented entities (1)

Generalized log twisted curves with admissible sheaves of monoids independent evidence
purpose: Record stacky structure at marked points and nodes when markings may collide
The new objects are constructed from concrete data in 2.26 and give computable associated stacks. Theorem 2.31 proves their moduli is an algebraic stack, and Example 7.26 probes the boundary of the class. This is a mathematical definition rather than a speculative physical entity.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Curves with colliding points: logarithmic and stacky." pith.science (2026). https://pith.science/paper/L2BYPLSL

@misc{pith2026241203408,
  author       = {Pith},
  title        = {Pith review of: Curves with colliding points: logarithmic and stacky},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/L2BYPLSL}},
  note         = {Machine review of arXiv:2412.03408}
}

read the original abstract

We introduce a new notion of generalized log twisted curves, which are marked nodal curves with additional data at the marked points. In the case when the markings are distinct this notion agrees with the notion of twisted curve introduced by Abramovich and Vistoli. In addition to developing the basic notions and results, we study in this article the moduli of such curves as well as contraction maps between them. This is motivated, in part, by applications to twisted stable maps which will be studied in a subsequent article.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Stringy Chow rings and weighted blow ups
math.AG 2025-02 accept novelty 7.0 of 10

An explicit computation of the stringy Chow ring for quotients by diagonalizable groups and for weighted blowups, with finite generation criteria.

Reference graph

Works this paper leans on

19 extracted references · 18 canonical work pages · cited by 1 Pith paper

[10]

Bragg, M

D. Bragg, M. Olsson, and R. Webb, Ample vector bundles and moduli of tame stacks, 2024

work page 2024
[1]

Abramovich, A

D. Abramovich, A. Corti, and A. Vistoli, Twisted bundles and admissible covers, Comm. Algebra 31 (2003), no. 8, 3547–3618, Special issue in honor of Steven L. Kleiman. MR 2007376

work page 2003
[2]

Abramovich, S

D. Abramovich, S. Marcus, and J. Wise, Comparison theorems for Gromov-Witten invariants of smooth pairs and of degenerations, Ann. Inst. Fourier (Grenoble) 64 (2014), no. 4, 1611–1667. MR 3329675

work page 2014
[3]

Abramovich, M

D. Abramovich, M. Olsson, and A. Vistoli, Tame stacks in positive characteristic, Ann. Inst. Fourier (Grenoble) 58 (2008), no. 4, 1057–1091. MR 2427954

work page 2008
[4]

Algebraic Geom

, Twisted stable maps to tame Artin stacks, J. Algebraic Geom. 20 (2011), no. 3, 399–477. MR 2786662

work page 2011
[5]

Abramovich and A

D. Abramovich and A. Vistoli, Compactifying the space of stable maps, J. Amer. Math. Soc. 15 (2002), no. 1, 27–75. MR 1862797

work page 2002
[6]

Ahlqvist, Building data for stacky covers, Selecta Math

E. Ahlqvist, Building data for stacky covers, Selecta Math. (N.S.) 30 (2024), no. 3, Paper No. 50, 64. MR 4744387

work page 2024
[7]

Alexeev and G

V. Alexeev and G. M. Guy, Moduli of weighted stable maps and their gravitational descendants, J. Inst. Math. Jussieu 7 (2008), no. 3, 425–456. MR 2427420

work page 2008

Show all 19 references

[8]

Bayer and Yu

A. Bayer and Yu. I. Manin, Stability conditions, wall-crossing and weighted Gromov-Witten invariants, Mosc. Math. J. 9 (2009), no. 1, 3–32. MR 2567394

2009
[9]

Borne and A

N. Borne and A. Vistoli, Parabolic sheaves on logarithmic schemes, Adv. Math. 231 (2012), no. 3-4, 1327–1363. MR 2964607

2012
[11]

Hassett, Moduli spaces of weighted pointed stable curves, Adv

B. Hassett, Moduli spaces of weighted pointed stable curves, Adv. Math. 173 (2003), no. 2, 316–352. MR 1957831

2003
[12]

Kato, Log smooth deformation and moduli of log smooth curves, Internat

F. Kato, Log smooth deformation and moduli of log smooth curves, Internat. J. Math. 11 (2000), no. 2, 215–232. MR 1754621

2000
[13]

Knudsen, The projectivity of the moduli space of stable curves, ii: The stacksMg,n, Mathematica Scandinavica 52 (1983), no

F. Knudsen, The projectivity of the moduli space of stable curves, ii: The stacksMg,n, Mathematica Scandinavica 52 (1983), no. 2, 161–199

1983
[14]

Ogus, Lectures on logarithmic algebraic geometry, Cambridge Studies in Advanced Mathematics, vol

A. Ogus, Lectures on logarithmic algebraic geometry, Cambridge Studies in Advanced Mathematics, vol. 178, Cambridge University Press, Cambridge, 2018. MR 3838359

2018
[15]

Olsson, Universal log structures on semi-stable varieties, Tohoku Math

M. Olsson, Universal log structures on semi-stable varieties, Tohoku Math. J. (2) 55 (2003), no. 3, 397–

2003
[16]

, (Log) twisted curves, Compos. Math. 143 (2007), no. 2, 476–494. MR 2309994

2007
[17]

62, American Mathematical Society, Providence, RI, 2016

, Algebraic spaces and stacks, American Mathematical Society Colloquium Publications, vol. 62, American Mathematical Society, Providence, RI, 2016. MR 3495343

2016
[18]

Olsson and R

M. Olsson and R. Webb, Twisted stable maps with colliding points, 2024

2024
[19]

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

2018

Pith tools

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

[1] [10]

Bragg, M

D. Bragg, M. Olsson, and R. Webb, Ample vector bundles and moduli of tame stacks, 2024

work page 2024

[2] [1]

Abramovich, A

D. Abramovich, A. Corti, and A. Vistoli, Twisted bundles and admissible covers, Comm. Algebra 31 (2003), no. 8, 3547–3618, Special issue in honor of Steven L. Kleiman. MR 2007376

work page 2003

[3] [2]

Abramovich, S

D. Abramovich, S. Marcus, and J. Wise, Comparison theorems for Gromov-Witten invariants of smooth pairs and of degenerations, Ann. Inst. Fourier (Grenoble) 64 (2014), no. 4, 1611–1667. MR 3329675

work page 2014

[4] [3]

Abramovich, M

D. Abramovich, M. Olsson, and A. Vistoli, Tame stacks in positive characteristic, Ann. Inst. Fourier (Grenoble) 58 (2008), no. 4, 1057–1091. MR 2427954

work page 2008

[5] [4]

Algebraic Geom

, Twisted stable maps to tame Artin stacks, J. Algebraic Geom. 20 (2011), no. 3, 399–477. MR 2786662

work page 2011

[6] [5]

Abramovich and A

D. Abramovich and A. Vistoli, Compactifying the space of stable maps, J. Amer. Math. Soc. 15 (2002), no. 1, 27–75. MR 1862797

work page 2002

[7] [6]

Ahlqvist, Building data for stacky covers, Selecta Math

E. Ahlqvist, Building data for stacky covers, Selecta Math. (N.S.) 30 (2024), no. 3, Paper No. 50, 64. MR 4744387

work page 2024

[8] [7]

Alexeev and G

V. Alexeev and G. M. Guy, Moduli of weighted stable maps and their gravitational descendants, J. Inst. Math. Jussieu 7 (2008), no. 3, 425–456. MR 2427420

work page 2008