On weak and strict relatives Kähler manifolds

This paper investigates Kähler manifolds that share locally isometric submanifolds, proving that a weak relative of a projective Kähler manifold is necessarily a strict relative, while also introducing and exemplifying the concept of strict relatives.

The Gist

Imagine you are a detective trying to figure out how different geometric worlds relate to one another. In the world of mathematics, specifically Kähler manifolds (which are fancy, smooth, multi-dimensional shapes with a special kind of geometry), there's a big question: Do two different shapes share a common "neighborhood"?

This paper, written by G. Placini, investigates exactly that. It introduces a game of "shape matching" with three main characters: Relatives, Weak Relatives, and Strict Relatives.

Here is the story in plain English, using some creative analogies.

1. The Concept of "Relatives"

Think of two Kähler manifolds as two different countries, Country A and Country B.

• Definition: They are called "Relatives" if they both share a common "town" (a submanifold) that fits perfectly into both of them.
• The Catch: This town must be a "holomorphic" fit. In our analogy, this means the town has to be built with the exact same "blueprints" and "orientation" in both countries. It's not just a physical match; it has to match the mathematical soul of the shape.

2. The "Weak Relatives" Mystery

Now, imagine a detective asks: "What if the town fits physically, but the blueprints are slightly different? Maybe the streets are rotated or flipped?"

• Weak Relatives: These are two countries that share a town where the physical shape matches perfectly (locally isometric), but the blueprints (the complex structure) might be slightly twisted or different.
• The Big Question: Is this "Weak" relationship actually just a "Weak" version of being Relatives, or is it a completely different, looser connection?

The Paper's Big Discovery (Theorem 3):
The author proves a surprising rule: If one of the countries is "Projective" (a very specific, rigid type of geometry, like a perfect sphere or a grid), then "Weak Relatives" are actually just "Relatives."

• The Analogy: Imagine you have a rigid, perfect Lego castle (the Projective manifold) and a wobbly, flexible clay model. If you find a piece of clay that fits perfectly into a hole in the Lego castle, the author proves that the clay piece must actually be a perfect Lego piece too. You can't have a "wobbly fit" with a rigid Lego castle; it forces the fit to be perfect.
• Why it matters: Before this, mathematicians weren't sure if "Weak Relatives" were a distinct category. This paper says: "If one side is rigid, there is no 'weak' version. They are either perfect relatives or they aren't related at all."

3. The "Strict Relatives" Challenge

The author then introduces a new, more difficult category: Strict Relatives.

• The Definition: Two shapes are "Strict Relatives" if they share a common town, BUT neither shape can be shrunk down or stretched to fit inside the other.
• The Analogy: Imagine two different puzzle boxes.
  • Normal Relatives: Box A and Box B both contain a small, identical puzzle piece. Usually, this happens because Box A is actually just a smaller version of Box B (or vice versa).
  • Strict Relatives: Box A and Box B both contain that same small puzzle piece, but Box A is a giant, complex machine, and Box B is a completely different giant machine. You can't fit Box A inside Box B, and you can't fit Box B inside Box A. They are "cousins" that share a DNA strand (the common town) but are too different to be parent and child.

