pith. sign in

arxiv: 2010.11022 · v2 · submitted 2020-10-21 · 🧮 math.AG · math.NT

Symmetric bilinear forms and local epsilon factors of isolated singularities in positive characteristic

Daichi Takeuchi This is my paper

Pith reviewed 2026-05-24 14:23 UTC · model grok-4.3

classification 🧮 math.AG math.NT
keywords bilinearformcyclesepsilonformulaisolatedlocalsingularities
0
0 comments X

The pith

A formula expresses the local epsilon factor of vanishing cycles in terms of a non-degenerate symmetric bilinear form, with its sign given by the discriminant, refining the Milnor formula and generalizing the Arf invariant in characteristic 2.

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

The work examines isolated singularities of a morphism from a smooth variety over a field to the affine line. Two different invariants are considered for such a point: a symmetric bilinear form coming from de Rham cohomology and the vanishing cycles complex coming from étale cohomology. The central result is an explicit formula that computes the local epsilon factor attached to the vanishing cycles using data from the bilinear form. In particular the sign of this epsilon factor is controlled by the discriminant of the bilinear form. This relation is presented as a refinement of the classical Milnor formula, which only compared the total dimension of the vanishing cycles to the rank of the bilinear form. In characteristic two the paper also extends the Arf invariant, originally defined for non-degenerate quadratic forms, to the setting of general isolated singularities. The constructions rely on standard tools from algebraic geometry and number theory in positive characteristic.

Core claim

we give a formula which expresses the local epsilon factor of the vanishing cycles complex in terms of the bilinear form. In particular, the sign of the local epsilon factor is determined by the discriminant of the bilinear form. This formula can be thought as a refinement of the Milnor formula.

Load-bearing premise

The morphism f from a smooth variety to the affine line has an isolated singular point and the associated symmetric bilinear form is non-degenerate, as stated in the setup of the abstract.

read the original abstract

