Product Bundle Manifolds

• Product bundle manifolds are geometric objects arising from the resolution of products of fibered structures with intricate boundary and corner data.
• They generalize classical fiber bundles by applying blow-up techniques and ordered products to harmonize singularities and complex analytic features.
• This framework offers a unified approach for handling stratified spaces, many-body compactifications, and non-Kähler analytic structures in differential geometry.

A product bundle manifold is a geometric object arising as the product (in various senses) of fibered objects whose fibers themselves may possess additional structure, such as corners, stratifications, or complex analytic data. In the setting of manifolds with fibered corners, the product bundle manifold is formed via a resolution of the standard cartesian product, using a blow-up procedure that harmonizes the boundary and fiber structures, yielding a space equipped to handle singularities intrinsic to many-body compactifications, stratified spaces, and moduli problems. An alternate but related framework appears in the context of circle bundles over complex manifolds, where complex structures on products of such bundles depend crucially on group actions and compatibility conditions, exhibiting non-Kähler phenomena.

1. Foundations: Manifolds with Fibered Corners

A compact $n$-dimensional manifold with fibered corners is a manifold with corners $X$ equipped, for each boundary hypersurface $H \subset X$, with a fibration $\varphi_H : H \to B_H$, where both total space $H$ and base $B_H$ are themselves manifolds with (possibly fibered) corners. A global "honorary boundary" fibration $\varphi_X : X \to B_X$ is specified (the identity, or the constant map), with compatibility conditions at intersections of faces: if two faces $H, H'$ meet, exactly one of $\dim B_H < \dim B_{H'}$ or vice versa holds, and the coarser fibration restricts along $H \cap H'$ to a bundle over the base face for the finer fibration. In coordinates near nested faces $X$0, the local model is $X$1. Here, $X$2 fibers over base $X$3 with fiber $X$4 (Kottke et al., 2022).

2. The Fibered Corner Category and Ordered Product Construction

Objects in the fibered-corner category are manifolds with fibered corners, equipped with collections of "good" boundary defining functions $X$5. Morphisms are smooth interior b-maps, which are simple, b-normal, ordered (preserving the partial order on principal faces), fibered on each boundary, and compatible with boundary defining function classes.

The ordered product $X$6 of two fibered corner manifolds is defined via an iterated blow-up of the cartesian product $X$7. Given $X$8 (faces less than $X$9) and $H \subset X$0 (faces greater than $H \subset X$1), and similarly for $H \subset X$2, one forms

$H \subset X$3

where $H \subset X$4 denotes the blow-up along specified codimension-2 corners, in an order consistent with the product partial order. Locally in appropriate coordinates, this replaces defining functions for the highest-stratum corners by polar-type coordinates, consistently resolving singularities at intersections of boundaries and fibers (Kottke et al., 2022).

3. Universal Properties and Main Results

The ordered product provides the categorical product in the fibered-corner category. Theorem 2.1 asserts that for any pair of morphisms $H \subset X$5, there is a unique morphism $H \subset X$6 making the canonical diagram commute; $H \subset X$7 is associative, symmetric (up to canonical isomorphism), and possesses the universal property of the categorical product.

Theorem 2.2 describes the transverse fiber product: for b-transverse morphisms $H \subset X$8, $H \subset X$9, the fiber product

$\varphi_H : H \to B_H$0

is a manifold with fibered corners, also satisfying the universal property in the fibered-corner category. The proof utilizes monoid refinement to lift local cone equations in the blow-up model (Kottke et al., 2022).

4. Relation to Classical Product Bundles

If $\varphi_H : H \to B_H$1 and $\varphi_H : H \to B_H$2 are classical fiber bundles, considered as fibered corners with trivial interior fibrations, then $\varphi_H : H \to B_H$3 reproduces the classical theory: $\varphi_H : H \to B_H$4 is the standard product bundle over $\varphi_H : H \to B_H$5. In cases where factors are minimal/maximal, even $\varphi_H : H \to B_H$6 as bundles.

