Une conjecture $C_{\rm st}$ pour la cohomologie à support compact

El artículo demuestra que añadir análogos $p$-ádicos de $\log p$ y $\log 2\pi i$ anula la cohomología de Galois del anillo de funciones analíticas en la curva de Fargues-Fontaine en grados mayores o iguales a 1, lo que permite formular conjeturas de tipo $C_{\rm dR}$ y $C_{\rm st}$ para la cohomología con soporte compacto de variedades analíticas $p$-ádicas.

Lo esencial

Imagina que estás intentando descifrar un mensaje secreto muy antiguo y complejo (las matemáticas de las variedades analíticas $p$-ádicas). Los matemáticos Pierre Colmez, Sally Gilles y Wiesława Nizioł han escrito un "manual de instrucciones" para ayudar a descifrar este mensaje, especialmente cuando el mensaje tiene partes que se desvanecen o son difíciles de atrapar (lo que llaman "cohomología con soporte compacto").

Aquí tienes la explicación de su trabajo, usando analogías cotidianas:

1. El Problema: El "Ruido" en la Señal

Imagina que tienes una radio (la cohomología proétal) que transmite la historia de una ciudad antigua.

• Si la ciudad es grande y cerrada (una variedad "propia"), la radio funciona perfecto: puedes escuchar la historia clara y traducirla a dos idiomas modernos: el "idioma de De Rham" (geometría suave) y el "idioma de Hyodo-Kato" (geometría con singularidades).
• Pero, si la ciudad es abierta o tiene bordes difusos (una variedad "parcialmente propia" o con soporte compacto), la radio empieza a captar mucho ruido estático.

Este "ruido" es la cohomología galoisiana en grados altos. Matemáticamente, significa que cuando intentas traducir el mensaje, aparecen términos extraños y basura que no pertenecen a la historia real, haciendo que la traducción sea incorrecta o incompleta.

2. La Solución: Añadir un "Silenciador" Mágico

Los autores descubrieron que el ruido proviene de dos fuentes específicas en el "equipo de radio" (los anillos de períodos matemáticos llamados $B_{dR}$ y $B_{st}$):

1. Un logaritmo de un número especial ($\log \chi_{cycl}$).
2. Un logaritmo de otro número mágico ($\log 2\pi i$ en el mundo $p$-ádico).

La analogía: Imagina que el ruido es un zumbido molesto causado por una frecuencia específica. Para silenciarlo, no intentas apagar la radio; en su lugar, añades un "antidoto" o un "amortiguador" a la señal.

En este caso, el antidoto es añadir elementos matemáticos nuevos:

• Un logaritmo de $p$ ($\log \tilde{p}$).
• Un **logaritmo de $2\pi i$** ($\log t$).

Al añadir estos "logaritmos mágicos" a la mezcla, ocurre algo sorprendente: el ruido desaparece por completo. La cohomología en grados altos (el zumbido molesto) se vuelve cero. La señal queda limpia.

3. El Resultado: Una Nueva Conjetura (La Receta)

Una vez que han limpiado el ruido con sus "logaritmos mágicos", pueden escribir una nueva receta (una conjetura) para traducir correctamente las ciudades abiertas.

• Antes: Intentaban traducir usando una herramienta simple llamada "Hom" (como un traductor básico). Esto fallaba porque el ruido contaminaba la traducción.
• Ahora: Usan una herramienta más sofisticada llamada "RHom" (un traductor avanzado que sabe ignorar el ruido) y, gracias a sus logaritmos, la traducción es perfecta.

La conjetura dice: "Si usas esta nueva herramienta limpia, podrás recuperar la historia exacta de la ciudad (la cohomología de De Rham o Hyodo-Kato) directamente de la señal de radio, incluso si la ciudad tiene bordes abiertos."

4. ¿Por qué es importante?

En el mundo de las matemáticas, a veces las reglas funcionan bien para objetos "cerrados" (como una esfera) pero fallan para objetos "abiertos" (como una hoja de papel o una ciudad con bordes).

Este papel es importante porque:

1. Resuelve un misterio: Explica por qué las recetas anteriores fallaban con objetos abiertos (el ruido de los logaritmos).
2. Ofrece una solución elegante: En lugar de complicar las matemáticas, añaden un par de "ingredientes" (los logaritmos) que limpian todo el sistema.
3. Abre nuevas puertas: Ahora los matemáticos pueden estudiar formas geométricas más complejas y abiertas con la misma confianza que las cerradas, sabiendo que tienen la herramienta correcta para traducir sus secretos.

En resumen

Los autores dicen: "Teníamos una radio que hacía mucho ruido cuando intentábamos escuchar ciudades abiertas. Descubrimos que el ruido venía de dos frecuencias específicas. Si añadimos dos 'silenciadores' matemáticos (logaritmos) a la radio, el ruido desaparece y podemos escuchar la historia perfectamente. Ahora podemos escribir las reglas definitivas para entender estas ciudades abiertas."

Es un trabajo de ingeniería matemática: no se trata de construir algo nuevo desde cero, sino de afinar el instrumento para que suene perfecto en todas las situaciones.

Resumen técnico

Aquí presento un resumen técnico detallado del artículo "Une conjecture Cst pour la cohomologie à support compact" (Una conjetura Cst para la cohomología con soporte compacto) de Pierre Colmez, Sally Gilles y Wiesława Nizioł.

1. El Problema: Limitaciones de las Conjeturas Clásicas de Periodos

El artículo aborda una dificultad fundamental en la teoría de Hodge $p$-ádica: la formulación de conjeturas de comparación (tipo $C_{dR}$ y $C_{st}$) para la cohomología con soporte compacto de variedades analíticas $p$-ádicas.

• Contexto: Para variedades propias, las conjeturas clásicas (Conjetura 0.1 en el texto) establecen isomorfismos entre la cohomología pro-étale $p$-ádica y las cohomologías de de Rham ($H^n_{dR}$) o de Hyodo-Kato ($H^n_{HK}$), utilizando funtores $\text{Hom}_{G_K}$ aplicados a anillos de períodos como $B_{dR}$ y $B_{st}$.
• La Obstrucción: Estas recetas fallan para variedades que no son propias (como variedades con soporte compacto). Al intentar aplicar las mismas fórmulas, aparecen "términos parásitos" en la cohomología de Galois de los anillos de períodos.
  • Específicamente, los grupos de cohomología de Galois $H^i(G_K, B_{dR})$ y $H^i(G_K, B_{st})$ no se anulan en grados $i \ge 1$.
  • En el caso de $B_{dR}$, $H^1(G_K, B_{dR})$ es no nulo (generado por $\log \chi_{cycl}$).
  • Si se intenta usar un $\text{RHom}$ (Hom derivado) en lugar de un $\text{Hom}$ simple para corregir esto, la no nulidad de $H^1$ provoca que los grupos de cohomología de de Rham aparezcan duplicados o distorsionados en la fórmula de comparación.

2. Metodología: Eliminación de la Cohomología de Galois

La estrategia central de los autores es modificar los anillos de períodos existentes añadiendo elementos trascendentes específicos (logaritmos) para "matar" (anular) la cohomología de Galois en grados superiores o iguales a 1.

A. El Caso de $B_{dR}$ (Folklore)

Los autores demuestran que al extender el anillo $B_{dR}$ adjuntando un logaritmo del "2$i\pi$ $p$-ádico" (denotado como $\log t$), se obtiene un nuevo anillo $B_{pdR} = B_{dR}[\log t]$.

• Acción de Galois: Se define la acción de $\sigma \in G_K$ sobre $\log t$ como $\sigma(\log t) = \log t + \log \chi_{cycl}(\sigma)$.
• Resultado: En el anillo extendido $B_{pdR}$, la cohomología de Galois se anula en grados $i \ge 1$:
  $$H^i(G_K, B_{pdR}) = 0 \quad \text{para } i \ge 1.$$
  Esto permite definir un isomorfismo limpio sin términos extra.

B. El Caso de la Curva de Fargues-Fontaine ($B$)

El núcleo técnico del artículo se centra en el anillo $B = \mathcal{O}(Y_{FF})$ de funciones analíticas en la curva de Fargues-Fontaine, que juega un papel análogo a $B_{st}$ en este contexto.

