[Paper Review] A remark on a relation between foliations and number theory

Fabian Kopei|ArXiv.org|May 7, 2006

Algebraic Geometry and Number Theory1 references3 citations

TL;DR

This paper establishes a geometric analogue to the product formula in algebraic number theory by interpreting meromorphic functions on 3-manifold foliations by Riemann surfaces as number-theoretic valuations. It shows that the sum of orbit lengths weighted by the order of zeros and poles vanishes, mirroring the vanishing of the sum of logarithmic valuations in number fields, with compact leaves playing the role of infinite primes.

ABSTRACT

We interpret a formula for meromorphic functions on foliations by Riemann surfaces as an analogue to the product formula of valuations in algebraic number theory.

Motivation & Objective

• To explore a geometric analogue of the product formula in algebraic number theory using foliations and dynamical systems.
• To model finite and infinite primes in number fields as closed transverse orbits and compact leaves in a 3-manifold foliation.
• To establish a formula analogous to the sum of log-absolute values of a number field element being zero, using geometric invariants like orbit length and cohomological integrals.
• To extend the classical zero-pole counting formula on Riemann surfaces to foliated manifolds with transverse flows.
• To provide a geometric realization of Deninger's conjectural correspondence between infinite primes and non-transverse compact leaves.

Proposed method

• The paper constructs a 3-dimensional oriented closed manifold M equipped with a leafwise oriented foliation F by Riemann surfaces and a transverse, foliation-invariant flow Φ.
• It defines a smooth function f: M → ℂℙ¹ that is meromorphic on each leaf, with zeros and poles confined to finitely many closed orbits γ₁,…,γₙ of the flow.
• The order of f at each orbit ord_{γᵢ}f is shown to be constant along the orbit, using the Cauchy integral theorem.
• A 1-form ω is defined on M∖∪Lⱼ, dual to the flow direction, and a differential form η = (1/f) d_F f ∧ ω is constructed, where d_F is the leafwise differential.
• Using Stokes’ theorem and the closedness of η, the sum of integrals over boundary components of tubular neighborhoods of orbits and compact leaves is shown to vanish.
• The resulting identity ∑ᵢ l(γᵢ) ord_{γᵢ}f = −∑ⱼ (1/2πi) ∫_{∂TLⱼ} η links geometric invariants to the algebraic structure of the product formula.

Experimental results

Research questions

• RQ1 Can the product formula in algebraic number theory be geometrically realized via foliations and flows on 3-manifolds?
• RQ2 How can the finite and infinite primes in number fields be modeled by geometric objects in a foliated manifold?
• RQ3 What is the role of compact, non-transverse leaves in a geometric analogue of infinite primes?
• RQ4 How does the classical zero-pole counting formula on Riemann surfaces generalize to foliated manifolds with transverse flows?
• RQ5 What is the cohomological interpretation of the sum of weighted orbit lengths in such a geometric setting?

Key findings

• The sum of the lengths of closed transverse orbits weighted by the order of zeros and poles of a meromorphic function on a foliated 3-manifold vanishes: ∑ᵢ l(γᵢ) ord_{γᵢ}f = 0.
• The order of a meromorphic function at a closed orbit is constant along the orbit, a consequence of the Cauchy integral formula applied to local tubular neighborhoods.
• For the case including compact leaves (modeling infinite primes), the sum of weighted orbit lengths equals the negative sum of integrals of η over tubular neighborhoods of the compact leaves.
• The form η is closed on the complement of the compact leaves, enabling the application of Stokes’ theorem to derive the main identity.
• The construction realizes a geometric analogue of the product formula, where orbit length l(γᵢ) plays the role of log ℕ(𝔭) for finite primes, and compact leaves model infinite primes.
• The result is a direct geometric realization of the number-theoretic product formula, with the flow and foliation structure providing the necessary invariants.