Motivic Cohomology and K-groups of varieties over higher local fields

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della K-teoria algebrica e della coomologia motivica, focalizzandosi sullo studio delle proprietà strutturali dei gruppi di K-algebrica ($K_i(X)$) e dei gruppi di Chow superiori di Bloch ($CH^i(X, j)$) per varietà algebriche definite su campi locali superiori (higher local fields).

• Campi Locali Superiori: Un campo $N$-locale ($k_N$) è definito induttivamente come un campo completo a valutazione discreta il cui campo residuo è un campo $(N-1)$-locale. Un campo 0-locale è un campo finito, un campo 1-locale è un campo locale non archimedeo (es. $\mathbb{Q}_p$), e così via.
• Congetture Fondamentali: Il paper affronta le congetture di Bass (i gruppi $K_i(X)$ per varietà lisce proiettive su campi finiti sono finitamente generati) e di Parshin (i gruppi $K_i(X)$ sono di torsione per $i > 0$). Sebbene queste congetture siano state risolte per dimensioni $\le 1$, rimangono aperte in dimensioni superiori.
• Gap nella Conoscenza: Mentre la struttura dei gruppi K è ben compresa per campi finiti e locali classici ($N=0, 1$), la situazione per $N \ge 2$ è scarsamente esplorata. Inoltre, la finiteness (finitudine) dei sottogruppi di torsione nei gruppi di Chow superiori su questi campi non era stata stabilita in modo generale.

2. Metodologia

Gli autori adottano un approccio che combina tecniche di topologia etale, teoria dei motivi e K-teoria etale. La strategia principale si articola nei seguenti punti:

1. Finitudine della Coomologia Etale: Il pilastro centrale della dimostrazione è la prova della finitudine uniforme dei gruppi di coomologia etale con coefficienti divisibili (specificamente $H^i_{\text{\'et}}(X, \mathbb{Z}/m(n))$) per varietà quasi-proiettive su campi $N$-locali, per $m$ coprimi alla caratteristica residua $p$.
   • Vengono utilizzati teoremi di alterazione (di de Jong e Gabber) e teoremi di purity (di Gabber) per ridurre il caso di varietà singolari o quasi-proiettive a varietà lisce con modelli semi-stabili.
   • Si utilizza un'induzione sulla dimensione della varietà e sul numero $N$ del campo locale.
2. Spettri e Sequenze Spettrali: Per collegare la coomologia etale ai gruppi K, gli autori sfruttano la sequenza spettrale di Atiyah-Hirzebruch per la K-teoria etale, che converge dai gruppi di coomologia etale ai gruppi $K^{\text{\'et}}_m(X)$.
3. Congettura di Quillen-Lichtenbaum: Si fa ricorso alla congettura di Quillen-Lichtenbaum (ora teorema, grazie a Rost, Voevodsky, Weibel, Clausen-Mathew) per stabilire un isomorfismo tra i gruppi di K-algebrica e i gruppi di K-etale in gradi sufficientemente alti ($m \ge d + N + 1$).
4. Identificazione con i Gruppi di Chow: Per i gruppi di Chow superiori, si utilizza il risultato di confronto di Voevodsky che identifica i gruppi di Chow con la coomologia motivica ($CH^i(X, j) \cong H^{2i-j}_M(X, \mathbb{Z}(i))$). Successivamente, si analizza la mappa di realizzazione etale per dimostrare la finiteness della torsione.

3. Risultati Principali

Il paper stabilisce diversi teoremi fondamentali che generalizzano risultati noti per campi finiti e locali classici a campi locali superiori.

A. Struttura dei Gruppi K (Teoremi 1.1 e 1.3)

Per una varietà quasi-proiettiva $X$ di dimensione $d$ su un campo $N$-locale $k_N$:

• Per ogni intero $m \ge d + N + 1$, il gruppo $K_m(X)$ (e analogamente $K^{\text{\'et}}_m(X)$) si decompone come:
  $$K_m(X) \cong F \oplus D$$
  dove $F$ è un gruppo finito e $D$ è un gruppo univocamente $p'$-divisibile (divisibile per tutti gli interi coprimi a $p$, con torsione $p'$ nulla).
• In particolare, il sottogruppo di torsione $Km(X)_{\text{tor}}$ (esclusa la $p$-torsione) è finito.
• Se la caratteristica del campo $k_N$ è uguale a quella del campo residuo ($char(k_N) = char(k_0)$), allora $D$ è univocamente divisibile e l'intero gruppo di torsione è finito.

B. Equivalenza delle Congetture (Corollario 1.2 e Teorema 7.8)

Per varietà lisce proiettive su campi finiti ($N=0$), i risultati mostrano che per $m \ge d+1$, le seguenti condizioni sono equivalenti:

1. $K_m(X)$ è un gruppo finito di ordine non divisibile per $p$.
2. $K_m(X)$ è finitamente generato.
3. $K_m(X)$ è di torsione.
   Questo dimostra l'equivalenza delle congetture di Bass e Parshin in gradi superiori, sotto l'ipotesi che il gruppo $D$ sia nullo (come previsto dalle congetture).

C. Finitudine della Torsione nei Gruppi di Chow (Teoremi 1.6, 1.7, 1.8)

Gli autori provano la finiteness del sottogruppo di torsione $p'$ ($CH^i(X, j)\{p'\}$) per varietà lisce proiettive:

• Su campi finiti: $CH^i(X, j)\{p'\}$ è finito per $i \ge d+1$ e $j \ge 0$.
• Su campi locali ($N=1$) con buona riduzione: $CH^i(X, j)\{p'\}$ è finito per $j \ge 1$ e ($i \le j+2$ o $i \ge d+1$).
• Su campi $N$-locali ($N \ge 2$): $CH^i(X, j)\{p'\}$ è finito per $j \ge d+N$ e ($i \le j+2$ o $i \ge d+N+1$).

D. Applicazione alla Teoria dei Campi di Classe (Teorema 1.9 e 9.4)

Un'applicazione significativa riguarda la mappa di reciprocità tamme $\rho^t_X: C_t(X) \to \pi^{ab,t}_1(X)$ per varietà lisce su campi locali.

• Il paper dimostra che il nucleo di questa mappa è univocamente $p'$-divisibile. Questo rafforza risultati precedenti che ne affermavano solo la divisibilità $p'$, chiarendo la struttura del kernel in relazione alla teoria dei campi di classe tamme.

4. Significato e Contributi Chiave

1. Generalizzazione ai Campi Superiori: Il lavoro estende la comprensione della K-teoria e della coomologia motivica oltre i campi locali classici ($N=1$) ai campi $N$-locali, un ambito dove i risultati erano precedentemente molto limitati.
2. Struttura "Divisibile-Finito": La dimostrazione che i gruppi K in gradi alti sono somme dirette di un gruppo finito e di un gruppo divisibile è un risultato strutturale potente, che fornisce un quadro chiaro per l'analisi aritmetica di queste varietà.
3. Finitudine della Coomologia Etale: La prova della finiteness uniforme della coomologia etale con coefficienti coprimi a $p$ su varietà quasi-proiettive su campi $N$-locali è un risultato indipendente di grande importanza, con potenziali applicazioni in altre aree della geometria aritmetica.
4. Collegamento tra Congetture: Fornisce un contesto rigoroso in cui le congetture di Bass e Parshin possono essere studiate e confrontate in gradi superiori, offrendo criteri equivalenti per la loro validità.
5. Avanzamento nella Teoria dei Campi di Classe: Il risultato sul nucleo della mappa di reciprocità tamme rappresenta un passo avanti nella comprensione della dualità di Poitou-Tate e delle strutture di classe per varietà su campi locali.

In sintesi, il paper fornisce un quadro teorico robusto e nuovi strumenti tecnici per analizzare le proprietà aritmetiche delle varietà algebriche su campi locali superiori, colmando lacune significative nella letteratura sulla K-teoria e la coomologia motivica.