Pith. sign in

REVIEW 4 major objections 4 minor 41 references

Semistable reduction of smooth quartics

T0 review · 4 major / 4 minor · reviewed 2026-08-02 · deepseek-v4-flash

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

Pith's one-line read For non-hyperelliptic genus-3 curves, stable reduction is exactly a unique GIT-stable plane model with each cusp replaced by a genus-one tail.

desk verdict A useful, concrete method for p=2 quartic reduction, but Theorem 3.1's forward direction rests on an unverified use of Catanese's theorems in characteristic 2. read the letter →

arxiv 2606.13863 v2 pith:EZJD236S submitted 2026-06-11 math.AG math.NT

Max Schwegele , Kletus Stern , Stefan Wewers This is my paper · ORCID
classification math.AGmath.NT MSC 14G2011G2014H2514H5014L2414Q25
keywords semistablereductionplanequarticsGIT-stablemodelsstablecurvesgenus31-tailscuspsresiduecharacteristic2weightedblow-up
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 establishes a precise criterion for when semistable reduction of a smooth plane quartic can be read off from a GIT-stable plane model: such a model exists and is unique exactly when the stable reduction is not hyperelliptic. In that case the stable model is obtained from the plane model by replacing each cusp of the special fibre with a genus-one tail, and the contraction map from the stable model to the plane model contracts precisely those tails. The proof isolates the mechanism behind the hyperelliptic/non-hyperelliptic dichotomy through canonical linear series on a Gorenstein curve built from the core of the stable curve. The criterion covers all residue characteristics, including the previously inaccessible case p=2, and it is made algorithmic.

What carries the argument

The central object is the pair (stable model, GIT-stable plane model) connected by a contraction. The proof works with the dualizing sheaf twisted by the tail divisors, D = Σ d_i X_i, showing that the resulting linear series contracts the tails and restricts on the core to the canonical system of a Gorenstein curve C' with at most A1/A2 singularities. Residue reciprocity on the arithmetic surface identifies the relevant sections as those with vanishing residues at the attachment points, so the canonical map of C' becomes the special fibre of the plane model. The constructive side uses a weighted blow-up of the ideal (Π,x,y) with weights (1,2,3) at each cusp, whose exceptional divisor is an e

What would settle it

Compute, over a 2-adic field, a smooth plane quartic whose stable special fibre is a 2-inseparable non-hyperelliptic core with one tail, and run the paper's algorithm: the special fibre of the resulting plane model should be reduced with only nodes and cusps. If it contains a tacnode or a triple point, the canonical embedding of C' is not a closed immersion, disproving the theorem. Alternatively, exhibit a characteristic-2 genus-3 stable curve whose associated cusp curve C' has a canonical system with a base point.

Watch

Extended reading notes

Core claim

Theorem 3.1: if a smooth non-hyperelliptic genus-3 curve over a discretely valued field has semistable reduction, its stable model dominates a unique GIT-stable plane model; the dominant map is an isomorphism away from the cusps of the special fibre and contracts each 1-tail of the stable fibre to a cusp. Conversely, if a GIT-stable plane model exists, the stable reduction is non-hyperelliptic, and the stable model is the minimal semistable model dominating the plane model, obtained by resolving each cusp into a genus-one tail. The dichotomy is detected by a Gorenstein curve C' formed from the stable fibre by smashing each tail attachment point into a cusp: the plane model exists exactly whe

Load-bearing premise

The proof leans on a classification of mildly singular Gorenstein curves in characteristic 2 that is taken from earlier literature; if the relevant distinction between two notions of hyperellipticity collapses in characteristic 2, the plane model constructed under the non-hyperelliptic assumption could turn out to be only semistable rather than stable.

Editorial extensions

If this is right

  • For non-hyperelliptic stable reduction, the stable model is completely described: the GIT-stable plane model plus, for each cusp, one genus-one tail attached along a node.
  • The criterion gives a necessary and sufficient dichotomy: hyperelliptic stable reduction is exactly the case in which no GIT-stable plane model exists and the GIT model is only strictly semistable.
  • Once a GIT-stable plane model is known over some extension, a further finite extension admits the stable model as a modification of that plane model, so explicit cusp resolution computes the stable model.
  • The method covers residue characteristic 2, the case not handled by cover-based algorithms; in characteristic 2 the hyperelliptic case acquires extra components on which the involution acts trivially, corresponding to relative Frobenius.
  • Random experiments for p = 2, 3, 5 produce explicit reduction types for hundreds of quartics, showing that the two-step pipeline terminates and is practical on large samples.

