pith. sign in

arxiv: 2605.02577 · v1 · submitted 2026-05-04 · 🧮 math.AG

Anabelian geometry for Deligne-Mumford curves

Benjamin Collas , S\'everin Philip , Naganori Yamaguchi This is my paper

Pith reviewed 2026-05-08 17:47 UTC · model grok-4.3

classification 🧮 math.AG
keywords anabelian geometryDeligne-Mumford curvesetale fundamental groupssolvable quotientsstack inertia groupsorbifold structuresreconstruction theoremshyperbolicity
0
0 comments X

The pith

Fundamental geometric features of Deligne-Mumford curves are recovered from 3-step solvable quotients of their etale fundamental groups.

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

The paper develops an anabelian framework for general Deligne-Mumford curves by showing that their stack and orbifold structures are encoded in the group-theoretic properties of their etale fundamental groups. After establishing the required properties for profinite F-groups, it proves that features including hyperbolicity, affineness, and inertia data can be detected from the low-level solvable quotients at the 3-step level. This yields anabelian reconstruction results for the curves, their rigidifications, and their coarsifications. Although the general m-step Grothendieck conjecture fails for these curves, a 5-step anabelian theorem holds for the rigidification of affine Deligne-Mumford curves.

Core claim

After establishing the necessary properties for profinite F-groups, the authors prove that the stack and orbifold structures of general Deligne-Mumford curves are encoded in their etale fundamental groups, with key geometric features like hyperbolicity, affineness, and inertia data recoverable from the 3-step solvable quotients.

What carries the argument

The 3-step solvable quotients of the etale fundamental groups, which detect hyperbolicity, affineness, and stack inertia data.

If this is right

  • The stack and orbifold structures of Deligne-Mumford curves are detectable from 3-step solvable quotients of their etale fundamental groups.
  • Anabelian reconstruction results hold for Deligne-Mumford curves, their rigidifications, and their coarsifications.
  • A 5-step anabelian theorem holds for the rigidification of affine Deligne-Mumford curves.
  • Inertia data associated to stack inertia groups is captured at the 3-step level.

Where Pith is reading between the lines

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

  • This low-step detection may extend to other classes of orbifold or stacky objects whose full profinite groups are difficult to compute.
  • Finite-step quotients could enable algorithmic reconstruction of such curves from partial group data.
  • The gap between the failing general m-step conjecture and the working 5-step case for affine rigidifications isolates the special contribution of affineness to anabelian reconstruction.

Load-bearing premise

The required properties for profinite F-groups hold and the anabelian framework applies to general Deligne-Mumford curves.

What would settle it

A Deligne-Mumford curve in which hyperbolicity or affineness cannot be recovered from the 3-step solvable quotient of its etale fundamental group.

Figures

Figures reproduced from arXiv: 2605.02577 by Benjamin Collas, Naganori Yamaguchi, S\'everin Philip.

Figure 1
Figure 1. Figure 1: Relations between step solvability and derived perfectness (i) The m-derived subgroup G(m) < G is perfect. (ii) The derived series {G(k)}k≥0 of G stabilizes at stage m, i.e., G(m) = G(k) for all k ≥ m. (iii) The maximal (m + k)-step solvable quotient Gm+k is m-step solvable for all k ≥ 1. (iv) The group G is an extension of a perfect group by an m-step solvable group; that is, there exists a short exact se… view at source ↗
read the original abstract

We develop an anabelian framework for general Deligne-Mumford curves, showing that their stack and orbifold structures are encoded in the group-theoretic properties of their \'etale fundamental groups. After establishing the required properties for profinite F-groups, we prove that fundamental geometric features, including hyperbolicity, affineness, and inertia data, can already be detected from low-level solvable quotients of the associated profinite groups, namely at the optimal 3-step level. As a consequence, we obtain some anabelian reconstruction results for Deligne-Mumford curves, their rigidifications, and their coarsification. While the m-step Grothendieck conjecture doesn't hold for Deligne-Mumford curves, we establish a 5-step anabelian theorem for the rigidification of affine Deligne-Mumford curves, namely affine stacky curves. A certain emphasis is given to the role of stack inertia groups.

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.

Referee Report

0 major / 2 minor

