The Arithmetic Seed

Before the Mathematics

This chapter restarts the whole machine with a new and far more ambitious seed: instead of a hand-built ODE, it begins with the Riemann zeta function — the object that encodes every prime number at once — and asks whether the same geometric story still applies.

The analogy is exact and worth holding onto. In Chapter 2 a simple oscillator's circular orbits became helices once time was promoted to a coordinate, governed by a contact form. Here the real and imaginary parts of the zeta function play the oscillator's role, the height up the critical strip plays the role of time, and the contact form that emerges carries the entire prime-counting machinery as its coefficient. The "tuning fork" image in §11.1 is the way in: the primes, like a struck fork, may have no choice about where their zeros fall.

What follows sets up the zeta phase plane and the arithmetic contact form, with §11.1 giving the tuning-fork intuition and later sections building the lift and its non-integrability. One honest boundary: this chapter reformulates known mathematics geometrically — it proves no new theorem, and whether the picture implies the Riemann Hypothesis is deferred to Chapter 14.

Chapter 10 gave us the helical attractor on a smooth contact 3-manifold — the dm³ ODE on cylindrical $(r,\theta,z)$ space. The attractor was the unit helix $r=1$. Now we make the same move with a different seed: instead of the smooth Hopf normal form, we start with the Riemann zeta function. Instead of a synthetic ODE, we have an analytic object built from all prime numbers simultaneously. The contact form that results is not smooth — it is woven from the entire prime counting machine.

The Tuning Fork Argument

Strike a tuning fork. It vibrates at a single frequency — not because you imposed that frequency, but because the metal has no choice. The length, mass, and elasticity of the tine determine the frequency the way a theorem follows from its axioms.

The Riemann Hypothesis says something similar about the prime numbers. The non-trivial zeros of the Riemann zeta function — points $s = \sigma + it$ in the complex plane where $\zeta(s) = 0$ and $0 < \sigma < 1$ — appear to lie on the single vertical line $\sigma = \tfrac{1}{2}$. Not because someone placed them there. Because the arithmetic structure of the primes, encoded in $\zeta(s)$, has no other choice. This has not been proved. But Chapter 11 asks a prior question: can we hear the structure that would force this?

The Prototype Recalled

Chapter 2 began with the harmonic oscillator $\dot{x} = y,\ \dot{y} = -x$. Its orbits in the phase plane are circles. When we promoted $t$ to a coordinate, those circles became helices in $\mathbb{R}^3_{(x,y,t)}$. Chapter 2’s certificate for that system is $\tilde\alpha = x\,dx + y\,dy = \tfrac{1}{2}d(r^2)$: its kernel is the set of directions along which the radius does not change, which is exactly the circular orbits, and the verification is one line — $\tilde\alpha(\dot\gamma) = x\dot x + y\dot y = xy + y(-x) = 0$.

Chapter 11 performs the same lift with $\zeta(s)$ as the starting object. The phase plane coordinates are the real and imaginary parts $U, V$ of $\zeta(\sigma+it)$. The parameter promoted to a coordinate is the imaginary part $t$ of $s$. The contact form that emerges carries the entire prime counting function as its coefficient.

The Zeta Phase Plane

Write $\zeta(\sigma+it) = U(\sigma,t) + i\,V(\sigma,t)$. Fix $\sigma$ and let $t$ increase: the pair $(U(\sigma,t), V(\sigma,t))$ traces a curve in the $UV$-plane — the zeta trajectory at height $\sigma$. A non-trivial zero at $s_0 = \sigma_0 + it_0$ is the moment this curve passes through the origin: $U = V = 0$ simultaneously.

The Riemann Hypothesis in this language: the trajectory only passes through the origin when $\sigma = \tfrac{1}{2}$. For $\sigma \neq \tfrac{1}{2}$ in the critical strip $0 < \sigma < 1$, the curve never touches the origin.

The interactive diagram below makes this visual. Adjust $\sigma$ to see how the trajectory changes. At $\sigma = 0.5$ the trajectory is shown in teal and its zeros are marked.

The Lift to 3D

Just as in Chapter 2, we promote $t$ to a coordinate. The lifted curve is: $$\gamma(t) = \bigl(U(\sigma,t),\; V(\sigma,t),\; t\bigr) \in \mathbb{R}^3_{(U,\,V,\,t)}.$$ A non-trivial zero at $s_0 = \sigma_0 + it_0$ is a piercing event: the curve $\gamma$ passes through the axis $\{U=V=0\}$ at height $t = t_0$. The Riemann Hypothesis says all piercing events occur only on the plane $\sigma = \tfrac{1}{2}$.

The Arithmetic Contact Form

A change of coordinates first, because the contact form does not live in the plane of §11.3. There we wrote $\zeta(\sigma+it) = U + iV$ — the real and imaginary parts of $\zeta$ itself, which is the right picture for the trajectory and for Fig. 11.1. The form below is natural in log coordinates, so set$$\tilde U + i\tilde V \;=\; \log\zeta(\sigma+it),$$kept strictly distinct from $(U,V)$. In these coordinates a zero of $\zeta$ is not a crossing of the axis but a plunge $\tilde U \to -\infty$.

Since $\partial_t \log\zeta = i\,\zeta'/\zeta$, and writing the logarithmic derivative as a pair of prime series $-\zeta'/\zeta = c - i\,g$, the tangent velocity is exactly $(\partial_t \tilde U, \partial_t \tilde V) = (-g, -c)$. The 1-form annihilating it is therefore:

