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

The absolute zeta function for a scheme $X$ of finite type over $\mathbb{Z}$ satisfying a certain condition is defined as the limit as $p\to 1$ of the congruent zeta function for $X\otimes {\mathbb{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 $\mathbb{Z}$ 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.