The absolute Euler product representation of the absolute zeta function for a torsion free Noetherian F₁-scheme

DOI10.1016/J.JNT.2021.08.009MaRDI QIDQ2162789zbMATH OpenOpenAlexWikidataFDO

Authors Takuki Tomita

Publication date 9 August 2022

Published in Journal of Number Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2012.10486

zbMATH Keywords

\(\mathbb{F}_1\)-schemesabsolute Euler productabsolute geometryabsolute zeta functionsthe field with one element

Mathematics Subject Classification ID

(zeta (s)) and (L(s, chi)) (11M06) Other Dirichlet series and zeta functions (11M41) Zeta functions and related questions in algebraic geometry (e.g., Birch-Swinnerton-Dyer conjecture) (14G10)

Abstract: The absolute zeta function for a scheme $X$ of finite type over $mathbbZ$ satisfying a certain condition is defined as the limit as $po1$ of the congruent zeta function for $Xotimesmathbb{F}_p$. In 2016, after calculating absolute zeta functions for a few specific schemes, Kurokawa suggested that an absolute zeta function for a general scheme of finite type over $mathbbZ$ should have an infinite product structure which he called the absolute Euler product. In this article, formulating his suggestion using a torsion free Noetherian $mathbb{F}_1$-scheme defined by Connes and Consani, we give a proof of his suggestion. Moreover, we show that each factor of the absolute Euler product is derived from the counting function of the $mathbb{F}_1$-scheme.

Review text

For a scheme \(X\) of finite type over \(\mathbb{Z}\) with a counting function \(N_X(t)\) as polynomial, the absolute zeta function for \(X\) treated as an \({\mathbb{F}}_1\)-scheme is defined as \[ \zeta^{\mathrm{abs}}_X (s) = \lim\limits_{p \to 1} (p - 1)^{N_X(1)}Z(X, p^{-s}),\quad s \in \mathbb{R}, \] where \(Z(X, p^{-s})\) is the zeta function of \(X_p\) given as \[ Z(X, p^{-s}) := \exp\bigg( \sum_{m=1}^\infty \frac{N_X(p^m)}{m}p^{-sm}\bigg). \] \textit{N. Kurokawa} [Theory of absolute zeta functions. Tokyo: Iwanami Publication (2016)] conjectured that the absolute zeta function for a general scheme of finite type over \(\mathbb{Z}\) should have an infinite product structure which he called the absolute Euler product. In the paper, the author, using a torsion free Noetherian \(\mathbb{F}_1\)-scheme, proves this conjecture. Also he shows that each factor of the absolute Euler product is derived from the counting function of the \(\mathbb{F}_1\)-scheme.

Recommendations

• Absolute zeta functions
• scientific article; zbMATH DE number 2207642
• Functional equations for zeta functions of F₁-schemes
• Absolute zeta functions and absolute tensor products
• The Riemann hypothesis and functional equations for zeta functions over \(\mathbb F_1\)

Cites work

• \(\mathbb F_1\)-schemes and toric varieties
• Ergodic theory. With a view towards number theory
• scientific article; zbMATH DE number 426386 (Why is no real title available?)
• scientific article; zbMATH DE number 3137862 (Why is no real title available?)
• scientific article; zbMATH DE number 2142717 (Why is no real title available?)
• scientific article; zbMATH DE number 758277 (Why is no real title available?)
• scientific article; zbMATH DE number 772545 (Why is no real title available?)
• scientific article; zbMATH DE number 3404329 (Why is no real title available?)
• Mapping \(\mathbb F_1\)-land: an overview of geometries over the field with one element
• Rational points on varieties
• Schemes over $$ \mathbb{F}_1 $$
• Schemes over \(\mathbb F_{1}\) and zeta functions

Cited in

(2)

• Absolute zeta functions
• Absolute zeta functions arising from ceiling and floor Puiseux polynomials

Describes a project that uses

Uses Software

• OEIS

This page was built for publication: The absolute Euler product representation of the absolute zeta function for a torsion free Noetherian \(\mathbb{F}_1\)-scheme

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2162789)