pith. sign in

arxiv: 1911.02269 · v3 · submitted 2019-11-06 · 🧮 math.AG · math.NT

Characteristic Epsilon Cycles of ell-adic Sheaves on Varieties

Daichi Takeuchi This is my paper

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

classification 🧮 math.AG math.NT
keywords l-adic sheavessingular supportcharacteristic cycleepsilon factorsMilnor formulaproduct formulafinite fieldsalgebraic geometry
0
0 comments X

The pith

For an ℓ-adic sheaf on a smooth variety, a cycle supported on its singular support refines the characteristic cycle by satisfying a Milnor-type formula for local epsilon factors.

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

The paper constructs a cycle for an ℓ-adic sheaf whose coefficients are ℓ-adic numbers modulo roots of unity. This cycle sits on the singular support and refines the usual characteristic cycle because it obeys a Milnor-type formula for local epsilon factors. The construction yields a product formula for global epsilon factors modulo roots of unity. The results extend to varieties over arbitrary perfect fields. A sympathetic reader would care because the refinement links geometric cycles directly to arithmetic invariants that appear in global formulas.

Core claim

Let X be a smooth variety over a finite field F_q. Let ℓ be a rational prime invertible in F_q. For an ℓ-adic sheaf F on X, we construct a cycle supported on the singular support of F whose coefficients are ℓ-adic numbers modulo roots of unity. It is a refinement of the characteristic cycle CC(F), in the sense that it satisfies a Milnor-type formula for local epsilon factors. After establishing fundamental results on the cycles, we prove a product formula of global epsilon factors modulo roots of unity. We also give a generalization of the results to varieties over general perfect fields.

What carries the argument

The characteristic epsilon cycle: a cycle supported on the singular support of an ℓ-adic sheaf, with coefficients in ℓ-adic numbers modulo roots of unity, defined so that it obeys the Milnor-type formula for local epsilon factors and thereby refines the characteristic cycle.

If this is right

  • The constructed cycle satisfies the Milnor-type formula relating it to local epsilon factors.
  • A product formula holds for global epsilon factors modulo roots of unity.
  • Fundamental properties of the new cycles can be established from the construction.
  • The results extend from finite fields to varieties over arbitrary perfect fields.

Where Pith is reading between the lines

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

  • The refinement may permit direct geometric computation of epsilon factors that were previously accessible only through analytic or cohomological means.
  • The modulo-roots-of-unity coefficients suggest a natural compatibility with torsion phenomena in étale cohomology.
  • The generalization to perfect fields indicates that the same cycle construction could apply in settings without a Frobenius endomorphism.

Load-bearing premise

The singular support and the characteristic cycle CC(F) for ℓ-adic sheaves already exist and possess their standard properties, which are then used to define the new refinement.

What would settle it

An explicit ℓ-adic sheaf on a smooth curve over a finite field for which the constructed cycle fails to reproduce the known local epsilon factor via the Milnor-type formula, or for which the asserted global product formula does not hold modulo roots of unity.

read the original abstract

Let $X$ be a smooth variety over a finite field $\mathbb{F}_q$. Let $\ell$ be a rational prime number invertible in $\mathbb{F}_q$. For an $\ell$-adic sheaf $\mathcal{F}$ on $X$, we construct a cycle supported on the singular support of $\mathcal{F}$ whose coefficients are $\ell$-adic numbers modulo roots of unity. It is a refinement of the characteristic cycle $CC(\mathcal{F})$, in the sense that it satisfies a Milnor-type formula for local epsilon factors. After establishing fundamental results on the cycles, we prove a product formula of global epsilon factors modulo roots of unity. We also give a generalization of the results to varieties over general perfect fields.

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

1 major / 0 minor

Summary. The paper constructs, for an ℓ-adic sheaf F on a smooth variety X over a finite field F_q (with ℓ invertible in F_q), a cycle supported on the singular support of F whose coefficients lie in Q_ℓ modulo roots of unity. This epsilon cycle refines the characteristic cycle CC(F) by satisfying a Milnor-type formula for local epsilon factors. After proving fundamental properties of these cycles, the paper establishes a product formula for global epsilon factors modulo roots of unity and generalizes the results to varieties over arbitrary perfect fields.

Significance. If the construction and proofs hold, the work supplies a concrete refinement of characteristic cycles that encodes local epsilon-factor data, yielding a product formula modulo roots of unity. This strengthens the link between singular support theory and arithmetic invariants of sheaves and extends the framework beyond finite fields, which may prove useful for questions involving ramification and global epsilon factors in ℓ-adic cohomology.

major comments (1)
  1. [Abstract / Introduction] The central construction and the Milnor-type formula that defines the refinement are invoked in the abstract but cannot be checked because no derivations, explicit definitions, or proofs are accessible in the provided review materials. This is load-bearing for the claim that the new cycle refines CC(F).

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report. We respond to the major comment below.

