Boundary of the pyramidal equisymmetric locus of M_g

Raquel D\'iaz; V\'ictor Gonz\'alez-Aguilera

arxiv: 1907.10644 · v1 · pith:FB7QAD6Anew · submitted 2019-07-24 · 🧮 math.AG

Boundary of the pyramidal equisymmetric locus of M_g

Raquel D\'iaz , V\'ictor Gonz\'alez-Aguilera This is my paper

Pith reviewed 2026-05-24 16:36 UTC · model grok-4.3

classification 🧮 math.AG

keywords moduli spacehyperbolic surfacesequisymmetric locuspyramidal actiondihedral groupstable surfacesboundary strataaugmented moduli space

0 comments

The pith

The boundary of the pyramidal equisymmetric locus Pn consists of a complete list of strata given by topological types of stable hyperbolic surfaces.

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

The paper determines the complete list of strata that form the boundary of Pn inside the augmented moduli space. Pn collects those genus-n hyperbolic surfaces whose orientation-preserving isometry group realizes the pyramidal action of the dihedral group Dn. The stratification arises because the augmented space adds stable surfaces, each topological type producing one stratum in the boundary of Pn. Knowing the full list describes the possible degenerations of surfaces carrying this symmetry.

Core claim

The pyramidal locus Pn has a boundary in the augmented moduli space that is stratified exactly by the distinct topological types of the stable hyperbolic surfaces to which surfaces in Pn can degenerate while preserving the pyramidal Dn action.

What carries the argument

The pyramidal action of the dihedral group Dn, which defines Pn and extends to the stable surfaces that label its boundary strata.

If this is right

Each boundary stratum of Pn corresponds to one topological type of stable surface that admits the pyramidal Dn action.
The closure of Pn in the augmented space is the union of Pn with these listed strata.
The different strata are distinguished solely by the topological type of the added stable surface.

Where Pith is reading between the lines

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

The list may be used to compute the dimension of each boundary component or to decide whether the boundary is connected.
The same method of listing strata by topological type could be applied to equisymmetric loci defined by other finite group actions.

Load-bearing premise

The boundary stratification of the augmented moduli space is produced exactly by the topological types of the added stable surfaces, and the pyramidal Dn action extends to those surfaces.

What would settle it

A concrete degeneration of a surface in Pn to a stable surface whose topological type is absent from the listed strata, or the appearance of an unlisted topological type that still admits the pyramidal Dn action.

read the original abstract

The augmented moduli space is a compactification of moduli space M_n obtained by adding stable hyperbolic surfaces. The different topological types of the added stable surfaces produces a stratification of the boundary of M_n . Let P_n be the pyramidal locus in the moduli space, i.e., the set of hyperbolic surfaces of genus n such that the topological action of its preserving-orientation isometry group is the pyramidal action of the dihedral group Dn. The purpose of this paper is to state the complete list of strata in the boundary of Pn

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives an explicit list of boundary strata for the pyramidal equisymmetric locus Pn.

read the letter

The main takeaway is that the authors have compiled what they claim is the full list of strata in the boundary of the pyramidal equisymmetric locus Pn inside the augmented moduli space of curves. They achieve this by determining which topological types of stable surfaces arise as degenerations while the dihedral group action of pyramidal type is preserved. This fills in a specific missing piece for this locus, as the abstract indicates it was not previously listed in full. The work is straightforward in its use of the Deligne-Mumford stratification by stable surface types, which is a standard tool. What the paper does well is to restrict attention to the equisymmetric condition and work out the compatible degenerations case by case. This kind of concrete classification can be helpful for anyone who later wants to compute invariants or study the geometry of Pn. The soft spots are that the result is narrowly scoped to one particular action and one genus range, so it will mainly interest people already working on equisymmetric loci rather than the broader community. Completeness depends on exhaustive checking of possible degenerations, and while the method is standard there is always room for an overlooked case in such lists. Nothing suggests a load-bearing flaw, though. This paper is for algebraic geometers focused on moduli spaces of curves and their compactifications, especially those dealing with group actions on surfaces. A reader who needs the boundary data for Pn will get direct value from the list. It is the sort of paper that merits a serious referee because the claim is precise and the area is one where such enumerations get used. I would recommend sending it to peer review.

Referee Report

1 major / 0 minor

Summary. The paper studies the boundary of the pyramidal equisymmetric locus P_n inside the moduli space M_g of genus-g hyperbolic surfaces. P_n consists of those surfaces whose orientation-preserving isometry group realizes the pyramidal action of the dihedral group D_n. The central claim is an explicit, complete list of the strata that appear in the boundary of P_n; these strata are indexed by the distinct topological types of stable hyperbolic surfaces that arise when the Deligne-Mumford augmentation is restricted to the pyramidal locus.

Significance. A verified enumeration of boundary strata for an explicit equisymmetric locus would supply concrete data for the stratification of the augmented moduli space and could be used to study the topology of Hurwitz spaces or the geometry of loci fixed by finite group actions. The approach relies on the standard topological classification of stable surfaces, which is a strength when the list is shown to be exhaustive.

major comments (1)

[Abstract] The abstract states the purpose but supplies neither the list itself nor any derivation or verification steps; without the explicit strata or the argument establishing completeness, the central claim cannot be assessed from the provided text.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their review. The single major comment concerns the abstract; we address it point by point below.

read point-by-point responses

Referee: [Abstract] The abstract states the purpose but supplies neither the list itself nor any derivation or verification steps; without the explicit strata or the argument establishing completeness, the central claim cannot be assessed from the provided text.

Authors: The full manuscript contains both the explicit enumeration of the boundary strata (indexed by topological types of stable surfaces) and the topological arguments establishing that the list is complete. The abstract, as written, follows the conventional format of stating the purpose of the work rather than reproducing the full result. We agree that a more informative abstract would aid assessment and will revise it to include a concise statement of the main theorem together with an indication of the method used. revision: yes

Circularity Check

0 steps flagged

No circularity; classification rests on standard DM stratification without reduction to inputs

full rationale

The paper's stated purpose is to enumerate boundary strata of the pyramidal locus Pn inside the augmented moduli space. This enumeration follows directly from the standard topological stratification of the Deligne-Mumford compactification by stable surface types together with the fixed pyramidal Dn action; neither step is defined in terms of the other, no parameters are fitted, and no self-citation chain is invoked to justify the list itself. The abstract and purpose statement contain no equations or derivations that collapse to their own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard background constructions in moduli space theory with no new free parameters or invented entities introduced in the abstract.

axioms (2)

standard math The augmented moduli space is a compactification of M_n obtained by adding stable hyperbolic surfaces.
Directly stated in the abstract as the foundation for the boundary stratification.
domain assumption Different topological types of stable surfaces produce the stratification of the boundary.
Invoked to define how strata arise in the boundary of Pn.

pith-pipeline@v0.9.0 · 5611 in / 921 out tokens · 24185 ms · 2026-05-24T16:36:32.024103+00:00 · methodology

Boundary of the pyramidal equisymmetric locus of M_g

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)