Betti Foliation: Theory & Analysis

• Betti foliation is the holomorphic foliation defined by the fibers of the Betti map in abelian schemes using real Betti coordinates.
• It exploits a real-analytic map whose constant rank yields complex-analytic leaves whose dimension and structure impact torsion density and moduli.
• Related frameworks extend to Betti-controlled invariants in Vaisman, Killing, and Riemannian foliations, linking topology with spectral sequences.

Betti foliation denotes, in the most explicit sense represented in the recent literature, the foliation locally defined by the fibers of the Betti map attached to a section of an abelian scheme. In that setting, Betti coordinates are the real coefficients expressing an abelian logarithm in a period basis, and fixing those coordinates cuts out complex-analytic leaves on the base (André et al., 2018). The phrase is not, however, uniformly standardized across foliation theory. In several adjacent literatures, ordinary Betti numbers, basic Betti numbers, graded Betti numbers, or non-commutative Betti numbers control the topology, spectral sequence, or algebraic realization of foliations without themselves defining a foliation. Consequently, the term has a narrow differential-geometric meaning in the theory of abelian schemes and a broader heuristic meaning in Betti-controlled foliation theories.

1. Terminological scope

The abelian-scheme setting gives the clearest direct definition. Let $f:A\to S$ be an abelian scheme of relative dimension $g$ over a smooth connected complex algebraic variety $S$, and let $\xi:S\to A$ be a section. On a universal cover $\tilde S\to S(\mathbb C)$, the section determines a multivalued real-analytic map $\beta_\xi:\tilde S\to \mathbb R^{2g}$, the Betti map. Its fibers are complex-analytic subvarieties, and when the rank is constant on an open set, those fibers form a holomorphic foliation there; this is the Betti foliation in the strict sense (André et al., 2018).

In other contexts, the phrase is looser. For the canonical foliation on a compact Vaisman manifold, the relevant point is not a Betti map but the fact that the basic Betti numbers of the foliation are uniquely determined by the ordinary Betti numbers of the ambient manifold, and the spectral sequence terms $E_2^{u,1}$ satisfy lower bounds in terms of those invariants (Ornea et al., 2017). For Riemannian and Killing foliations, basic Betti numbers and equivariant basic cohomology organize the topology of the foliation and of the closed-leaf set (Goertsches et al., 2010).

Context	Geometric object	Role of Betti data
Abelian schemes	Fibers of the Betti map $\beta_\xi$	Define the foliation directly
Vaisman manifolds	Canonical foliation $\mathcal F$	$E_2^{u,1}$ controlled by $g$0 and $g$1
Killing foliations	Basic cohomology of $g$2	Basic Betti numbers bounded and computable via localization

This terminological spread is central to the subject. A discussion of Betti foliation is therefore most precise when it separates the direct foliation-by-Betti-coordinates construction from Betti-number-based invariant theories of foliations.

2. Betti map and local construction on abelian schemes

For a complex abelian variety $g$3, a point $g$4 admits an abelian logarithm $g$5. After choosing a $g$6-basis $g$7 of the period lattice, one writes

$g$8

with $g$9. These $S$0 are the Betti coordinates. In a family $S$1 with section $S$2, they vary as multivalued real-analytic functions on $S$3, giving the Betti map

$S$4

A basic arithmetic fact is that $S$5 is torsion if and only if its Betti coordinates are rational. The map is multivalued because of choices of period basis and logarithm branch, but its rank is well defined and invariant under the resulting integral affine changes of coordinates (André et al., 2018).

The local geometry of the Betti foliation comes from the analytic structure of the level sets of $S$6. The equations fixing the Betti coordinates are holomorphic–antiholomorphic linear relations among periods and logarithms, so the fibers are complex-analytic subvarieties of $S$7. When $S$8 is constant on an open set, the constant rank theorem implies that these fibers form a holomorphic foliation on that open set. In this precise sense, the Betti foliation is a foliation on the base whose leaves are local loci of constant Betti coordinates.

The geometry of the leaves is governed by the rank. If the foliation has maximal possible transversality, then generic leaves are as small as possible; if the rank is smaller, leaves acquire positive dimension. The paper makes this explicit: if $S$9, then near any point the fibers of $\xi:S\to A$0 contain complex subvarieties of dimension at least

$\xi:S\to A$1

where $\xi:S\to A$2 (André et al., 2018).

3. Rank, Kodaira–Spencer theory, and torsion density

The differential invariant of the Betti foliation is

$\xi:S\to A$3

