Riemannian Product Bundles

• Riemannian product bundles are fiber bundles endowed with metrics that blend base and fiber geometries, often exhibiting almost product or para-Hermitian structures.
• They encompass constructions like twistorial and generalized warped products, enabling precise curvature analysis and the study of Einstein conditions via coupled metric equations.
• These bundles serve as models for investigating integrability, moduli spaces, and topological invariants, linking curvature properties with global geometric classifications.

A Riemannian product bundle is a fiber bundle whose total space is equipped with a Riemannian metric that reflects both the base and fiber structures—often possessing additional geometric features such as almost product, locally product, or para-Hermitian structures. This field unifies classical product constructions (e.g., $M_1 \times M_2$ with a product metric) with curved or twisted bundle settings, enabling systematic exploration of curvature, integrability, and classification phenomena relevant across modern differential geometry and global analysis.

1. General Constructions and Canonical Metrics

Riemannian product bundles in their most basic form include direct products of Riemannian manifolds, equipped with the sum metric $g_1 \oplus g_2$. More generally, these structures encompass diverse settings:

• Twistorial Product Bundles: Consider an oriented Riemannian four-manifold $(M, g)$. Its bundle of 2-forms $\Lambda^2 TM$ splits under the Hodge star as $\Lambda^2_+TM \oplus \Lambda^2_-TM$. The positive/negative twistor spaces, $Z^+M$, $Z^-M$, are $S^2$-bundles over $M$. The fiberwise product $P = Z^+M \times_M Z^-M$ admits a Riemannian metric $g_1 \oplus g_2$0 defined by metric submersion structures, horizontally induced by $g_1 \oplus g_2$1 and with vertical fibers scaled by $g_1 \oplus g_2$2, $g_1 \oplus g_2$3 (Davidov, 2019).
• Generalized Warped Product Bundles: For Riemannian manifolds $g_1 \oplus g_2$4, $g_1 \oplus g_2$5 and functions $g_1 \oplus g_2$6, $g_1 \oplus g_2$7, a generalized warped product metric on $g_1 \oplus g_2$8 is defined as

$g_1 \oplus g_2$9

where $(M, g)$0 is a real parameter and $(M, g)$1, $(M, g)$2 are horizontal and vertical lifts, respectively (Nasri, 2015).

• Natural Diagonal Lifts to Cotangent Bundles: For the cotangent bundle $(M, g)$3 of a Riemannian manifold $(M, g)$4, canonical diagonal almost product and para-Hermitian structures are constructed using smooth functions of the “energy” $(M, g)$5, determining the structure tensor on horizontal and vertical lifts (Druta-Romaniuc, 2011).

2. Almost Product, Locally Product, and Para-Hermitian Structures

A product structure is an involutive $(M, g)$6-tensor field $(M, g)$7 satisfying $(M, g)$8, splitting the tangent bundle into eigenbundles associated to eigenvalues $(M, g)$9. For Riemannian product bundles:

• Twistorial Constructions: On $\Lambda^2 TM$0, there exist four canonical endomorphisms $\Lambda^2 TM$1 ($\Lambda^2 TM$2), orthogonal and involutive, whose eigenbundles define Riemannian almost product structures. The corresponding $\Lambda^2 TM$3 and $\Lambda^2 TM$4-eigen-distributions are mutually orthogonal and of constant rank (Davidov, 2019).
• Generalized Warped Metrics: The underlying bundle can support non-diagonal metrics whose associated $\Lambda^2 TM$5 tensors may fail to be integrable. The notion of Einstein and constant-curvature conditions is investigated via coupled PDEs for the warping functions (Nasri, 2015).
• Diagonal Cotangent Structure: The natural diagonal lift construction defines a tensor $\Lambda^2 TM$6 on $\Lambda^2 TM$7 that yields an almost product structure if and only if specific algebraic contractions among the coefficient functions hold. Integrability of $\Lambda^2 TM$8 (i.e., locally product structures) is characterized by the vanishing of the Nijenhuis tensor, which in turn imposes that the base be of constant curvature and certain rational relations among the coefficient functions (Druta-Romaniuc, 2011).

3. Classification via Gil-Medrano and Naveira Types

The Gil-Medrano and Naveira classification stratifies Riemannian almost product structures according to restrictions on the fundamental tensor $\Lambda^2 TM$9 and its symmetries:

• Gil-Medrano Properties: Key properties refer to foliated ($\Lambda^2_+TM \oplus \Lambda^2_-TM$0 integrable), totally geodesic, minimal, and certain mixed skew-symmetries of the eigen-distributions with respect to $\Lambda^2_+TM \oplus \Lambda^2_-TM$1.
• Naveira's 36 Classes: These are determined via the vanishing and symmetry of $\Lambda^2_+TM \oplus \Lambda^2_-TM$2 on particular distributions (horizontal/vertical), resulting in a fine 36-type decomposition $\Lambda^2_+TM \oplus \Lambda^2_-TM$3 (Davidov, 2019).
• Twistorial Realizations: Davidov's results identify the types realized by each $\Lambda^2_+TM \oplus \Lambda^2_-TM$4 on the twistorial product $\Lambda^2_+TM \oplus \Lambda^2_-TM$5, demonstrating that by tuning $\Lambda^2_+TM \oplus \Lambda^2_-TM$6 and modifying base manifold curvature, all of the 36 Naveira classes (or their direct sums) can be non-trivially produced. For example, constant curvature of the base imposes triviality and integrability, while self-duality/anti-self-duality of the base kills half the curvature contributions in the fundamental tensor (Davidov, 2019).

