Métriques de Kähler-Einstein sur les compactifications de groupes

Kähler-Einstein metrics on group compactifications

• Auteur / Autrice : Thibaut Delcroix
• Direction : Philippe Eyssidieux
• Type : Thèse de doctorat
• Discipline(s) : Mathématiques
• Date : Soutenance le 12/10/2015
• Etablissement(s) : Université Grenoble Alpes (ComUE)
• Ecole(s) doctorale(s) : École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble ; 199.-....)
• Partenaire(s) de recherche : Laboratoire : Institut Fourier (Grenoble)
• Jury : Président / Présidente : Yann Rollin
• Jury : Examinateurs / Examinatrices : Philippe Eyssidieux, Michel Brion, Jean- Pierre Demailly, Eveline Legendre, Andrei Teleman
• Jury : Rapporteurs / Rapporteuses : Sébastien Boucksom, Simon Donaldson

Mots clés

Mots clés contrôlés

Variétés toriques

Géométrie algébrique

Variétés complexes

Einstein, Variétés d'

Variétés kählériennes

Mots clés libres

Métriques de Kähler-Einstein

Compactifications de groupes

Monge-Ampère

Invariant alpha

Variétés toriques

Kähler-Einstein metrics

Group compactifications

Monge-Ampère

Alpha invariant

Toric manifolds

Résumé

Le résultat principal de cette thèse est l'obtention d'une condition nécessaire et suffisante pour l'existence d'une métrique de Kähler-Einstein sur une compactification bi-équivariante lisse et Fano d'un groupe complexe réductif connexe. Ces variétés comprennent les variétés toriques et les compactifications magnifiques de groupes semisimples adjoints.Dans la première partie de ce travail sont développés les outils nécessaires à l'étude de l'existence de métriques de Kähler-Einstein sur ces variétés. Nous calculons en particulier la Hessienne complexe d'une fonction Ktimes K-invariante sur la complexification d'un groupe compact K. Nous associonségalement, à toute métrique invariante à courbure positive sur un fibré linéarisé ample sur une compactification de groupe, une fonction convexe dont le comportement asymptotique est prescrit. Ceci est utilisé une première fois pour obtenir une formule pour l'invariant alpha d'un fibré en droite ample sur une compactification de groupe Fano. Cette formule est obtenue par le calcul des seuils log canoniques des métriques hermitiennes invariantes à courbure positive, et induit, dans le cas particulier des variétés toriques, un résultat obtenu auparavant, figurant dans l'article par ailleurs inclus en appendice de la thèse.Nous prouvons ensuite le résultat principal en obtenant des estimées C 0 le long de la méthode de continuité, en se ramenant à une équation de Monge-Ampèreréelle sur un cône. La condition obtenue est que le barycentre du polytope associé à la compactification de groupe, par rapport à la mesure de Duistermaat-Heckman, doit être dans une zone particulière du polytope. Cette condition peut être vérifiée sur les exemples, donne de nouveaux exemples de variétés deKähler-Einstein Fano, et donne aussi un exemple qui n'admet aucun soliton de Kähler-Ricci. Nous calculons de plus la plus grande borne inférieure de Ricci lorsqu'il n'y a pas de métrique de Kähler-Einstein.

The main result of this work is a necessary and sufficient condition for the existence of a Kähler-Einstein metric on a smooth and Fano bi-equivariant compactification of a complex connected reductive group. Examples of such varieties include wonderful compactifications of adjoint semisimple groups.The tools needed to study the existence of Kähler-Einstein metrics on these varieties are developed in the first part of the work, including a computation of the complex Hessian of a Ktimes K-invariant function on the complexification of a compact group K. Another step is to associate to any non-negatively curved invariant hermitian metric on an ample linearized line bundle on a group compactification a convex function with prescribed asymptotic behavior. This is used a first time to derive a formula for the alpha invariantof an ample line bundle on a Fano group compactification. This formula is obtained through the computation of the log canonical thresholds of any non-negatively curved invariant hermitian metric, and gives the sameresult, for toric manifolds, as the one we obtained before, in an article that is included in this thesis as an appendix.Then we prove the main result by obtaining C 0 estimates along the continuity method, using the tools developed to reduce to a real Monge-Ampère equation on a cone. The condition obtained is that the barycenter of the polytope associated to the group compactification, with respect to the Duistermaat-Heckman measure, lies in a certain zone in the polytope. This condition can be checked on examples, gives new examples of Fano Kähler-Einstein manifolds, and also gives an example that admits no Kähler-Ricci solitons. We also compute the greatest Ricci lower bound when there are no Kähler-Einstein metrics.