On weak and strict relatives Kähler manifolds

Cet article étudie les variétés kählériennes relatives et faiblement relatives, démontrant que deux telles variétés sont relatives si l'une est projective, tout en introduisant la notion de relatives strictes accompagnée d'exemples non triviaux.

L'essentiel

Voici une explication de ce papier mathématique, traduite en langage simple et imagé pour le grand public.

Imaginez que les mathématiques sont un vaste univers rempli de jardins géométriques appelés « variétés de Kähler ». Ces jardins ont des règles très strictes : ils sont plats, courbés, ou tordus d'une manière très précise, et ils possèdent une structure « complexe » (comme un système de coordonnées qui tourne d'un quart de tour).

Le papier de G. Placini pose une question fascinante : Deux jardins différents peuvent-ils partager un même petit coin de terrain ?

1. Le concept de « Cousins » (Relatives)

Dans le monde de ces jardins, on dit que deux variétés sont des « relatives » (ou des cousins) si elles partagent un sous-jardin.

• L'analogie : Imaginez deux immenses parcs nationaux différents. Si vous pouvez trouver un petit sentier de randonnée (le sous-jardin) qui existe exactement de la même façon dans les deux parcs, alors ces parcs sont des « cousins ».
• La règle d'or : Pour être de vrais cousins, ce sentier doit être partagé de manière « holomorphe ». C'est une condition très stricte : le sentier doit respecter la structure complexe du jardin (comme si les fleurs s'alignaient parfaitement selon une grille invisible).

2. Le problème des « Cousins faibles » (Weak Relatives)

Jusqu'à présent, les mathématiciens se demandaient : « Et si le sentier partagé n'était pas parfaitement aligné avec la grille complexe, mais juste géométriquement identique (isométrique) ? »

• L'analogie : Imaginez que vous avez deux jardins. Dans le premier, le sentier est fait de pavés blancs. Dans le second, le sentier est fait de pavés blancs aussi, et il a exactement la même forme. Mais dans le second jardin, les fleurs autour du sentier sont tournées d'un angle différent.
• La question : Est-ce que ces deux jardins sont encore considérés comme des « cousins » ? Ou sont-ils juste des « cousins faibles » (weak relatives) ?

La découverte majeure du papier :
L'auteur prouve une chose surprenante : Si l'un des deux jardins est un « jardin projetif » (un type de jardin très spécial, comme un espace projectif complexe, qui est très rigide et bien rangé), alors la distinction disparaît.

• En langage simple : Si vous avez un jardin très ordonné (projectif) et un autre jardin qui lui ressemble un peu (cousin faible), alors ils sont obligatoirement de vrais cousins. Le fait que l'un soit très rigide force l'autre à s'aligner parfaitement. C'est comme si la rigidité du jardin projetif « corrigeait » l'orientation du sentier dans l'autre jardin.

3. Les « Cousins stricts » (Strict Relatives)

C'est ici que l'histoire devient encore plus intéressante. Les mathématiciens savaient déjà que certains jardins étaient cousins parce qu'on pouvait glisser l'un dans l'autre (comme une poupée russe). Mais Placini s'intéresse à une nouvelle catégorie : les cousins stricts.

• La définition : Deux jardins sont des « cousins stricts » s'ils partagent un petit coin de terrain, MAIS qu'il est impossible de glisser l'un dans l'autre.
• L'analogie : Imaginez deux maisons. Elles ont exactement la même cuisine (le sous-jardin partagé). Cependant, la première maison est un gratte-ciel et la seconde est une maison de campagne. Vous ne pouvez pas mettre la cuisine de la maison de campagne dans le gratte-ciel (trop petite ? non, trop grande ? non, c'est juste que l'architecture globale est incompatible). Elles partagent un élément, mais l'une ne peut pas être « immergée » dans l'autre.

Pourquoi est-ce important ?
Avant ce papier, on ne connaissait presque aucun exemple de « cousins stricts » où les deux jardins étaient « irréductibles » (c'est-à-dire qu'ils ne pouvaient pas être décomposés en parties plus simples, comme un Lego unique). La plupart des exemples connus étaient des combinaisons de choses simples.

4. Les exemples trouvés (La preuve par l'exemple)

L'auteur ne se contente pas de théorie, il construit des exemples concrets de ces « cousins stricts » :

1. Des jardins infinis : Il montre des jardins non compacts (qui s'étendent à l'infini) qui partagent un coin mais ne peuvent pas être imbriqués.
2. Des jardins fermés : Il trouve même des exemples de jardins compacts (fermés sur eux-mêmes, comme une sphère) qui sont cousins stricts.
3. Le mélange : Il montre même un couple où l'un est compact (fermé) et l'autre infini, et qui sont quand même cousins stricts.

En résumé

Ce papier est comme un détective qui résout deux mystères :

1. Le mystère de la faiblesse : Il prouve que pour les jardins très rigides (projectifs), il n'y a pas de « cousins faibles ». Soit ils sont cousins, soit ils ne le sont pas du tout.
2. Le mystère de l'existence : Il prouve l'existence d'une nouvelle espèce rare de jardins : les cousins stricts. Ce sont des jardins qui partagent un secret commun (un sous-jardin) mais qui sont trop différents pour pouvoir l'un dans l'autre.

C'est une avancée importante car cela montre que la relation entre ces jardins géométriques est plus riche et plus subtile qu'on ne le pensait auparavant. Ils peuvent être liés sans être des copies conformes ou des versions réduites l'un de l'autre.

Résumé technique

Résumé Technique : Variétés Kähleriennes Faibles et Strictes Relatives

1. Problématique et Contexte

La géométrie Kählerienne est marquée par des phénomènes de rigidité forts concernant les isométries holomorphes. Le problème central abordé dans cet article concerne la notion de « relatives » (manifolds related), introduite par Di Scala et Loi. Deux variétés Kähleriennes $M_1$ et $M_2$ sont dites relatives si elles partagent une sous-variété Kählerienne commune (c'est-à-dire s'il existe une variété $X$ et deux isométries holomorphes $\phi_i : X \to M_i$).

L'auteur s'intéresse à deux extensions et nuances de ce concept :

1. Les « faibles relatives » (weak relatives) : Une généralisation où les deux variétés partagent une sous-variété qui est isométrique (au sens riemannien) mais pas nécessairement holomorphiquement isométrique. La question est de savoir si cette condition plus faible implique la condition forte (être des relatives) dans certains contextes.
2. Les « strictes relatives » (strict relatives) : Des variétés qui sont relatives, mais pour lesquelles aucune isométrie holomorphe locale n'existe d'une variété vers l'autre. L'objectif est de combler un manque dans la littérature concernant des exemples non triviaux de telles paires, en particulier pour des variétés irréductibles.

2. Méthodologie

L'article utilise une approche combinant l'analyse de la structure des isométries riemanniennes entre variétés Kähleriennes et la théorie de l'immersion holomorphe.

• Analyse des isométries : L'auteur établit une propriété clé (Lemme 6) : toute isométrie riemannienne entre deux variétés Kähleriennes irréductibles (non Ricci-plates) est soit holomorphe, soit antiholomorphe. La preuve repose sur l'étude de l'algèbre de Lie de l'holonomie restreinte et le lemme de Schur, en s'appuyant sur un résultat de Lichnerowicz.
• Décomposition de de Rham : Pour prouver le théorème principal, l'auteur décompose les variétés en facteurs irréductibles et Ricci-plates. Il utilise un résultat de Hulin stipulant qu'une variété Kählerienne Ricci-plate ne peut pas être isométriquement plongée holomorphiquement dans un espace projectif complexe.
• Construction d'exemples : Pour la partie sur les « strictes relatives », l'auteur construit des exemples explicites en comparant les courbures (sectionnelle holomorphe, bisectionnelle), les dimensions, et les propriétés d'immersion dans l'espace projectif infini ($\mathbb{CP}^\infty$), en utilisant souvent le théorème de rigidité de Calabi.

3. Résultats Principaux

A. Équivalence entre « faibles relatives » et « relatives » pour les variétés projectives
Le résultat le plus significatif est le Théorème 3 :

Si une variété projective $M_1$ et une variété Kählerienne $M_2$ sont des « faibles relatives », alors elles sont des « relatives ».

• Implication : Contrairement à la définition générale où les structures complexes des sous-variétés communes pourraient différer, si l'une des variétés est projective (métrique induite par une immersion dans $\mathbb{CP}^N$), la structure riemannienne impose la structure complexe. Les isométries locales peuvent être ajustées pour devenir holomorphes.
• Conséquence (Corollaire 4) : Cela permet d'exclure la relation faible pour certaines paires. Par exemple, un tore complexe projectif et un tore complexe plat ne sont pas des « faibles relatives », même si l'on ne suppose pas de courbure bornée sur la seconde variété.

B. Existence de « strictes relatives » irréductibles
L'article fournit plusieurs exemples nouveaux de paires de variétés $(M_1, M_2)$ qui sont relatives (partagent une sous-variété commune) mais pour lesquelles aucune immersion isométrique holomorphe locale n'existe dans un sens ou dans l'autre. Ces exemples contredisent l'idée que les relations entre variétés Kähleriennes découlent toujours d'une immersion directe.

Les exemples présentés incluent :

1. Cas non-compact (Exemple 2) : Le blow-up de $\mathbb{C}^k$ (métrique de Burns-Simanca) et un produit semi-direct $\mathbb{C}^n \rtimes \mathbb{CH}^m$. La non-existence d'immersion est prouvée par des contraintes arithmétiques sur les classes de cohomologie (intégralité de la métrique projective) et la dimension.
2. Cas non-compact avec courbure non nulle (Exemple 3) : L'espace hyperbolique complexe $\mathbb{CH}^n$ et un domaine symétrique borné de rang $\ge 2$. La rigidité de la courbure sectionnelle holomorphe empêche l'immersion.
3. Cas compacts (Exemple 4) : L'espace projectif $\mathbb{CP}^n$ et une quadrique $Q^m \subset \mathbb{CP}^{m+1}$. Pour $n \le m < 2n$, elles partagent $\mathbb{CP}^1$ mais ne s'immersionnent pas l'une dans l'autre.
4. Cas mixte (Exemple 5) : $\mathbb{CP}^n$ (compact) et la projectivisation du fibré tangent de $\mathbb{CH}^2$ (non-compact). L'immersion est empêchée par la rigidité de Calabi : une immersion serait liée à une transformation rigide de $\mathbb{CP}^\infty$, ce qui est impossible car l'immersion dans le fibré est « pleine » (full) tandis que l'immersion dans $\mathbb{CP}^n$ serait contenue dans un sous-variété totalement géodésique propre.

4. Contributions Clés

• Résolution d'une question de rigidité : Démonstration que la condition de « faibles relatives » s'effondre en « relatives » dès qu'une des variétés est projective, éliminant la nécessité de vérifier la compatibilité complexe dans ce cas spécifique.
• Nouveaux exemples de rigidité : Introduction de la notion de « strictes relatives » et construction de contre-exemples non triviaux (variétés irréductibles, mélanges compact/non-compact) montrant que la relation de partage de sous-variété est plus riche que la simple existence d'immersions holomorphes.
• Preuve technique : Fourniture d'une preuve complète et accessible du lemme reliant les isométries riemanniennes aux isométries holomorphes/antiholomorphes pour les variétés irréductibles non Ricci-plates.

5. Signification et Impact

Cet article affine notre compréhension de la rigidité en géométrie Kählerienne. Il montre que la compatibilité entre la métrique riemannienne et la structure complexe est souvent plus forte qu'il n'y paraît, surtout dans le cadre projectif.
Par ailleurs, l'introduction des « strictes relatives » ouvre une nouvelle direction de recherche : étudier les relations entre variétés Kähleriennes qui ne peuvent pas être plongées l'une dans l'autre. Cela suggère que la classification des variétés Kähleriennes via leurs sous-variétés communes est plus subtile que le problème original de Calabi (existence d'immersions) ne le laissait penser. Les exemples fournis servent de banc d'essai pour tester les limites des théorèmes de rigidité et d'extension de Calabi.