$p$-adic Theory for Partial Toric Exponential Sums

C. Douglas Haessig

arxiv: 2604.07330 · v1 · submitted 2026-04-08 · 🧮 math.NT

p-adic Theory for Partial Toric Exponential Sums

C. Douglas Haessig This is my paper

Pith reviewed 2026-05-10 17:12 UTC · model grok-4.3

classification 🧮 math.NT

keywords partial toric L-functionsp-adic cohomologyFredholm determinantsA-hypergeometric seriesexponential sumsrationalityunit rootsmeromorphic functions

0 comments

The pith

Partial toric L-functions are rational via p-adic twisted Fredholm determinants and a new cohomology theory.

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

The paper supplies a p-adic proof that partial toric L-functions are rational, following the analytic methods of Dwork rather than the existing l-adic approach. It writes these L-functions as alternating products of twisted Fredholm determinants of completely continuous operators; the determinants are p-adic meromorphic. A p-adic cohomology theory is constructed that supplies a cohomological formula for the same L-functions. The work ends by proving that each such L-function has a unique p-adic unit root given explicitly by an A-hypergeometric series.

Core claim

Partial toric L-functions can be expressed as an alternating product of twisted Fredholm determinants of completely continuous operators. These determinants are p-adic meromorphic, which yields the rationality of the L-functions. A p-adic cohomology theory is constructed for the partial toric exponential sums and supplies a cohomological formula for the L-functions. The L-functions possess a unique p-adic unit root that can be written in terms of A-hypergeometric series.

What carries the argument

Twisted Fredholm determinants of completely continuous operators attached to partial toric exponential sums; these determinants are p-adic meromorphic and serve as the analytic engine for both the rationality proof and the subsequent p-adic cohomology construction.

If this is right

Rationality of partial toric L-functions follows from p-adic meromorphy of the twisted determinants.
The L-functions admit an explicit p-adic cohomological formula.
Each partial toric L-function has a unique p-adic unit root given by an A-hypergeometric series.

Where Pith is reading between the lines

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

The same twisted-determinant construction may supply p-adic rationality proofs for other families of exponential sums where only l-adic results are known.
The hypergeometric formula for the unit root makes the leading p-adic slope computable without evaluating the full L-function.
The partial-sum setting may be relaxed to recover classical Dwork theory as a special case.

Load-bearing premise

The twisted Fredholm determinants coming from partial toric exponential sums are p-adic meromorphic and allow construction of a complete p-adic cohomology theory without extra obstructions.

What would settle it

Explicit computation of the partial L-function for a low-dimensional toric example that fails to equal the predicted alternating product of the twisted determinants or whose unit root fails to match the A-hypergeometric series.

read the original abstract

Wan proved the rationality of partial toric $L$-functions using $\ell$-adic techniques. In this paper, we present a $p$-adic proof in the spirit of Dwork. We demonstrate that partial $L$-functions can be expressed as an alternating product of twisted Fredholm determinants. These twisted determinants appear to be intrinsic to the analytic structure of partial $L$-functions, and unlike their classical counterparts, twisted Fredholm determinants of completely continuous operators are not automatically $p$-adic entire functions. However, for partial $L$-functions they will be $p$-adic meromorphic. After proving rationality, we construct a $p$-adic cohomology theory and give a $p$-adic cohomological formula for partial toric $L$-functions. Last, we show they have a unique $p$-adic unit root which may be explicitly written in terms of $A$-hypergeometric series.

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.

Desk Editor's Note private letter to a colleague

This paper delivers a p-adic rationality proof for partial toric L-functions plus an explicit A-hypergeometric formula for the unit root.

read the letter

The main point is that Haessig has produced a Dwork-style p-adic proof of rationality for these partial toric L-functions, built the corresponding cohomology theory, and given an explicit expression for the unique unit root in terms of A-hypergeometric series. That combination is the actual advance over Wan's earlier l-adic work. The paper shows how to write the L-functions as alternating products of twisted Fredholm determinants of completely continuous operators, proves those determinants are p-adic meromorphic in this setting, constructs the cohomology, and extracts the unit root formula. These steps are new and follow the classical Dwork pattern without obvious circularity. The explicit hypergeometric expression stands out as a concrete output that could be tested directly. The constructions appear to be carried through in detail, with the operators defined and the meromorphicity established for the partial case rather than assumed in general. One minor soft spot is that the twisted determinants are not automatically meromorphic, so the argument depends on the specific analytic properties of the partial toric sums; if those properties are verified cleanly in the text, the claim holds. No load-bearing gaps show up in the strategy. This is aimed at people working on exponential sums, p-adic cohomology, and arithmetic L-functions. A reader already familiar with Dwork theory or Wan's results will see the value in the alternative proof and the explicit formula. It is technical but focused, so it deserves a serious referee who can check the operator details and the hypergeometric identification. I would send it to peer review.

