` ´THESE DE DOCTORAT DE MATHEMATIQUES´DE L’UNIVERSITE JOSEPH FOURIER (GRENOBLE I)pr´epar´ee a` l’Institut FourierLaboratoire de Math´ematiquesUMR 5582 CNRS-UJF´ ´ ´VARIETES HOROSPHERIQUES DE FANOBoris PASQUIERSoutenue a` Grenoble le 27 octobre 2006 devant le jury :Victor BATYREV (Tu¨bingen, Allemagne)Laurent BONAVERO (Universit´e de Grenoble I)Michel BRION (CNRS, Universit´e de Grenoble I), DirecteurOlivier DEBARRE (Universit´e de Strasbourg), Pr´esidentLaurent MANIVEL (CNRS, Universit´e de Grenoble I)Au vu des rapports de Victor BATYREV et Olivier DEBARREVari´et´es horosph´eriques de FanoBoris Pasquier27 octobre 20061RemerciementsJ’ai pris beaucoup de plaisir a` faire cette th`ese. Cela est en grande partiedu a` mon directeur de th`ese Michel Brion; je le remercie beaucoup pour letemps qu’il m’a consacr´e, pour sa patience et aussi son optimisme.Je souhaite remercier Olivier Debarre d’avoir accept´e d’ˆetre rapporteurde ma th`ese. J’ai beaucoup appr´eci´e sa relecture minutieuse ainsi que sescommentaires pertinents. Je remercie aussi Victor Batyrev d’avoir accept´ed’ˆetre rapporteur de ma th`ese et d’ˆetre venu d’Allemagne pour assister `a masoutenance.J’aimerais remercier les membres permanents de l’institut Fourier quiint`egrent parfaitement les th´esards a` la vie du labo, dont Laurent Bonaveroet Laurent Manivel qui ont accept´e de faire partie du jury. Je remercie aussile personnel administratif pour sa disponibilit´e et son efficacit´e ...
` ´ THESE DE DOCTORAT DE MATHEMATIQUES ´ DE L’UNIVERSITE JOSEPH FOURIER (GRENOBLE I) prepareea`l’InstitutFourier ´ ´ LaboratoiredeMathe´matiques UMR 5582 CNRS-UJF
J’aimerais remercier les membres permanents de l’institut Fourier qui int`egrentparfaitementlesthe´sards`alaviedulabo,dontLaurentBonavero etLaurentManivelquiontaccepte´defairepartiedujury.Jeremercieaussi lepersonneladministratifpoursadisponibilit´eetsonefficacite´.
Enfin,jeremercielesthe´sardsactuelsetanciensdel’institutFourieret d’ailleurs, tous mes amis dont Claire, Christophe, Vincent..., et toute ma famille.Enparticulier,jetiens`aexprimeruntr`estr`esgrandmerci`ames parentspources26derni`eresann´eesetlesann´eesa`venir!
Unevari´et´ecomplexeprojectiveXest dite de Fano si elle est normale et si son diviseur anticanonique−KXest de Cartier et ample. On sait qu’il existeseulementunnombrefinidefamillesdevarie´te´slisses,deFanoetde ee. e dimension donn´ C pendant ces familles sont seulement connues jusqu’en dimension 3. Lesvari´ete´storiquesdonnentbeaucoupd’exemplesdevarie´te´sdeFano. Pluspr´ecise´ment,V.Batyrevaclassifi´elesvari´et´estoriquesdeFanodedi-mensionndimefsdennsiootepopyleflixrse´ntemeeressdn[Ba94] : ce sont les polytopes convexes deRntsmensda`omasZn0tnasnadocnetnerieurleurint´ ettelsqueleurpolytopedualv´erifielesmeˆmeshypothe`ses. Deplus,certainespropri´ete´soucertainsinvariantsg´eom´etriquesdesvarie´-te´storiquesdeFano,commelalissite´,lenombredePicardouledegre´,se lisentfacilementsurlepolytoper´eflexifassocie´.Celaapermis`aO.Debarre demajorerledegre´(−KX)dednonnfiocteFsdoeaneulssiese´tsroqisvari´etde la dimensiondet du nombre de Picard [De03]. D’autre part, C. Casagrande a r´ecemmentdonne´unemajorationoptimaledunombredePirddesvarie´t´ ca es toriquesQ-factorielles et de Fano en fonction de la dimension [Ca06]. Cettethe`seapourbutdege´n´eralisertouscesre´sultatsauxvari´et´esho-rosphe´riques.SoitGenexcfnoU.ngnuglaepuorueiqbr´etiucedr´G-espace homog`eneestdithorosphe´riquederangnbfi´reetnrose(s’eicunstC∗)n surunevari´et´ededrapeaux.Voiciquelquesexemplesd’espaceshomoge`nes horosph´eriquesG/H:
Unevarie´te´horosphe´riqueestunplongementd’unespacehomog`eneho-rosph´eriqueG/Henuerid-,t-`ac’esGnautenroibete´irav-maorent´enntcole ouverteisomorphe`aG/H; son rang est celui deG/Hset´eari´.Pmiarsvle horosphe´riques,oncomptelesvari´ete´storiques(lorsqueG/Hest un tore : exemple1)etlesvari´et´esdedrapeaux(exemple2).Cesderni`tli eres son sses et de Fano. Lesvari´ete´shorosphe´riquesfontpartiedelafamilledesvari´et´essphe´riques. Lesplongementsd’unespacehomoge`nesph´eriqueG/Hsalce´te´tnoe´xfiessifi´ entermesd’e´ventailscolori´esparD.LunaetT.Vust[LV83].LorsqueG/H esthorosphe´riquederangn, on montre que les plongements de Fano deG/H sontclassifie´sentermesdecertainspolytopesrationnels,ditsG/H-r´sfixefle (voirlad´efinition3.3).Cespolytopessontdedimensionn(tout comme les ´eventailscolorie´s).IlestimportantderemarquerqueladimensiondeG/H est plus grande quenge´ceva,tseniestemelutilaise´G/Hest un tore ; dans ce dernier cas, les polytopesG/Hnfisidse´xefieflr´esopytolspletnossfixefle´r-par V. Batyrev. A rang egal, les polytopesG/Hventˆetrebeau--fle´rfixeueps ´ coupplusnombreuxquelespolytopesr´eflexifs.LorsqueGetHsont comme dansl’exemple6,ilya,`aautomorphismepr`es,398polytopesG/Hsfixefle´r-(calculeffectu´edanslapartie6.3).Encomparaison,oncompteseulement16 polytopesr´eflexifsdedimension2. V.AlexeevetM.Brionontmontr´equel’ensembledesclassesd’isomor-phismedesvarie´t´essph´eriquesdeFanodedimensionfixe´eestfini[AB04]. Onverraquelaclassificationpr´ece´dentepermetd’avoiruneversioneffective decer´esultatpourlesvarie´t´eshorosph´eriquesdeFanodontl’orbiteouverte estfixe´e.