Tamagawa number formula with coefficients over varieties in positive characteristic
Pith reviewed 2026-05-24 22:14 UTC · model grok-4.3
The pith
The order of the pole and leading coefficient of L-functions attached to a large class of p-adic coefficients over quasi-projective varieties in positive characteristic are given explicitly by a Tamagawa-type formula.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We express the order of the pole and the leading coefficient of the L-function of a large class of p-adic coefficients over a quasi-projective variety over a finite field of characteristic p. This is a generalization of the result of Milne-Ramachandran with coefficients. The new key ingredient is the use of F-gauges and their equivalence in the derived category with Raynaud modules proved by Ekedahl.
What carries the argument
F-gauges together with their derived-category equivalence to Raynaud modules, which converts the p-adic coefficient data into a form from which pole order and leading coefficient can be read off.
If this is right
- The formula applies uniformly for coefficients at any prime p.
- The result holds for all quasi-projective varieties over finite fields of characteristic p.
- Both the pole order and the leading coefficient are expressed in terms of the same geometric invariants that appear in the coefficient-free case.
- The method replaces earlier coefficient restrictions with the broader class of objects that admit an F-gauge structure.
Where Pith is reading between the lines
- The same equivalence may allow extraction of higher-order terms in the Laurent expansion of these L-functions.
- The approach could be tested on explicit examples such as elliptic curves or abelian varieties over finite fields where independent computations of L-functions exist.
- If the equivalence is functorial in the expected way, the result would descend to statements about the special values at s=1 after removing the pole.
Load-bearing premise
The derived-category equivalence between F-gauges and Raynaud modules, proved by Ekedahl, holds for the p-adic coefficients under study and supplies the data needed to read off the pole order and leading coefficient.
What would settle it
An explicit counter-example on a specific quasi-projective variety and a concrete p-adic coefficient where the computed pole order of the L-function differs from the value predicted by the generalized Tamagawa formula.
read the original abstract
We express the order of the pole and the leading coefficient of the L-function of a (large class of) -adic coefficients (any prime) over a quasi-projective variety over a finite field of characteristic p. This is a generalization of the result of Milne-Ramachandran with coefficients. The new key ingredient is the use of F-gauges and their equivalence in the derived category with Raynaud modules proved by Ekedahl.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims to express the order of the pole and the leading coefficient of the L-function attached to a large class of p-adic coefficients (any prime) over a quasi-projective variety over a finite field of characteristic p. This generalizes the Milne-Ramachandran result with coefficients; the new ingredient is the use of F-gauges together with Ekedahl's derived-category equivalence to Raynaud modules.
Significance. If the central claim holds, the result would extend explicit formulas for L-function invariants to p-adic coefficients in positive characteristic, potentially covering a broader range than previous work. The reliance on Ekedahl's equivalence supplies a new technical route that could be useful for other questions in arithmetic geometry over finite fields.
major comments (1)
- [The equivalence step (central to the main theorem)] The extraction of pole order and leading coefficient rests on the claim that Ekedahl's derived-category equivalence between F-gauges and Raynaud modules applies directly to the p-adic coefficients under consideration and commutes with the operations (push-forward, trace maps) that define the L-function. The manuscript must verify that these coefficients satisfy all hypotheses of Ekedahl's theorem (including any implicit boundedness or finiteness conditions) in the quasi-projective setting; without an explicit check, the reduction step does not follow.
Simulated Author's Rebuttal
We thank the referee for the careful reading of the manuscript and for identifying the need for an explicit verification in the equivalence step. We address the major comment below and will revise the manuscript to incorporate the requested check.
read point-by-point responses
-
Referee: [The equivalence step (central to the main theorem)] The extraction of pole order and leading coefficient rests on the claim that Ekedahl's derived-category equivalence between F-gauges and Raynaud modules applies directly to the p-adic coefficients under consideration and commutes with the operations (push-forward, trace maps) that define the L-function. The manuscript must verify that these coefficients satisfy all hypotheses of Ekedahl's theorem (including any implicit boundedness or finiteness conditions) in the quasi-projective setting; without an explicit check, the reduction step does not follow.
Authors: We agree that the manuscript requires an explicit verification that the p-adic coefficients satisfy the hypotheses of Ekedahl's theorem, including boundedness and finiteness conditions in the quasi-projective case, and that the equivalence commutes with the relevant push-forwards and trace maps. In the revised version we will add a dedicated subsection (in the section introducing the F-gauge formalism) that carries out this check: we verify that the coefficients in question are coherent and satisfy the necessary degree bounds on the associated Raynaud modules, and we confirm functoriality of the equivalence with respect to the operations used to define the L-function by appealing to the naturality properties in Ekedahl's original work together with a direct comparison in the quasi-projective setting. This will make the reduction fully rigorous. revision: yes
Circularity Check
No circularity; central claim rests on external Ekedahl equivalence
full rationale
The paper presents a generalization of the Milne-Ramachandran result, with the key step being the direct application of Ekedahl's derived-category equivalence between F-gauges and Raynaud modules (cited as prior independent work by a different author). No self-citations appear as load-bearing premises, no parameters are fitted to a subset and then renamed as predictions, and no equations or definitions reduce the pole order or leading coefficient to the paper's own inputs by construction. The derivation is therefore self-contained against the external benchmark of Ekedahl's theorem.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The equivalence in the derived category between F-gauges and Raynaud modules proved by Ekedahl applies to the coefficients in the paper.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.