Table of Contents
Fetching ...

On the existence of global cross sections to volume-preserving flows

Slobodan N. Simić

TL;DR

The paper provides a new criterion for the existence of a global cross section for a non-singular volume-preserving flow $\Phi$ on a closed manifold $M$. It shows that if there is a Riemannian metric $g$ with volume form $\Omega$ satisfying $\lVert \delta_g (i_X \Omega)\rVert_g < m_g(X)^2$ (where $X$ is the flow's generator and $m_g(X)=\inf_p \lVert X\rVert_g$), then $\Phi$ admits a global cross section and $M$ fibers over $S^1$; moreover, $i_X \Omega$ can be made co-closed (harmonic) for some metric. The proof leverages a distance-to-closed-forms estimate, constructs a nearby closed form, shows a transverse integrable plane field, and invokes intrinsic harmonicity results to deduce the cross section, with Plante-type consequences for the fibration structure. The work bridges dynamical properties of flows with Hodge-theoretic conditions and provides a practical criterion to certify global cross sections in volume-preserving dynamics. This has implications for reducing flow dynamics to first-return maps and clarifies when geodesic-type flows (e.g., generic unit tangent bundle flows) lack global cross sections due to harmonic constraints.

Abstract

We establish a new criterion for the existence of a global cross section to a non-singular volume-preserving flow $Φ$ on a closed smooth manifold $M$. Namely, if $X$ is the infinitesimal generator of the flow and $Φ$ preserves a smooth volume form $Ω$, then $Φ$ admits a global cross section if there exists a smooth Riemannian metric $g$ on $M$ with Riemannian volume $Ω$ and $g(X,X) = 1$ such that $\lVert δ_g (i_X Ω) \rVert_g < 1$, where $δ_g$ denotes the codifferential relative to $g$; (equivalently, $\lVert dX^\flat \rVert_g < 1$). In that case, there in fact exists another smooth Riemannian metric on $M$ with respect to which the canonical form $i_X Ω$ is co-closed and therefore harmonic.

On the existence of global cross sections to volume-preserving flows

TL;DR

The paper provides a new criterion for the existence of a global cross section for a non-singular volume-preserving flow on a closed manifold . It shows that if there is a Riemannian metric with volume form satisfying (where is the flow's generator and ), then admits a global cross section and fibers over ; moreover, can be made co-closed (harmonic) for some metric. The proof leverages a distance-to-closed-forms estimate, constructs a nearby closed form, shows a transverse integrable plane field, and invokes intrinsic harmonicity results to deduce the cross section, with Plante-type consequences for the fibration structure. The work bridges dynamical properties of flows with Hodge-theoretic conditions and provides a practical criterion to certify global cross sections in volume-preserving dynamics. This has implications for reducing flow dynamics to first-return maps and clarifies when geodesic-type flows (e.g., generic unit tangent bundle flows) lack global cross sections due to harmonic constraints.

Abstract

We establish a new criterion for the existence of a global cross section to a non-singular volume-preserving flow on a closed smooth manifold . Namely, if is the infinitesimal generator of the flow and preserves a smooth volume form , then admits a global cross section if there exists a smooth Riemannian metric on with Riemannian volume and such that , where denotes the codifferential relative to ; (equivalently, ). In that case, there in fact exists another smooth Riemannian metric on with respect to which the canonical form is co-closed and therefore harmonic.
Paper Structure (3 sections, 6 theorems, 16 equations)

This paper contains 3 sections, 6 theorems, 16 equations.

Key Result

Theorem 1

Let $\Phi$ be a smooth non-singular flow with infinitesimal generator $X$ on a smooth closed manifold $M$. Assume $\Phi$ leaves a smooth volume form $\Omega$ invariant. If $M$ admits a smooth Riemannian metric $g$ such that the Riemannian volume of $g$ is $\Omega$ and where $m_g(X) = \inf_{p \in M} \left\lVert X\right\rVert_g$ (equivalently, $\left\lVert d X^\flat\right\rVert_g < m_g(X)^2$), then

Theorems & Definitions (8)

  • Theorem
  • Corollary 1.1
  • proof
  • Theorem 1.2: simic+23
  • Corollary 1.3
  • Theorem 1.4: honda+97
  • Proposition 1.5
  • proof : Proof of the Proposition