De Rham logarithmic classes and Tate conjecture

Resumen Técnico: Clases Logarítmicas de De Rham y la Conjetura de Tate

1. El Problema

El trabajo aborda dos problemas centrales en la geometría algebraica y la teoría de números:

1. Caracterización de las clases de ciclos algebraicos: Determinar cuándo una clase de cohomología de De Rham proviene de un ciclo algebraico. Específicamente, se busca una caracterización intrínseca de estas clases dentro de la cohomología de De Rham, más allá de la definición geométrica estándar.
2. La Conjetura de Tate: Probar que, para variedades proyectivas suaves sobre campos de tipo finito sobre $\mathbb{Q}$, toda clase de Tate (una clase en la cohomología étale $p$-ádica invariante bajo el grupo de Galois absoluto) es la clase de un ciclo algebraico (con coeficientes en $\mathbb{Q}_p$).

El autor identifica que las clases de De Rham asociadas a ciclos algebraicos poseen una propiedad especial: son "logarítmicas". El objetivo es demostrar que esta propiedad es no solo necesaria, sino suficiente, y utilizarla para resolver la conjetura de Tate en el contexto $p$-ádico.

2. Metodología

La metodología combina técnicas avanzadas de geometría algebraica, topología étale/pro-étale, teoría de motivos y análisis $p$-ádico. Los pilares metodológicos son:

• Introducción de Clases Logarítmicas: Se define el complejo de formas logarítmicas $\Omega^\bullet_{X, \log}$ como un subcomplejo del complejo de De Rham $\Omega^\bullet_X$. Una clase de De Rham se considera "logarítmica" si proviene de la cohomología de este subcomplejo.
• Propiedades de Invarianza y Transferencia: Se utiliza el teorema de Voevodsky sobre presheaves con transferencias e invariantes bajo $\mathbb{A}^1$. Se demuestra que los haces de formas logarítmicas admiten transferencias y son invariantes bajo $\mathbb{A}^1$, lo que permite aplicar isomorfismos de pureza motivica.
• Análisis Local y Purity (Pureza): Se emplea una inducción finita basada en la topología de Zariski y la topología étale. Un paso crucial es demostrar que la isomorfismo de pureza para la cohomología de De Rham preserva las clases logarítmicas. Esto se logra mostrando que la clase de Euler de un fibrado vectorial es una clase logarítmica de tipo $(d, d)$.
• Modelos Integrales y Completación $p$-ádica: Para el caso de campos $p$-ádicos, se introduce una versión analítica de las clases logarítmicas utilizando modelos integrales suaves ($X_O$) y su completación formal a lo largo del ideal generado por $p$ ($\hat{X}_O$).
• Isomorfismos de Comparación: Se utiliza el isomorfismo de comparación cristalino/de Rham $p$-ádico (de Fontaine-Messing o Faltings) para relacionar las clases de Tate en cohomología étale con clases en cohomología de De Rham.

3. Contribuciones Clave

1. Definición y Propiedades de las Clases Logarítmicas:

   • Se introduce formalmente el concepto de clase logarítmica de De Rham para variedades sobre campos de característica cero.
   • Se prueba que las formas logarítmicas son cerradas ($d\omega = 0$) y que sus clases de cohomología se comportan bien bajo correspondencias finitas y mapas de transferencia.

2. Teorema de Correspondencia (Teorema 2):

   • Necesidad: Toda clase de De Rham de un ciclo algebraico de codimensión $d$ es una clase logarítmica de bidegree $(d, d)$.
   • Suficiencia: Toda clase logarítmica de bidegree $(d, d)$ en una variedad suave es la clase de un ciclo algebraico de codimensión $d$.
   • Vanishing: Para variedades proyectivas suaves, no existen clases logarítmicas no triviales de bidegree $(p, q)$ si $p \neq q$. Esto implica que no hay clases logarítmicas en grados impares de cohomología de De Rham.

