Teoria di Witt costruibile degli schemi

Informazioni di base

• ID articolo: 2307.01032
• Titolo: Constructible Witt theory of schemes
• Autori: Onkar Kamlakar Kale, Girja S Tripathi
• Classificazione: math.AG (Geometria algebrica), math.KT (Teoria K e algebra omologica)
• Data di pubblicazione: 31 dicembre 2024 (versione più recente v3)
• Link articolo: https://arxiv.org/abs/2307.01032

Riassunto

Questo articolo studia la teoria di Witt costruibile dei fasci étale di $\Lambda$-moduli su schemi $X$, dove l'anello dei coefficienti $\Lambda$ ha caratteristica finita diversa da 2 e è coprimo con la caratteristica residua dello schema $X$. La costruzione si basa sui recenti progressi di Cisinski e Déglise nel formalismo dei sei funtori per la categoria derivata dei motivi étale, fornendo il contesto per lo studio della teoria di Witt costruibile come invariante coomologico degli schemi. Per il caso di varietà algebriche complesse lisce e anelli di coefficienti finiti, gli autori provano che la teoria di Witt costruibile algebrica studiata può essere identificata con la teoria di Witt costruibile topologica.

Contesto di ricerca e motivazione

Sfondo del problema

1. Generalizzazione della teoria dei gruppi di Witt: La teoria classica dei gruppi di Witt è stata introdotta da Ernst Witt nel 1937, studiando le classi di isomorfismo di forme quadratiche su campi. Balmer ha generalizzato questa teoria a categorie triangolate con dualità.
2. Teoria di Witt costruibile topologica: Woolf e Schürmann hanno sviluppato i gruppi di Witt di fasci di moduli su spazi topologici come teoria coomologica generalizzata, fornendo invarianti di tipo firma per spazi topologici.
3. Corrispondenza in geometria algebrica: Gli autori desiderano stabilire una teoria analoga in geometria algebrica, in particolare cercando la classe L come corrispondente algebrico di operazioni coomologiche stabili dalla (topologica) teoria di Witt costruibile alla coomologia razionale ordinaria.

Motivazione della ricerca

1. Completezza teorica: Stabilire un quadro sistematico della teoria di Witt costruibile in geometria algebrica
2. Connessione con la teoria equivariante: Particolare attenzione al caso del campo reale e la connessione con la teoria di Witt equivariante $\mathbb{Z}/2\mathbb{Z}$
3. Corrispondenza topologico-algebrica: Costruire un ponte tra la teoria di Witt costruibile definita algebricamente e la teoria definita topologicamente

Contributi principali

1. Stabilimento della teoria di Witt costruibile degli schemi: Basato sul formalismo dei sei funtori di Cisinski-Déglise, si definisce il gruppo di Witt costruibile $W^i_c(X_{\text{ét}}, \Lambda)$ su uno schema $X$
2. Prova della caratterizzazione equivariante per il campo reale: Per il campo reale $\mathbb{R}$, si stabilisce l'isomorfismo $W^i_c((\text{Spec } \mathbb{R})_{\text{ét}}, \Lambda) \cong W^i_{\text{lf}}(\Lambda[\mathbb{Z}/2\mathbb{Z}])$
3. Stabilimento della corrispondenza algebrico-topologica: Per varietà algebriche complesse lisce $X$ e anelli di coefficienti finiti $\Lambda$, si prova $W^i_c(X_{\text{ét}}, \Lambda) \cong W^i_c(X^{\text{an}}, \Lambda)$
4. Costruzione della firma algebrica: Si definisce una firma a valori nei corrispondenti gruppi di Witt per varietà algebriche reali proiettive e varietà algebriche complesse

Spiegazione dei metodi

Quadro teorico

Definizione 4.1 (Gruppo di Witt costruibile): Sia $X$ uno schema, $\Lambda$ un anello di coefficienti soddisfacente le condizioni, e $T \in D^b_{\text{ctf}}(S_{\text{ét}}, \Lambda)$ un oggetto $\otimes$-invertibile. Il gruppo di Witt costruibile è definito come il gruppo di Witt della categoria triangolata con dualità $(D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda), D_X(T))$: $W^n_c(X_{\text{ét}}, \Lambda, T) := W^n(D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda), D_X(T))$

dove il funtore di dualità è: $D_X(T) = R\text{Hom}(-, f^!(T)) : D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda)^{\text{op}} \to D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda)$

Strumenti tecnici

