Cours spécialisé de M2 : Introduction à la Géométrie Analytique Non ArchimédienneJean-François Dat, UPMC, 2008–2009 |
Où et quand : Les jeudis de 16h00 à 18h00 et les vendredis de 14h00 à 16h00 du 12/03/09 au 10/04/09, en salle 0D7.
Prérequis : Il est préférable d'avoir déjà rencontré les notions suivantes :
Notes de Cours : plus tard peut-être
Sources et références : en vrac
Algèbres de Tate. Préparation et division de Weierstrass, lemme de Noether. Algèbres affinoïdes, normes résiduelles, rayon spectral, propriétés algébriques.
Espaces affinoïdes, topologie canonique, domaines affinoïdes, G-topologie des domaines affinoïdes. Théorème d'acyclicité de Tate. Faisceau structural.
G-topologies saturées et recollement, définition. Exemple : le demi-plan de Drinfeld, espaces rigides associés aux variétés algébriques. Foncteur GAGA.
Notions de morphismes propres, étales, lisses. Quelques pathologies. Faisceaux cohérents sur un espace rigide. Un problème embêtant : il n'y a pas assez de points.
Notion de schéma formel sur l'anneau des entiers d'un corps non-archimédien. Complétion formelles. Schémas formels admissibles. Eclatements admissibles.
Les résultats principaux seront admis, mais on s'attachera à les illustrer par des exemples, notamment en montrant comment les éclatements d'un modèle formel permettent de raffiner des recouvrements admissibles de sa fibre générique.
Construction d'un modèle formel de G_m et courbes de Tate. On revisitera aussi le demi-plan de Drinfeld en construisant explicitement un modèle formel et en expliquant comment en déduire l'uniformisation à la Mumford de certaines courbes algébriques projectives.
Ces espaces sont localement compacts, localement connexes par arcs et contiennent assez de points pour détecter les suites exactes de faisceaux cohérents.
On ne s'attardera pas trop sur les conditions de recollement en théorie de Berkovich, mais on privilégiera les exemples, notamment le lien entre un espace et la combinatoire de sa réduction. On revisitera l'exemple du demi-plan de Drinfeld.
On espère expliquer comment la droite projective sur C_p est simplement connexe du point devue "analytique" ou "étale fini", mais pas du point de vue "étale".
Ce document a été traduit de LATEX par HEVEA