Why von Mangoldt? Because it appears in the logarithmic derivative: $-\zeta'/\zeta(s) = \sum_{n=1}^\infty \Lambda(n)/n^s$. The pair $(c,g)$ is the real and imaginary part of $-\zeta'/\zeta$, encoding all primes simultaneously in two real functions. Note the sign: $\operatorname{Im}(-\zeta'/\zeta) = -g$.

Non-Integrability

The exterior derivative is $d\alpha_{\mathrm{arith}} = (\partial_t c)\,dt \wedge d\tilde U - (\partial_t g)\,dt \wedge d\tilde V$, with $$\partial_t g = \sum_{n=1}^{\infty} \frac{\Lambda(n)\log n}{n^\sigma}\cos(t\log n).$$

What this means: The contact planes cannot fold flat. They twist continuously, driven by the prime frequencies. Trajectories in $\ker\alpha_{\mathrm{arith}}$ are forced to move forward in $t$. The primes are the engine of the twisting.

What this does not mean: It does not yet force zeros to $\sigma = \tfrac{1}{2}$. That requires a global statement about where piercing events occur — the subject of Ch 14.

Zeros as Poles of the Contact Structure

At a non-trivial zero $s_0 = \sigma_0 + it_0$, the logarithmic derivative $\zeta'/\zeta(s)$ has a simple pole. The coefficient $g(\sigma_0, t_0)$ therefore diverges — the contact planes twist infinitely rapidly at the exact moment $\gamma$ pierces the floor $\{U = V = 0\}$.

In the smooth dm³ system of Ch 10, convergence to the attractor was smooth throughout. In the arithmetic case, zeros are singularities of the contact structure itself — the tightest winding occurs precisely where the primes assert their constraint most forcefully.

The G-Chain in Arithmetic

The operator chain $G = U \circ F \circ K \circ C$ reappears in the arithmetic setting:

Lean 4 Connection

The AXLE repository contains a type stub for this chapter's contact form:

-- AXLE/lean/RH/ArithmeticContact.lean
import Mathlib.NumberTheory.VonMangoldt

namespace AXLE.Arithmetic

noncomputable def g_arith (σ t : ℝ) : ℝ :=
  -- Im(-ζ'/ζ(σ+it)) via von Mangoldt series
  sorry -- AXLE Issue #18: connect to Mathlib.vonMangoldt

-- Non-integrability · Ch11 main result
theorem arith_contact_nonintegrable (σ : ℝ) (hσ : 1 < σ) :
    ∀ t : ℝ, ∃ ε > 0, ∀ t' ∈ Set.Ioo (t - ε) (t + ε),
    (∑ n : ℕ, vonMangoldt n / (n : ℝ)^σ * Real.log n
             * Real.cos (t' * Real.log n)) ≠ 0 := by
  sorry -- AXLE Issue #19: linear independence of {log p} by unique factorisation (elementary; NOT Baker–Wüstholz, corrected 23 Aug 2026)

end AXLE.Arithmetic

Issue #19 needs no transcendence machinery. ℓ-linear independence of $\{\log p\}$ is unique factorisation, and the density of sign changes follows from Kronecker–Weyl equidistribution together with Bohr almost-periodicity.

Honest Inventory

Prior art on the lift itself. The three-dimensional plot t ↦ (Re ζ(σ+it), Im ζ(σ+it), t) is a standard visualisation and is claimed here as exposition, not as a contribution. The mathematical content of “each zero is a puncture of the axis” is the argument principle: the winding of ζ about 0 along a vertical line already counts the zeros in that strip, and has since Cauchy. Promoting t from parameter to coordinate separates the strands and makes the count legible. It adds a coordinate, not a theorem. Whatever this chapter contributes is carried by the contact form placed on ℝ³ afterwards, and by nothing before it.

The nearest named object in the literature is the screw line. Masatoshi Suzuki, The screw line of the Riemann zeta-function and its applications (arXiv:2209.04658), with the companion Aspects of the screw function corresponding to the Riemann zeta-function (arXiv:2206.03682), constructs a map t ↦ S_t from ℝ into L²(ℝ) and proves, assuming RH, that it is a screw line in the sense of Kreĭn–Langer — obtaining three necessary and sufficient conditions for RH, one of which recasts Weil’s criterion from a set of inequalities into a set of equalities.

That is not the construction in this chapter. Suzuki’s ambient space is infinite-dimensional and his t remains the parameter of the curve; here the ambient space is ℝ³ and t is one of the three coordinates, so the object is a graph and the zeros are punctures of an axis. They are different objects that share a vocabulary. The citation stands anyway: a referee reading “a curve associated with ζ indexed by t” will think screw line within seconds, and not having addressed it reads as not having looked.

And Suzuki’s result points at the wall this chapter also runs into. What his three equivalences sharpen is Weil’s criterion — the 1952 explicit formula, which converts the Riemann Hypothesis into the positivity of a distribution. Recasting that criterion from inequalities into equalities is a real improvement in its statement and it discharges nothing, because the positivity is still the thing to be proved. The same is true here: the contact form $\alpha_{\mathrm{arith}}$ produces an invariant set, not an inequality. The comparison is written out as mathematics in Ch 12 · § 12.8, against the one column of Weil’s analogy where the Riemann Hypothesis is a proved theorem; the history and the author attribution are in Book 7 · André Weil, and the operator-algebra route to the same wall is in Book 7 · Alain Connes.

Exercises