pith. machine review for the scientific record. sign in

arxiv: 2605.13425 · v1 · submitted 2026-05-13 · 🧮 math.AG

Recognition: unknown

Quadratic Euler Characteristic of Geometrically Cyclic Branched Coverings

Louisa F. Br\"oring
Authors on Pith no claims yet

Pith reviewed 2026-05-14 18:02 UTC · model grok-4.3

classification 🧮 math.AG
keywords quadratic Euler characteristicgeometrically cyclic branched coveringquadratic Riemann-Hurwitz formulaEuler classesbranched double coversprojective planealgebraic geometry
0
0 comments X

The pith

For n-fold geometrically cyclic branched coverings of smooth projective schemes branched along a smooth subscheme with n invertible, the quadratic Euler characteristic of the cover is given by Euler classes on the base and branch locus via

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

The paper computes the quadratic Euler characteristic of Y, an n-fold geometrically cyclic branched covering of a smooth projective scheme X branched at smooth closed Z, when n is invertible in the base field. It does so by direct application of Levine's quadratic Riemann-Hurwitz formula, expressing the result in terms of Euler classes pulled back from X and Z. When the degree n is odd the formula further reduces to a linear combination of the quadratic Euler characteristics of X and of Z. The same relations appear in classical topology, so the algebraic version supplies a direct parallel. An explicit calculation is carried out for geometrically cyclic branched double covers of the projective plane.

Core claim

For an n-fold geometrically cyclic branched covering Y of a smooth projective scheme X branched at a smooth closed subscheme Z with n invertible in the base field, the quadratic Euler characteristic of Y is computed in terms of certain Euler classes on X and Z using the quadratic Riemann-Hurwitz formula of Levine. In certain cases with n odd, the quadratic Euler characteristic of Y is related to the quadratic Euler characteristics of X and Z, obtaining similar formulae to the situation in topology.

What carries the argument

Levine's quadratic Riemann-Hurwitz formula, which equates the quadratic Euler characteristic of the cover to a combination of Euler classes associated to the base scheme and the branch locus.

If this is right

  • The quadratic Euler characteristic of any such Y is determined by Euler classes on X and Z alone.
  • When n is odd the relation reduces to a direct linear combination of the quadratic Euler characteristics of X and Z.
  • Explicit numerical values follow for geometrically cyclic branched double covers of the projective plane.
  • The same pattern of relations that holds topologically for odd-degree covers carries over to the algebraic setting.

Where Pith is reading between the lines

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

  • The method supplies a practical route to quadratic Euler characteristics of higher-dimensional varieties that are otherwise hard to compute directly.
  • Analogous formulae may exist for non-cyclic or non-geometrically-cyclic branched covers once suitable Riemann-Hurwitz identities are available.
  • The topological parallel suggests that quadratic Euler characteristics detect the same ramification data as their classical counterparts across both settings.

Load-bearing premise

Levine's quadratic Riemann-Hurwitz formula applies directly once the covering is geometrically cyclic, X and Z are smooth and projective, and n is invertible in the base field.

What would settle it

An independent computation of the quadratic Euler characteristic for a concrete geometrically cyclic double cover of P^2 that fails to match the value predicted by the formula.

read the original abstract

For an $n$-fold geometrically cyclic branched covering $Y$ of a smooth, projective scheme $X$ branched at a smooth closed subscheme $Z\subset X$ with $n \in k^\times$, we compute the quadratic Euler characteristic of $Y$ in terms of certain Euler classes on $X$ and $Z$ using the quadratic Riemann-Hurwitz formula of Levine. In certain cases with $n$ odd, we relate the quadratic Euler characteristic of $Y$ to the quadratic Euler characteristics of $X$ and $Z$, obtaining similar formulae to the situation in topology. As an application, we compute the quadratic Euler characteristic of geometrically cyclic branched double coverings of $\mathbb{P}^2$.

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 / 3 minor

Summary. The manuscript claims that for an n-fold geometrically cyclic branched covering Y of a smooth projective scheme X branched along a smooth closed subscheme Z (with n invertible in the base field), the quadratic Euler characteristic of Y is computed in terms of Euler classes on X and Z by direct application of Levine's quadratic Riemann-Hurwitz formula. For odd n, this yields explicit relations between the quadratic Euler characteristics of Y, X, and Z that parallel the topological setting. The paper concludes with an application computing the quadratic Euler characteristic for geometrically cyclic branched double covers of P².