Because $\xi:S\to A$4 is real-analytic with values in $\xi:S\to A$5, the paper states that

$\xi:S\to A$6

and that the rank is always even. The maximal-rank case is characterized by a set of equivalent conditions: $\xi:S\to A$7 $\xi:S\to A$8 is a submersion on a dense open subset, and the image of $\xi:S\to A$9 contains a dense open subset of $\tilde S\to S(\mathbb C)$0. These imply that $\tilde S\to S(\mathbb C)$1 is dense in $\tilde S\to S(\mathbb C)$2 for every prime $\tilde S\to S(\mathbb C)$3, and hence that $\tilde S\to S(\mathbb C)$4 is dense in $\tilde S\to S(\mathbb C)$5 (André et al., 2018).

The main rank computation is expressed through Kodaira–Spencer theory. For the abelian scheme $\tilde S\to S(\mathbb C)$6, the Kodaira–Spencer map is

$\tilde S\to S(\mathbb C)$7

For the $\tilde S\to S(\mathbb C)$8-motive $\tilde S\to S(\mathbb C)$9 associated to $\beta_\xi:\tilde S\to \mathbb R^{2g}$0, the paper introduces an enhanced map $\beta_\xi:\tilde S\to \mathbb R^{2g}$1, and then a contracted form $\beta_\xi:\tilde S\to \mathbb R^{2g}$2 obtained by choosing $\beta_\xi:\tilde S\to \mathbb R^{2g}$3. Under the hypotheses that $\beta_\xi:\tilde S\to \mathbb R^{2g}$4 has no fixed part and $\beta_\xi:\tilde S\to \mathbb R^{2g}$5 is Zariski dense in $\beta_\xi:\tilde S\to \mathbb R^{2g}$6, the rank of the Betti foliation is computed by

$\beta_\xi:\tilde S\to \mathbb R^{2g}$7

This identifies the transverse rank of the foliation with a linear-algebraic invariant extracted from the variation of Hodge structure.

The paper also records concrete consequences. In relative dimension $\beta_\xi:\tilde S\to \mathbb R^{2g}$8, if $\beta_\xi:\tilde S\to \mathbb R^{2g}$9 has no fixed part and the modular image has dimension $E_2^{u,1}$0, then for every section not contained in a proper subgroup scheme one has $E_2^{u,1}$1. For universal hyperelliptic Jacobian families, an explicit computation of the Kodaira–Spencer map yields the same lower bound after finite cover. In the appendix, a restricted real Betti map

$E_2^{u,1}$2

is shown to be generically surjective for a family of real hyperelliptic Jacobians, giving density of real parameters where the chosen real section is torsion (André et al., 2018).

4. Betti-controlled canonical foliations on Vaisman manifolds

A distinct but related use of Betti data appears for the canonical foliation on a compact Vaisman manifold. A Vaisman manifold is a Hermitian manifold $E_2^{u,1}$3 of real dimension $E_2^{u,1}$4 whose fundamental form satisfies

$E_2^{u,1}$5

with Lee form $E_2^{u,1}$6 parallel for the Levi-Civita connection. Writing $E_2^{u,1}$7 and $E_2^{u,1}$8, the distribution

$E_2^{u,1}$9

is integrable, and its leaves define the canonical foliation $\beta_\xi$0. The foliation is Riemannian, holomorphic, and totally geodesic, and its leaves are minimal submanifolds (Ornea et al., 2017).

The Betti-theoretic content lies in the spectral sequence associated to $\beta_\xi$1. The row $\beta_\xi$2 is identified with the basic cohomology $\beta_\xi$3, whose dimensions are the basic Betti numbers $\beta_\xi$4. A theorem recalled in the paper states that on a compact Vaisman manifold the basic Betti numbers $\beta_\xi$5 are uniquely determined by the ordinary Betti numbers $\beta_\xi$6, and conversely. The main estimate is

$\beta_\xi$7

Because the $\beta_\xi$8 are determined by the ordinary $\beta_\xi$9, the inequality can be rewritten entirely in terms of the de Rham Betti numbers of $\mathcal F$0.

The quasi-regular case is sharp. If every leaf is compact, then

$\mathcal F$1

This gives an exact Betti-number control of the $\mathcal F$2-line. The same framework yields cohomological obstructions: if

$\mathcal F$3

then a $\mathcal F$4-dimensional foliation with a bundle-like metric cannot be the canonical foliation of a Vaisman structure (Ornea et al., 2017).

