Cône kählérien
Le cône Kählérien ou le cône de Kähler est un objet fondamental de la géométrie complexe qui permet de décrire les structures kählériennes sur une variété complexe. C'est en particulier un cône convexe qui naturalise la notion de structures kählérienne "moyenne" sur une variété complexe qui joue un rôle important dans la classification des variétés algébriques. L'étude des cônes Kählériens a mené vers plusieurs résultats intéressants tels que l'existence de Kähler-Einstein ou la conjecture de Yau-Tian-Donaldson ainsi qu'en théorie des cordes et la symétrie miroir pour l'étude des extras-dimensions en physique.
Définition
[modifier | modifier le code]Soit (X,ω) une variété kählérienne compacte, et soit où est le groupe de Cohomologie de Bott-Chern de bidegré (1,1) de X et et le deuxième groupe de cohomologie de De Rham de X. Alors on dit que est une classe kählérienne si elle contient une forme kählérienne.
L'ensemble des classes kählériennes sur X est appelé cône Kählérien de X, noté généralement par . Ce cône est évidemment non-vide car au moins il contient , et il est clairement ouvert par définition.
Il existe un moyen concret de caractériser cette objet ce qui fut l'objet de l'article de Jean-Pierre Demailly et Mihai Păun sur la caractérisation numérique du cône kählérien d'une variété kählérienne compacte[1].
Théorème (Caractérisation numérique du cône kählérien d'une variété kählérienne compacte)
[modifier | modifier le code]Soit (X,ω) une variété kählérienne compacte. Alors son cône kählérien est l'une des composantes connexes du cône suivant :
La démonstration élaborée dans ce papier s'appuie sur des techniques ingénieuses de concentration de masse et de régularisations de courants kählériens qui ont d'ailleurs permit d'établir de nouveaux résultats intéressants concernant la caractérisation des Variétés de Fujiki-classe [1] et la généralisation de ce résultats au cas des variétés de Moishezon (version intégrale des variétés de Fujiki-classe ) par Bernard Shiffman et Shanyu Ji. Une autre méthode plus directe de démontrer ce résultat s'appuie sur une version plus générale des Inégalités de Morse transcendantes "qualitatives" de J-P. Demailly, vraie même pour les variétés non-kählériennes prouvée par Jian Xiao[2] et une manipulation plus raffinée d'estimations dans une équation de Monge-Ampère[3].
Exemples et Conséquences
[modifier | modifier le code]Dans le cas où est un tôre complexe générique, il n'y a pas de sous-ensembles analytiques propres, donc la condition de positivité du cône est traduite ainsi : . Sur un tôre, les classes de bidegré (1,1) sont en correspondance avec les formes hermitiennes constantes sur . Ainsi dans ce cas correspond aux formes hermitiennes constantes sur dont le déterminant . Le théorème dans ce cas se traduit en un résultat élémentaire d'algèbre linéaire qui dit que l'ensemble des formes définies positives est l'une des composantes connexes de l'ensemble ouvert [4].
Peu après la rédaction de l'article de Jean-Pierre Demaily et Mihai Păun, Daniel Huybrechts a montré dans son article que le théorème énoncé peut être utilisé pour calculer le cône de Kähler d'une variété hyperKählerienne compacte très général ; il coïncide avec le cône positif associé à la forme quadratique de Beauville-Bogomolov[5].
Cette caractérisation numérique du cône kählérien joue également un rôle fondamental dans la théorie de la déformation des variétés kählériennes compactes ; ce cône reste invariant par déformation en dehors d'une union dénombrable d'ensembles analytiques[1].
Voir aussi
[modifier | modifier le code]Références
[modifier | modifier le code]- (en) Jean-Pierre Demailly et Mihai Paun, « Numerical characterization of the Kähler cone of a compact Kähler manifold », Annals of Mathematics, vol. 159, no 3, , p. 1247–1274 (ISSN 0003-486X, DOI 10.4007/annals.2004.159.1247, lire en ligne, consulté le )
- Jian Xiao, « Weak transcendental holomorphic Morse inequalities on compact Kähler manifolds », Annales de l'Institut Fourier, vol. 65, no 3, , p. 1367–1379 (ISSN 1777-5310, DOI 10.5802/aif.2959, lire en ligne, consulté le )
- (en) Dan Popovici, « Sufficient bigness criterion for differences of two nef classes », Mathematische Annalen, vol. 364, nos 1-2, , p. 649–655 (ISSN 0025-5831 et 1432-1807, DOI 10.1007/s00208-015-1230-z, lire en ligne, consulté le )
- The Fano Conference: organized to commemorate the 50th anniversary of the death of Gino Fano (1871-1952): Torino (Italy), 29 September-5 October 2002: proceedings, Dipartimento di Matematica dell'Università di Torino, (ISBN 978-88-900876-1-5)
- Daniel Huybrechts, « Erratum to the paper: Compact hyperkaehler manifolds: basic results », ArXiv (prépublication), (DOI 10.48550/ARXIV.MATH/0106014, lire en ligne, consulté le )