3. Versión Analítica $p$-ádica (Proposición 9):

   • Se extiende el resultado anterior a variedades sobre campos $p$-ádicos con buena reducción. Se demuestra que una clase analítica logarítmica de tipo $(d, d)$ corresponde a un ciclo formal algebraico, y que no existen clases no triviales fuera del bidegree $(d, d)$.

4. Prueba de la Conjetura de Tate (Teorema 3):

   • Se demuestra la Conjetura de Tate para variedades proyectivas suaves sobre campos de tipo finito sobre $\mathbb{Q}$ con coeficientes en $\mathbb{Q}_p$.
   • La prueba conecta la invarianza de Galois de una clase de Tate con su imagen en la cohomología de De Rham (vía el isomorfismo de comparación), demostrando que esta imagen es una clase logarítmica, y por tanto, la clase de un ciclo algebraico.

4. Resultados Principales

• Teorema 2 (Caracterización de Ciclos): Para una variedad algebraica suave $X$ sobre un campo de característica cero $k$, el mapa de clases de ciclos $Z^d(X) \to H^{2d}_{DR}(X)$ tiene como imagen exactamente el subgrupo de clases logarítmicas de bidegree $(d, d)$.
  $$\text{Im}(Z^d(X)) = H^{2d}\Omega_{X, \log}(H^d_{et}(X, \Omega^d_{X, \log}))$$
• Teorema 3 (Conjetura de Tate): Sea $X$ una variedad proyectiva suave sobre un campo $k$ de tipo finito sobre $\mathbb{Q}$. Para una prima $p$ donde $X$ tiene buena reducción, el mapa de clases de ciclos:
  $$Z^d(X) \otimes \mathbb{Q}_p \to H^{2d}_{et}(X_{\bar{k}}, \mathbb{Q}_p)(d)^G$$
  es sobreyectivo. Es decir, toda clase de Tate es algebraica.
• Corolario 2 (Conjeturas Estándar y Hodge): Como consecuencia de la Conjetura de Tate, se deduce que las conjeturas estándar de Grothendieck se cumplen para variedades sobre $\mathbb{C}$ definidas sobre campos de tipo finito sobre $\mathbb{Q}$. Además, se establece una condición para la Conjetura de Hodge: una clase de Hodge racional es algebraica si y solo si sus conjugados de Galois (bajo automorfismos de $\mathbb{C}$) permanecen en el espacio de clases de Hodge.

5. Significado e Impacto

• Unificación de Perspectivas: El trabajo proporciona un puente riguroso entre la cohomología de De Rham (analítica/algebraica) y la cohomología étale (aritmética) a través del concepto de "logarítmicidad".
• Avance en la Conjetura de Tate: Ofrece una prueba de la Conjetura de Tate en el caso $p$-ádico para campos de tipo finito sobre $\mathbb{Q}$, un resultado de gran importancia en la teoría de números y geometría aritmética. A diferencia de casos anteriores que dependían de la reducción a campos finitos, este enfoque es intrínsecamente $p$-ádico.
• Nuevas Herramientas: La introducción de las clases logarítmicas como un criterio algebraico para la existencia de ciclos abre nuevas vías de investigación en la teoría de motivos y la cohomología de variedades singulares o no compactas.
• Clarificación de la Conjetura de Hodge: Al vincular la Conjetura de Tate con la Conjetura de Hodge a través de la invarianza bajo automorfismos de $\mathbb{C}$, el artículo ofrece una perspectiva dinámica sobre cuándo una clase de Hodge es algebraica, sugiriendo que la invarianza de Galois es la clave para distinguir clases algebraicas dentro del espacio de Hodge.

En resumen, Bouali demuestra que la propiedad de ser "logarítmica" es la característica definitoria de las clases de ciclos algebraicos en cohomología de De Rham, y utiliza esta caracterización para resolver la Conjetura de Tate en un contexto fundamental, reafirmando la profunda conexión entre la geometría algebraica y la teoría de Galois.