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

Resumo Técnico: Sobre a Segunda Característica de Euler–Poincaré Parcial Global para Cohomologia de Galois

Enunciado do Problema
O artigo aborda uma lacuna fundamental na teoria da cohomologia de Galois para corpos numéricos. Seja $K$ um corpo numérico e $S$ um conjunto finito de primos contendo todos os primos arquimedianos. Seja $G_{K,S}$ o grupo de Galois da extensão máxima de $K$ não ramificada fora de $S$. Para um módulo $G_{K,S}$-finito discreto $M$, a segunda característica de Euler–Poincaré parcial é definida 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)]}$$
A clássica fórmula de Tate para a característica de Euler–Poincaré global fornece uma avaliação explícita de $\chi_2$ sob a condição restritiva de que a ordem de $M$, denotada por $[M]$, seja uma unidade de $S$ (ou seja, $S$ contém todos os primos que dividem $[M]$). O problema central investigado é como calcular $\chi_2(G_{K,S}, M)$ quando $[M]$ não é uma unidade de $S$. Especificamente, o artigo busca determinar o valor preciso ou limites ótimos para esta característica e compreender as condições sob as quais a fórmula padrão falha ou requer modificação.

Metodologia
O autor emprega uma síntese de cohomologia étale, teoria de classes de corpos e teoria de grupos profinitos para resolver o problema. A metodologia procede através dos seguintes passos:

1. Comparação de Cohomologia Étale: O artigo estabelece uma comparação entre os grupos de cohomologia de Galois $H^i(G_{K,S}, M)$ e os grupos de cohomologia étale $H^i_{\text{ét}}(\text{Spec}(\mathcal{O}_{K,S}), M)$ do esquema afim de inteiros de $S$. Utilizando a sequência espectral de Hochschild–Serre, o autor analisa os homomorfismos de aresta $\phi_i: H^i(G_{K,S}, M) \to H^i_{\text{ét}}(\text{Spec}(\mathcal{O}_{K,S}), M)$.
2. Cálculo Exato de Invariantes Étale: O autor calcula a segunda característica de Euler–Poincaré para os grupos de cohomologia étale, denotada por $\chi_2(\text{Spec}(\mathcal{O}_{K,S}), M)$. Isso envolve utilizar a sequência exata relacionando a cohomologia com suporte compacto à cohomologia padrão e aplicando a dualidade de Artin–Verdier. Um componente crítico é o cálculo exato do terceiro grupo de cohomologia com suporte compacto, $H^3_c(U, M)$, que é identificado via dualidade com os invariantes do módulo dual de Cartier, $(M')^{G_K}$.
3. Refinamento das Técnicas de Schmidt: Para abordar o caso em que o morfismo natural $\phi_2$ não é um isomorfismo (o que ocorre quando $[M]$ não é uma unidade de $S$), o artigo refina as técnicas desenvolvidas por Schmidt. O autor constrói conjuntos finitos de primos $S_0$ (disjuntos de conjuntos prescritos de densidade zero) tais que o alargamento de $S$ para $S \cup S_0$ elimina o "defeito" na cohomologia, garantindo que $\phi_2$ se torne um isomorfismo.
4. Aplicação a Apresentações de Grupos e Anéis de Deformação: Os resultados sobre $\chi_2$ são aplicados ao número mínimo de relações $r(G)$ e geradores $d(G)$ para o grupo profinito $G_{K,S}$, utilizando os critérios de Lubotzky para grupos $d(G)$-abelianos indexados. Além disso, os limites cohomológicos são aplicados à dimensão de Krull de anéis de deformação universais no contexto da conjectura de dimensão de Mazur.

Principais Contribuições e Resultados

• Fórmula Generalizada (Teorema 1.2): O artigo fornece um limite superior explícito para $\chi_2(G_{K,S}, M)$ quando $[M]$ não é uma unidade de $S$. A fórmula é:
  $$\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$$
  onde $\epsilon$ é um fator de correção dependente de se $S$ contém primos não arquimedianos e do comportamento do dual de Cartier $M'$ sob conjugação complexa. O artigo prova que a igualdade ocorre se, e somente se, o mapa natural $\phi_2$ for um isomorfismo.
• Atingibilidade do Limite: O autor demonstra que, para qualquer conjunto de primos $T$ de densidade de Dirichlet zero, existe um conjunto finito de primos $S_0$ disjunto de $S \cup T$ tal que a igualdade na fórmula ocorre para $G_{K, S \cup S_0}$. Isso fornece efetivamente uma fórmula explícita para a característica ao ampliar adequadamente o conjunto de primos ramificados.
• Apresentação de $G_{K,S}$ (Teorema 1.4): O artigo refina os limites sobre o número mínimo de relações $r(G_{K,S})$ em relação ao número mínimo de geradores $d(G_{K,S})$. Estabelece que:
  $$0 \leq r(G_{K,S}) - d(G_{K,S}) \leq R(K) - \gamma$$
  onde $R(K)$ é o número de primos arquimedianos e $\gamma \in \{0, 1\}$ depende da presença de primos não arquimedianos em $S$. O artigo também mostra que, ao adicionar um conjunto finito de primos, a diferença pode ser tornada exatamente $R(K) - 1$.
• Contraexemplos para Conjecturas de Dimensão (Teoremas 1.7 & 1.8): O artigo constrói contraexemplos para a extensão da conjectura de dimensão de Mazur (Conjectura 1.6), que postula que a dimensão de Krull de um anel de deformação universal é igual a $h^1 - h^2$ sem a condição de que $S$ contenha todos os primos acima de $p$. O autor prova que, se $S \cap S_p = \emptyset$, é possível encontrar uma extensão finita de $S$ onde $h^1 - h^2 < 0$, violando assim a conjectura. Isso é mostrado como sendo consistente com a conjectura de Fontaine–Mazur não ramificada.

Significância
O artigo afirma ter significância ao fornecer o "limite superior ótimo" para a segunda característica de Euler–Poincaré parcial no caso geral onde a ordem do módulo não é uma unidade de $S$. Ao estabelecer uma ponte entre a cohomologia de Galois e a cohomologia étale, ele oferece um mecanismo preciso para calcular esses invariantes controlando o conjunto de primos ramificados.

Além disso, o trabalho esclarece as propriedades estruturais do grupo de Galois $G_{K,S}$, oferecendo limites refinados sobre sua apresentação que dependem explicitamente da aritmética do corpo base e do conjunto $S$. Finalmente, o artigo resolve uma questão aberta específica sobre a teoria de deformação ao demonstrar que a conjectura de dimensão falha na ausência de ramificação $p$-ádica, reforçando a necessidade das condições originais na conjectura de Mazur. Os resultados generalizam a clássica fórmula de Tate e fornecem um arcabouço para analisar grupos de Galois e anéis de deformação em contextos mais amplos.