---
title: Deninger’s Foliated Dynamical Systems
url: https://www.emergentmind.com/topics/deninger-s-foliated-dynamical-systems
type: topic
---

# Deninger’s Foliated Dynamical Systems

Deninger’s foliated dynamical systems are the dynamical-geometric objects proposed in Deninger’s programme for recasting arithmetic schemes, zeta functions, and explicit formulas in the language of foliations, flows, and Lefschetz-type trace formulas. In this viewpoint, arithmetic data are organized on a space carrying a foliation and a transverse flow; primes become closed orbits, archimedean places become fixed points, and spectral data of a dynamical operator on leafwise cohomology are expected to encode zeros of zeta or \(L\)-functions [1307.3851]. The subject has both conjectural and concrete components: there are explicit arithmetic constructions for number rings, especially abelian extensions of \(\mathbb Q\), and there are rigorous geometric analogues on \(3\)-dimensional Riemannian foliated dynamical systems where determinant formulas and trace formulas are theorems [2508.15971][2410.20758].

## 1. Programmatic origin and arithmetic-dynamical dictionary

Leichtnam presents Deninger’s programme as having two steps. First, one postulates cohomology groups with natural properties from which one can formally derive the functional equation, Riemann hypothesis-type statements, the Artin conjecture, and Beilinson-type conjectures. Second, one seeks to construct those cohomologies, ideally as leafwise cohomology of a suitably dynamical foliated space. In this formulation, the explicit formulas for zeta and \(L\)-functions are to be interpreted as Lefschetz trace formulas [1307.3851].

The basic dictionary repeatedly used in the literature is stable across the arithmetic and geometric sides of the programme.

| Arithmetic language | Foliated-dynamical language |
|---|---|
| Prime ideals or primes | Closed orbits |
| Archimedean places | Fixed points |
| Frobenius or Artin data | Monodromy around closed orbits |
| Étale/cohomological input | Reduced leafwise cohomology |
| Zeros of zeta or \(L\)-functions | Eigenvalues of a dynamical operator |

This dictionary is not merely metaphorical in the proved geometric models. In the \(3\)-dimensional foliated setting, closed-orbit trace formulas and determinant expressions reproduce the formal shape of arithmetic explicit formulas, while in the arithmetic constructions attached to abelian number fields the closed orbits over primes carry the same Frobenius or Artin monodromy that class field theory predicts [2410.20758].

The wider dynamical infrastructure comes from foliation dynamics. Hurder emphasizes that the fundamental dynamical object of a foliation is the holonomy pseudogroup acting on a transversal, and that the relevant invariants include transverse expansion, entropy, invariant measures, minimal sets, and transverse derivative cocycles. This broader theory supplies the language in which Deninger-style foliated systems are analyzed, even when the arithmetic motivation is foregrounded [1104.4852].

## 2. Arithmetic constructions from rational Witt vectors

For number rings \(X_K=\mathrm{Spec}(\mathcal O_K)\), and especially for abelian extensions \(K/\mathbb Q\), Morishita recalls Deninger’s concrete construction based on rational Witt vectors. For a commutative ring \(R\), the rational Witt ring is
\[
W_{\rm rat}(R)=\left\{\frac{P(t)}{Q(t)} \,\middle|\, P(t),Q(t)\in R[t],\ P(0)=Q(0)=1\right\},
\]
viewed inside the big Witt ring \(W(R)=1+tR[[t]]\). It carries Frobenius endomorphisms \(F_n\) for \(n\in\mathbb N\), characterized by
\[
F_n([a])=[a^n],\qquad [a]=1-at.
\]
A structural fact used repeatedly is compatibility with Galois invariants:
\[
W_{\rm rat}(R^G)\xrightarrow{\sim} W_{\rm rat}(R)^G
\]
for a profinite group \(G\) acting continuously on \(R\) [2508.15971].

For a number field \(K\), Deninger’s “space of complex points” is
\[
\dot X_K(\mathbb C):=W_{\rm rat}(X_K)(\mathbb C)
=\{(\mathfrak p,P)\mid \mathfrak p\in X_K,\ P\in\mathrm{Hom}_{\bf CRing}(W_{\rm rat}(\kappa(\mathfrak p)),\mathbb C)\}.
\]
This space carries the Frobenius \(\mathbb N\)-action
\[
F_n(\mathfrak p,P)=(\mathfrak p,P\circ F_n).
\]
Passing to the inductive limit over all \(n\in\mathbb N\) yields the “inverted Frobenius” space
\[
\check X_K(\mathbb C):=\varinjlim_{n\in\mathbb N}\dot X_K(\mathbb C),
\]
equipped with a \(\mathbb Q_+\)-action \(F_q\). Morishita refers to \(\dot X_K(\mathbb C)\) and \(\check X_K(\mathbb C)\) as the Deninger spaces [2508.15971].

