pith. sign in

arxiv: 2403.19700 · v2 · submitted 2024-03-20 · 🧮 math.AG · math.NT

Clusters, toric ranks, and 2-ranks of hyperelliptic curves in the wild case

Leonardo Fiore , Jeffrey Yelton This is my paper

Pith reviewed 2026-05-24 03:32 UTC · model grok-4.3

classification 🧮 math.AG math.NT
keywords hyperelliptic curvessemistable modelstoric rank2-rankroot clustersresidue characteristic 2Galois coversspecial fibers
0
0 comments X

The pith

In residue characteristic 2, even-cardinality root clusters of a hyperelliptic curve contribute loops to the toric rank of the relatively stable model's special fiber only when their depth exceeds a threshold.

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

The paper defines a relatively stable model Yrst for a hyperelliptic curve Y given by y squared equals f of x, viewed as a degree-2 Galois cover of the projective line. In the wild case of residue characteristic 2 it proves that the toric rank of the special fiber equals the number of even-cardinality clusters of roots of f whose depths exceed a certain threshold. The authors supply a computational description of this threshold together with explicit bounds. The same framework yields a formula for the 2-rank of the special fiber. This supplies the direct analogue of the known counting rule that holds when the residue characteristic is not 2.

Core claim

We define the relatively stable model Yrst of the hyperelliptic curve Y : y^2 = f(x) viewed as a degree-2 Galois cover of the projective line. In the case of residue characteristic 2, each even-cardinality cluster of roots of f gives rise to a loop in the graph of components of the special fiber of Yrst if and only if the depth of the cluster exceeds some threshold, and we provide a computational description of and bounds for that threshold. Our framework also allows us to provide a formula for the 2-rank of the special fiber of Yrst.

What carries the argument

The relatively stable model Yrst of the hyperelliptic curve, a semistable model whose special-fiber component graph has loops contributed exactly by the even-cardinality root clusters whose depths exceed the stated threshold.

If this is right

  • The toric rank of the special fiber equals the number of even-cardinality clusters of roots whose depth exceeds the threshold.
  • An explicit formula for the 2-rank of the special fiber follows from the same cluster data.
  • The threshold admits both a computational description and explicit upper and lower bounds.
  • The structure of the special fiber graph is completely determined by the even-cardinality clusters that satisfy the depth condition.

Where Pith is reading between the lines

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

  • The cluster-depth criterion could be applied to compute the conductor or minimal discriminant of the curve in characteristic 2.
  • Explicit numerical checks on sample polynomials f could confirm whether the stated bounds on the threshold are sharp.
  • The same model construction might extend the counting method to other arithmetic invariants of wildly ramified covers.

Load-bearing premise

The relatively stable model Yrst exists as a semistable model with the stated properties for the Galois cover when the residue characteristic is 2.

What would settle it

An explicit hyperelliptic curve y^2 = f(x) over a 2-adic field together with its computed relatively stable model whose special-fiber graph contains a number of loops different from the number of even-cardinality clusters whose depths exceed the authors' threshold.

read the original abstract

Given a Galois cover $Y \to X$ of smooth projective geometrically connected curves over a complete discrete valuation field $K$ with algebraically closed residue field, we define a semistable model of $Y$ over the ring of integers of a finite extension of $K$ which we call the \emph{relatively stable model} $\Yrst$ of $Y$, and we discuss its properties, focusing on the case when $Y : y^2 = f(x)$ is a hyperelliptic curve viewed as a degree-$2$ cover of the projective line $X := \proj_K^1$. Over residue characteristic different from $2$, it follows from known results that the toric rank (i.e.\ the number of loops in the graph of components) of the special fiber of $\Yrst$ can be computed directly from the knowledge of the even-cardinality clusters of roots of the defining polynomial $f$. We instead consider the ``wild" case of residue characteristic $2$ and demonstrate an analog to this result, showing that each even-cardinality cluster of roots of $f$ gives rise to a loop in the graph of components of the special fiber of $\Yrst$ if and only if the depth of the cluster exceeds some threshold, and we provide a computational description of and bounds for that threshold. As a bonus, our framework also allows us to provide a formula for the $2$-rank of the special fiber of $\Yrst$.

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

2 major / 2 minor

Summary. The paper defines a semistable model Yrst (the relatively stable model) of a Galois cover Y → X of curves over a complete DVR with algebraically closed residue field. For hyperelliptic Y : y² = f(x) in residue characteristic 2, it proves that each even-cardinality cluster of roots of f produces a loop in the dual graph of the special fiber of Yrst if and only if the cluster depth exceeds a computable threshold (with explicit description and bounds supplied), and derives a formula for the 2-rank of that special fiber.