Why is this hard?
For a long time, mathematicians only knew examples where one shape could fit inside the other. Finding "Strict Relatives" (two shapes that share a piece but can't fit inside each other) was like finding two people who share a common ancestor but have no family resemblance to each other.

4. The Examples (The Proof of Concept)

The second half of the paper is the author showing off a collection of these "Strict Relatives" to prove they actually exist. He builds several pairs of shapes:

• Non-Compact Examples: Infinite shapes (like an endless plane) that share a line but can't fit inside each other.
• Compact Examples: Finite, closed shapes (like a sphere) that share a circle but are too different to fit inside one another.
• Mixed Examples: One finite shape and one infinite shape that are "Strict Relatives."

Summary: What did we learn?

1. Rigidity Wins: If you have a rigid, projective shape, you can't have a "loose" connection with another shape. If they share a piece, they are perfectly related.
2. Strict Cousins Exist: There are pairs of shapes that share a common geometric "neighborhood" but are so different that neither can be squeezed inside the other. These are the "Strict Relatives."
3. New Territory: The author provides the first concrete examples of these Strict Relatives, opening up a new area of study in geometry where we look at shapes that are related but not "nested" inside one another.

In short, the paper solves a riddle about how rigid shapes force their connections to be perfect, and then goes on a treasure hunt to find the rare, weird shapes that are related but refuse to fit inside each other.

Technical Summary

Here is a detailed technical summary of the paper "On Weak and Strict Relatives Kähler Manifolds" by G. Placini.

1. Problem Statement and Context

The paper addresses the rigidity phenomena in Kähler geometry, specifically focusing on the relationship between different Kähler manifolds that share a common submanifold.

• Background: The study of holomorphic isometries (rigid mappings preserving both the metric and complex structure) is a cornerstone of Kähler geometry. Calabi's seminal work established that finite-dimensional complex space forms of different types cannot be holomorphically isometric.
• The Concept of "Relatives": Di Scala and Loi introduced the notion of relatives: two Kähler manifolds $M_1$ and $M_2$ are relatives if they share a common Kähler submanifold $X$ via holomorphic isometric embeddings $\phi_i: X \to M_i$.
• The Gap:
  1. Weak Relatives: A weaker notion was proposed where $M_1$ and $M_2$ share submanifolds $X_1$ and $X_2$ that are only locally isometric (Riemannian isometry), not necessarily holomorphically isometric. It was unclear if "weak relatives" implies "relatives" in general, or if there exist pairs that are weak relatives but not relatives.
  2. Strict Relatives: Existing examples of relatives in the literature almost always relied on one manifold being holomorphically isometrically immersed into the other. There was a lack of examples of strict relatives: manifolds that are relatives (share a submanifold) but where neither can be locally holomorphically isometrically immersed into the other.

2. Methodology

The author employs a combination of differential geometric rigidity theorems, holonomy group analysis, and specific constructions of Kähler metrics.

• Holonomy and Isometry Analysis (Lemma 6): The core technical tool is a proof regarding isometries between irreducible Kähler manifolds. The author proves that if $M_1$ is irreducible and not Ricci-flat, any isometry $\phi: M_1 \to M_2$ must be either holomorphic or anti-holomorphic. This relies on:
  • The parallel transport of the complex structure ($\nabla A = 0$).
  • Lichnerowicz's result on the normalizer of the holonomy algebra for irreducible, non-Ricci-flat manifolds.
  • Schur's Lemma applied to the irreducible action of the holonomy group.
• De Rham Decomposition: To handle general Kähler manifolds, the author utilizes the de Rham decomposition theorem, splitting the manifold into irreducible factors (including Ricci-flat factors).
• Calabi's Extension and Rigidity: The proofs for non-existence of immersions rely heavily on Calabi's rigidity theorems, which state that holomorphic isometries into complex projective spaces (or infinite-dimensional space forms) are rigid and determined by their local behavior.
• Explicit Constructions: For the existence of strict relatives, the author constructs specific examples using:
  • Blow-ups of $\mathbb{C}^k$ with the Burns-Simanca metric.
  • Homogeneous Kähler manifolds (products of $\mathbb{C}^n$ and complex hyperbolic spaces).
  • Projectivized tangent bundles of complex hyperbolic spaces.

3. Key Contributions and Results

A. Equivalence of Weak and Strict Relatives in the Projective Case

The paper resolves the ambiguity regarding "weak relatives" when one of the manifolds is projective.

• Theorem 3: If a projective Kähler manifold $M_1$ and an arbitrary Kähler manifold $M_2$ are weak relatives, then they are relatives.
  • Significance: This removes the need for curvature assumptions on $M_2$ (unlike previous results requiring $M_2$ to be a bounded domain). The proof shows that the local Riemannian isometry between the shared submanifolds can be "corrected" to a holomorphic isometry because the projective factor forces the complex structures to align (or anti-align) via the holonomy argument.
• Corollary 4: As a direct application, a projective Kähler manifold and a product of a flat Kähler manifold with a homogeneous bounded domain are not weak relatives. This extends previous non-existence results for relatives to the weak case.

B. Introduction and Construction of Strict Relatives

The paper defines strict relatives (Definition 5): Two Kähler manifolds are strict relatives if they are relatives, but there exists no local holomorphic isometry from one into the other. The author provides the first non-trivial examples of such pairs, moving beyond the trivial case where one manifold is a product factor of the other.

The paper presents five distinct examples:

1. Product Case (Example 1): $\mathbb{C}^n$ vs. $\mathbb{C} \times \mathbb{C}P^m$. They share a flat line $\mathbb{C}$, but dimensional and curvature constraints prevent mutual immersion.
2. Non-compact, Scalar Flat (Example 2): A blow-up of $\mathbb{C}^k$ (Burns-Simanca metric) vs. a homogeneous manifold $\mathbb{C}^n \rtimes \mathbb{C}H^m$. The obstruction relies on the integrality of the Kähler class for projective immersions.
3. Non-compact, Non-Scalar Flat (Example 3): Complex hyperbolic space $\mathbb{C}H^n$ vs. a bounded symmetric domain. Obstruction based on holomorphic sectional curvature rigidity.
4. Compact Case (Example 4): $\mathbb{C}P^n$ vs. a Quadric $Q^m \subset \mathbb{C}P^{m+1}$. Both contain $\mathbb{C}P^1$. Obstruction arises from dimension and the fact that a local isometry would force constant holomorphic sectional curvature on the quadric, which is false.
5. Mixed Compact/Non-compact (Example 5): $\mathbb{C}P^n$ vs. the projectivized tangent bundle of $\mathbb{C}H^2$. This is a sophisticated construction where the metric is induced by a full immersion into $\mathbb{C}P^\infty$, preventing immersion into the compact $\mathbb{C}P^n$ due to Calabi's rigidity.

4. Significance

• Clarification of Rigidity: The paper clarifies the hierarchy of rigidity. It proves that for projective manifolds, the "weak" condition (Riemannian sharing) collapses into the "strong" condition (holomorphic sharing). This suggests that the complex structure is so rigid in the projective setting that Riemannian coincidence implies holomorphic coincidence.
• New Class of Examples: By defining and constructing strict relatives, the author demonstrates that the relationship of being "related" is not merely a consequence of one manifold embedding into another. This opens a new avenue for studying Kähler manifolds that share local geometry but possess distinct global or local complex structures.
• Methodological Advancement: The proof of Lemma 6 provides a self-contained, accessible argument for a known but previously unproven result regarding isometries of irreducible Kähler manifolds, making the tool more accessible for future research.
• Counter-Intuitive Findings: The existence of strict relatives challenges the intuition that shared submanifolds usually imply a hierarchical relationship (immersion) between the ambient spaces.

In summary, Placini's work strengthens the understanding of Kähler rigidity by proving that projectivity forces weak relatives to be strict relatives, and by constructing the first examples of "strict relatives" where no mutual immersion exists, thereby deepening the study of local vs. global geometric constraints in complex geometry.