Significance. If the direct applicability of Levine's formula holds under the stated smoothness, projectivity, and invertibility hypotheses, the result supplies concrete algebraic formulas for quadratic Euler characteristics of branched covers. This bridges A¹-homotopy theory with classical topology, enables explicit computations in motivic settings, and provides a template for similar calculations on other geometrically cyclic covers.

minor comments (3)
  1. §1 (Introduction): the precise statement of the quadratic Riemann-Hurwitz formula from Levine is invoked but not restated; including the exact formula (with equation number) would make the derivation self-contained for readers unfamiliar with the reference.
  2. §3 (Application to P²): the computation for double covers of P² is presented as a corollary, but the explicit Euler-class terms on P² and the branch curve are not written out; adding these would strengthen the example.
  3. Notation: the symbol χ_quad is used throughout without an initial definition in the body (only in the abstract); a short paragraph defining it via the Euler class in the Grothendieck-Witt ring would improve clarity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary and recommendation of minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation applies Levine's quadratic Riemann-Hurwitz formula (an external, independently published result) to compute the quadratic Euler characteristic of the branched cover Y. The abstract and claim present this as a direct application under matching hypotheses on smoothness, projectivity, and n invertible; the odd-n specialization follows formally from the same external formula. No self-citation load-bearing steps, fitted inputs renamed as predictions, or definitional reductions appear in the provided chain. The result is self-contained against the cited external benchmark.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The derivation rests on Levine's quadratic Riemann-Hurwitz formula (cited, treated as external input) together with standard facts about smooth projective schemes, Euler classes in algebraic geometry, and the definition of geometrically cyclic branched covers. No free parameters or invented entities are introduced.

axioms (2)
  • domain assumption Levine's quadratic Riemann-Hurwitz formula holds for the schemes and covers under consideration
    Invoked in the abstract as the starting point for the computation
  • domain assumption X is smooth and projective, Z is smooth closed subscheme, n invertible in the base field
    Stated as hypotheses in the abstract