Structure	Classification Tool	Key Criterion
Twistorial Product	Naveira/Gil-Medrano	Vanishing of Weyl or traceless Ricci
Generalized Warped	Einstein/Curvature PDEs	Solutions to coupled warping PDEs
Cotangent Bundle Lift	Algebraic/Integrability	Relations among lift coefficients

4. Metric Constructions, Positivity, and Curvature

The geometry of Riemannian product bundles is fundamentally influenced by choices of metric, which in turn control curvature and topological invariants:

• Twistorial Submersion Metrics: The metric $\Lambda^2_+TM \oplus \Lambda^2_-TM$7 on $\Lambda^2_+TM \oplus \Lambda^2_-TM$8 is block-diagonal with respect to the horizontal–vertical split. Fiber metrics can be rescaled independently to control curvature contributions and obtain totally geodesic fibers (the entire $\Lambda^2_+TM \oplus \Lambda^2_-TM$9 fiber is always totally geodesic) (Davidov, 2019).
• Generalized Warped Products: The metric $Z^+M$0 is Riemannian if and only if $Z^+M$1, where $Z^+M$2 are squared norms of the gradients of the warping functions. Curvature formulas—both Ricci and scalar—are given explicitly in terms of base/fiber curvature tensors, warping functions, and their derivatives. Geodesic equations mix the base and fiber, with coupling via the warping functions. Einstein conditions and constant curvature families are classified by solvability of associated ODE/PDE systems (Nasri, 2015).
• Diagonal Lifts: Sufficient conditions for the nondegeneracy/positivity of diagonal metrics on $Z^+M$3 are given in terms of the underlying functions of $Z^+M$4; integrability again prescribes rigid forms for these functions when the base is a space-form (Druta-Romaniuc, 2011).

5. Topological and Homotopical Applications

Product bundles with Riemannian metrics facilitate the study of global invariants, moduli, and mapping spaces:

• Non-multiplicativity of the $Z^+M$5–Genus: Bundles with base and fiber $Z^+M$6, $Z^+M$7 admit nonvanishing $Z^+M$8–genus for the total space $Z^+M$9, explicitly demonstrating that $Z^-M$0 and refuting general multiplicativity on such bundles (Frenck et al., 2020).
• Riemannian Submersion Metrics and Lower Curvature Bounds: By equipping $Z^-M$1 with metrics as described, one establishes positive scalar (and, under rescaling, sometimes nonnegative sectional) curvature of the total space. This construction yields classes in the rational homotopy groups of spaces of Riemannian metrics $Z^-M$2 that cannot be detected by simple models, hence producing non-trivial elements in the topology of moduli spaces of metrics (Frenck et al., 2020).

6. Moduli, Realizations, and Open Directions

A salient feature of advanced Riemannian product bundle theory is the flexibility in moduli and the challenge of parametrizing all possible realizations:

• By tuning parameters like $Z^-M$3 in twistorial constructions, or warping/coefficient functions in generalized warped and cotangent bundle lifts, one can traverse a family of distinct geometric types, including optimal structures (e.g., harmonic, para-Kähler) subject to explicit constraints (Davidov, 2019, Druta-Romaniuc, 2011).
• The twistorial example demonstrates that the classical dearth of nontrivial almost-product manifolds in many Naveira classes can be circumvented, expanding the catalog of explicit models available for further exploration (Davidov, 2019).
• Open problems include: generalizing twistorial product constructions to higher dimensions using Grassmannian or orthogonal-complex subbundles, and characterizing the moduli of metrics or parameters yielding desirable geometric structures, such as harmonic or Einstein product metrics (Davidov, 2019).

7. Connections to Related Geometric Frameworks

Riemannian product bundles intersect with, and provide testbeds for, broader areas in global differential geometry:

• The interplay between metric submersion theory, totally geodesic foliations, and the O’Neill formulas underpins many curvature calculations and informs the design of metrics with prescribed invariants.
• Lifted geometric structures on cotangent bundles—such as natural diagonal para-Hermitian and para-Kähler structures—encode further symmetries and yield deeper connections to complex and symplectic geometry (Druta-Romaniuc, 2011).
• The interaction between curvature, topology (e.g., $Z^-M$4–genus), and the homotopy theory of spaces of Riemannian metrics clarifies the topological constraints and possibilities imposed by constructing metrics on high-dimensional fiber bundles with rich base/fiber structure (Frenck et al., 2020).

The study of Riemannian product bundles, through constructions such as twistorial products, generalized warping, and natural diagonal lifts, exposes intricate relationships between fiber bundle topology, metric geometry, and curvature-induced classification. Each construction yields novel geometric models for testing conjectures and exploring the landscape of possible Riemannian manifolds with prescribed local and global invariants.