Deninger’s Foliated Dynamical Systems

• Deninger’s foliated dynamical systems are a framework that translates arithmetic schemes and zeta functions into dynamical systems with foliations, flows, and Lefschetz-type trace formulas.
• They establish a precise arithmetic-dynamical dictionary where primes correspond to closed orbits and Frobenius data to monodromy, illustrated via rational Witt vectors and adelic constructions.
• Rigorous 3-dimensional foliated models validate the theory by linking leafwise cohomology and spectral determinants with explicit arithmetic and topological invariants.

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 (Leichtnam, 2013). 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 (Morishita, 21 Aug 2025, López et al., 2024).

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 (Leichtnam, 2013).

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 (López et al., 2024).

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 (Hurder, 2011).

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 $\mathbb Q$0. It carries Frobenius endomorphisms $\mathbb Q$1 for $\mathbb Q$2, characterized by

$\mathbb Q$3

A structural fact used repeatedly is compatibility with Galois invariants: $\mathbb Q$4 for a profinite group $\mathbb Q$5 acting continuously on $\mathbb Q$6 (Morishita, 21 Aug 2025).

For a number field $\mathbb Q$7, Deninger’s “space of complex points” is

$\mathbb Q$8

This space carries the Frobenius $\mathbb Q$9-action

$3$0

Passing to the inductive limit over all $3$1 yields the “inverted Frobenius” space

$3$2

equipped with a $3$3-action $3$4. Morishita refers to $3$5 and $3$6 as the Deninger spaces (Morishita, 21 Aug 2025).

The associated foliated dynamical system is obtained by suspension: $3$7 where $3$8 acts by

$3$9

The flow is the natural $L$0-action

$L$1

The foliation is given by the images of $L$2 for fixed $L$3. 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 $L$4, and the Frobenius action is built into the phase space itself (Morishita, 21 Aug 2025).

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

A major component of the arithmetic theory is the description of the closed $L$5-orbits in $L$6. For a prime $L$7 lying over a rational prime $L$8, the packet of $L$9-orbits over $L$0 is

$L$1

and the corresponding packet of $L$2-orbits in $L$3 is

$L$4

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 (Morishita, 21 Aug 2025).

The monodromy is encoded by the linking homomorphism

$L$5

Under the Kronecker–Weber theorem,

$L$6

and $L$7 is the Frobenius at $L$8, acting on roots of unity by $L$9. For a finite abelian extension $3$0, the monodromy is the Artin symbol

$3$1

The topology of the orbit packet therefore reflects decomposition and inertia in class field theory: if $3$2 with residue degree $3$3, then each component is a cyclic cover of degree $3$4, and the whole packet decomposes into $3$5 circles when viewed upstairs (Morishita, 21 Aug 2025).

Morishita’s principal comparison theorem identifies this arithmetic picture with Connes–Consani’s adelic spaces

$3$6

for abelian extensions $3$7. On the adelic side, a prime $3$8 appears as a closed orbit $3$9, a circle of length $X_K=\mathrm{Spec}(\mathcal O_K)$0, and the monodromy around $X_K=\mathrm{Spec}(\mathcal O_K)$1 in the covering $X_K=\mathrm{Spec}(\mathcal O_K)$2 is again the Artin symbol. Morishita constructs maps

$X_K=\mathrm{Spec}(\mathcal O_K)$3

that are continuous, Galois-equivariant, and $X_K=\mathrm{Spec}(\mathcal O_K)$4-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 (Morishita, 21 Aug 2025).

This arithmetic interpretation is explicitly placed within arithmetic topology. The linking of primes measured by $X_K=\mathrm{Spec}(\mathcal O_K)$5 is treated as analogous to the linking of knots in a $X_K=\mathrm{Spec}(\mathcal O_K)$6-manifold, and the monodromy around closed orbits becomes a geometric formulation of class field theory. In the example $X_K=\mathrm{Spec}(\mathcal O_K)$7, the monodromy over $X_K=\mathrm{Spec}(\mathcal O_K)$8 is multiplication by the Legendre symbol $X_K=\mathrm{Spec}(\mathcal O_K)$9; the inverse image of the orbit splits into two components when $K/\mathbb Q$0 and stays connected when $K/\mathbb Q$1 (Morishita, 21 Aug 2025).

4. Three-dimensional foliated dynamical systems as geometric analogues

A rigorous geometric analogue of Deninger’s vision is furnished by $K/\mathbb Q$2-dimensional foliated dynamical systems. In the notation of the geometric papers, an $K/\mathbb Q$3 consists of a smooth, compact, orientable, closed $K/\mathbb Q$4-manifold $K/\mathbb Q$5, a $K/\mathbb Q$6-codimensional foliation $K/\mathbb Q$7, a smooth flow $K/\mathbb Q$8, and a bundle-like Riemannian metric $K/\mathbb Q$9. The flow is transverse to the foliation, maps leaves to leaves, and the leaves are $R$0-dimensional. The corresponding non-Riemannian $R$1 formalism allows finitely many compact leaves invariant under the flow, with transversality required on the complement (Kim, 2019, Kim et al., 2019).

In this setting there is a canonical $R$2-form. If $R$3 is the complement of the compact leaves and $R$4 is the generating vector field, then there exists a unique smooth $R$5-form $R$6 on $R$7 such that

$R$8

Moreover, the condition that the flow preserve the foliation is equivalent to $R$9 being closed. Its de Rham class defines the period homomorphism

$$W_{\rm rat}(R)=\left\{\frac{P(t)}{Q(t)} \,\middle|\, P(t),Q(t)\in R[t],\ P(0)=Q(0)=1\right\},$$0