Let $f\colon X\to\mathbb{A}^1_k$ be a morphism from a smooth variety to an affine line with an isolated singular point. For such a singularity, we have two invariants. One is a non-degenerate symmetric bilinear form (de Rham), and the other is the vanishing cycles complex (\'etale). In this article, we give a formula which expresses the local epsilon factor of the vanishing cycles complex in terms of the bilinear form. In particular, the sign of the local epsilon factor is determined by the discriminant of the bilinear form. This formula can be thought as a refinement of the Milnor formula, which compares the total dimension of the vanishing cycles and the rank of the bilinear form. In characteristic $2$, we find a generalization of the Arf invariant, which can be regarded as an invariant for non-degenerate quadratic singularities, to general isolated singularities.

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 paper claims that for a morphism f: X → A¹_k from a smooth variety over a field k with an isolated singular point, there exists an explicit formula expressing the local epsilon factor of the vanishing cycles complex (étale) in terms of the associated non-degenerate symmetric bilinear form (de Rham). In particular, the sign of this epsilon factor is determined by the discriminant of the bilinear form. The result is presented as a refinement of the Milnor formula (which equates only the total dimension of vanishing cycles with the rank of the form). In characteristic 2, the paper introduces a generalization of the Arf invariant that applies to general isolated singularities rather than only quadratic ones.

Significance. If the claimed formula holds, the work supplies a precise, sign-level refinement linking de Rham and étale invariants for isolated singularities in positive characteristic, going beyond the classical Milnor rank comparison. The explicit relation via the discriminant and the char-2 Arf-invariant generalization constitute parameter-free derivations that could be useful for computations in singularity theory and arithmetic geometry. The manuscript ships an explicit formula under clearly stated hypotheses (isolated singularity and non-degenerate form), which is a strength.

minor comments (3)
  1. [Abstract] The abstract states that the formula expresses the epsilon factor 'in terms of the bilinear form' but does not indicate whether the full form (beyond its discriminant) enters the expression; a clarifying sentence would help readers.
  2. [Introduction] Notation for the de Rham bilinear form and the vanishing-cycles complex should be introduced with a short paragraph in §1 before the main statements, to ensure consistent use throughout.
  3. [Abstract] The char-2 Arf-invariant generalization is announced but its precise definition (e.g., via a quadratic form or a Witt-class invariant) is not previewed; a one-sentence description would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the accurate summary of its contributions, and the recommendation of minor revision. The referee's description correctly identifies the refinement of the Milnor formula via the discriminant and the generalization of the Arf invariant in characteristic 2.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper presents an explicit formula relating the local epsilon factor of the vanishing cycles complex to the discriminant of a non-degenerate symmetric bilinear form on the de Rham cohomology, under the hypotheses of an isolated singularity. This is framed as a refinement of the Milnor formula comparing ranks/dimensions, with an additional generalization of the Arf invariant in characteristic 2. No equations, definitions, or steps in the abstract reduce one quantity to the other by construction, no fitted parameters are renamed as predictions, and no load-bearing claims rest on self-citations or imported uniqueness theorems. The central result is an independent mathematical identity proved from the given setup, with no visible self-referential structure.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities can be extracted from the abstract alone. The work uses standard background constructions such as vanishing cycles and de Rham bilinear forms.

pith-pipeline@v0.9.0 · 5678 in / 1119 out tokens · 30735 ms · 2026-05-24T14:23:05.413884+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

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

  1. [1]

    Hautes ´Etudes Sci

    Artin, M.: Algebraic approximation of structures over complete lo cal rings, Inst. Hautes ´Etudes Sci. Publ. Math. No. 36 (1969), 23-58

    work page 1969

  2. [2]

    (N.S.) 22 (2016), no

    Beilinson, A.: Constructible sheaves are holonomic, Selecta Math. (N.S.) 22 (2016), no. 4, 1797–1819

    work page 2016

  3. [3]

    Berg´ e, A.-M., Martinet, J.: Formes quadratiques et extensions en caract´ eristique 2, Ann. Inst. Fourier (Grenoble) 35 (1985), no. 2, 57-77. 57

    work page 1985

  4. [4]

    Springer-Verlag, Berlin-New York , 1974

    Berthelot, P.: Cohomologie cristalline des sch´ emas de caract´ eristique p> 0, Lecture Notes in Mathematics Volume 407. Springer-Verlag, Berlin-New York , 1974

    work page 1974

  5. [5]

    Alg` ebre

    Bourbaki, N.: ´El´ ements de math´ ematique. Alg` ebre. Chapitre 9, Springer-Ve rlag, Berlin, 2007. 211 pp

    work page 2007

  6. [6]

    Internat

    Deligne, P.: Les constantes des ´ equations fonctionnelles des fo nctions L, Modular functions of one variable, II (Proc. Internat. Summer School, Un iv. Antwerp, Antwerp, 1972), pp. 501-597

    work page 1972

  7. [7]

    Deligne, P.: Quadriques, SGA 7 II Expos´ e XII Groupes de Monodr omie en G´ eom´ etrie Alg´ ebrique, Lecture Notes in Mathematics Volume 340, 1973

    work page 1973

  8. [8]

    Deligne, P.: La formule de Picard-Lefschetz, SGA 7 II Expos´ e XV Groupes de Mon- odromie en G´ eom´ etrie Alg´ ebrique, Lecture Notes in MathematicsVolume 340, 1973

    work page 1973

  9. [9]

    Deligne, P.: La formule de Milnor, SGA 7 II Expos´ e XVI Groupes de M onodromie en G´ eom´ etrie Alg´ ebrique, Lecture Notes in Mathematics Volume 340, 1973

    work page 1973

  10. [10]

    Second edition, Springer-Ve rlag, Berlin, 1998

    Fulton, W.: Intersection theory. Second edition, Springer-Ve rlag, Berlin, 1998

    work page 1998

  11. [11]

    Birkh¨ auser Boston, Inc., Boston, MA, 1994

    Gelfand, I.M., Kapranov, M.M., Zelvinsky, A.V.: Discriminants, resu ltants, and multidimensional determinants, Mathematics: Theory & Applications . Birkh¨ auser Boston, Inc., Boston, MA, 1994

    work page 1994

  12. [12]

    IV.´Etude locale des sch´ emas et des morphismes de sch´ emas

    Grothendieck, A.: ´El´ ements de g´ eom´ etrie alg´ ebrique. IV.´Etude locale des sch´ emas et des morphismes de sch´ emas. III, Inst. Hautes Etudes Sci. Publ. Math. No. 28 (1966), 255 pp

    work page 1966

  13. [13]

    IV.´Etude locale des sch´ emas et des morphismes de sch´ emas

    Grothendieck, A.: ´El´ ements de g´ eom´ etrie alg´ ebrique. IV.´Etude locale des sch´ emas et des morphismes de sch´ emas. IV, Inst. Hautes ´Etudes Sci. Publ. Math. No. 32 (1967), 361 pp

    work page 1967

  14. [14]

    Grothendieck, A.: Morphismes lisses : propri´ et´ es de prolongement, SGA 1 Expos´ e III, Revˆ etements ´ etales et Groupe Fondamental, Lecture Notes in Mathematics Volume 224, 1971

    work page 1971

  15. [15]

    Guignard, Q.: Geometric local epsilon factors, arXiv:1902.06523

    work page arXiv 1902

  16. [16]

    Guignard, Q.: Geometric local ε-factors in higher dimensions, arXiv:1908.05888

    work page arXiv 1908

  17. [17]

    Hartshorne, R.: Residues and Duality, Lecture Notes in Mathem atics Volume 20, 1966

    work page 1966

  18. [18]

    Hopkins, G.: An algebraic approach to Grothendieck’s residue sy mbol, Trans. Amer. Math. Soc. 275 (1983), no. 2, 511-537

    work page 1983

  19. [19]

    Kass, J.-L., Wickelgren, K.: The class of Eisenbud-Khimshiashvili-L evine is the local A1-Brouwer degree, Duke Math. J. 168 (2019), no. 3, 429-469

    work page 2019

  20. [20]

    Hautes ´Etudes Sci

    Laumon, G.: Transformation de Fourier, constantes d’´ equations fonctionnelles et con- jecture de Weil, Inst. Hautes ´Etudes Sci. Publ. Math. No. 65 (1987), 131-210. 58

    work page 1987

  21. [21]

    Levine, M.: Toward an enumerative geometry with quadratic for ms, arXiv:1703.03049

    work page arXiv

  22. [22]

    Cambridge University Press, Cambridge, 1989

    Matsumura, H.: Commutative ring theory, Cambridge Studies in A dvanced Mathe- matics, 8. Cambridge University Press, Cambridge, 1989

    work page 1989

  23. [23]

    Neeman, A.: The Grothendieck duality theorem via Bousfield’s tec hniques and Brown representability, J. Amer. Math. Soc. 9 (1996), no. 1, 205-236

    work page 1996

  24. [24]

    Algebraic Geom

    Saito, T.: Jacobi sum Hecke characters, de Rham discriminant, and the determinant of ℓ-adic cohomologies, J. Algebraic Geom. 3 (1994), no. 3, 411–434

    work page 1994

  25. [25]

    Saito, T.: Weight spectral sequences and independence of ℓ, J. Inst. Math. Jussieu 2 (2003), no. 4, 583–634

    work page 2003

  26. [26]

    Saito, T.: The discriminant and the determinant of a hypersurfa ce of even dimension, Math. Res. Lett. 19 (2012), no. 4, 855-871

    work page 2012

  27. [27]

    Saito, T.: The characteristic cycle and the singular support of a constructible sheaf, Inventiones Mathematicae, 207(2) (2017), 597-695

    work page 2017

  28. [28]

    Springer-Verlag, New York-Berlin, 1979

    Serre, J.-P.: Local fields, Graduate Texts in Mathematics, 67. Springer-Verlag, New York-Berlin, 1979

    work page 1979

  29. [29]

    Takeuchi, D.: On continuity of local epsilon factors of ℓ-adic sheaves, arXiv:2003.06931

    work page arXiv 2003

  30. [30]

    Takeuchi, D.: Characteristic epsilon cycles of ℓ-adic sheaves on varieties, arXiv:1911.02269

    work page internal anchor Pith review Pith/arXiv arXiv 1911

  31. [31]

    Number Theor y 177 (2017), 153–169

    Terakado, Y.: The determinant of a double covering of the proj ective space of even dimension and the discriminant of the branch locus, J. Number Theor y 177 (2017), 153–169

    work page 2017

  32. [32]

    Yasuda, S.: Local ε0-characters in torsion rings, J. Th´ eor. Nombres Bordeaux 19 (2007), no. 3, 763-797

    work page 2007

  33. [33]

    Yasuda, S.: The product formula for local constants in torsion rings, J. Math. Sci. Univ. Tokyo 16 (2009), no. 2, 199-230. 59

    work page 2009