In this literature, “Betti foliation” is not a separately defined object. Rather, the canonical foliation is a foliation whose cohomological behavior is Betti-controlled: the foliation is given geometrically by $\mathcal F$5, while its spectral sequence is constrained by ordinary and basic Betti numbers.

5. Basic Betti numbers, closed leaves, and equivariant basic cohomology

For a Riemannian foliation $\mathcal F$6, the basic cohomology is defined from the complex of forms $\mathcal F$7 satisfying

$\mathcal F$8

for every vector field $\mathcal F$9 tangent to the leaves. Its dimensions $E_2^{u,1}$0 are the basic Betti numbers, and the basic Poincaré polynomial is

$E_2^{u,1}$1

When all leaves are closed, this basic cohomology is the cohomology of the leaf space; in general it encodes transverse geometry and dynamics (Goertsches et al., 2010).

The distinguished subset is the union $E_2^{u,1}$2 of the closed leaves. For a Killing foliation, Molino theory produces an abelian structural Killing algebra $E_2^{u,1}$3 acting transversely, with orbits equal to the leaf closures and zero set

$E_2^{u,1}$4

This motivates the equivariant basic cohomology

$E_2^{u,1}$5

which is the foliated analogue of the Cartan model in equivariant cohomology.

The principal structural results parallel localization theory for torus actions. Under a finiteness hypothesis on isotropy algebras, the localized restriction map

$E_2^{u,1}$6

is an isomorphism. From this one obtains the inequality

$E_2^{u,1}$7

Equality holds precisely when the $E_2^{u,1}$8-action is equivariantly formal. The paper also gives useful sufficient conditions: equivariant formality is equivalent to freeness over $E_2^{u,1}$9, and if $g$00, then the action is automatically equivariantly formal (Goertsches et al., 2010).

The same formalism leads to computation results. If a basic Morse–Bott function has critical set equal to $g$01, then it is perfect in the basic sense: $g$02 where $g$03 runs over the components of $g$04. If the space of leaf closures is a simple, convex polytope of dimension $g$05, then

$g$06

This is a Betti-type invariant theory for foliations: the foliation is not defined by Betti coordinates, but its topology is constrained and often computable through basic Betti numbers.

6. Related constructions and non-equivalent notions

Several additional literatures connect Betti data and foliations without producing the Betti foliation of an abelian scheme. For finitely generated groups, the co-rank $g$07 and the Betti number $g$08 can be prescribed independently subject only to the obvious inequalities, and this has topological significance because for $g$09- and $g$10-manifolds the co-rank of $g$11 equals the cut number. The paper explicitly states that in the theory of foliations of Morse forms, $g$12 and $g$13 define the topology of the foliation, the form’s cohomology class, and the types of its singularities. At the same time, it also states that it does not contain new theorems about Betti foliations or a direct foliation construction (Gelbukh, 2015).

In collapse theory under Ricci lower bounds, a different foliation-like picture appears. If a sequence of closed $g$14-manifolds collapses to a space containing a $g$15-regular point, the first Betti number satisfies

$g$16

The proof passes to regular covers and obtains an equivariant splitting

$g$17

with deck-group orbits equal to the $g$18-fibers. This produces an orbit decomposition that is explicitly described as foliation-like, but the paper also emphasizes that it does not literally construct a foliation in the classical smooth sense (Zamora, 2022).

A further non-equivalent use occurs in the theory of holonomic $g$19-modules. There, a Betti structure is a refinement of a pre-Betti structure for irregular holonomic $g$20-modules, defined using Stokes filtrations on the real blow-up and an inductive compatibility with nearby and vanishing cycles. The paper does not use “Betti foliation” as a formal term; the connection is only heuristic, through the direction-dependent geometry of asymptotic sectors on the real blow-up (Mochizuki, 2010).

Finally, the Euler–Betti algorithm concerns foliations on $g$21 detected from graded Betti numbers of the singular ideal. Its criterion requires

$g$22

together with a linear syzygy whose entries span a $g$23-dimensional space, in order to reconstruct generators $g$24 satisfying Euler’s condition $g$25. This is an algebraic use of Betti numbers in foliation theory, not a Betti foliation in the sense of Betti-map leaves (Pantaleón-Mondragón et al., 2023).

The main conceptual boundary is therefore clear. In the cited literature, only the abelian-scheme setting presents a foliation directly defined by Betti coordinates. The remaining settings show how Betti-type invariants constrain, detect, classify, or approximate foliations and foliation-like structures.