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

Sintesi Tecnica: Sul secondo carattere di Euler–Poincaré parziale globale per la coomologia di Galois

Problema
Il saggio affronta una lacuna fondamentale nella teoria della coomologia di Galois per i campi numerici. Sia $K$ un campo numerico e $S$ un insieme finito di primi contenente tutti i primi archimedei. Sia $G_{K,S}$ il gruppo di Galois dell'estensione massima di $K$ non ramificata fuori da $S$. Per un modulo $G_{K,S}$-finito discreto $M$, il secondo carattere di Euler–Poincaré parziale è definito come:
$$\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 classica formula di Tate per il carattere di Euler–Poincaré globale fornisce una valutazione esplicita di $\chi_2$ sotto la condizione restrittiva che l'ordine di $M$, denotato con $[M]$, sia un'unità di $S$ (ovvero $S$ contiene tutti i primi che dividono $[M]$). Il problema centrale investigato è come calcolare $\chi_2(G_{K,S}, M)$ quando $[M]$ non è un'unità di $S$. Nello specifico, il saggio cerca di determinare il valore preciso o i limiti ottimali per questo carattere e di comprendere le condizioni in cui la formula standard fallisce o richiede una modifica.

Metodologia
L'autore impiega una sintesi di coomologia étale, teoria dei campi di classe e teoria dei gruppi profiniti per risolvere il problema. La metodologia procede attraverso i seguenti passaggi:

1. Confronto tra Coomologia Étale: Il saggio stabilisce un confronto tra i gruppi di coomologia di Galois $H^i(G_{K,S}, M)$ e i gruppi di coomologia étale $H^i_{\text{ét}}(\text{Spec}(\mathcal{O}_{K,S}), M)$ dello schema affine degli interi di $S$. Utilizzando la sequenza spettrale di Hochschild–Serre, l'autore analizza gli omomorfismi di bordo $\phi_i: H^i(G_{K,S}, M) \to H^i_{\text{ét}}(\text{Spec}(\mathcal{O}_{K,S}), M)$.
2. Calcolo Esatto degli Invarianti Étale: L'autore calcola il secondo carattere di Euler–Poincaré parziale per i gruppi di coomologia étale, denotato con $\chi_2(\text{Spec}(\mathcal{O}_{K,S}), M)$. Ciò comporta l'utilizzo della sequenza lunga esatta che mette in relazione la coomologia con supporto compatto con la coomologia standard e l'applicazione della dualità di Artin–Verdier. Una componente critica è il calcolo esatto del terzo gruppo di coomologia con supporto compatto, $H^3_c(U, M)$, che viene identificato tramite dualità con gli invarianti del modulo duale di Cartier, $(M')^{G_K}$.
3. Raffinamento delle Tecniche di Schmidt: Per affrontare il caso in cui la morfismo naturale $\phi_2$ non è un isomorfismo (il che avviene quando $[M]$ non è un'unità di $S$), il saggio raffina le tecniche sviluppate da Schmidt. L'autore costruisce insiemi finiti di primi $S_0$ (disgiunti da insiemi prestabiliti di densità zero) tali che l'ampliamento di $S$ in $S \cup S_0$ elimini il "difetto" nella coomologia, garantendo che $\phi_2$ diventi un isomorfismo.
4. Applicazione a Presentazioni di Gruppi e Anelli di Deformazione: I risultati su $\chi_2$ sono applicati al numero minimo di relazioni $r(G)$ e generatori $d(G)$ per il gruppo profinito $G_{K,S}$, utilizzando i criteri di Lubotzky per i gruppi $d(G)$-abelian-indexed. Inoltre, i limiti coomologici sono applicati alla dimensione di Krull degli anelli di deformazione universale nel contesto della congettura della dimensione di Mazur.

Contributi Chiave e Risultati

• Formula Generalizzata (Teorema 1.2): Il saggio fornisce un limite superiore esplicito per $\chi_2(G_{K,S}, M)$ quando $[M]$ non è un'unità di $S$. La formula è:
  $$\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$$
  dove $\epsilon$ è un fattore di correzione che dipende dal fatto che $S$ contenga o meno primi non archimedei e dal comportamento del duale di Cartier $M'$ sotto la coniugazione complessa. Il saggio dimostra che l'uguaglianza si verifica se e solo se la mappa naturale $\phi_2$ è un isomorfismo.
• Attuabilità del Limite: L'autore dimostra che per qualsiasi insieme di primi $T$ di densità di Dirichlet zero, esiste un insieme finito di primi $S_0$ disgiunto da $S \cup T$ tale che l'uguaglianza nella formula si verifichi per $G_{K, S \cup S_0}$. Ciò fornisce efficacementmente una formula esplicita per il carattere mediante l'ampliamento appropriato dell'insieme dei primi ramificati.
• Presentazione di $G_{K,S}$ (Teorema 1.4): Il saggio raffina i limiti sul numero minimo di relazioni $r(G_{K,S})$ rispetto al numero minimo di generatori $d(G_{K,S})$. Stabilisce che:
  $$0 \leq r(G_{K,S}) - d(G_{K,S}) \leq R(K) - \gamma$$
  dove $R(K)$ è il numero di primi archimedei e $\gamma \in \{0, 1\}$ dipende dalla presenza di primi non archimedei in $S$. Il saggio mostra anche che aggiungendo un insieme finito di primi, la differenza può essere resa esattamente $R(K) - 1$.
• Controesempi alle Congetture sulla Dimensione (Teoremi 1.7 & 1.8): Il saggio costruisce controesempi all'estensione della congettura della dimensione di Mazur (Congettura 1.6), la quale postula che la dimensione di Krull di un anello di deformazione universale sia uguale a $h^1 - h^2$ senza la condizione che $S$ contenga tutti i primi sopra $p$. L'autore dimostra che se $S \cap S_p = \emptyset$, si può trovare un'estensione finita di $S$ dove $h^1 - h^2 < 0$, violando così la congettura. Questo è mostrato essere coerente con la congettura di Fontaine–Mazur non ramificata.

Significato
Il saggio rivendica la sua importanza nel fornire il "limite superiore ottimale" per il secondo carattere di Euler–Poincaré parziale nel caso generale in cui l'ordine del modulo non è un'unità di $S$. Collegando la coomologia di Galois alla coomologia étale, esso offre un meccanismo preciso per calcolare questi invarianti controllando l'insieme dei primi ramificati.

Inoltre, il lavoro chiarisce le proprietà strutturali del gruppo di Galois $G_{K,S}$, offrendo limiti raffinati sulla sua presentazione che dipendono esplicitamente dall'aritmetica del campo di base e dall'insieme $S$. Infine, il saggio risolve una specifica questione aperta riguardante la teoria delle deformazioni, dimostrando che la congettura della dimensione fallisce in assenza di ramificazione $p$-adica, rinforzando la necessità delle condizioni originali nella congettura di Mazur. I risultati generalizzano la classica formula di Tate e forniscono un quadro per analizzare i gruppi di Galois e gli anelli di deformazione in contesti più ampi.