• Desafío: La cohomología de $B$ es más compleja que la de $B_{dR}$.
• Solución Propuesta: Los autores introducen dos elementos trascendentes:
  1. $\log \tilde{p}$: Un logaritmo de un elemento uniforme $\tilde{p}$, con acción de Frobenius $\phi(\log \tilde{p}) = p \log \tilde{p}$ y acción de Galois relacionada con el cociclo de Kummer.
  2. $\log t$: El mismo logaritmo que en el caso de $B_{dR}$.
• Construcción del Nuevo Anillo: Definen $B_{pFF} = B[\log \tilde{p}, \log t][1/t]$.
• Resultado Clave (Teorema 2.4): Demuestran que al considerar el anillo extendido $B_{pFF}$, la cohomología de Galois se anula completamente en grados $i \ge 1$:
  $$H^i(G_K, B_{pFF}) = 0 \quad \text{para } i \ge 1.$$
  Nota técnica: La demostración utiliza una inducción sobre el grado de los polinomios en $\log \tilde{p}$ y $\log t$, combinada con el análisis de la estructura de $B/tB$ (que es un producto infinito de copias de $C$) y la cohomología de Tate de $C$.

3. Contribuciones Clave

1. Anulación de Cohomología en Grados Altos: La demostración rigurosa de que añadir $\log t$ y $\log \tilde{p}$ a los anillos de períodos relevantes ($B_{dR}$ y $B$) elimina las clases de cohomología de Galois no triviales en grados $\ge 1$.
2. Distinción entre Anillos: Se destaca que este truco funciona para $B$ (anillo de la curva de Fargues-Fontaine) pero no parece aplicable directamente a $B_{st}$ o $B^+_{rig}$ sin modificaciones profundas, debido a la estructura más compleja de sus cocientes módulo $t$.
3. Formulación de Conjeturas para Soporte Compacto: Utilizando estos anillos "limpios" ($B_{pdR}$ y $B_{pFF}$), los autores proponen nuevas formulaciones de las conjeturas de comparación.

4. Resultados Principales: La Conjetura $C_{st}$ para Soporte Compacto

El resultado final es la Conjetura 3.1, que establece isomorfismos naturales para una variedad analítica parcialmente propia $Y$ definida sobre una extensión finita $K$ de $\mathbb{Q}_p$:

• Versión $C_{dR}$:
  $$R\Gamma_{dR}(Y) \simeq R\text{Hom}_{G_K}(R\Gamma_{\text{pro\'et}, c}(Y_{\mathbb{C}_p}, \mathbb{Q}_p(d))[2d], B_{pdR})$$
• Versión $C_{st}$:
  $$R\Gamma_{HK}(Y) \simeq \varinjlim_{[L:K]<\infty} R\text{Hom}_{GL}(R\Gamma_{\text{pro\'et}, c}(Y_{\mathbb{C}_p}, \mathbb{Q}_p(d))[2d], B_{pFF})$$

Donde:

• $R\Gamma_{\text{pro\'et}, c}$ denota la cohomología pro-étale con soporte compacto.
• $B_{pdR}$ y $B_{pFF}$ son los anillos de períodos extendidos con los logaritmos añadidos.
• El uso de $R\text{Hom}$ (en lugar de $\text{Hom}$) es necesario para capturar la estructura derivada, pero la anulación de la cohomología de los anillos de períodos asegura que no haya términos de extensión no deseados ($\text{Ext}^1$) que arruinen la fórmula.

5. Significado e Impacto

• Unificación Teórica: Este trabajo cierra una brecha importante en la teoría de Hodge $p$-ádica, proporcionando un marco coherente para tratar tanto variedades propias como no propias (con soporte compacto) bajo las mismas conjeturas de comparación.
• Nuevas Herramientas: La introducción de los anillos $B_{pFF}$ y $B_{pdR}$ como herramientas estándar para la cohomología con soporte compacto abre nuevas vías para el cálculo de invariantes geométricos en contextos no compactos.
• Resolución de Obstrucciones: Demuestra que las obstrucciones técnicas previas no eran inherentes a la geometría de las variedades, sino a la elección de los anillos de períodos. La "adición de logaritmos" actúa como un mecanismo de regularización que trivializa la acción de Galois problemática.

En resumen, el artículo provee la base técnica necesaria para extender la teoría de periodos $p$-ádicos a la cohomología con soporte compacto, resolviendo el problema de los términos parásitos mediante una construcción algebraica elegante de anillos de períodos extendidos.