Referee Report

1 major / 2 minor

Summary. The paper offers a p-adic proof, in the spirit of Dwork, for the rationality of partial toric L-functions associated with exponential sums, previously established by Wan using ℓ-adic methods. It expresses the partial L-functions as alternating products of twisted Fredholm determinants of completely continuous operators, proves these determinants are p-adic meromorphic, constructs a p-adic cohomology theory to obtain a cohomological formula for the L-functions, and shows that they have a unique p-adic unit root that can be explicitly written using A-hypergeometric series.

Significance. If the central claims hold, this provides a valuable p-adic counterpart to existing ℓ-adic results on partial toric L-functions. The construction of the p-adic cohomology theory and the explicit formula for the unit root in terms of A-hypergeometric series are particular strengths, as they offer concrete tools for further study and potential computational applications in the p-adic setting. This aligns with and extends Dwork's framework for exponential sums.

major comments (1)

[Rationality proof section (following the abstract's description of expressing L-functions as alternating products)] The section establishing rationality via twisted Fredholm determinants: the claim that these determinants are p-adic meromorphic (in contrast to the general case for completely continuous operators) is load-bearing for the rationality result, but the manuscript provides insufficient detail on the specific analytic estimates or reductions that exploit the partial toric structure to guarantee meromorphy rather than entirety; an explicit reference to the relevant trace formula or norm bound from Dwork theory would strengthen this step.

minor comments (2)

[Introduction] The introduction would benefit from a short paragraph contrasting the p-adic construction with Wan's ℓ-adic approach to clarify the novel aspects of the twisted determinants and cohomology.
[Cohomological formula section] In the cohomological formula, the precise grading and the alternating product over the cohomology groups should be stated explicitly with reference to the degrees involved.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive summary, recognition of the paper's strengths, and the recommendation of minor revision. The feedback is constructive and helps clarify the presentation of the p-adic rationality proof. We address the single major comment below.

read point-by-point responses

Referee: The section establishing rationality via twisted Fredholm determinants: the claim that these determinants are p-adic meromorphic (in contrast to the general case for completely continuous operators) is load-bearing for the rationality result, but the manuscript provides insufficient detail on the specific analytic estimates or reductions that exploit the partial toric structure to guarantee meromorphy rather than entirety; an explicit reference to the relevant trace formula or norm bound from Dwork theory would strengthen this step.

Authors: We agree that the meromorphy claim is central and that the exposition can be strengthened by additional explicit detail. The manuscript already notes that twisted Fredholm determinants are not automatically entire (unlike the classical case) and attributes meromorphy to the partial toric structure, but we will expand the rationality section in the revision to include a dedicated paragraph. This will reference Dwork's p-adic trace formula for exponential sums together with the specific norm bounds on the Banach spaces of p-adic analytic functions (adapted to the toric partial sums) that control the growth and produce only finitely many poles. These estimates exploit the finite support of the partial sums to guarantee meromorphy. We believe this directly addresses the referee's concern while preserving the overall argument. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected in derivation chain

full rationale

The paper constructs a p-adic theory for partial toric L-functions by expressing them as alternating products of twisted Fredholm determinants of completely continuous operators, proving p-adic meromorphicity and rationality directly, then building a Dwork-style cohomology theory to obtain a cohomological formula, and finally exhibiting the unique unit root via A-hypergeometric series. None of these steps reduce by construction to fitted inputs, self-definitions, or load-bearing self-citations; the argument is self-contained as an independent p-adic counterpart to Wan's ℓ-adic result, with all key properties derived from the analytic structure of the sums rather than presupposed.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The abstract invokes standard p-adic analysis and Fredholm theory but does not specify free parameters or new axioms; the 'twisted' variant of Fredholm determinants appears to be introduced as an intrinsic object for this setting.

axioms (1)

standard math Standard properties of p-adic analysis and completely continuous operators on p-adic Banach spaces
Used to define Fredholm determinants and to prove meromorphicity for the partial L-functions.

invented entities (1)

twisted Fredholm determinant no independent evidence
purpose: To express partial toric L-functions as alternating products and to serve as the analytic building block for the p-adic theory
Described as intrinsic to the analytic structure of partial L-functions and not automatically entire.

pith-pipeline@v0.9.0 · 5449 in / 1504 out tokens · 66626 ms · 2026-05-10T17:12:58.540610+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

10 extracted references · 10 canonical work pages

[1]

2, 367–406

Alan Adolphson and Steven Sperber,Exponential Sums and Newton Polyhedra: Cohomology and Estimates, Annals of Math.130(1989), no. 2, 367–406. 19

work page 1989
[2]

3, 573–585

Alan Adolphson and Steven Sperber,On unit root formulas for toric exponential sums, Algebra Number Theory6(2012), no. 3, 573–585. MR 2966711

work page 2012
[3]

Douglas Haessig, and Yan Li,Partial zeta functions, partial exponential sums, andp-adic estimates, Finite Fields Appl.87(2023), Paper No

Noah Bertram, Xiantao Deng, C. Douglas Haessig, and Yan Li,Partial zeta functions, partial exponential sums, andp-adic estimates, Finite Fields Appl.87(2023), Paper No. 102139, 18. MR 4531526

work page 2023
[4]

Dwork,On the rationality of the zeta function of an algebraic variety, Amer

B. Dwork,On the rationality of the zeta function of an algebraic variety, Amer. J. of Math.82(1960), no. 3, 631 – 648

work page 1960
[5]

Lei Fu and Daqing Wan,Total degree bounds for Artin L-functions and partial zeta functions, Math. Res. Lett.10(2003), no. 1, 33–40. MR 1960121

work page 2003
[6]

Ann.328(2004), no

,Moment L-functions, partial L-functions and partial exponential sums, Math. Ann.328(2004), no. 1-2, 193–228. MR 2030375

work page 2004
[7]

101927, 32

Jos´ e Alves Oliveira,On diagonal equations over finite fields, Finite Fields Appl.76(2021), Paper No. 101927, 32. MR 4318328

work page 2021
[8]

Hautes ´Etudes Sci

Jean-Pierre Serre,Endomorphismes compl` etement continus des espaces de Banachp-adiques, Inst. Hautes ´Etudes Sci. Publ. Math. (1962), no. 12, 69–85. MR 0144186 (26 #1733)

work page 1962
[9]

1, 238–251, Dedicated to Professor Chao Ko on the occasion of his 90th birthday

Daqing Wan,Partial zeta functions of algebraic varieties over finite fields, Finite Fields and their Applications7(2001), no. 1, 238–251, Dedicated to Professor Chao Ko on the occasion of his 90th birthday. MR 1803946

work page 2001
[10]

,Rationality of partial zeta functions, Indag. Math. (N.S.)14(2003), no. 2, 285–292. MR 2027782 haessig@math.arizona.edu 20

work page 2003

[1] [1]

2, 367–406

Alan Adolphson and Steven Sperber,Exponential Sums and Newton Polyhedra: Cohomology and Estimates, Annals of Math.130(1989), no. 2, 367–406. 19

work page 1989

[2] [2]

3, 573–585

Alan Adolphson and Steven Sperber,On unit root formulas for toric exponential sums, Algebra Number Theory6(2012), no. 3, 573–585. MR 2966711

work page 2012

[3] [3]

Douglas Haessig, and Yan Li,Partial zeta functions, partial exponential sums, andp-adic estimates, Finite Fields Appl.87(2023), Paper No

Noah Bertram, Xiantao Deng, C. Douglas Haessig, and Yan Li,Partial zeta functions, partial exponential sums, andp-adic estimates, Finite Fields Appl.87(2023), Paper No. 102139, 18. MR 4531526

work page 2023

[4] [4]

Dwork,On the rationality of the zeta function of an algebraic variety, Amer

B. Dwork,On the rationality of the zeta function of an algebraic variety, Amer. J. of Math.82(1960), no. 3, 631 – 648

work page 1960

[5] [5]

Lei Fu and Daqing Wan,Total degree bounds for Artin L-functions and partial zeta functions, Math. Res. Lett.10(2003), no. 1, 33–40. MR 1960121

work page 2003

[6] [6]

Ann.328(2004), no

,Moment L-functions, partial L-functions and partial exponential sums, Math. Ann.328(2004), no. 1-2, 193–228. MR 2030375

work page 2004

[7] [7]

101927, 32

Jos´ e Alves Oliveira,On diagonal equations over finite fields, Finite Fields Appl.76(2021), Paper No. 101927, 32. MR 4318328

work page 2021

[8] [8]

Hautes ´Etudes Sci

Jean-Pierre Serre,Endomorphismes compl` etement continus des espaces de Banachp-adiques, Inst. Hautes ´Etudes Sci. Publ. Math. (1962), no. 12, 69–85. MR 0144186 (26 #1733)

work page 1962

[9] [9]

1, 238–251, Dedicated to Professor Chao Ko on the occasion of his 90th birthday

Daqing Wan,Partial zeta functions of algebraic varieties over finite fields, Finite Fields and their Applications7(2001), no. 1, 238–251, Dedicated to Professor Chao Ko on the occasion of his 90th birthday. MR 1803946

work page 2001

[10] [10]

,Rationality of partial zeta functions, Indag. Math. (N.S.)14(2003), no. 2, 285–292. MR 2027782 haessig@math.arizona.edu 20

work page 2003