ESPACES DE BANACH DE DIMENSION FINIE

Abstract

Cet article est le résultat d'une relecture de la démonstration de la conjecture {\fontencoding{U}\fontfamily{lasy}\selectfont(\kern-0.20em(\kern.175em}faiblement admissible implique admissible{\fontencoding{U}\fontfamily{lasy}\selectfont\kern.175em)\kern-0.20em)} par J.-M. Fontaine et l'auteur. On donne une version renforcée de l'un des ingrédients (le {\fontencoding{U}\fontfamily{lasy}\selectfont(\kern-0.20em(\kern.175em}lemme fondamental{\fontencoding{U}\fontfamily{lasy}\selectfont\kern.175em)\kern-0.20em)}) de cette démonstration, ce qui nous amène à introduire un corps non commutatif gigantesque $\mathfrak{C}$, de centre $\textbf{Q}_p$ et contenant un corps $C$ algébriquement clos et complet pour la norme $p$-adique comme sous-corps commutatif maximal. Un peu {\fontencoding{U}\fontfamily{lasy}\selectfont(\kern-0.20em(\kern.175em}d'algèbre linéaire{\fontencoding{U}\fontfamily{lasy}\selectfont\kern.175em)\kern-0.20em)} sur ce corps mène à l'introduction de la catégorie des Espaces (avec un E majuscule) de Banach de dimension finie, et la conjecture {\fontencoding{U}\fontfamily{lasy}\selectfont(\kern-0.20em(\kern.175em}faiblement admissible implique admissible{\fontencoding{U}\fontfamily{lasy}\selectfont\kern.175em)\kern-0.20em)} se réduit alors à un calcul de dimensions d'objets de cette catégorie.

AMS 2000 Mathematics subject classification: Primary 11S