Reading between the lines

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

  • The same picture—form a cuspidal Gorenstein curve from the core, then resolve cusps to tails—suggests an approach to semistable reduction of non-hyperelliptic curves of higher genus via GIT-stable projective models; the bottleneck would be the analogous base-point-freeness and embedding statement in every characteristic.
  • The Ciani example shows that the extension needed for a GIT-stable model can be larger than the minimal extension for semistable reduction; a more economical algorithm might choose the GIT extension more carefully.
  • The characteristic-2 classification predicts that a genus-3 stable fibre with three 1-tails attached to a genus-zero core is automatically hyperelliptic in characteristic 2, so such quartics will be exactly the strictly semistable cases inaccessible to this method.
  • A concrete testable consequence: if the imported characteristic-2 theorems on canonical systems fail, the first counterexample should appear as a plane quartic whose computed special fibre contains a tacnode or worse singularity, which the implementation could flag directly.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 4 minor

Summary. The paper develops a method for computing stable reduction of smooth plane quartics over discretely valued fields, with emphasis on residue characteristic p=2. It builds on previous work [33] to construct GIT-semistable plane models and then states its main result, Theorem 3.1: assuming X has semistable reduction and stable model X, X admits a unique GIT-stable plane model X0 if and only if the stable special fiber Xs is non-hyperelliptic; in that case X dominates X0 and contracts the 1-tails of Xs to cusps of X0,s, being an isomorphism elsewhere. The proof combines residue theory on arithmetic surfaces with a reduction to the canonical system of an associated cuspidal Gorenstein curve C', using theorems of Catanese [6]. The paper also sketches an explicit cusp-resolution step (deferred to the companion paper [39]) and reports on a SageMath implementation with random experiments for p=2,3,5.

Significance. If Theorem 3.1 is correct, it provides a clean geometric explanation of the hyperelliptic/non-hyperelliptic dichotomy for genus-3 stable reduction and gives a practical route to explicit stable models in the non-hyperelliptic case, including the difficult case p=2. The residue-theoretic framework is promising, and the companion implementation with archived random experiments is a valuable stress test. The paper is, however, not self-contained: the proof of the main theorem relies heavily on the master's thesis [29] and on Catanese's theorems [6], especially in characteristic 2, where the cited results involve subtleties that the manuscript does not verify. These gaps are load-bearing for the central claim and require attention before the theorem can be considered established.