Summary. The paper develops an anabelian framework for general Deligne-Mumford curves. After establishing the required properties for profinite F-groups in a group-theoretic setting, it proves that fundamental geometric features including hyperbolicity, affineness, and inertia data can already be detected from the 3-step solvable quotients of the étale fundamental groups. This yields anabelian reconstruction results for the curves, their rigidifications, and coarsifications. The manuscript notes that the general m-step Grothendieck conjecture fails for Deligne-Mumford curves but establishes a 5-step anabelian theorem for the rigidification of affine Deligne-Mumford curves (affine stacky curves), with emphasis on the role of stack inertia groups.

Significance. If the central claims hold, the work extends anabelian geometry to the orbifold and stack setting of Deligne-Mumford curves by showing that key geometric invariants are recoverable from low-level solvable quotients. The distinction between the failure of the general m-step conjecture and the success of the 5-step result for rigidified affine cases, together with the group-theoretic treatment of stack inertia, adds precision to the anabelian program and may influence related reconstruction problems in algebraic geometry.

minor comments (2)
  1. [The section applying the F-group framework to DM curves] The transition from the general properties of profinite F-groups to their application on the étale fundamental groups of Deligne-Mumford curves would be clearer with an explicit summary of which F-group axioms are invoked for each geometric feature (hyperbolicity, affineness, inertia).
  2. [The part discussing the 3-step solvable quotients] The claim of optimality at the 3-step level is central; a short paragraph explaining why lower solvable quotients fail to detect the stack inertia data would strengthen the presentation.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading and positive evaluation of the manuscript, including the recognition of the group-theoretic treatment of profinite F-groups, the detection of geometric features from 3-step solvable quotients, and the distinction between the failure of the general m-step Grothendieck conjecture and the 5-step result for rigidified affine cases. We appreciate the recommendation for minor revision.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation proceeds by first establishing general properties of profinite F-groups in a purely group-theoretic setting, then applying the resulting framework to étale fundamental groups of Deligne-Mumford curves to detect hyperbolicity, affineness, and inertia data from 3-step solvable quotients. No step reduces a central claim to a self-definition, a fitted parameter renamed as prediction, or a load-bearing self-citation chain; the anabelian reconstruction theorems are derived from the independently established group axioms without circular reduction to the target geometric features.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Only the abstract is available so the ledger is necessarily incomplete; the work relies on background facts about étale fundamental groups and profinite completions that are standard in the field.

axioms (2)
  • standard math Standard properties of étale fundamental groups of Deligne-Mumford curves
    Invoked throughout the framework development
  • domain assumption Required properties for profinite F-groups
    Established in the paper before the main theorems

pith-pipeline@v0.9.0 · 5460 in / 1309 out tokens · 59284 ms · 2026-05-08T17:47:14.432257+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