The associated foliated dynamical system is obtained by suspension:
\[
\mathfrak X_K:=\check X_K(\mathbb C)\times_{\mathbb Q_+}\mathbb R_+,
\]
where \(\mathbb Q_+\) acts by
\[
q\cdot((\mathfrak p,P),u)=\bigl(F_q(\mathfrak p,P),q^{-1}u\bigr).
\]
The flow is the natural \(\mathbb R_+\)-action
\[
\phi^t([(\mathfrak p,P),u])=[(\mathfrak p,P),tu].
\]
The foliation is given by the images of \(\check X_K(\mathbb C)\times\{u\}\) for fixed \(u\). In this construction, Deninger’s general idea that arithmetic schemes should possess a dynamical phase space with a foliation and a flow becomes explicit for \(X_K\), and the Frobenius action is built into the phase space itself [2508.15971].

## 3. Closed orbits, Frobenius monodromy, and the adelic comparison

A major component of the arithmetic theory is the description of the closed \(\mathbb R_+\)-orbits in \(\mathfrak X_K\). For a prime \(\mathfrak p\in X_K\) lying over a rational prime \(p\), the packet of \(\mathbb Q_+\)-orbits over \(\mathfrak p\) is
\[
\mathfrak C_{\mathfrak p}:=\check{\rm pr}_K^{-1}(\mathfrak p),
\]
and the corresponding packet of \(\mathbb R_+\)-orbits in \(\mathfrak X_K\) is
\[
\Gamma_{\mathfrak p}:=\mathfrak C_{\mathfrak p}\times_{\mathbb Q_+}\mathbb R_+.
\]
These are the closed orbits in Deninger’s dynamical picture. Morishita proves that such packets are mapping tori and that their monodromy is arithmetic Frobenius [2508.15971].

The monodromy is encoded by the linking homomorphism
\[
{\rm lk}_p : p^{\hat{\mathbb Z}}\longrightarrow \hat{\mathbb Z}_{(p)}^\times=\prod_{q\neq p}\mathbb Z_q^\times.
\]
Under the Kronecker–Weber theorem,
\[
\mathbb Q^{\rm ab}_{(p)}=\mathbb Q(\mu_{(p)}), \qquad
\hat{\mathbb Z}_{(p)}^\times\cong \mathrm{Gal}(\mathbb Q(\mu_{(p)})/\mathbb Q),
\]
and \({\rm lk}_p(\sigma_p)\) is the Frobenius at \(p\), acting on roots of unity by \(\zeta\mapsto \zeta^p\). For a finite abelian extension \(F/\mathbb Q\), the monodromy is the Artin symbol
\[
\chi_F(p)=\left(\frac{F/\mathbb Q}{p}\right)\in \mathrm{Gal}(F/\mathbb Q).
\]
The topology of the orbit packet therefore reflects decomposition and inertia in class field theory: if \((p)=\mathfrak p_1\cdots \mathfrak p_r\) with residue degree \(f\), then each component is a cyclic cover of degree \(f\), and the whole packet decomposes into \(r\) circles when viewed upstairs [2508.15971].

Morishita’s principal comparison theorem identifies this arithmetic picture with Connes–Consani’s adelic spaces
\[
\mathscr X_K:=\mathbb Q^\times\backslash \mathbb A/U_K
\]
for abelian extensions \(K/\mathbb Q\). On the adelic side, a prime \(p\) appears as a closed orbit \(C_p\), a circle of length \(\log p\), and the monodromy around \(C_p\) in the covering \(\mathscr X_F\to\mathscr X_{\mathbb Q}\) is again the Artin symbol. Morishita constructs maps
\[
\Psi_F:\mathfrak X_F\to\mathscr X_F
\]
that are continuous, Galois-equivariant, and \(\mathbb R_+\)-anti-equivariant, and he proves that they send the Deninger closed orbit over a prime to the Connes–Consani closed orbit over the same prime. Thus the two systems have the same orbit structure over primes and the same monodromy, expressed through rational Witt vectors and suspension on one side and adelic quotients and scaling on the other [2508.15971].

This arithmetic interpretation is explicitly placed within arithmetic topology. The linking of primes measured by \({\rm lk}_p\) is treated as analogous to the linking of knots in a \(3\)-manifold, and the monodromy around closed orbits becomes a geometric formulation of class field theory. In the example \(F=\mathbb Q(\sqrt q)\), the monodromy over \(p\) is multiplication by the Legendre symbol \(\left(\frac{q}{p}\right)\); the inverse image of the orbit splits into two components when \(\left(\frac{q}{p}\right)=1\) and stays connected when \(\left(\frac{q}{p}\right)=-1\) [2508.15971].