major comments (4)
  1. [§3.2, paragraphs after Lemma 3.8] The proof of the forward direction of Theorem 3.1 hinges on the assertions that C' is '2-inseparable' and 'very strongly connected' and that |ω_{C'/k}| is base-point-free by [6, Theorem D]. However, Definition 1.5 defines 2-inseparability only for semistable curves with ordinary double points, whereas C' has A2 cusps. The statement 'C' is constructed from the 2-inseparable core, so it is very strongly connected' is an assertion, not a proof. Since [6, Theorems D, F, G] require very strongly connected (and non-hyperelliptic) hypotheses, this transfer is load-bearing. Please either prove that the Gorenstein curve obtained in Lemma 3.7 from a 2-inseparable core is very strongly connected in the sense of [6, Definition 3.21], or give a precise reference that establishes this implication.
  2. [§3.2, final paragraph and Lemma 3.9] The characteristic-2 case is the main motivation of the paper, but the argument does not verify that Catanese's theorems apply in characteristic 2. Lemma 3.9 establishes only the non-existence of a finite degree-2 morphism C' → P^1, i.e. that C' is not 'honestly hyperelliptic' in the terminology of [6, Definition 3.18]. The conclusion that C' is not 'hyperelliptic' in the sense needed for [6, Theorem G] uses [6, Theorem F] together with the unproved assertion that C' is very strongly connected. Since [6] itself distinguishes the two notions, and the present paper's Section 1.2 documents special behavior in characteristic 2 (e.g. Proposition 1.9), the equivalence is not automatic. The authors should provide a concrete verification, or a reference, that [6, Theorem F] holds for A1/A2-Gorenstein curves over algebraically closed fields of characteristic 2. Without this, the canonical map may
  3. [§3.2, Proposition 3.6] The proof of Proposition 3.6 reduces the crucial dimension statement dim(W_Res)=3 to 'an elementary Riemann-Roch calculation' deferred to [29, Lemma 3.44]. This independence of the residue conditions is load-bearing: if the constraints were not independent, the constructed linear series would have dimension less than 3 and would not define a plane model. The main theorem should not rest on an unstated computation from a separate thesis. Please include the calculation in the paper or reproduce [29, Lemma 3.44] with proof.
  4. [§3.4, Theorem 3.11 and §3.3, Lemma 3.10] The effective/computational claim of the paper rests on Theorem 3.11, quoted from the forthcoming companion paper [39], and Lemma 3.10, whose proof cites [22]. This is acceptable in a series, but the present paper should state explicitly how much of the proof of Theorem 3.1 is self-contained. In particular, the uniqueness and properties of the minimal semistable model dominating X0 in Lemma 3.10 are quoted rather than proved. If the converse direction of Theorem 3.1 is intended as a new contribution, the dependence on [22] and on [39] should be spelled out precisely; otherwise the reader cannot separate the new arguments from imported results.
minor comments (4)
  1. [§3.2, Lemma 3.8] The phrase 'By (1), H^0(C', ω_{C'/k}) is precisely the subspace...' is ambiguous: equation (1) in the paper is the cusp normal form from Lemma 2.2, not the residue condition from Proposition 3.6. Please renumber or rephrase.
  2. [§1.3, Proposition 1.13] The classification table uses line-thickness conventions for geometric genus that are not visible in the text version. Please include an explicit graph-label key or refer to [35, Figure 2.2] for each entry.
  3. [Definition 1.5 and §3.2] The term '2-inseparable' is defined only for semistable curves, but later applied to the Gorenstein curve C' with A1/A2 singularities. Please state the definition for this broader class or clearly indicate the intended meaning when transferring to C'.
  4. [References] References [32] and [39] are listed as 'forthcoming'/'2026'. Since Theorem 3.11 and parts of the implementation depend on them, a stable arXiv identifier or a preprint link would help the reader verify the claims.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: Theorem 3.1 is derived from external GIT/canonical-series theorems plus prior work, with no fitted quantity or prediction that reduces to its own input by construction.

full rationale

The central claim is a mathematical equivalence, not a fitted prediction. The forward direction constructs L = omega_{X/OK}(D) from the stable model's 1-tails, identifies the induced linear series with the canonical system of a cuspidal Gorenstein curve C' (Lemmas 3.7-3.8, Proposition 3.6), and then invokes Catanese [6, Theorems D, F, G] for base-point-freeness and closed immersion. The converse uses Mumford's GIT stability criterion and a stable-hull argument from Liu [22]. Several structural statements (Proposition 1.14, Lemma 3.9, and parts of Proposition 3.6) are sourced to the authors' earlier work [29], but those are separate stated results with deferred proofs, not definitions of the target equivalence; self-citation alone is not circular. The residual weakness—unchecked applicability of Catanese's characteristic-2 hyperelliptic/honestly-hyperelliptic distinction to A1/A2 Gorenstein curves—is a correctness risk, not a reduction of the theorem to its inputs. No equation or fitted parameter was found that forces the claimed conclusion by construction, so the circularity score is low.

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

The paper introduces no free parameters and no invented entities. It depends on a stack of prior mathematical results: stable reduction theory, GIT for quartics, the authors' own GIT-model construction [33], Catanese's 1982 theorems on canonical maps, and the structure theory of hyperelliptic stable curves from the cited thesis [29]. The most fragile input is the unverified characteristic-p applicability of Catanese's theorems, followed by the deferred lemmas in [29].

assumptions (6)
  • standard math Semistable Reduction Theorem (existence and uniqueness of stable model after finite extension)
    Used throughout §3 to define the stable model; cited as Deligne–Mumford [10].
  • domain assumption GIT classification of plane quartics (Prop. 2.3): GIT-stable ⇔ reduced with only nodes and A2 cusps
    Invoked as Mumford [25, Ch.4, §2, Prop. 4.2]; the criterion identifying GIT-stable special fibers.
  • domain assumption Existence and uniqueness of GIT-semistable plane models (Theorem 2.5)
    Cited as [33, Theorem 1.3]; justifies the starting point of the algorithm, relying on self-cited prior work.
  • domain assumption Catanese's Theorems D, F, G on base-point-freeness and closed immersion of canonical maps of very strongly connected Gorenstein curves
    Core of §3.2's construction of the GIT-stable model; applicability in characteristic 2 is asserted but not verified.
  • domain assumption Hyperelliptic classification of stable genus-3 curves (Prop. 1.14) and structure theorems for hyperelliptic stable curves (Props. 1.6–1.9)
    Deferred to [29], with references to [23] and [40]; used in Lemma 3.9 and the converse direction §3.3.
  • domain assumption Residue reciprocity laws (Theorem 3.5) and the explicit description of dualizing sheaves on models
    Proved in [29, Prop. 3.27, Prop. 3.29, Theorem 3.33]; used in Prop. 3.6 and Lemma 3.8.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Semistable reduction of smooth quartics." pith.science (2026). https://pith.science/paper/EZJD236S

@misc{pith2026260613863,
  author       = {Pith},
  title        = {Pith review of: Semistable reduction of smooth quartics},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/EZJD236S}},
  note         = {Machine review of arXiv:2606.13863}
}
read the original abstract

