🔢 mathematics

A note on the rational homotopy type of the projectivization of the tangent bundle of complex projective spaces

This paper determines the rational homotopy type of the total space of the projectivization of the complex tangent bundle over $\mathbb{C}P^n$ , showing it is equivalent to the homogeneous space $\mathrm{U}(n+1)/(\mathrm{U}(1)\times \mathrm{U}(1)\times \mathrm{U}(n-1))$ .

Original authors: Meshach Ndlovu, Jean Baptiste Gatsinzi

Published 2026-07-14

📖 3 min read🧠 Deep dive

CC BY 4.0

Original authors: Meshach Ndlovu, Jean Baptiste Gatsinzi

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you have a giant, invisible Lego set made of mathematical shapes. In this paper, two mathematicians from Botswana, Meshach Ndlovu and Jean Baptiste Gatsinzi, decide to build a very specific, complicated tower using a special kind of Lego block called a "tangent bundle" over a shape known as "complex projective space" (let's call it CP n for short).

Think of CP n as a smooth, curved stage. On this stage, they attach a bundle of strings (the tangent bundle) that point in every possible direction. But instead of leaving the strings loose, they decide to turn every single string into a tiny, miniature version of the stage itself (a CP n-1). This creates a massive, multi-layered structure called the projectivization bundle, or P(E). It's like taking a map of a city and replacing every single street with a whole new, smaller city.

The big question the authors ask is: "What does this giant, twisted tower really look like if we ignore all the tiny, wiggly details and just look at its big, round shape?" In math-speak, they are asking for its "rational homotopy type."

Here is the twist: They prove that this incredibly complex tower, built from the tangent bundle of CP n, is actually just a fancy disguise for a very specific, well-known shape. They show that if you squint at the math, P(E) is exactly the same shape as a giant mathematical playground called U(n + 1)/U(1) × U(1) × U(n −1).

To make this concrete, imagine you have a messy, tangled ball of yarn (the projectivization bundle). The authors don't just say, "It looks kind of like a ball." They perform a rigorous, step-by-step untying process using a tool called a Sullivan model. Think of a Sullivan model as a magical instruction manual that translates the messy yarn into a set of algebraic equations. They follow these instructions, canceling out the "noise" and the "extra loops" until the messy yarn transforms perfectly into the clean, structured shape of that specific playground (U(n + 1)/U(1) × U(1) × U(n −1)).

The paper explicitly rules out the idea that this shape is a mystery or that it might be something totally different. They don't just guess or simulate; they provide a mathematical proof. They show that for any size n (as long as n is 2 or bigger), the shape is definitely this specific playground. They also confirm that this shape is "formal," which is a fancy way of saying its structure is so stable and predictable that you can understand its whole personality just by looking at its basic building blocks.

So, the main finding is a "match made in heaven": The complicated, twisted tower built from the tangent bundle of CP n is mathematically identical to the homogeneous space U(n + 1)/U(1) × U(1) × U(n −1). The authors are 100% sure of this because they constructed a bridge (an isomorphism) between the two shapes using their algebraic tools, proving they are the same thing in the world of rational homotopy. No simulations, no "maybe," just a solid, proven fact.

Technical Summary: Rational Homotopy Type of the Projectivization of the Tangent Bundle of Complex Projective Spaces

Problem Statement
The paper addresses a gap in the comprehensive understanding of the rational homotopy type of the total space $P(E)$ of the projectivization bundle $P(\xi)$ over complex projective spaces $\mathbb{C}P^n$ . While prior work by Lupton and Oprea established that $P(E)$ is formal when the base $B$ is formal, and Thomas proved that such bundles are pure fibrations, the specific rational homotopy type of $P(E)$ when the base is $\mathbb{C}P^n$ and the bundle is the tangent bundle $\tau$ had not been explicitly determined in terms of homogeneous spaces. The authors aim to identify the rational homotopy type of the total space $P(E)$ for the projectivization of the tangent bundle $\tau: \mathbb{C}^n \to E \to \mathbb{C}P^n$ .

Methodology
The authors employ the framework of Rational Homotopy Theory, specifically utilizing Sullivan minimal models. The methodology proceeds through the following steps:

Construction of the Sullivan Model for the Bundle:
Using the theory of Koszul Sullivan extensions, the authors construct a relative Sullivan algebra modeling the projectivization bundle $P(\tau): \mathbb{C}P^{n-1} \to P(E) \to \mathbb{C}P^n$ .
- They utilize the known Sullivan model for the base $\mathbb{C}P^n$ , given by $(\Lambda(y_2, y_{2n+1}), d)$ with $dy_2=0$ and $dy_{2n+1}=y_2^{n+1}$ .
- They incorporate the total Chern class of the tangent bundle, $c(\tau) = (1+y_2)^{n+1}$ , to define the differential on the fiber generators.
- This results in a model for $P(E)$ of the form $(\Lambda(y_2, y_{2n+1}) \otimes \Lambda(x_2, x_{2n-1}), D)$ , where the differential $D$ encodes the Chern classes of the bundle.
Construction of the Sullivan Model for the Homogeneous Space:
The authors independently construct the Sullivan minimal model for the homogeneous space $U(n+1)/U(1) \times U(1) \times U(n-1)$ .
- They apply Theorem 2.1 (relating the cohomology of homogeneous spaces to the classifying maps of their subgroups).
- By analyzing the classifying map $Bi: BH \to BG$ for the inclusion $H = U(1) \times U(1) \times U(n-1) \hookrightarrow G = U(n+1)$ , they derive a complex Sullivan algebra involving generators corresponding to the cohomology of the classifying spaces.
- Through a systematic process of variable substitution and the cancellation of acyclic ideals (generators that form exact pairs), they reduce this algebra to a minimal Sullivan model of the form $(\Lambda(a_2, b_2, v_{2n-1}, v_{2n+1}), d)$ .
Comparison and Isomorphism:
The core of the proof involves establishing an isomorphism between the minimal Sullivan model of the homogeneous space and the minimal model of the projectivized bundle $P(E)$ .
- The authors define a morphism $f$ mapping the generators of the homogeneous space model to those of the bundle model.
- They verify that this morphism commutes with the differentials.
- Using spectral sequence arguments and filtration by word length, they demonstrate that $f$ induces an isomorphism on the associated bigraded modules, thereby proving the two spaces share the same rational homotopy type.

Key Contributions and Results
The primary result of the paper is Theorem 3.2 (also stated as Theorem 4.2), which asserts:
Let $\tau: \mathbb{C}^n \to E \to \mathbb{C}P^n$ be the tangent bundle over $\mathbb{C}P^n$ where $n \geq 2$ . The total space $P(E)$ of the projectivization bundle $P(\tau)$ has the rational homotopy type of the homogeneous space:
$U(n+1) / (U(1) \times U(1) \times U(n-1))$

Specific technical findings include:

Explicit Models: The paper provides the explicit differential graded algebra (DGA) structures for both the projectivized bundle and the target homogeneous space.
- For $P(E)$ , the cohomology algebra is identified as $H^*(P(E), \mathbb{Q}) \cong \Lambda(x_2, y_2)/I$ , where $I$ is generated by specific polynomials derived from the Chern classes.
- For the homogeneous space, the minimal model is reduced to generators in degrees 2, 2, $2n-1$ , and $2n+1$ , with differentials defined by specific polynomial sums involving the degree 2 generators.
Formality: The authors note that since the Sullivan model of $P(E)$ is both pure and symplectic, the space $P(E)$ is formal. This aligns with previous general results regarding projectivization bundles over formal bases.

Significance and Claims
The paper claims to resolve the lack of comprehensive knowledge regarding the specific rational homotopy type of $P(E)$ over $\mathbb{C}P^n$ . By explicitly identifying $P(E)$ with the homogeneous space $U(n+1)/U(1)^2 \times U(n-1)$ , the authors provide a concrete geometric characterization of this bundle's rational homotopy structure. The work relies on the foundational tools of Sullivan models and the properties of formal spaces, extending the application of these tools to a specific, non-trivial case of vector bundle projectivization. The study is presented as a portion of the first author's Ph.D. thesis, contributing to the broader understanding of the topology of fiber bundles over complex projective spaces.

More like this