Contributions à la géométrie algébrique imparfaite en caractéristique positive

Contributions to imperfect algebraic geometry in positive characteristic

• Auteur / Autrice : Yuliang Huang
• Direction : Matthieu Romagny
• Type : Thèse de doctorat
• Discipline(s) : Mathématiques et leurs interactions
• Date : Soutenance le 18/09/2019
• Etablissement(s) : Rennes 1
• Ecole(s) doctorale(s) : École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes)
• Partenaire(s) de recherche : ComuE : Université Bretagne Loire (2016-2019)
• Partenaire(s) de recherche : Laboratoire : Institut de recherche mathématique (Rennes ; 1996-....) - IRMAR

Mots clés

Mots clés contrôlés

Théorie des torseurs

Groupes finis

Géométrie algébrique

Mots clés libres

Schéma en groupes fini plat

Torseur

Modèle maximal

Coperfection

Groupoïde fondamental étale

Espace de modules de revêtements

Finite flat group scheme

Torsor

Maximal model

Coperfection

Étale fundamental groupoid

Moduli space of covers

Résumé

Ce travail de thèse, composé de quatre parties, est consacré à l’étude de la géométrie algébrique en caractéristiques mixte et positive. Dans la première partie, motivés par une théorie conjecturale de la ramification pour les torseurs inséparables, nous étudions les modèles maximaux des torseurs sur un corps local, qui sont une généralisation des anneaux des entiers dans la théorie classique de la ramification. Nous prouvons la maximalité et la fonctorialité des modèles maximaux et nous les calculons explicitement pour les schémas en groupes finis plats d'ordre p. La deuxième partie est un travail en commun avec Giulio Orecchia et Matthieu Romagny. Nous étudions la perfection des algèbres et la coperfection des espaces et champs algébriques. Nous prouvons que l’espace des composantes connexes fournit la coperfection d’un espace algébrique et il représente la colimite du système de Frobenius relatifs. Dans le cas des champs algébriques, nous construisons le pro-groupoïde fondamental étale, nous prouvons qu'il fournit la coperfection, et il représente la colimite du système de Frobenius relatifs dans le cas de Deligne-Mumford. Dans la troisième partie, nous prouvons quelques résultats de platitude et de représentabilité des espaces de modules de torseurs sous certains schémas en groupes, qui découlent naturellement de l’espace de modules propre des p-revêtements galoisiens. Nous discutons également de la relation avec les jacobiennes généralisées des courbes ouvertes. Dans la dernière partie, nous nous intéressons à un nouveau type de géométrie analytique non-archimédienne, avec des valuations à valeurs dans des monoïdes commutatifs totalement ordonnés. Nous étudions quelques exemples de schémas et d’espaces adiques.

This thesis work, consisting of four parts, is devoted to the study of algebraic geometry in mixed and positive characteristics. In the first part, motivated by a conjectural ramification theory for inseparable torsors, we study the maximal model of a torsor over a local field, which is a generalization of integer rings in classical ramification theory. We prove the maximality and functoriality of maximal models, and calculate them explicitly for some finite flat group schemes of order p. The second part is a joint work with Giulio Orecchia and Matthieu Romagny. We study perfection of algebras and coperfection of algebraic spaces and stacks. We prove that the space of connected components provides the coperfection of an algebraic space, and it represents the colimit of relative Frobenii. In the case of algebraic stacks, we construct the étale fundamental pro-groupoid, and prove that it provides the coperfection, and it represents the colimit of relative Frobenii in Deligne-Mumford case. In the third part, we prove some results on flatness and representability of moduli spaces of torsors under certain group schemes, which naturally arise from the proper moduli space of Galois p-covers (stable p-torsors). We also discuss the relation with generalized Jacobians of open curves. In the last part, we are interested in a new kind of nonarchimedean analytic geometry, with valuations on totally ordered commutative monoids. We study some examples from schemes and adic spaces.