Fonctionne avec Indico
v3.2.9
Soient N>2 un entier et X(Np^n) la courbe modulaire adique compactifiée de niveau Γ(Np^n). Scholze à donné un sens à la limite projective des courbes X(Np^n) comme un espace perfectoïd X(Np^∞). Dans cet exposé on construira un modèle formel entier de cette courbe en utilisant les modèles entiers de Katz-Mazur, puis on verra que cette courbe formelle est intégrale perfectoïde.