On the second partial Global Euler-Poincare characteristics for Galois cohomology

Resumen Técnico: Sobre la segunda característica de Euler–Poincaré parcial global para la cohomología de Galois

Planteamiento del Problema
El artículo aborda una laguna fundamental en la teoría de la cohomología de Galois para cuerpos numéricos. Sea $K$ un cuerpo numérico y $S$ un conjunto finito de primos que contiene todos los primos arquimedianos. Sea $G_{K,S}$ el grupo de Galois de la extensión máxima de $K$ no ramificada fuera de $S$. Para un módulo $G_{K,S}$-finito discreto $M$, la segunda característica parcial de Euler–Poincaré se define como:
$$\chi_2(G_{K,S}, M) := \frac{[H^0(G_{K,S}, M)][H^2(G_{K,S}, M)]}{[H^1(G_{K,S}, M)]}$$
La fórmula clásica de la característica de Euler–Poincaré global de Tate proporciona una evaluación explícita de $\chi_2$ bajo la condición restrictiva de que el orden de $M$, denotado $[M]$, es una unidad de $S$ (es decir, $S$ contiene todos los primos que dividen a $[M]$). El problema central investigado es cómo calcular $\chi_2(G_{K,S}, M)$ cuando $[M]$ no es una unidad de $S$. Específicamente, el artículo busca determinar el valor preciso o los límites óptimos para esta característica y comprender las condiciones bajo las cuales la fórmula estándar falla o requiere una modificación.

Metodología
El autor emplea una síntesis de cohomología étale, teoría de clases de campos y teoría de grupos profinitos para resolver el problema. La metodología procede a través de los siguientes pasos:

1. Comparación de la Cohomología Étale: El artículo establece una comparación entre los grupos de cohomología de Galois $H^i(G_{K,S}, M)$ y los grupos de cohomología étale $H^i_{\text{ét}}(\text{Spec}(\mathcal{O}_{K,S}), M)$ del esquema afín de enteros de $S$. Utilizando la sucesión espectral de Hochschild–Serre, el autor analiza los homomorfismos de borde $\phi_i: H^i(G_{K,S}, M) \to H^i_{\text{ét}}(\text{Spec}(\mathcal{O}_{K,S}), M)$.
2. Cálculo Exacto de los Invariantes Étale: El autor computa la segunda característica de Euler–Poincaré para los grupos de cohomología étale, denotada $\chi_2(\text{Spec}(\mathcal{O}_{K,S}), M)$. Esto implica utilizar la sucesión larga que relaciona la cohomología con soporte compacto con la cohomología estándar y aplicar la dualidad de Artin–Verdier. Un componente crítico es el cálculo exacto del tercer grupo de cohomología con soporte compacto, $H^3_c(U, M)$, el cual se identifica mediante dualidad con los invariantes del módulo dual de Cartier, $(M')^{G_K}$.
3. Refinamiento de las Técnicas de Schmidt: Para abordar el caso donde la morfismo natural $\phi_2$ no es un isomorfismo (lo cual ocurre cuando $[M]$ no es una unidad de $S$), el artículo refina las técnicas desarrolladas por Schmidt. El autor construye conjuntos finitos de primos $S_0$ (disjuntos de conjuntos prescritos de densidad cero) tales que el ampliar $S$ a $S \cup S_0$ elimina el "defecto" en la cohomología, asegurando que $\phi_2$ se convierta en un isomorfismo.
4. Aplicación a Presentaciones de Grupos y Anillos de Deformación: Los resultados sobre $\chi_2$ se aplican al número mínimo de relaciones $r(G)$ y generadores $d(G)$ para el grupo profinito $G_{K,S}$, utilizando los criterios de Lubotzky para grupos de índice abeliano-$d(G)$. Además, los límites cohomológicos se aplican a la dimensión de Krull de los anillos de deformación universales en el contexto de la conjetura de la dimensión de Mazur.

Contribuciones Clave y Resultados

• Fórmula Generalizada (Teorema 1.2): El artículo proporciona un límite superior explícito para $\chi_2(G_{K,S}, M)$ cuando $[M]$ no es una unidad de $S$. La fórmula es:
  $$\chi_2(G_{K,S}, M) \leq \frac{1}{[M][K:\mathbb{Q}]} \prod_{v \in S_\infty} [H^0(G_v, M)] \cdot \prod_{v \notin S, v \in S_p} \frac{1}{|[M]|_v} \cdot \epsilon$$
  donde $\epsilon$ es un factor de corrección que depende de si $S$ contiene primos no arquimedianos y del comportamiento del dual de Cartier $M'$ bajo la conjugación compleja. El artículo demuestra que la igualdad se cumple si y solo si el mapa natural $\phi_2$ es un isomorfismo.
• Alcanzabilidad del Límite: El autor demuestra que para cualquier conjunto de primos $T$ de densidad de Dirichlet cero, existe un conjunto finito de primos $S_0$ disjunto de $S \cup T$ tal que la igualdad en la fórmula se cumple para $G_{K, S \cup S_0}$. Esto efectivamente proporciona una fórmula explícita para la característica mediante el aumento adecuado del conjunto de primos ramificados.
• Presentación de $G_{K,S}$ (Teorema 1.4): El artículo refina los límites sobre el número mínimo de relaciones $r(G_{K,S})$ respecto al número mínimo de generadores $d(G_{K,S})$. Establece que:
  $$0 \leq r(G_{K,S}) - d(G_{K,S}) \leq R(K) - \gamma$$
  donde $R(K)$ es el número de primos arquimedianos y $\gamma \in \{0, 1\}$ depende de la presencia de primos no arquimedianos en $S$. El artículo también muestra que, añadiendo un conjunto finito de primos, la diferencia puede hacerse exactamente $R(K) - 1$.
• Contraejemplos a las Conjeturas de Dimensión (Teoremas 1.7 y 1.8): El artículo construye contraejemplos a la extensión de la conjetura de la dimensión de Mazur (Conjetura 1.6), la cual postula que la dimensión de Krull de un anillo de deformación universal es igual a $h^1 - h^2$ sin la condición de que $S$ contenga todos los primos por encima de $p$. El autor prueba que, si $S \cap S_p = \emptyset$, se puede encontrar una extensión finita de $S$ donde $h^1 - h^2 < 0$, violando así la conjetura. Se demuestra que esto es consistente con la conjetura de Fontaine–Mazur no ramificada.

Significación
El artículo afirma su importancia al proporcionar el "límite superior óptimo" para la segunda característica parcial de Euler–Poincaré en el caso general donde el orden del módulo no es una unidad de $S$. Al cerrar la brecha entre la cohomología de Galois y la cohomología étale, ofrece un mecanismo preciso para calcular estos invariantes controlando el conjunto de primos ramificados.

Además, el trabajo clarifica las propiedades estructurales del grupo de Galois $G_{K,S}$, ofreciendo límites refinados sobre su presentación que dependen explícitamente de la aritmética del cuerpo base y del conjunto $S$. Finalmente, el artículo resuelve una pregunta abierta específica sobre la teoría de deformación al demostrar que la conjetura de la dimensión falla en ausencia de ramificación $p$-ádica, reforzando la necesidad de las condiciones originales en la conjetura de Mazur. Los resultados generalizan la fórmula clásica de Tate y proporcionan un marco para analizar grupos de Galois y anillos de deformación en contextos más amplios.