The absolute Euler product representation of the absolute zeta function for a torsion free Noetherian \(\mathbb{F}_1\)-scheme (Q2162789)

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.