11 extracted references · 11 canonical work pages · 1 internal anchor

  1. [1]

    1057–1091 (cit

    2008, pp. 1057–1091 (cit. on pp. 2, 21). [AM69] M. Artin and B. Mazur.Étale Homotopy. Vol

    work page 2008

  2. [2]

    Uniformization of Deligne-Mumford curves

    Lecture Notes in Mathematics. Berlin, Heidelberg: Springer-Verlag, 1969 (cit. on p. 21). [BN06] K. Behrend and B. Noohi. “Uniformization of Deligne-Mumford curves.” In:J. Reine Angew. Math.599 (2006), pp. 111–153 (cit. on pp. 2, 3, 21, 22, 26). [Bri07] T. Bridgeland. “Stability conditions on triangulated categories.” In:Annals of Math- ematics166.2 (2007)...

    work page 1969

  3. [3]

    On Galois Action on the Inertia Stack of Moduli Spaces of Curves

    arXiv:2603. 02848 [math.AG](cit. on pp. 2, 3). [CM23] B. Collas and S. Maugeais. “On Galois Action on the Inertia Stack of Moduli Spaces of Curves.” In:Publications of the Research Institute for Mathematical Sciences59.4 (2023), pp. 731–758 (cit. on pp. 5, 23, 25). [CP25] B. Collas and S. Philip. “On Oda’s problem and special loci.” In:J. Inst. Math. Juss...

    work page 2023

  4. [4]

    On Fenchel’s conjecture aboutF-groups

    Lecture Notes in Mathematics. Springer, 1982, pp. 34–71 (cit. on p. 5). [Fox52] R. H. Fox. “On Fenchel’s conjecture aboutF-groups.” In:Mat. Tidsskr. B1952 (1952), pp. 61–65 (cit. on p. 7). [FJ23] M. D. Fried and M. Jarden.Field arithmetic. Fourth. Vol

    work page 1982

  5. [5]

    A Series of Modern Surveys in Mathematics

    Folge. A Series of Modern Surveys in Mathematics. Revised by Moshe Jarden. Springer, Cham, 2023, pp. xxxi+827 (cit. on p. 31). [Fri82] E. M. Friedlander.Étale Homotopy of Simplicial Schemes. Vol

    work page 2023

  6. [6]

    A class of weighted projective curves arising in represen- tation theory of finite-dimensional algebras

    Annals of Math- ematics Studies. Princeton University Press, 1982 (cit. on p. 21). [GL87] W. Geigle and H. Lenzing. “A class of weighted projective curves arising in represen- tation theory of finite-dimensional algebras.” In:Lecture Notes in Mathematics1273 (1987), pp. 265–297 (cit. on p. 5). [GS17] A.GeraschenkoandM.Satriano.“A“bottomup” characterizatio...

    work page 1982

  7. [7]

    The absolute anabelian geometry of quasi-tripods

    Die Grundlehren der mathe- matischen Wissenschaften. Springer-Verlag, Berlin-New York, 1971, pp. ix+467 (cit. on pp. 26, 27). [Hos22] Y. Hoshi. “The absolute anabelian geometry of quasi-tripods.” In:Kyoto J. Math. 62.1 (2022), pp. 179–224 (cit. on pp. 3, 4, 25). [HMM22] Y.Hoshi,A.Minamide,andS.Mochizuki.“Group-theoreticityofnumericalinvariants and disting...

    work page 1971

  8. [8]

    Groupe fondamental des champs algébriques, inertie et ac- tion galoisienne

    Cam- bridge Tracts in Mathematics. Cambridge University Press, 1998 (cit. on p. 5). [LV18] P. Lochak and M. Vaquié. “Groupe fondamental des champs algébriques, inertie et ac- tion galoisienne.” In:Annales de la Faculté des sciences de Toulouse: Mathématiques 27.1 (2018), pp. 199–264 (cit. on p. 22). [LS77] R.C.LyndonandP.E.Schupp.Combinatorial group theor...

    work page 1998

  9. [9]

    The commutator group of the free product of cyclic groups

    Providence, RI: American Mathematical Society (AMS), 2002, pp. 43–78 (cit. on p. 23). [Nie48] J. Nielsen. “The commutator group of the free product of cyclic groups.” In:Mat. Tidsskr. B1948 (1948), pp. 49–56 (cit. on p. 7). [Noo04] B. Noohi. “Fundamental groups of algebraic stacks.” In:J. Inst. Math. Jussieu3.1 (2004), pp. 69–103 (cit. on pp. 21–23). [Pop...

    work page 2002

  10. [10]

    Group actions on stacks and applications

    Folge. A Series of Modern Surveys in Mathematics. Springer-Verlag, Berlin, 2010, pp. xvi+464 (cit. on pp. 14, 32). [Rom05] M. Romagny. “Group actions on stacks and applications.” In:Mich. Math. J.53.1 (2005), pp. 209–236 (cit. on p. 28). [Sah69] C.-h. Sah. “Groups related to compact Riemann surfaces.” In:Acta Math.123 (1969), pp. 13–42 (cit. on pp. 4, 6, ...

    work page 2010

  11. [11]

    Residual solubility of Fuchsian groups

    arXiv:2601.07112 [math.GR](cit. on pp. 16, 32, 33). [Zom07] R. Zomorrodian. “Residual solubility of Fuchsian groups.” In:Illinois J. Math.51.3 (2007), pp. 697–703 (cit. on p. 4). [Zoo01] V. Zoonekynd.The Fundamental Group of an Algebraic Stack

    work page internal anchor Pith review arXiv 2007