and the image $$W_{\rm rat}(R)=\left\{\frac{P(t)}{Q(t)} \,\middle|\, P(t),Q(t)\in R[t],\ P(0)=Q(0)=1\right\},$$1 is the period group (Kim et al., 2019).

A decomposition theorem classifies the connected components of $$W_{\rm rat}(R)=\left\{\frac{P(t)}{Q(t)} \,\middle|\, P(t),Q(t)\in R[t],\ P(0)=Q(0)=1\right\},$$2. Each component is either a surface bundle over $$W_{\rm rat}(R)=\left\{\frac{P(t)}{Q(t)} \,\middle|\, P(t),Q(t)\in R[t],\ P(0)=Q(0)=1\right\},$$3 or over an open interval with bundle foliation, or a surface bundle over $$W_{\rm rat}(R)=\left\{\frac{P(t)}{Q(t)} \,\middle|\, P(t),Q(t)\in R[t],\ P(0)=Q(0)=1\right\},$$4 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 $$W_{\rm rat}(R)=\left\{\frac{P(t)}{Q(t)} \,\middle|\, P(t),Q(t)\in R[t],\ P(0)=Q(0)=1\right\},$$5-manifold admits an $$W_{\rm rat}(R)=\left\{\frac{P(t)}{Q(t)} \,\middle|\, P(t),Q(t)\in R[t],\ P(0)=Q(0)=1\right\},$$6 structure of type III via an open-book decomposition with Reeb components (Kim et al., 2019).

These $$W_{\rm rat}(R)=\left\{\frac{P(t)}{Q(t)} \,\middle|\, P(t),Q(t)\in R[t],\ P(0)=Q(0)=1\right\},$$7-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 (Kim et al., 2019).

5. Leafwise cohomology, trace formulas, and determinant expressions

The cohomological core of Deninger’s foliated dynamical systems is reduced leafwise cohomology. For a foliation $$W_{\rm rat}(R)=\left\{\frac{P(t)}{Q(t)} \,\middle|\, P(t),Q(t)\in R[t],\ P(0)=Q(0)=1\right\},$$8, leafwise $$W_{\rm rat}(R)=\left\{\frac{P(t)}{Q(t)} \,\middle|\, P(t),Q(t)\in R[t],\ P(0)=Q(0)=1\right\},$$9-forms are

$\mathbb Q$00

and the leafwise differential $\mathbb Q$01 gives a cochain complex. Because the ordinary leafwise cohomology groups may be non-Hausdorff, the relevant object is the reduced leafwise cohomology

$\mathbb Q$02

Using the leafwise Hodge theorem of Álvarez López and Kordyukov, one has

$\mathbb Q$03

so the cohomology can be treated spectrally through the leafwise Laplacian (Kim, 2019).

The transverse flow acts on reduced leafwise cohomology, and Stone’s theorem yields an infinitesimal generator

$\mathbb Q$04

In the $\mathbb Q$05-dimensional Riemannian setting, a key identity is

$\mathbb Q$06

which links the flow spectrum to elliptic spectral theory. The resulting spectral zeta functions admit meromorphic continuation and are holomorphic at $\mathbb Q$07, so the zeta-regularized determinant $\mathbb Q$08 is well defined (Kim, 2019).

The dynamical zeta function is defined by closed orbits: $\mathbb Q$09 where $\mathbb Q$10 is the orbit length and

$\mathbb Q$11

For $\mathbb Q$12, the central theorem is the determinant formula

$\mathbb Q$13

obtained by combining a dynamical Lefschetz trace formula with Laplace and Mellin transform arguments (Kim, 2019).

A more recent result proves Deninger’s expected regularized determinant formula for certain $\mathbb Q$14-dimensional Riemannian foliated dynamical systems in the form

$\mathbb Q$15

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 $\mathbb Q$16-functions (López et al., 2024).

Leichtnam extends the trace-formula mechanism to ramified leafwise flat bundles. For a nontrivial character $\mathbb Q$17, he defines a ramified flat complex line bundle $\mathbb Q$18 and proves a ramified Atiyah–Bott–Lefschetz trace formula in which the alternating trace on $\mathbb Q$19 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 $\mathbb Q$20-functions (Leichtnam, 2013).

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 $\mathbb Q$21-form $\mathbb Q$22, and FDS$\mathbb Q$23-meromorphic functions $\mathbb Q$24 and $\mathbb Q$25, one defines a local symbol along a closed orbit $\mathbb Q$26 by

$\mathbb Q$27

where $\mathbb Q$28 is the boundary torus of a tubular neighborhood of $\mathbb Q$29. The resulting Hilbert-type reciprocity law is

$\mathbb Q$30

This gives a direct geometric analogue of global reciprocity, with closed orbits as primes and the period lattice $\mathbb Q$31 governing the global constraint (Kim et al., 2019).

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 $\mathbb Q$32-product metric with an $\mathbb Q$33-product metric and by imposing a weak containment condition modeled on the left regular representation. For a sofic group $\mathbb Q$34 and

$\mathbb Q$35

he proves that if $\mathbb Q$36 is not invertible in $\mathbb Q$37, then

$\mathbb Q$38

Equivalently,

$\mathbb Q$39

The associated algebraic action

$\mathbb Q$40

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 (Hayes, 2015).

The scope of the subject remains uneven. Leichtnam is explicit that the central arithmetic foliated space $\mathbb Q$41 attached to a number field $\mathbb Q$42 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 (Leichtnam, 2013). 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$43, not in general for all number fields (Morishita, 21 Aug 2025). Likewise, the determinant formulas are proved for specified geometric classes of $\mathbb Q$44-dimensional foliated dynamical systems rather than for arithmetic schemes themselves (López et al., 2024).

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.