Significance. If the construction and properties of Yrst hold in the wild case, the result supplies the first explicit cluster-to-toric-rank dictionary for hyperelliptic curves when the residue characteristic is 2, extending the known tame-case statements and giving a practical computational tool for the geometry of the special fiber.

major comments (2)
  1. [Definition of the relatively stable model and § on special-fiber graph] The central if-and-only-if statement and the 2-rank formula are derived from the asserted properties of the dual graph of Yrst (loops corresponding to even-cardinality clusters above a depth threshold). The existence and semistability of this model in residue characteristic 2, where wild ramification occurs, is therefore load-bearing; the manuscript must supply a self-contained verification that Yrst is indeed semistable and that its special-fiber graph behaves as claimed under the Galois action (see the definition of Yrst and the subsequent graph analysis).
  2. [Threshold description and bounds] The threshold formula is presented as arising directly from the cluster data and the model; any dependence on auxiliary choices (e.g., the finite extension over which Yrst is defined) must be shown to cancel or be explicitly bounded, otherwise the claimed computational description is not parameter-free.
minor comments (2)
  1. [Main theorem] Notation for the depth function and the precise definition of 'even-cardinality cluster' should be recalled or cross-referenced at the first use in the main theorem statement.
  2. [Examples section] The abstract claims 'a computational description of and bounds for that threshold'; the manuscript should include at least one fully worked numerical example (with explicit polynomial, cluster depths, and resulting graph) to illustrate the procedure.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying the points that require clarification regarding the relatively stable model in the wild case. We address each major comment below and indicate the revisions we will make.

read point-by-point responses

  1. Referee: [Definition of the relatively stable model and § on special-fiber graph] The central if-and-only-if statement and the 2-rank formula are derived from the asserted properties of the dual graph of Yrst (loops corresponding to even-cardinality clusters above a depth threshold). The existence and semistability of this model in residue characteristic 2, where wild ramification occurs, is therefore load-bearing; the manuscript must supply a self-contained verification that Yrst is indeed semistable and that its special-fiber graph behaves as claimed under the Galois action (see the definition of Yrst and the subsequent graph analysis).

    Authors: The manuscript defines the relatively stable model Yrst in Section 2 as the minimal Galois-equivariant semistable model obtained by resolving the singularities arising from the cluster data of the hyperelliptic cover. In the residue characteristic 2 case, semistability is established by explicit local equations on the special fiber, showing that all components are smooth and intersections are transverse, with the dual graph determined by the even-cardinality clusters. The Galois action on the graph is described via the permutation action on the roots. We agree that a more expanded, self-contained verification of these properties would strengthen the exposition, particularly the steps confirming absence of singularities under wild ramification. We will add a dedicated subsection or appendix with the detailed local analysis and Galois-equivariance checks. revision: yes

  2. Referee: [Threshold description and bounds] The threshold formula is presented as arising directly from the cluster data and the model; any dependence on auxiliary choices (e.g., the finite extension over which Yrst is defined) must be shown to cancel or be explicitly bounded, otherwise the claimed computational description is not parameter-free.

    Authors: The threshold is defined intrinsically from the depths of the even-cardinality clusters and the valuation of the different of the cover, quantities that are independent of the choice of finite extension of the base field. The proof shows that any additional ramification introduced by base change is absorbed into the depth computation without altering the threshold value, with explicit upper and lower bounds provided in terms of the cluster cardinalities and the residue characteristic. To address the concern directly, we will insert a remark and a short lemma establishing invariance under base extension and confirming that the description remains parameter-free. revision: yes

Circularity Check

0 steps flagged

Derivation of toric rank and 2-rank formulas is self-contained from model definition and cluster data

full rationale

The paper defines the relatively stable model Yrst explicitly as a semistable model of the Galois cover and derives the correspondence between even-cardinality clusters and loops in its special fiber graph (along with the 2-rank formula) directly from the model's construction and the given cluster depths. No parameters are fitted to data and then renamed as predictions, no load-bearing uniqueness theorems are imported via self-citation, and the central claims do not reduce to the inputs by definition. The existence and semistability of Yrst in residue characteristic 2 is asserted as part of the definition and subsequent analysis rather than presupposed without proof. This is a standard direct construction with no circular steps.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The paper introduces the relatively stable model as a new object whose existence and semistability properties are asserted for the wild case; standard background on semistable models of curves and Galois covers is assumed.

axioms (1)
  • domain assumption Existence of a semistable model Yrst with the stated properties for any Galois cover Y to X over a complete DVR with algebraically closed residue field
    Invoked at the start of the abstract to define the object whose special fiber is analyzed.
