# Variété kählérienne

En mathématiques, une variété kählérienne ou variété de Kähler est une variété différentielle équipée d'une structure unitaire satisfaisant une condition d'intégrabilité. C'est en particulier une variété riemannienne, une variété symplectique et une variété complexe, ces trois structures étant mutuellement compatibles. Les variétés kählériennes sont un objet d'étude naturel en géométrie différentielle complexe.
Elles doivent leur nom au mathématicien Erich Kähler.

## Définition

Plusieurs définitions équivalentes existent. Cela est dû aux relations entre structures complexes, symplectiques et riemanniennes. Une manière de le comprendre est de constater que le groupe unitaire $U(n)$ (qui joue le rôle de groupe de structure d'une variété kählérienne) est l'intersection d'un couple quelconque des trois groupes $GL_{n}(\mathbb {C} )$, $Sp(2n)$ et $O(2n)$.
Donnons deux définitions équivalentes.
* Une variété kählérienne est une variété hermitienne $M$ (i.e. une variété complexe munie d'une métrique hermitienne $h$) telle que la $2$-forme $\omega =-\mathrm {Im} h$ soit fermée.
* Une variété kählérienne est une variété riemannienne $(M,g)$ munie d'une structure presque complexe $I$ orthogonale (pour g) et constante covariante (pour la connexion de Levi-Civita).
La condition d'intégrabilité s'écrit dans le premier cas $d\omega =0$, dans le second cas $\nabla I=0$. Elle exprime géométriquement le fait que le transport parallèle soit linéaire complexe. On dit dans ce cas que $g$ (ou parfois $h$) est une métrique kählérienne sur $M$. On vérifie que $\omega ^{n}$ s'identifie à un facteur constant près à la forme volume de g, ce qui montre que $\omega$ est une forme symplectique. On l'appelle la forme de Kähler de la variété kählérienne $M$.
Le lien entre les structures hermitienne $h$, riemannienne $g$ et symplectique $\omega$ est apparent à travers la relation $h=g-i\omega$.

## Propriétés

Les variétés kählériennes sont des objets riches en géométrie différentielle. Il y a d'ailleurs des obstructions topologiques à l'existence d'une métrique kählérienne sur une variété complexe (contrairement à celle d'une métrique hermitienne par exemple). Il est par exemple facile de voir que la classe de cohomologie d'une forme de Kähler (appelée classe kählérienne) sur une variété compacte ne peut être nulle. L'ensemble des classes kählérienne est appelé cône kählérien.
Les variétés kählériennes sont entre autres le cadre naturel pour développer une théorie de Hodge complexe analogue à celle du cas réel.

## Exemples

* L'espace euclidien complexe $\mathbb {C} ^{n}$ muni de la métrique hermitienne standard (plate) est une variété kählérienne.
* Un tore complexe compact $\mathbb {C} ^{n}/\Lambda$ (où $\Lambda$ est un réseau) hérite d'une métrique kählérienne plate par passage au quotient.
* Toute métrique hermitienne sur une surface est kählérienne (la condition d'intégrabilité étant triviale).
* L'espace projectif complexe $\mathbb {C} \mathrm {P} ^{n}$ est une variété kählérienne pour la métrique de Fubini-Study.
* La métrique induite sur une sous-variété complexe d'une variété kählérienne est encore une métrique kählérienne. En particulier toute variété de Stein (plongée dans un espace euclidien complexe) est kählérienne, ainsi que toute variété algébrique régulière (plongée dans un espace projectif complexe). Ce fait est fondamental pour leur théorie analytique.