Thèse soutenue

Quelques aspects combinatoires et arithmétiques des variétés toriques complètes

FR  |  
EN
Auteur / Autrice : Robin Guilbot
Direction : Marc Perret
Type : Thèse de doctorat
Discipline(s) : Mathématiques
Date : Soutenance en 2012
Etablissement(s) : Toulouse 3
Jury : Examinateurs / Examinatrices : Pierre Dèbes, Stéphane Lamy, Olivier Wittenberg
Rapporteurs / Rapporteuses : David A. Cox

Résumé

FR  |  
EN

Dans cette thèse nous étudions deux aspects distincts des variétés toriques, l'un purement géométrique, sur C, et l'autre de nature arithmétique, sur des corps quasi algébriquement clos (corps C1). Les courbes extrémales qui engendrent le cône de Mori d'une variété torique projective sont des courbes primitives (V. Batyrev). En 2009, D. Cox et C. Von Renesse ont conjecturé que les courbes primitives engendrent le cône de Mori de toute variété torique dont l'éventail est à support convexe, de dimension maximale. Nous présentons une famille de contre-exemples à cette conjecture et en proposons une nouvelle formulation basée sur la notion de contractibilité locale, généralisant la notion de contractibilité de C. Casagrande. Grâce aux couloirs, outils combinatoires que nous introduisons, nous montrons comment écrire une classe de 1-cycle donnée comme combinaison linéaire à coefficients entiers de classes de courbes toriques. Les couloirs nous permettent de donner une décomposition explicite de toute classe qui n'est pas contractible (couloirs droits) ainsi que de certaines classes contractibles (couloirs circulaires). Les corps C1 sont les corps sur lesquels l'existence de points rationnels dans une variété Y est assurée par le plongement en petit degré de Y dans un espace projectif (par définition) ou dans un espace projectif pondéré (d'après un théorème facile de Kollar). Pour un diviseur ample dans une variété torique dont l'éventail est simplicial et complet, nous montrons qu'il existe encore une notion de petit degré qui assure l'existence de points rationnels. Ceci nous permet notamment de montrer l'existence de points rationnels sur une large classe de variétés rationnellement connexes.