## 4. Three-dimensional foliated dynamical systems as geometric analogues

A rigorous geometric analogue of Deninger’s vision is furnished by \(3\)-dimensional foliated dynamical systems. In the notation of the geometric papers, an \(\mathrm{RFDS}^3\) consists of a smooth, compact, orientable, closed \(3\)-manifold \(M\), a \(1\)-codimensional foliation \(\mathcal F\), a smooth flow \(\phi\), and a bundle-like Riemannian metric \(g_{\mathcal F}\). The flow is transverse to the foliation, maps leaves to leaves, and the leaves are \(2\)-dimensional. The corresponding non-Riemannian \( \mathrm{FDS}^3 \) formalism allows finitely many compact leaves invariant under the flow, with transversality required on the complement [1912.02159][1906.02424].

In this setting there is a canonical \(1\)-form. If \(M_0\) is the complement of the compact leaves and \(\dot\phi_t\) is the generating vector field, then there exists a unique smooth \(1\)-form \(\omega_G\) on \(M_0\) such that
\[
\omega_G|_{T\mathcal F}=0,\qquad \omega_G(\dot\phi_t)=1.
\]
Moreover, the condition that the flow preserve the foliation is equivalent to \(\omega_G\) being closed. Its de Rham class defines the period homomorphism
\[
[\omega_G]:H_1(M_0;\mathbb Z)\to\mathbb R,
\]
and the image \(\Lambda_G\subset\mathbb R\) is the period group [1906.02424].

A decomposition theorem classifies the connected components of \(M_0\). Each component is either a surface bundle over \(S^1\) or over an open interval with bundle foliation, or a surface bundle over \(S^1\) on which every leaf is dense. Corollary 2.2.4 packages this as types I, II, and III, with further subdivisions in type III. The paper constructs examples realizing every class, including mapping tori with suspension flow, dense foliations obtained by torus constructions and glueing, Reeb-type examples, and open-book constructions. One consequence emphasized in the paper is that every closed smooth \(3\)-manifold admits an \(\mathrm{FDS}^3\) structure of type III via an open-book decomposition with Reeb components [1906.02424].

These \(3\)-dimensional models also sharpen the arithmetic topology analogy. Closed orbits are treated as finite primes, while non-transverse compact leaves play the role of infinite primes. This analogy is structural rather than decorative: it informs the classification, the reciprocity formalism, and the zeta-function calculations [1906.02424].

## 5. Leafwise cohomology, trace formulas, and determinant expressions

The cohomological core of Deninger’s foliated dynamical systems is reduced leafwise cohomology. For a foliation \(\mathcal F\), leafwise \(i\)-forms are
\[
\Omega^i_{\mathcal F}(M)=\Gamma(M,\wedge^i T^*\mathcal F),
\]
and the leafwise differential \(d_{\mathcal F}\) gives a cochain complex. Because the ordinary leafwise cohomology groups may be non-Hausdorff, the relevant object is the reduced leafwise cohomology
\[
\bar H^i_{\mathcal F}(M)=\frac{Z^i_{\mathcal F}(M)}{\overline{B^i_{\mathcal F}(M)}}.
\]
Using the leafwise Hodge theorem of Álvarez López and Kordyukov, one has
\[
\bar H^i_{\mathcal F}(M)\cong \ker(\Delta_{\mathcal F}),
\]
so the cohomology can be treated spectrally through the leafwise Laplacian [1912.02159].

The transverse flow acts on reduced leafwise cohomology, and Stone’s theorem yields an infinitesimal generator
\[
\Theta=\lim_{t\to0}\frac{\phi^{t*}-\mathrm{id}}{t}.
\]
In the \(3\)-dimensional Riemannian setting, a key identity is
\[
-\Theta^2\big|_{\bar H^i_{\mathcal F}(M)}
=
\Delta\big|_{\ker(\Delta_{\mathcal F})},
\]
which links the flow spectrum to elliptic spectral theory. The resulting spectral zeta functions admit meromorphic continuation and are holomorphic at \(z=0\), so the zeta-regularized determinant \(\det_\infty(s-\Theta)\) is well defined [1912.02159].

The dynamical zeta function is defined by closed orbits:
\[
\zeta_{\mathcal F}(s)=\prod_\gamma (1-e^{-s\,l(\gamma)})^{-\epsilon_\gamma},
\]
where \(l(\gamma)\) is the orbit length and
\[
\epsilon_\gamma=\operatorname{sgn}\det\!\left(1-T_x\phi^{l(\gamma)}\big|T_x\mathcal F\right).
\]
For \(\mathrm{RFDS}^3\), the central theorem is the determinant formula
\[
\zeta_{\mathcal F}(s)
=
\prod_{i=0}^{2}
\det_{\infty}(s-\Theta\mid \bar H^i_{\mathcal F}(M))^{(-1)^{i+1}},
\]
obtained by combining a dynamical Lefschetz trace formula with Laplace and Mellin transform arguments [1912.02159].