invented entities (1)
  • relatively stable model Yrst no independent evidence
    purpose: A specific semistable model whose special fiber graph encodes toric rank via root clusters in the wild case
    Newly defined construction whose properties are used to obtain the cluster-to-loop correspondence.

pith-pipeline@v0.9.0 · 5803 in / 1418 out tokens · 32153 ms · 2026-05-24T03:32:52.598088+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

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

  1. [1]

    Degenerate fibres and sta ble reduction of curves

    Michael Artin and Gayn Winters. Degenerate fibres and sta ble reduction of curves. Topology, 10(4):373–383, 1971

    work page 1971

  2. [2]

    Another proof of the Semistable Reduction Theorem

    Kai Arzdorf and Stefan Wewers. Another proof of the semis table reduction theorem. arXiv preprint arXiv:1211.4624, 2012

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  3. [3]

    N´ eron models, volume 21

    Siegfried Bosch, Werner L¨ utkebohmert, and Michel Rayn aud. N´ eron models, volume 21. Springer Science & Business Media, 2012

    work page 2012

  4. [4]

    Bouw and Stefan Wewers

    Irene I. Bouw and Stefan Wewers. Semistable reduction of curves and computation of bad Euler factors of L-functions. ICERM course notes, 2015

    work page 2015

  5. [5]

    Computing l-functions an d semistable reduction of superelliptic curves

    Irene I Bouw and Stefan Wewers. Computing l-functions an d semistable reduction of superelliptic curves. Glasgow Mathematical Journal , 59(1):77–108, 2017

    work page 2017

  6. [6]

    Computing stable reductions

    Robert Coleman. Computing stable reductions. In S´ eminaire de Th´ eorie des Nombres, Paris 1985–86, pages 1–18. Springer, 1987

    work page 1985

  7. [7]

    The irreducibility of the space of curves of given genus

    Pierre Deligne and David Mumford. The irreducibility of the space of curves of given genus. Publications Math´ ematiques de l’IHES, 36:75–109, 1969

    work page 1969

  8. [8]

    Arithmetic of hyperelliptic curves over local fields

    Tim Dokchitser, Vladimir Dokchitser, C´ eline Maistret , and Adam Morgan. Arithmetic of hyperelliptic curves over local fields. Mathematische Annalen , pages 1–110, 2022

    work page 2022

  9. [9]

    A note on hyperelli ptic curves with ordinary reduction over 2-adic fields

    Vladimir Dokchitser and Adam Morgan. A note on hyperelli ptic curves with ordinary reduction over 2-adic fields. Journal of Number Theory , 244:264–278, 2023

    work page 2023

  10. [10]

    Reduction of hyperelli ptic curves in characteristic ̸= 2

    Tim Gehrunger and Richard Pink. Reduction of hyperelli ptic curves in characteristic ̸= 2. arXiv preprint arXiv:2112.05550, 2021

    work page arXiv 2021

  11. [11]

    Wild monodromy and a utomorphisms of curves

    Claus Lehr, Michel Matignon, et al. Wild monodromy and a utomorphisms of curves. Duke Mathematical Journal , 135(3):569–586, 2006

    work page 2006

  12. [12]

    Algebraic geometry and arithmetic curves , volume 6

    Qing Liu. Algebraic geometry and arithmetic curves , volume 6. Oxford University Press on Demand, 2002

    work page 2002

  13. [13]

    Vers un algorithme pour la r´ eduction stable des revˆ etements p-cycliques de la droite projective sur un corps p-adique

    Michel Matignon. Vers un algorithme pour la r´ eduction stable des revˆ etements p-cycliques de la droite projective sur un corps p-adique. Mathematische Annalen , 325(2):323–354, 2003

    work page 2003

  14. [14]

    On the Deuring-Shafarevich formula

    Daisuke Shiomi. On the Deuring-Shafarevich formula. Tokyo Journal of Mathematics , 34(2):313–318, 2011

    work page 2011

  15. [15]

    Silverman

    Joseph H. Silverman. The arithmetic of elliptic curves . Graduate Texts in Mathematics , 106, 2009

    work page 2009

  16. [16]

    The p-rank of Artin-Schreier curves

    Dor´ e Subrao. The p-rank of Artin-Schreier curves. Manuscripta Mathematica , 16(2):169–193, 1975

    work page 1975

  17. [17]

    Federigo Enriques

    Jeffrey Yelton. Semistable models of elliptic curves ov er residue characteristic 2. Canadian Mathematical Bulletin , 64(1):154–162, 2021. Department of Mathematics “Federigo Enriques”, The Univer sity of Milan Via Cesare Saldini, 50, 20133 Milano MI, Italy Email address : leonardo@leonardofiore.it Department of Mathematics and Computer Science, Wesleyan U...

    work page 2021