pith-pipeline@v0.9.0 · 5409 in / 1409 out tokens · 32974 ms · 2026-05-14T18:02:57.195276+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

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

  1. [1]

    Euler classes: six-functors form- alism, dualities, integrality and linear subspaces of complete intersections

    Contemp. Math. Amer. Math. Soc., [Providence], RI, 2020, pp. 1–19. [BW23] Tom Bachmann and Kirsten Wickelgren. “Euler classes: six-functors form- alism, dualities, integrality and linear subspaces of complete intersections”. In:J. Inst. Math. Jussieu22.2 (2023), pp. 681–746. [BMP23] Thomas Brazelton, Stephen McKean and Sabrina Pauli. “Bézoutians and theA ...

    work page 2020

  2. [2]

    Finite Chow-Witt correspondences

    arXiv:1412.2989 [math.AG]. [DJK21] Frédéric Déglise, Fangzhou Jin and Adeel Khan. “Fundamental classes in motivic homotopy theory”. In:Journal of the European Mathematical Society23.12 (2021). [DIK00] A. Degtyarev, I. Itenberg and V. Kharlamov.Real Enriques surfaces. Vol

    work page internal anchor Pith review Pith/arXiv arXiv 2021

  3. [3]

    Springer-Verlag, Berlin, 2000, pp

    Lecture Notes in Mathematics. Springer-Verlag, Berlin, 2000, pp. xvi+259. [DK73] PierreDeligneandNicholasKatz,eds.Groupes de monodromie en géométrie algébrique. II. Vol. Vol

    work page 2000

  4. [4]

    Duality, trace and transfer

    Lecture Notes in Mathematics. Séminaire de Géométrie Algébrique du Bois-Marie 1967–1969 (SGA 7 II). Springer- Verlag, Berlin-New York, 1973, pp. x+438. [DP80] Albrecht Dold and Dieter Puppe. “Duality, trace and transfer”. In:Pro- ceedings of the International Conference on Geometric Topology (Warsaw, 1978). Ed. by K. Borsuk and A. Kirkor

    work page 1967

  5. [5]

    Milnor-WittK-groups of local rings

    [GSZ16] StefanGille,StephenScullyandChanglongZhong. “Milnor-WittK-groups of local rings”. In:Adv. Math.286 (2016), pp. 729–753. [Har77] Robin Hartshorne.Algebraic geometry. Vol. No

    work page 2016

  6. [6]

    A quadratic refinement of the Grothendieck-Lefschetz- Verdier trace formula

    Graduate Texts in Mathematics. Springer-Verlag, New York-Heidelberg, 1977, pp. xvi+496. [Hoy14] Marc Hoyois. “A quadratic refinement of the Grothendieck-Lefschetz- Verdier trace formula”. In:Algebraic and Geometric Topology14 (2014), pp. 3603–3658. [Hoy17] MarcHoyois. “Thesixoperationsinequivariantmotivichomotopytheory”. In:Advances in Mathematics305 (201...

    work page 1977

  7. [7]

    TheclassofEisenbud-Khimshiashvili- Levine is the localA1-Brouwer degree

    Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 2016, pp. xi+485. [KW19] JesseLeoKassandKirstenWickelgren. “TheclassofEisenbud-Khimshiashvili- Levine is the localA1-Brouwer degree”. In:Duke Math. J.168.3 (2019), pp. 429–469. [Laz04] Robert Lazarsfeld.Positivity in algebraic geometry. I. Vol

    work page 2016

  8. [8]

    Aspects of Enumerative Geometry with Quadratic Forms

    Ergeb. Math. Grenzgeb. (3). Springer-Verlag, Berlin, 2004, pp. xviii+387. [Lev20] Marc Levine. “Aspects of Enumerative Geometry with Quadratic Forms”. In:Documenta Mathematica25 (2020), pp. 2179–2239. [LPS24] Marc Levine, Simon Pepin Lehalleur and Vasudevan Srinivas. “Euler char- acteristics of homogeneous and weighted-homogeneous hypersurfaces”. In: Adva...

    work page 2004

  9. [9]

    A1-homotopy theory of schemes

    Springer Verlag, 2012, pp. x+259. 39 [MV99] Fabien Morel and Vladimir Voevodsky. “A1-homotopy theory of schemes”. In:Inst. Hautes Études Sci. Publ. Math.90 (1999), pp. 45–143. [PP23] Jesse Pajwani and Ambrus Pál.An arithmetic Yau-Zaslow formula

    work page 2012

  10. [10]

    Jacobi sum Hecke characters, de Rham discriminant, and the determinant ofℓ-adic cohomologies

    arXiv:2210.15788v2 [math.AG]. [Sai94] Takeshi Saito. “Jacobi sum Hecke characters, de Rham discriminant, and the determinant ofℓ-adic cohomologies”. In:Journal of Algebraic Geometry 3.3 (1994), pp. 411–434. [Sch85] Winfried Scharlau.Quadratic and Hermitian forms. Vol

    work page arXiv 1994

  11. [11]

    Über Spurfunktionen bei vollständigen Durchschnitten

    [SS75] Günter Scheja and Uwe Storch. “Über Spurfunktionen bei vollständigen Durchschnitten”. In:J. Reine Angew. Math.278/279 (1975), pp. 174–190. [SS79] Günter Scheja and Uwe Storch. “Residuen bei vollständigen Durchschnit- ten”. In:Math. Nachr.91 (1979), pp. 157–170. [Sta24] The Stacks project authors.The Stacks project.https://stacks.math. columbia.edu

    work page 1975

  12. [12]

    The quadratic Euler characteristic of a smooth pro- jective same-degree complete intersection

    [use14] user 3462 (https://math.stackexchange.com/users/98299/user-3462).An ideal whose radical is maximal is primary. Mathematics Stack Exchange. 23rd Jan. 2014.url:https://math.stackexchange.com/q/649179. [Vie25] Anna M. Viergever. “The quadratic Euler characteristic of a smooth pro- jective same-degree complete intersection”. In:Ann. K-Theory10.4 (2025...

    work page 2014

  13. [13]

    Theorie der quadratischen Formen in beliebigen Körpern

    [Wit37] Ernst Witt. “Theorie der quadratischen Formen in beliebigen Körpern”. In:Journal für die reine und angewandte Mathematik176 (1937), pp. 31–

    work page 1937