1. Formalismo dei sei funtori: Utilizzo del lavoro di Cisinski-Déglise per stabilire il formalismo dei sei funtori in un contesto più generale
2. h-motivi costruibili localmente: Ottenimento di maggiore generalità attraverso l'equivalenza $D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda) \simeq DM_{h,lc}(X, \Lambda)$
3. Teoria di Galois: Per il caso di campi, utilizzo dell'azione del gruppo di Galois assoluto per stabilire la descrizione equivariante

Innovazioni tecniche chiave

1. Formalismo dei sei funtori esteso: Rispetto al classico AGV71, DGIV77, si ottengono risultati più generali attraverso i motivi étale
2. Compatibilità della dualità: Prova della compatibilità del pullback e pushforward con la struttura di dualità
3. Conservazione della dualità nelle equivalenze di categorie: Stabilimento di un quadro dove le equivalenze tra diverse categorie conservano la struttura di dualità

Teoremi principali

Teorema 1.1 (Formalismo dei sei funtori)

Sia $B$ uno schema noetheriano eccellente di dimensione $\leq 2$, $\Lambda$ un anello noetheriano di caratteristica positiva coprimo con la caratteristica residua di $B$. Sia $\phi: S \to B$ un $B$-schema regolare separato di tipo finito, e $f: X \to S$ un morfismo separato di tipo finito. Allora:

1. La categoria $D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda) \subset D^b(X_{\text{ét}}, \Lambda)$ è chiusa sotto i sei funtori
2. Per un oggetto $\otimes$-invertibile $T \in D^b_{\text{ctf}}(S_{\text{ét}}, \Lambda)$, il funtore $D_X(T) = R\text{Hom}(-, f^!(T))$ è un funtore di dualità

Teorema 1.2 (Funtorialità)

Sotto le stesse ipotesi, i morfismi étale inducono pullback dei gruppi di Witt costruibili, e i morfismi propri inducono pushforward.

Teorema 1.3 (Caratterizzazione equivariante per il campo reale)

Per un anello finito $\Lambda$ di caratteristica diversa da 2: $D^b_{\text{ctf}}((\text{Spec } \mathbb{R})_{\text{ét}}, \Lambda) \simeq D^b(\text{Proj}(\Lambda[\mathbb{Z}/2\mathbb{Z}]))$

Questo induce l'identificazione dei gruppi di Witt costruibili: $W^i_c((\text{Spec } \mathbb{R})_{\text{ét}}, \Lambda) \cong W^i_{\text{lf}}(\Lambda[\mathbb{Z}/2\mathbb{Z}])$

Teorema 1.4 (Corrispondenza algebrico-topologica)

Sia $X$ una varietà algebrica liscia su $\mathbb{C}$, e $\Lambda$ un anello finito di caratteristica diversa da 2. Allora esiste un'equivalenza di categorie triangolate con dualità: $(D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda), R\text{Hom}(-, \Lambda)) \simeq (D^b_c(X^{\text{an}}, \Lambda), R\text{Hom}(-, \Lambda))$

che induce l'isomorfismo: $W^i_c(X_{\text{ét}}, \Lambda) \cong W^i_c(X^{\text{an}}, \Lambda)$

Applicazioni e risultati

Costruzione della firma

Teorema 7.1: Per varietà algebriche proiettive, si costruisce l'applicazione di firma:

1. Varietà reali proiettive: Per una varietà algebrica reale proiettiva $X$ con morfismo strutturale $f: X \to \text{Spec } \mathbb{R}$: $W^i(f_*): W^i_c(X_{\text{ét}}, \Lambda) \to W^i_{\text{lf}}(\Lambda[\mathbb{Z}/2\mathbb{Z}])$
2. Varietà complesse proiettive: Per una varietà algebrica complessa proiettiva $X$ con morfismo strutturale $f: X \to \text{Spec } \mathbb{C}$: $W^i(f_*): W^i_c(X_{\text{ét}}, \Lambda) \to W^i_{\text{lf}}(\Lambda)$

Sequenza di localizzazione

Per un'immersione chiusa $i: Z \hookrightarrow X$ e l'immersione aperta complementare $j: U = X - Z \hookrightarrow X$, si ottiene una sequenza esatta di 12 termini: $\cdots \to W^{n-1}_c(U_{\text{ét}}, \Lambda) \xrightarrow{\partial^{n-1}} W^n_c(Z_{\text{ét}}, \Lambda) \xrightarrow{W^n(i_*)} W^n_c(X_{\text{ét}}, \Lambda) \xrightarrow{W^n(j^*)} W^n_c(U_{\text{ét}}, \Lambda) \to \cdots$

Dettagli tecnici

Caratterizzazione dei fasci costruibili

