Modèles intègres dérivés et ses applications à l'étude de certains espaces des modules rigides analytiques dérivés

Derived integral models and its applications to the study of certain derived rigid analytic moduli spaces

• Auteur / Autrice : Jorge Ferreira Antonio
• Direction : Bertrand Toën
• Type : Thèse de doctorat
• Discipline(s) : Mathématiques et applications
• Date : Soutenance le 28/06/2019
• Etablissement(s) : Toulouse 3
• Ecole(s) doctorale(s) : École doctorale Mathématiques, informatique et télécommunications (Toulouse)
• Partenaire(s) de recherche : Laboratoire : Institut de mathématiques de Toulouse (2007-....)

Mots clés

Mots clés contrôlés

Catégories dérivées (mathématiques)

Géométrie analytique

Mots clés libres

Géométrie rigide analytique

Champs supérieurs

Géométrie algébrique dérivée

Théorème de rigidification de Raynaud

Faisceaux l-adiques

Formule de Drinfeld

Rigid analytic geometry

Higher stacks

Raynaud localization theorem

Drinfeld's formules

Résumé

Dans cette thèse, on étude différents aspects de la théorie de la géométrie dérivée rigide analytique. D'abord, on étude et généralise le théorèome classique de localisation de Raynaud au cadre dérivé. Muni d'une théorie des modèles formels, développé dans cette thèse, on étude ses applications à l'étude des certains espaces de modules dérivés. Certains exemples correspondent bien au champ d'Hilbert rigide analytique dérivé et le champ des représentations continues des groupes fondamentales des variétés lisses sur un corps fini. La structure dérivée sur ce dernier nos permet de comprendre totalement la théorie de déformations des représentations galoisiennes. Enfin, on montre que ce dernier admet une structure sympléctique dérivé naturel. Ce dernier résultat s'appuye dans le théorème de HKR en géométrie analytique qui on prouve en collaboration avec F. Petit et M. Porta.

In this thesis, we study different aspects of derived k-analytic geometry. Namely, we extend the theory of classical formal models for rigid k-analytic spaces to the derived setting. Having a theory of derived formal models at our disposal we proceed to study certain applications such as the representability of derived Hilbert stack in the derived k-analytic setting. We construct a moduli stack of derived k-adic representations of profinite spaces and prove its geometricity as a derived k-analytic stack. Under certain hypothesis we show the existence of a natural shifted symplectic structure on it. Our main applications is to study pro-étale k-adic local systems on smooth schemes in positive characteristic. Finally, we study at length an analytic analogue (both over the field of complex numbers C and over a non-archimedean field k) of the structured algebraic HKR, proved by Toen and Vezzosi.