Spectral zeta functions in positive characteristic

Abstract

Spectral zeta functions and zeta-regularized determinants encode the spectrum of an operator in analytic functions. Over the completion ℂ_∞ of an algebraic closure of 𝔽_q((π)), two features of characteristic p break this classical picture. Complex powers have exponents that vary only continuously in ℤ_p, not analytically. Scalar traces record eigenvalue multiplicities only modulo p. We develop a resolvent-based theory that treats these two obstructions separately. For the first, inverse Stieltjes duality turns suitable scalar resolvents into locally analytic spectral distributions on 𝔽_q[[π]]. A single exponent of the Mellin transform already determines the distribution and the entire Mellin family. We characterize exactly which power series arise in this way, by a growth condition on Carlitz moments. The criterion depends on the support: bounded Taylor coefficients are not sufficient. For stationary digit measures, the transform is the unique fixed point of an explicit contraction. The first q−1 nonconstant moments recover the measure. For the second, we replace traces by the Frobenius defect F/σ(F), where σ raises coefficients to their qth powers. On power series with small coefficients, this map is a group automorphism that preserves Gauss distances, and a convergent infinite product inverts it. Polynomial defects produce entire functions. They characterize exactly the diagonal spectra that are finite unions of forward Frobenius orbits, counted with multiplicity. For the shifted Carlitz operator, the resulting Fredholm determinant is a normalized reciprocal of the Anderson--Thakur function, and its Newton polygon is determined exactly.

Multiple Zeta Values in Positive Characteristic: A Kaneko-Zagier-Type Conjecture
Hung-Chun Tsui
arXiv26 Sep 2026PreprintCC BY 4.0Full textAlgebra & number theoryarXiv
The threshold for linear independence of multiple zeta values in positive characteristic
Bo-Hae Im, Hojin Kim, Tuan Ngo Dac
HAL10 Sep 2026PreprintCC BY-NC-ND 4.0Full textGeneral mathematicsHAL
Todd's relation conjecture and binary relations for multiple zeta values in positive characteristic
Jinyuan Hu
arXiv5 Oct 2026PreprintarXiv licenceFull textAlgebra & number theoryarXiv
The Hodge-to-de Rham spectral sequence can be arbitrarily non-degenerate in positive characteristic
Kehao Cheng
arXiv26 Oct 2026PreprintarXiv licenceFull textAlgebra & number theory Geometry & topologyarXiv
A spectral theory of zeta functions of function fields
Masatoshi Suzuki
arXiv30 Oct 2026PreprintarXiv licenceFull textAlgebra & number theoryarXiv

Cite

BibTeX RIS

BibTeX

@misc{hu2026spectral,
  title = {{Spectral zeta functions in positive characteristic}},
  author = {Su Hu and Min-Soo Kim},
  howpublished = {arXiv},
  year = {2026},
  month = oct,
  doi = {10.48550/arxiv.2610.35306},
  eprint = {2610.35306},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2610.35306},
}

RIS

TY  - UNPB
TI  - Spectral zeta functions in positive characteristic
AU  - Su Hu
AU  - Min-Soo Kim
PY  - 2026
DA  - 2026/10/26
PB  - arXiv
DO  - 10.48550/arxiv.2610.35306
UR  - https://arxiv.org/abs/2610.35306
AB  - Spectral zeta functions and zeta-regularized determinants encode the spectrum of an operator in analytic functions. Over the completion ℂ_∞ of an algebraic closure of 𝔽_q((π)), two features of characteristic p break this classical picture. Complex powers have exponents that vary only continuously in ℤ_p, not analytically. Scalar traces record eigenvalue multiplicities only modulo p. We develop a resolvent-based theory that treats these two obstructions separately. For the first, inverse Stieltjes duality turns suitable scalar resolvents into locally analytic spectral distributions on 𝔽_q[[π]]. A single exponent of the Mellin transform already determines the distribution and the entire Mellin family. We characterize exactly which power series arise in this way, by a growth condition on Carlitz moments. The criterion depends on the support: bounded Taylor coefficients are not sufficient. For stationary digit measures, the transform is the unique fixed point of an explicit contraction. The first q−1 nonconstant moments recover the measure. For the second, we replace traces by the Frobenius defect F/σ(F), where σ raises coefficients to their qth powers. On power series with small coefficients, this map is a group automorphism that preserves Gauss distances, and a convergent infinite product inverts it. Polynomial defects produce entire functions. They characterize exactly the diagonal spectra that are finite unions of forward Frobenius orbits, counted with multiplicity. For the shifted Carlitz operator, the resulting Fredholm determinant is a normalized reciprocal of the Anderson--Thakur function, and its Newton polygon is determined exactly.
ER  -

Abstract

Related

Cite