Per uno schema noetheriano $X$ e un anello noetheriano $\Lambda$, un fascio di $\Lambda$-moduli $\mathcal{F}$ è costruibile se e solo se esiste una decomposizione finita di $X$ in sottoinsiemi localmente chiusi $\bigcup^n_{i=1} X_i$ tale che ogni $\mathcal{F}|_{X_i}$ è localmente costante e gli steli di $\mathcal{F}$ sono $\Lambda$-moduli finitamente generati.

Dimensione Tor finita

Un complesso limitato $\mathcal{F}^\bullet$ ha dimensione Tor finita se esiste un intero $n$ tale che per ogni $i > n$ e ogni fascio di $\Lambda$-moduli costante $\mathcal{M}$, si ha $\text{Tor}_i(\mathcal{F}^\bullet, \mathcal{M}) = 0$.

Lavori correlati

Sviluppo storico

1. Witt (1937): Introduzione del gruppo di Witt di forme quadratiche su campi
2. Balmer (1999-2001): Sviluppo della teoria di Witt per categorie triangolate con dualità
3. Woolf (2008), Schürmann-Woolf (2020): Teoria di Witt costruibile su spazi topologici

Fondamenti tecnici

1. Cisinski-Déglise (2016): Formalismo dei sei funtori per i motivi étale
2. Beilinson-Bernstein-Deligne (1982): Confronto tra fasci costruibili algebrici e topologici
3. Grothendieck et al. (SGA 4, 4½): Teoria classica della coomologia étale

Conclusioni e discussione

Conclusioni principali

1. Stabilimento riuscito della teoria di Witt costruibile degli schemi come invariante coomologico
2. Prova dell'identificazione con la teoria di Witt equivariante $\mathbb{Z}/2\mathbb{Z}$ nel caso del campo reale
3. Costruzione di un ponte tra la teoria di Witt costruibile algebrica e topologica
4. Costruzione della firma a valori in Witt per varietà proiettive

Limitazioni

1. Invarianza omotopica: A causa delle restrizioni sulla compatibilità della dualità con il formalismo dei sei funtori, l'invarianza omotopica non è stata provata
2. Restrizioni sull'anello dei coefficienti: Richiesta che la caratteristica dell'anello dei coefficienti sia coprima con la caratteristica residua dello schema
3. Restrizione sulla dimensione: La dimensione dello schema base è limitata a $\leq 2$

Direzioni future

1. Invarianza omotopica: Possibile ottenimento di un quadro più flessibile nell'ambito delle categorie infinite
2. Cobordismo algebrico: Sviluppo della teoria di cobordismo algebrico per spazi di Witt
3. Coefficienti più generali: Estensione a impostazioni di anelli di coefficienti più generali
4. Azione di gruppi profiniti: Studio della teoria di Witt con azione del gruppo di Galois assoluto su campi generali

Valutazione approfondita

Vantaggi

1. Innovazione teorica: Primo stabilimento sistematico della teoria di Witt costruibile degli schemi
2. Tecnica avanzata: Pieno utilizzo dei risultati più recenti di Cisinski-Déglise
3. Risultati profondi: Stabilimento di importanti connessioni tra geometria algebrica e topologia
4. Valore applicativo: Fornitura di nuovi invarianti per varietà proiettive

Insufficienze

1. Limitazioni tecniche: Alcuni risultati richiedono ipotesi tecniche piuttosto forti
2. Completezza: Proprietà fondamentali come l'invarianza omotopica non sono ancora completamente stabilite
3. Aspetti computazionali: Mancanza di esempi di calcoli concreti e algoritmi

Impatto

1. Contributo teorico: Fornitura di una nuova teoria di invarianti coomologici per la geometria algebrica
2. Campi interdisciplinari: Collegamento tra geometria algebrica, topologia e teoria K
3. Ricerca successiva: Fondazione della teoria algebrica degli spazi di Witt

Scenari applicabili

1. Studio della classificazione e degli invarianti di varietà algebriche
2. Teoria della firma in geometria algebrica reale
3. Ricerca in geometria algebrica equivariante
4. Applicazioni della teoria della coomologia dei motivi

Bibliografia

Bal99-01 P. Balmer. Derived Witt groups and triangular Witt groups series CD16 D.-C. Cisinski, F. Déglise. Étale motives Woo08 J. Woolf. Witt groups of sheaves on topological spaces SW20 J. Schürmann, J. Woolf. Witt groups of abelian categories and perverse sheaves

Questo articolo fornisce importanti contributi nel campo dell'intersezione tra geometria algebrica e teoria K, stabilendo un quadro sistematico della teoria di Witt costruibile degli schemi e fornendo una solida base teorica per ulteriori ricerche.