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.