In general, the ordered product introduces new boundary faces, resolving incompatibilities in the fiber and boundary structure along the corners of $\varphi_H : H \to B_H$7. The resulting bundle $\varphi_H : H \to B_H$8 is a fiber bundle whose fibers are themselves ordered products of those of $\varphi_H : H \to B_H$9 and $H$0 (Kottke et al., 2022).

5. Examples and Applications

5.1 Stratified Spaces

If $H$1 and $H$2 are resolutions of stratified spaces $H$3, $H$4, then the stratification of $H$5 is canonically identified with $H$6. The fibered-corner machinery recovers the iterated cone–cylinder resolution for product strata (Kottke et al., 2022).

5.2 Many-Body Compactifications

For real vector spaces $H$7, $H$8 with linear systems $H$9, $B_H$0, the many-body compactifications $B_H$1, $B_H$2 are interior-minimal fibered corners. The ordered product satisfies

$B_H$3

identifying the product with the many-body compactification of $B_H$4 (Kottke et al., 2022).

5.3 Geometric Metrics

Wedge and quasi-fibered boundary metrics are compatible with ordered products. The Lie algebra of vector fields $B_H$5 (wedge structure) consists of $B_H$6-vector fields tangent to fibers of each boundary fibration. For QFB metrics, one considers $B_H$7. Theorem 3.1 ensures that if $B_H$8, $B_H$9 are wedge (or $\varphi_X : X \to B_X$0) metrics, then their sum lifts canonically to a wedge (resp. QFB) metric on $\varphi_X : X \to B_X$1, with explicit local model formulas demonstrating their wedge or QAC/QFB type (Kottke et al., 2022).

6. Complex Product Bundles and Analytic Structures

An alternate perspective arises in the study of products of circle bundles over complex manifolds. Given compact complex manifolds $\varphi_X : X \to B_X$2 and holomorphic line bundles $\varphi_X : X \to B_X$3, $\varphi_X : X \to B_X$4, the associated unit circle bundles $\varphi_X : X \to B_X$5, $\varphi_X : X \to B_X$6 form the product $\varphi_X : X \to B_X$7, a real codimension-2 submanifold of the bundle product $\varphi_X : X \to B_X$8. Complex structures on $\varphi_X : X \to B_X$9 are constructed via holomorphic flows with C* group actions, of scalar, diagonal, and linear types:

• Scalar type: flows along proper embeddings $H, H'$0 using parameters with $H, H'$1, producing generalized Calabi–Eckmann structures.
• Diagonal type: using higher torus $H, H'$2-actions satisfying weak hyperbolicity.
• Linear type: in the case $H, H'$3 (generalized flag varieties), flows generated via semisimple Jordan decompositions giving rise to linear, algebraically compatible flows.

All such complex structures are non-Kähler if $H, H'$4 and $H, H'$5 in $H, H'$6, since $H, H'$7 arises only from fiber classes, precluding symplectic forms. Vanishing theorems for $H, H'$8 hold under projectivity and Cohen–Macaulayness of associated affine cones, and the field of meromorphic functions on $H, H'$9 is purely transcendental of transcendence degree $\dim B_H < \dim B_{H'}$0 when $\dim B_H < \dim B_{H'}$1 arises from linear-type structures with vanishing unipotent part (Sankaran et al., 2010).

7. Theoretical Significance and Structural Table

Product bundle manifolds generalize both classical bundle constructions and modern approaches to resolution of singularities, enabling refined study of compactifications, singular moduli, and intersection theory on spaces with boundary or corners.

Category	Construction	Key Result
Fibered corner products	Blown-up cartesian product	Existence, universality, resolvent for singularities
Circle bundle products	Holomorphic flow quotient	Non-Kähler structures, vanishing theorems
Many-body/stratified spaces	Ordered product via blowup	Natural resolution and compactification

The framework synthesizes categorical, geometric, and analytic techniques for studying complex and stratified phenomena in differential and algebraic geometry (Kottke et al., 2022, Sankaran et al., 2010).