A more recent result proves Deninger’s expected regularized determinant formula for certain \(3\)-dimensional Riemannian foliated dynamical systems in the form
\[
\zeta_G(s)=\prod_{n=0}^{2}\det\nolimits_{\infty}\!\bigl(s-\Theta\mid \bar H^n(M)\otimes\mathbb C\bigr)^{(-1)^{n+1}}.
\]
For type (i) systems, this is derived directly from the classical Lefschetz trace formula and the monodromy of the surface bundle; for type (ii) systems satisfying assumptions (A1)–(A4), it is proved using the distributional dynamical Lefschetz trace formula and dynamical spectral \(\Xi\)-functions [2410.20758].

Leichtnam extends the trace-formula mechanism to ramified leafwise flat bundles. For a nontrivial character \(p:G\to S^1\), he defines a ramified flat complex line bundle \(L_p\) and proves a ramified Atiyah–Bott–Lefschetz trace formula in which the alternating trace on \(H^j(X;L_p)\) is expressed as a sum over primitive unramified closed orbits, while ramified closed orbits do not contribute. This is the foliated analogue of the way ramified primes are omitted in the Euler-product side of Dirichlet and Artin \(L\)-functions [1307.3851].

## 6. Reciprocity laws, entropy-theoretic extensions, and present limits

The arithmetic-topological side of the theory includes a reciprocity formalism. Using smooth Deligne cohomology, the canonical \(1\)-form \(\omega_G\), and FDS\(^3\)-meromorphic functions \(f\) and \(g\), one defines a local symbol along a closed orbit \(y\) by
\[
(f,g)_y=\int_{T(y)} c(f)\cup c(g)\cup c(\omega_G)\pmod{\Lambda_G(3)},
\]
where \(T(y)\) is the boundary torus of a tubular neighborhood of \(y\). The resulting Hilbert-type reciprocity law is
\[
\sum_{y\in\mathcal P_O}(f,g)_y=0 \pmod{\Lambda_G(3)}.
\]
This gives a direct geometric analogue of global reciprocity, with closed orbits as primes and the period lattice \(\Lambda_G\) governing the global constraint [1906.02424].

A distinct but related strand of Deninger’s programme concerns Fuglede–Kadison determinants, algebraic actions, and entropy. Hayes strengthens Kerr–Li independence tuples by replacing the \(\ell^\infty\)-product metric with an \(\ell^2\)-product metric and by imposing a weak containment condition modeled on the left regular representation. For a sofic group \(G\) and
\[
f\in M_n(\mathbb Z(G))\cap GL_n(\mathcal L(G)),
\]
he proves that if \(f\) is not invertible in \(M_n(\mathbb Z(G))\), then
\[
\det_{\mathcal L(G)}(f)>1.
\]
Equivalently,
\[
\det_{\mathcal L(G)}(f)=1
\iff
f \text{ is invertible in } M_n(\mathbb Z(G)).
\]
The associated algebraic action
\[
X_f=\widehat{\mathbb Z(G)^n/f\,\mathbb Z(G)^n}
\]
then has completely positive topological entropy. Hayes presents this as part of Deninger’s broader programme connecting algebraic actions, entropy, and Fuglede–Kadison determinants with the geometric intuition of foliated dynamical systems and Lefschetz-type formulas [1502.03858].

The scope of the subject remains uneven. Leichtnam is explicit that the central arithmetic foliated space \( (S_K,\mathcal F,g,\phi_t) \) attached to a number field \(K\) is still unknown to exist in any proved form, and his comparisons with arithmetic explicit formulas are therefore formal but intended as evidence for the programme [1307.3851]. Morishita’s bridge between Deninger’s systems and Connes–Consani’s adelic spaces is established in the special arithmetic setting of abelian extensions of \(\mathbb Q\), not in general for all number fields [2508.15971]. Likewise, the determinant formulas are proved for specified geometric classes of \(3\)-dimensional foliated dynamical systems rather than for arithmetic schemes themselves [2410.20758].

Taken together, these results define the present meaning of Deninger’s foliated dynamical systems: a programme in which arithmetic geometry is translated into the dynamics of foliated spaces, and a collection of rigorous models where primes are realized as closed orbits, monodromy realizes Frobenius or Artin data, reduced leafwise cohomology serves as the cohomological receptacle, and zeta functions acquire determinant expressions through dynamical trace formulas.

Source: https://www.emergentmind.com/topics/deninger-s-foliated-dynamical-systems