read point-by-point responses

  1. Referee: [Abstract / Introduction] The central construction and the Milnor-type formula that defines the refinement are invoked in the abstract but cannot be checked because no derivations, explicit definitions, or proofs are accessible in the provided review materials. This is load-bearing for the claim that the new cycle refines CC(F).

    Authors: The full manuscript contains the explicit construction of the characteristic epsilon cycle (supported on the singular support, with coefficients in Q_ℓ modulo roots of unity) and the proof of the Milnor-type formula establishing the refinement of CC(F). These appear in the main body after the introduction, along with the subsequent properties, product formula, and generalization to perfect fields. The abstract is a summary only, as is conventional. The complete text, including all derivations, was submitted and is also available on arXiv:1911.02269; if the review materials were limited to the abstract, we can supply the relevant sections. revision: no

Circularity Check

0 steps flagged

No significant circularity; derivation builds on external prior results

full rationale

The paper defines the epsilon cycle explicitly as a refinement of the pre-existing characteristic cycle CC(F) via a Milnor-type formula for local epsilon factors, then derives a product formula from that construction. The abstract and description invoke the standard existence and properties of singular support and CC(F) as given inputs from prior literature, without any self-definitional reduction, fitted-parameter renaming, or load-bearing self-citation chain. The central claims remain independent of the paper's own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claims rest on standard background from l-adic cohomology and the theory of characteristic cycles; no free parameters or new postulated entities are visible in the abstract.

axioms (2)
  • domain assumption Existence and basic properties of singular support and characteristic cycles for l-adic sheaves on smooth varieties over finite fields
    The paper refines this existing object.
  • ad hoc to paper Local epsilon factors admit a Milnor-type formula that can characterize the refinement
    This is the defining property of the new cycle according to the abstract.

pith-pipeline@v0.9.0 · 5643 in / 1315 out tokens · 39501 ms · 2026-05-24T16:05:34.093242+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

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

    math.AG 2020-10 unverdicted novelty 6.0

    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 inva...

Reference graph

Works this paper leans on

