Un marco que compara representaciones galoisianas p-ádicas procedentes de la cohomología étale p-ádica de variedades algebraicas sobre cuerpos p-ádicos con objetos de álgebra lineal extraídos de teorías de cohomología p-ádica (Hodge–Tate, de Rham, cristalina, semiestable), mediante anillos de períodos y funtores que extraen invariantes de tipo Hodge.

Principio

Clasificar y analizar representaciones p-ádicas continuas del grupo de Galois absoluto mediante funtors hacia módulos filtrados (phi,N) o espacios graduados, usando isomorfismos de comparación canónicos y anillos de períodos para relacionar cohomología étale y cohomología p-ádica.

Demostración

Para una variedad suave y propia X sobre un cuerpo p-ádico K, la cohomología étale p-ádica H^i_et(X_{K^sep}, Q_p) es una representación galoisiana p-ádica cuyos pesos de Hodge–Tate se recuperan de H^i_dR(X/K) con su filtración de Hodge; si X tiene buena reducción, la representación es cristalina y corresponde a un módulo filtrado con Frobenius construido desde la cohomología cristalina.

Aplicación incorrecta

Tratar los isomorfismos de comparación como herramientas computacionales incondicionales sin verificar hipótesis de finitud o propiedades geométricas, o aplicar la clasificación cristalina a representaciones que no son p-ádicas o no son de Rham, produciendo invariantes erróneos.

Consecuencia

Cuando procede, la teoría proporciona invariantes discretos (pesos de Hodge–Tate, módulos filtrados con Frobenius, operadores de monodromía) que restringen las representaciones de Galois posibles, generan isomorfismos de períodos y conectan propiedades aritméticas de las variedades con datos de álgebra lineal útiles para clasificación y deformaciones.

Inversión

En vez de partir de una representación galoisiana para obtener objetos lineales, se puede comenzar por un módulo filtrado (phi,N) candidato y preguntar si proviene de una representación geométrica p-ádica; este problema inverso es sutil y está gobernado por condiciones de admisibilidad.

Límite

Se aplica a representaciones p-ádicas de los grupos de Galois de cuerpos locales p-ádicos (o de característica mixta) y a cohomologías de variedades algebraicas que satisfacen condiciones de finitud y continuidad; no se aplica directamente a representaciones l-ádicas (l ≠ p) salvo por analogía y excluye la teoría de Hodge compleja puramente topológica.

Tensión semántica

Existe tensión entre la similitud formal con la teoría de Hodge compleja (filtraciones, pesos, descomposiciones) y la naturaleza fundamentalmente distinta, topológica y aritmética, de los anillos de períodos p-ádicos y las acciones de Galois; también hay tensión entre la clasificación abstracta y el cálculo explícito.

Síntesis

La teoría de Hodge p-ádica unifica aritmética y álgebra lineal convirtiendo representaciones galoisianas p-ádicas continuas en objetos lineales fuertemente restringidos (módulos filtrados con Frobenius, espacios graduados) mediante anillos de períodos e isomorfismos de comparación, lo que posibilita clasificación, rigidez y consecuencias aritméticas para variedades sobre cuerpos p-ádicos.