We develop a method for computing stable reduction of smooth plane quartics over discretely valued fields, including residue characteristic p=2. The method uses the GIT-semistable plane models constructed in an earlier part of this project, together with an intrinsic description of hyperelliptic stable curves, to characterize when the stable model is obtained from a GIT-stable plane model by resolving its cusps. More precisely, for a smooth non-hyperelliptic curve of genus 3 with semistable reduction, we show that it admits a GIT-stable plane model if and only if its stable reduction is non-hyperelliptic. In that case, the stable model is obtained from the GIT-stable plane model by replacing each cusp by a 1-tail. Together with the companion paper on explicit local stable resolution of cusps, this gives an effective approach to computing stable reduction of smooth plane quartics. The resulting algorithms are implemented in the SageMath package "StabilityFunction".

Figures

Figures reproduced from arXiv: 2606.13863 by the authors.

Figure 1
Figure 1. The special fiber of the contraction morphism [PITH_FULL_IMAGE:figures/full_fig_p027_1.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

41 extracted references · 6 linked inside Pith

  1. [29]

    Master thesis, Universit¨ at Ulm, 2025

    Max Schwegele.Semistable reduction of plane quartics. Master thesis, Universit¨ at Ulm, 2025. arXiv:2511.15858

    arXiv 2025

  2. [33]

    Models of hypersurfaces and Bruhat–Tits buildings

    Kletus Stern and Stefan Wewers. Models of hypersurfaces and Bruhat–Tits buildings. arXiv:2501.02638, 2026

    arXiv 2026

  3. [6]

    Pluricanonical-Gorenstein-curves

    Fabrizio Catanese. Pluricanonical-Gorenstein-curves. InEnumerative ge- ometry and classical algebraic geometry (Nice, 1981), volume 24 ofProgr. Math., pages 51–95. Birkh¨ auser Boston, Boston, MA, 1982

    1981

  4. [39]

    Explicit local stable resolution of cusps

    Stefan Wewers. Explicit local stable resolution of cusps. forthcoming, 2026

    2026

  5. [22]

    Stable reduction of finite covers of curves.Compos

    Qing Liu. Stable reduction of finite covers of curves.Compos. Math., 142(1):101–118, 2006

    2006

  6. [1]

    Springer Science & Business Media, 2011

    Enrico Arbarello, Maurizio Cornalba, and Phillip Griffiths.Geometry of algebraic curves: volume II with a contribution by Joseph Daniel Harris, volume 268. Springer Science & Business Media, 2011

    2011

  7. [2]

    Reduction types of genus-3 curves in a special stratum of their moduli space

    Irene Bouw, Nirvana Coppola, Pınar Kılı¸ cer, Sabrina Kunzweiler, Elisa Lorenzo Garc ´ ıa, and Anna Somoza. Reduction types of genus-3 curves in a special stratum of their moduli space. InWomen in Numbers Europe III: Research Directions in Number Theory, pages 115–162. Springer, 2021

    2021

  8. [3]

    Bouw and Stefan Wewers

    Irene I. Bouw and Stefan Wewers. Computing L-functions and semistable reduction of superelliptic curves.Glasg. Math. J., 59(1):77–108, 2017

    2017

Show all 41 references
  1. [4]

    J.F. Burnol. Remarques sur la stabilit´ e en arithm´ etique.International Mathematics Research Notices, 1992(6):117–127, 1992

    1992

  2. [5]

    Springer, Berlin, Heidelberg, 1980

    Antonio Campillo.Algebroid Curves in Positive Characteristics, volume 813 ofLecture Notes in Mathematics. Springer, Berlin, Heidelberg, 1980

    1980

  3. [7]

    Tropical hyperelliptic curves.J

    Melody Chan. Tropical hyperelliptic curves.J. Algebraic Combin., 37(2):331– 359, 2013

    2013

  4. [8]

    Gonality of curves whose normalizations are one or two copies ofP 1

    Juliana Coelho. Gonality of curves whose normalizations are one or two copies ofP 1. arXiv:2308.00098, 2023

    2023 arXiv

  5. [9]

    Springer-Verlag, Berlin, 2000

    Brian Conrad.Grothendieck duality and base change, volume 1750 of Lecture Notes in Mathematics. Springer-Verlag, Berlin, 2000

    2000

  6. [10]

    Deligne and D

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

    1969

  7. [11]

    Arithmetic of hyperelliptic curves over local fields.Math

    Tim Dokchitser, Vladimir Dokchitser, C´ eline Maistret, and Adam Morgan. Arithmetic of hyperelliptic curves over local fields.Math. Ann., 385(3- 4):1213–1322, 2023

    2023

  8. [12]

    Clusters and semistable models of hyperelliptic curves in the wild case

    Leonardo Fiore and Jeffrey Yelton. Clusters and semistable models of hyperelliptic curves in the wild case. arXiv:2207.12490, 2023

    2023 arXiv

  9. [13]

    Advanced Book Classics

    William Fulton.Algebraic Curves: An Introduction to Algebraic Geometry. Advanced Book Classics. Addison–Wesley, Redwood City, CA, 1989. Reprint of the 1969 original

    1989

  10. [14]

    Computing the stable reduction of hyperelliptic curves in residue characteristic 2

    Tim Gehrunger. Computing the stable reduction of hyperelliptic curves in residue characteristic 2. arXiv:2506.19663, 2025

    2025 arXiv

  11. [15]

    Reduction of hyperelliptic curves in characteristic̸= 2

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

    2021 arXiv

  12. [16]

    Reduction of hyperelliptic curves in residue characteristic 2.Journal of Number Theory, 281:429–491, 2026

    Tim Gehrunger and Richard Pink. Reduction of hyperelliptic curves in residue characteristic 2.Journal of Number Theory, 281:429–491, 2026

    2026

  13. [17]

    Kr¨ oning

    Gert-Martin Greuel and H. Kr¨ oning. Simple singularities in positive charac- teristic.Mathematische Zeitschrift, 203(2):339–354, 1990

    1990

  14. [18]

    Springer-Verlag, New York, 1998

    Joe Harris and Ian Morrison.Moduli of curves, volume 187 ofGraduate Texts in Mathematics. Springer-Verlag, New York, 1998

    1998

  15. [19]

    Wild monodromy and automorphisms of curves.Duke Math

    Claus Lehr and Michel Matignon. Wild monodromy and automorphisms of curves.Duke Math. J., 135(3):569–586, 2006

    2006

  16. [20]

    Reduction type of smooth plane quartics.Algebra & Number Theory, 15(6):1429–1468, 2021

    Reynald Lercier, Qing Liu, Elisa Lorenzo Garc ´ ıa, and Christophe Ritzen- thaler. Reduction type of smooth plane quartics.Algebra & Number Theory, 15(6):1429–1468, 2021

    2021

  17. [21]

    Oxford University Press on Demand, 2002

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

    2002

  18. [23]

    Relevement des revˆ etements p-cycliques des courbes rationnelles semi-stables.Mathematische Annalen, 327(2):365–393, 2003

    Sylvain Maugeais. Relevement des revˆ etements p-cycliques des courbes rationnelles semi-stables.Mathematische Annalen, 327(2):365–393, 2003

    2003

  19. [24]

    Mumford.Stability of projective varieties

    D. Mumford.Stability of projective varieties. L’Enseignement mathematique, Universit´ e de Geneve, 1977

    1977

  20. [25]

    Mumford, J

    D. Mumford, J. Fogarty, and F. Kirwan.Geometric invariant theory, volume 34 ofErgebnisse der Mathematik und ihrer Grenzgebiete. Springer, 1994

    1994

  21. [26]

    PhD thesis, Ulm University, 2024

    Ole Ossen.Semistable reduction of covers of degree p. PhD thesis, Ulm University, 2024. arXiv:2404.16105. 32

    2024 arXiv

  22. [27]

    Semistable reduction of plane quartics at p = 3.Res

    Ole Ossen. Semistable reduction of plane quartics at p = 3.Res. Number Theory, 11(2):Paper No. 55, 27 pp., 2025

    2025

  23. [28]

    Canonical systems and their limits on stable curves.J

    Ziv Ran. Canonical systems and their limits on stable curves.J. Algebra, 399:634–656, 2014

    2014

  24. [30]

    Springer, 2009

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

    2009

  25. [31]

    StabilityFunction

    Kletus Stern. StabilityFunction. https://github.com/kst3rn/ StabilityFunction. GitHub repository

  26. [32]

    PhD thesis, Universit¨ at Ulm, 2026

    Kletus Stern. PhD thesis, Universit¨ at Ulm, 2026. forthcoming

    2026

  27. [34]

    The Sage Developers.SageMath, the Sage Mathematics Software System,

  28. [35]

    Reduction of plane quartics and Cayley octads.Foundations of Computational Mathematics, 26:1425–1496, 2026

    Raymond van Bommel, Jordan Docking, Vladimir Dokchitser, Reynald Lercier, and Elisa Lorenzo Garc ´ ıa. Reduction of plane quartics and Cayley octads.Foundations of Computational Mathematics, 26:1425–1496, 2026

    2026

  29. [36]

    Reduction of plane quartics and Dixmier–Ohno invariants

    Raymond van Bommel, Jordan Docking, Reynald Lercier, and Elisa Lorenzo Garc ´ ıa. Reduction of plane quartics and Dixmier–Ohno invariants. Research in Number Theory, 11, 2025

    2025

  30. [37]

    C. T. C. Wall.Singular Points of Plane Curves, volume 63 ofLondon Math- ematical Society Student Texts. Cambridge University Press, Cambridge, 2004

    2004

  31. [38]

    Semistable reduction of covers of curves of degree p

    Stefan Wewers. Semistable reduction of covers of curves of degree p. In Karim Belabas, Bjorn Poonen, and Fernando Rodr ´ ıguez Villegas, editors, Explicit Methods in Number Theory, volume 21 ofOberwolfach Reports. EMS, 2024. Extended abstract

    2024

  32. [40]

    Cornalba–Harris equality for semistable hyperelliptic curves in positive characteristic.Asian Journal of Mathematics, 8(3):409– 426, 2004

    Kazuhiko Yamaki. Cornalba–Harris equality for semistable hyperelliptic curves in positive characteristic.Asian Journal of Mathematics, 8(3):409– 426, 2004. Address:Institute of Algebra and Number Theory, Ulm University, Helmholtzstrasse 18, 89081 Ulm, Germany Email addresses:m...

    2004

  33. [2026]

    DOI 10.5281/zenodo.6259615

    doi

Pith tools

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