Cadre qui compare les représentations p-adiques du groupe de Galois issues de la cohomologie étale p-adique des variétés algébriques sur corps p-adiques avec des objets d'algèbre linéaire provenant des théories de cohomologie p-adique (Hodge–Tate, de Rham, cristalline, semi-stable), au moyen d'anneaux de périodes et de foncteurs extrayant des invariants de type Hodge.

Principe

Classer et analyser les représentations p-adiques continues du groupe de Galois absolu par des foncteurs vers des modules filtrés équipés d'opérateurs (phi,N) ou vers des espaces gradués, en utilisant des isomorphismes de comparaison canoniques et des anneaux de périodes pour relier cohomologie étale et cohomologie p-adique.

Démonstration

Pour une variété lisse et propre X sur un corps p-adique K, la cohomologie étale p-adique H^i_et(X_{K^sep}, Q_p) est une représentation p-adique du groupe de Galois dont les poids de Hodge–Tate se retrouvent dans H^i_dR(X/K) muni de sa filtration de Hodge ; si X a bonne réduction, la représentation associée est cristalline et correspond à un module filtré à Frobenius construit à partir de la cohomologie cristalline.

Mauvaise application

Considérer les isomorphismes de comparaison comme des outils de calcul inconditionnels sans vérifier les hypothèses de finitude ou de propreté, ou appliquer la classification cristalline à des représentations qui ne sont ni p-adiques ni de Rham, conduisant à des invariants erronés.

Conséquence

Lorsque les hypothèses sont satisfaites, la théorie fournit des invariants discrets (poids de Hodge–Tate, modules filtrés à Frobenius, opérateurs de monodromie) qui contraignent les représentations de Galois possibles, produisent des isomorphismes de périodes et relient les propriétés arithmétiques des variétés à des données d'algèbre linéaire utilisables pour la classification et les déformations.

Inversion

Plutôt que de partir d'une représentation de Galois pour produire des invariants linéaires, on peut commencer par un module filtré (phi,N) candidat et se demander s'il provient d'une représentation géométrique p-adique ; ce problème inverse est délicat et régi par des conditions d'admissibilité.

Limite

S'applique aux représentations p-adiques des groupes de Galois de corps locaux p-adiques (ou de caractéristique mixte) et aux cohomologies de variétés algébriques satisfaisant des conditions de finitude et de continuité ; elle ne s'applique pas directement aux représentations l-adiques (l ≠ p) sauf par analogie et exclut la théorie de Hodge complexe purement topologique.

Tension sémantique

Il y a une tension entre la similarité formelle avec la théorie de Hodge complexe (filtrations, poids, décompositions) et la nature fondamentalement différente, topologique et arithmétique, des anneaux de périodes p-adiques et des actions de Galois ; une autre tension oppose classification abstraite et calcul explicite.

Synthèse

La théorie de Hodge p-adique unifie l'arithmétique et l'algèbre linéaire en convertissant des représentations p-adiques continues en objets linéaires fortement contraints (modules filtrés à Frobenius, espaces gradués) via les anneaux de périodes et les isomorphismes de comparaison, permettant classification, rigidité et conséquences arithmétiques pour les variétés sur corps p-adiques.