Table of Contents
Fetching ...

Équivalences de Fontaine multivariables Lubin-Tate et plectiques pour un corps local $p$-adique

Nataniel Marquis

TL;DR

Cet article construit une généralisation multivariable de la correspondance de Fontaine en introduisant des cadres Lubin-Tate et plectique pour des produits de groupes de Galois locaux. En s’appuyant sur des outils de géométrie parfaite et diamants (Drinfeld), il définit des anneaux de périodes multivariables $b O_{b E_{K, Delta}}$ et des monoïdes d’action $φ$- et $ Gamma$ multivariables, puis établit des équivalences de catégories entre représentations de type fini et modules étales multivariables. Le travail couvre à la fois le cadre caractéristique $p$ et le cadre mixte, via un dévissage et des extensions de scalaires, et introduit des variantes plectiques et glectiques qui étendent la portée locale de la théorie. Les résultats incluent des versions modulo $p$, des constructions pleinement fidèles des foncteurs $b D_{ Delta}$ et des quasi-inverses, et une discussion sur la récupération des équivalences de Carter–Kedlaya–Zábrádi. L’ensemble propose une approche systématique pour des équivalences de Fontaine multivariables dans des contextes Lubin-Tate, plectique et glectique, avec des outils géométriques robustes et des décompositions en dévissages facilitant les extensions et les invariants.

Abstract

Let $Δ$ be a finite set. We adapt the techniques of Carter-Kedlaya-Zábrádi to obtain a multivariable Fontaine equivalence which relates continuous finite dimensional $\mathbb{F}_q$-representations of $\prod_{α\in Δ} \mathcal{G}_{\mathbb{F}_q(\!(X)\!)}$ to multivariable $\varphi$-modules over a $\mathbb{F}_q$-algebra which is a domain. From this, we deduce a multivariable Lubin-Tate Fontaine equivalence for continuous finite type $\mathcal{O}_K$-representations of $\prod_{α\in Δ} \mathcal{G}_K$, where $K|\mathbb{Q}_p$ is a finite extension. We also obtain a plectic Fontaine equivalence and two equivalences for the subgroup $\mathcal{G}_{K,\mathrm{glec}}$ of the plectic Galois group.

Équivalences de Fontaine multivariables Lubin-Tate et plectiques pour un corps local $p$-adique

TL;DR

Cet article construit une généralisation multivariable de la correspondance de Fontaine en introduisant des cadres Lubin-Tate et plectique pour des produits de groupes de Galois locaux. En s’appuyant sur des outils de géométrie parfaite et diamants (Drinfeld), il définit des anneaux de périodes multivariables et des monoïdes d’action - et multivariables, puis établit des équivalences de catégories entre représentations de type fini et modules étales multivariables. Le travail couvre à la fois le cadre caractéristique et le cadre mixte, via un dévissage et des extensions de scalaires, et introduit des variantes plectiques et glectiques qui étendent la portée locale de la théorie. Les résultats incluent des versions modulo , des constructions pleinement fidèles des foncteurs et des quasi-inverses, et une discussion sur la récupération des équivalences de Carter–Kedlaya–Zábrádi. L’ensemble propose une approche systématique pour des équivalences de Fontaine multivariables dans des contextes Lubin-Tate, plectique et glectique, avec des outils géométriques robustes et des décompositions en dévissages facilitant les extensions et les invariants.

Abstract

Let be a finite set. We adapt the techniques of Carter-Kedlaya-Zábrádi to obtain a multivariable Fontaine equivalence which relates continuous finite dimensional -representations of to multivariable -modules over a -algebra which is a domain. From this, we deduce a multivariable Lubin-Tate Fontaine equivalence for continuous finite type -representations of , where is a finite extension. We also obtain a plectic Fontaine equivalence and two equivalences for the subgroup of the plectic Galois group.

Paper Structure

This paper contains 23 sections, 37 theorems, 310 equations, 4 figures.

Key Result

Proposition 2.3

Il existe une unique $T_1 +_{\mathrm{LT},\mathrm{f}} T_2 \in \mathcal{O}_K \llbracket T_1, T_2\rrbracket$ telle que Elle est associative et commutative au sens où De plus, il existe une unique $i\in \mathcal{O}_K\llbracket T \rrbracket$ telle que $T+_{\mathrm{LT},\mathrm{f}} i(T)=0$. Pour tout $a\in \mathcal{O}_K$, il existe une unique $[a]_{\mathrm{LT},\mathrm{f}} \in \mathcal{O}_K\llbracket T

Figures (4)

  • Figure 1: Représentation du polynôme $Q$ sur la grille pour $q=3$
  • Figure 2: Représentation de $\sum_{n\geq 0} X_{\alpha}^{q^{-n}} X_{\beta}^{q^n}$ pour $q=2$
  • Figure :
  • Figure :

Theorems & Definitions (111)

  • Proposition 2.3
  • Proposition 2.10
  • Proposition 2.12
  • proof
  • Proposition 2.13
  • Proposition 3.3
  • proof
  • proof
  • Proposition 3.9
  • proof
  • ...and 101 more