38 extracted references · 38 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

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

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

    work page 2016

  2. [2]

    Springer -Verlag, Berlin, 1977

    Deligne, P.: Applications de la formule des traces aux sommes trigon om´ etriques, SGA 4 1 2, Cohomologie ´ etale, Lecture Notes in Mathematics, 569. Springer -Verlag, Berlin, 1977

    work page 1977

  3. [3]

    Deligne, P.: Cohomologie ` a supports propres, SGA 4 Expos´ e XVII, Th´ eorie des Topos et Cohomologie ´Etale des Sch´ emas, Lecture Notes in Mathematics Volume 305, 1973

    work page 1973

  4. [4]

    Deligne, P.: Le formalisme des cycles ´ evanescents, SGA 7 II Expo s´ e XIII, Groupes de Monodromie en G´ eom´ etrie Alg´ ebrique, Lecture Notes in Mathematics Volume 340, 1973

    work page 1973

  5. [5]

    Internat

    Deligne, P.: Les constantes des quations fonctionnelles des fonc tions L, Modular functions of one variable, II (Proc. Internat. Summer School, Un iv. Antwerp, Antwerp, 1972), pp. 501597

    work page 1972

  6. [6]

    II, Inst

    Deligne, P.: La conjecture de Weil. II, Inst. Hautes tudes Sci. Pu bl. Math. No. 52 (1980), 137252

    work page 1980

  7. [7]

    II, 197218, Progr

    Ekedahl, T.: On the adic formalism, The Grothendieck Festschrift , Vol. II, 197218, Progr. Math., 87, Birkhuser Boston, Boston, MA, 1990

    work page 1990

  8. [8]

    Fujiwara, K.: Independence of ℓ for intersection cohomology (after Gabber), Algebraic geometry 2000, Azumino (Hotaka), 145151, Adv. Stud. Pure Mat h., 36, Math. Soc. Japan, Tokyo, 2002. 51

    work page 2000

  9. [9]

    Grothendieck, A.: Propret´ e cohomologique des faisceaux d’ens embles et des faisceaux de groupes non commutatifs, SGA 1 Expos´ e XIII, Revetements ´Etales et Groupe Fondamental, Lecture Notes in Mathematics Volume 224, 1971

    work page 1971

  10. [10]

    Grothendieck, A., Verdier, J.- L.: Topos, SGA 4 Expos´ e IV, Th´ eorie des Topos et Cohomologie ´Etale des Sch´ emas, Lecture Notes in Mathematics Volume 269, 197 2

    work page

  11. [11]

    Topos e t sites fibr´ es

    Grothendieck, A., Verdier, J.- L.: Conditions de finitude. Topos e t sites fibr´ es. Appli- cations aux questions de passage ` a la limite, SGA 4 Expos´ e VI, Th´ eorie des Topos et Cohomologie ´Etale des Sch´ emas, Lecture Notes in Mathematics Volume 270, 197 2

    work page

  12. [12]

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

    work page arXiv 1902

  13. [13]

    (N.S.) 24 (2018), no

    Hu, H., Yang, E.: Relative singular support and the semi-continuit y of characteristic cycles for tale sheaves, Selecta Math. (N.S.) 24 (2018), no. 3, 223 52273

    work page 2018

  14. [14]

    569 (1977)

    llusie, L.: Appendice ` a Th´ eor` emes de finitude en cohomologie ℓ-adique, Cohomologie ´ etale SGA 41 2, Springer Lecture Notes in Math. 569 (1977)

    work page 1977

  15. [15]

    152 (2017), no

    Illusie, L.: Around the ThomSebastiani theorem, with an append ix by Weizhe Zheng, Manuscripta Math. 152 (2017), no. 1-2, 61125

    work page 2017

  16. [16]

    Ast´ erisque No

    Illusie, L.: Autour du th´ eor` eme de monodromie locale, P´ eriode s p-adiques (Bures- sur-Yvette, 1988). Ast´ erisque No. 223 (1994), 957

    work page 1988

  17. [17]

    Produits orients, Travaux de Gabber sur l’u niformisation locale et la cohomologie tale des schmas quasi-excellents

    Illusie, L.: Expos XI. Produits orients, Travaux de Gabber sur l’u niformisation locale et la cohomologie tale des schmas quasi-excellents. Astrisque No. 36 3-364 (2014), 213234

    work page 2014

  18. [18]

    Jannsen, U.: Continuous ´ etale cohomology, Math. Ann. 280 (1 988), no. 2, 207245

    work page

  19. [19]

    Katz, N.-M.: Local-to-global extensions of representations o f fundamental groups, Ann. Inst. Fourier (Grenoble) 36 (1986), no. 4, 69106

    work page 1986

  20. [20]

    Katz, N.-M., Lang, S.: Finiteness theorems in geometric classfield theory, Enseign. Math. (2) 27 (1981), no. 3-4, 285319 (1982)

    work page 1981

  21. [21]

    Kiehl, R., Weissauer, R.: Weil Conjectures, Perverse Sheaves a nd ladic Fourier Trans- form, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge . A Series of Modern Surveys in Mathematics, 42, Springer-Verlag, Berlin, 2001

    work page 2001

  22. [22]

    Deligne), S´ eminaire E.N.S

    Laumon, G.: Semi-continuit´ e du conducteur de Swan (d’apr` es P. Deligne), S´ eminaire E.N.S. (1978-1979) Expos´ e 9, Ast´ erisque 82-83, 173-219 (1981)

    work page 1978

  23. [23]

    Hautes tudes Sci

    Laumon, G.: Transformation de Fourier, constantes d’quation s fonctionnelles et con- jecture de Weil, Inst. Hautes tudes Sci. Publ. Math. No. 65 (1987) , 131210

    work page 1987

  24. [24]

    Lu, Q., Zheng, W.: Duality and nearby cycles over general bases , arXiv:1712.10216

    work page arXiv

  25. [25]

    Orgogozo, F.: Modifications et cycles proches sur une base gnr ale, Int. Math. Res. Not. 2006, 1-38. 52

    work page 2006

  26. [26]

    154 (2017), no

    Saito, T.: Characteristic cycle of the external product of con structible sheaves, Manuscripta Math. 154 (2017), no. 1-2, 112

    work page 2017

  27. [27]

    Saito, T.: Correction to: The characteristic cycle and the singu lar support of a con- structible sheaf, Inventiones Mathematicae, 216(3) (2019), 10 05-1006

    work page 2019

  28. [28]

    Algebraic Geom

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

    work page 1994

  29. [29]

    Saito, T.: On the proper push-forward of the characteristic c ycle of a constructible sheaf, Algebraic geometry: Salt Lake City 2015, 485494, Proc. Sy mpos. Pure Math., 97.2, Amer. Math. Soc., Providence, RI, 2018

    work page 2015

  30. [30]

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

    work page 2017

  31. [31]

    Algebraic Geom

    Saito, T.: Wild ramification and the cotangent bundle, J. Algebraic Geom. 26 (2017), no. 3, 399473

    work page 2017

  32. [32]

    Saito, T., Yatagawa, Y.: Wild ramification determines the charact eristic cycle, Ann. Sci. c. Norm. Supr. (4) 50 (2017), no. 4, 10651079

    work page 2017

  33. [33]

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

    work page

  34. [34]

    Umezaki, N., Yang, E., Zhao, Y.: Characteristic class and the eps ilon factor of an tale sheaf, arXiv:1701.02841

    work page internal anchor Pith review Pith/arXiv arXiv

  35. [35]

    Springer-Verlag, New York, 1997

    Washington, L.: Introduction to cyclotomic fields, Second editio n Graduate Texts in Mathematics, 83. Springer-Verlag, New York, 1997

    work page 1997

  36. [36]

    Yasuda, S.: Local ε0-characters in torsion rings, J. Thor. Nombres Bordeaux 19 (2007), no. 3, 763797

    work page 2007

  37. [37]

    Yasuda, S.: Local constants in torsion rings, J. Math. Sci. Univ . Tokyo 16 (2009), no. 2, 125197

    work page 2009

  38. [38]

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

    work page 2009