Regularized determinant formulas for the zeta functions of 3-dimensional Riemannian foliated dynamical systems

We prove a regularized determinant formula for the zeta functions of certain 3-dimensional Riemannian foliated dynamical systems, in terms of the infinitesimal operator induced by the flow acting on the reduced leafwise cohomologies. It is the formula conjectured by Deninger. The proof is based on relating the dynamical spectral $\xi$-functions, analogues of the $\xi$-function in analytic number theory, with the zeta function, by applying the distributional dynamical Lefschetz trace formula.