Roos axiom holds for quasi-coherent sheaves

1. Il Problema

Il lavoro affronta una questione fondamentale nella teoria delle categorie abeliane e nella geometria algebrica: la validità dell'assioma di Roos AB4* per la categoria dei fasci quasi-coerenti su uno schema.

• Contesto: L'assioma AB4* richiede che il prodotto diretto infinito sia un funtore esatto. È noto che la categoria dei fasci quasi-coerenti su uno schema generico $X$ ($X\text{--Qcoh}$) non soddisfa l'AB4* in generale (un controesempio classico è dato dal piano proiettivo $\mathbb{P}^1_k$).
• L'Obiettivo: L'autore indaga se la categoria soddisfi una versione indebolita, l'assioma AB4*-n (proposto da Roos nel 2006). Una categoria abeliana soddisfa AB4*-n se i funtori derivati del prodotto diretto infinito $R^{(i)}\prod$ si annullano per ogni indice $i > n$.
• Ambito di Applicazione: Il risultato viene dimostrato per due classi specifiche di schemi:
  1. Schemi quasi-compatti e semi-separati (coperti da un numero finito di aperti affini).
  2. Schemi Noetheriani di dimensione di Krull finita.

2. Metodologia

L'autore fornisce due prove distinte per ciascuna delle due impostazioni (semi-separato e Noetheriano), offrendo approcci complementari: uno elementare basato sulla coomologia e uno più concettuale basato sulla teoria delle categorie.

A. Approccio Elementare: Risoluzione di Čech

Questo metodo (Sezioni 1 e 2) utilizza la risoluzione di Čech (Čech coresolution) per stimare la dimensione omologica dei funtori derivati del prodotto.

• Schemi Semi-Separati: Si costruisce una risoluzione esatta di un fascio $M$ utilizzando i prodotti diretti dei suoi limiti su intersezioni di aperti affini. Poiché su schemi affini i prodotti sono esatti, si può controllare la scomparsa dei funtori derivati superiori.
• Schemi Noetheriani: L'approccio è più sofisticato. Si utilizza la classe dei fasci flasque (che formano una classe "coresolving" e sono adattati al funtore di immagine diretta). Si dimostra che ogni fascio quasi-coerente su uno schema Noetheriano di dimensione $D$ ammette una risoluzione di lunghezza $D$ tramite fasci flasque. Combinando questo con stime combinatorie sulle coperture affini, si ottiene il limite superiore per l'indice $n$.

B. Approccio Concettuale: Generatori e Corrispondenza Co-Contra

Questo metodo (Sezioni 3 e 4) si basa su proprietà strutturali della categoria abeliana.

• Generatori di Dimensione Proiettiva Finita (Caso Semi-Separato):
  • Si introduce la nozione di fasci quasi-coerenti molto piatti (very flat) e contro-adagiati (contraadjusted).
  • Si dimostra che la coppia $(\text{fasci molto piatti}, \text{fasci contro-adagiati})$ forma una coppia di cotorsione completa ed ereditaria.
  • Il risultato chiave è l'esistenza di un generatore nella categoria $X\text{--Qcoh}$ che ha una dimensione proiettiva finita (limitata dal numero di aperti affini nella copertura).
  • Un teorema di Roos stabilisce che l'esistenza di un generatore di dimensione proiettiva $N$ implica l'assioma AB4*-N.
• Corrispondenza Co-Contra (Caso Noetheriano):
  • Si utilizza una versione "naive" della corrispondenza co-contra (co-contra correspondence), che stabilisce un'equivalenza triangolare tra la categoria derivata dei fasci quasi-coerenti $D(X\text{--Qcoh})$ e quella dei cosheaf contro-ereditari (contraherent cosheaves) $D(X\text{--Ctrh})$.
  • La categoria dei cosheaf contro-ereditari ha prodotti diretti esatti.
  • Attraverso un argomento astratto di teoria delle categorie (Teorema 4.7), si dimostra che se esiste un'equivalenza tra una categoria con prodotti e una con prodotti esatti (che preserva le categorie derivate limitate), allora la prima soddisfa l'assioma AB4*-n.

3. Risultati Principali

1. Teorema 1.4 (Caso Semi-Separato):
   Se $X$ è uno schema quasi-compatto e semi-separato coperto da $N$ aperti affini, la categoria $X\text{--Qcoh}$ soddisfa l'assioma AB4*-n con $n = N - 1$.

   • Nota: La prova basata sulla risoluzione di Čech fornisce il limite numerico ottimale.

2. Teorema 2.12 (Caso Noetheriano):
   Se $X$ è uno schema Noetheriano di dimensione di Krull finita $D$, la categoria $X\text{--Qcoh}$ soddisfa l'assioma AB4*-n per un certo intero $n$ (dipendente da $D$ e dalla complessità combinatoria della copertura affine).

   • Viene fornito un limite esplicito $n = M + D$, dove $M$ è un numero combinatorio legato alla copertura.

3. Risultato Strutturale (Proposizione 3.6 e 3.10):
   Per schemi quasi-compatti e semi-separati, la categoria $X\text{--Qcoh}$ ammette un generatore di dimensione proiettiva finita (specificamente, un fascio molto piatto). Questo è un risultato concettualmente più forte della semplice validità dell'assioma AB4*-n, poiché implica proprietà omologiche più ampie.

4. Corrispondenza Co-Contra (Corollario 4.8):
   Viene stabilita l'esistenza di un'equivalenza tra la categoria derivata dei fasci quasi-coerenti su uno schema Noetheriano di dimensione finita e quella dei cosheaf contro-ereditari, permettendo di dedurre l'assioma AB4*-n in modo non costruttivo ma generale.

4. Contributi Chiave e Significato

• Risoluzione di un Problema Aperto: Il lavoro conferma definitivamente che l'assioma AB4*-n vale per le categorie di fasci quasi-coerenti su una vasta gamma di schemi rilevanti in geometria algebrica, risolvendo questioni sollevate in lavori precedenti (Hogadi-Xu, Herbera et al.).
• Miglioramento dei Limiti Numerici: L'autore migliora i limiti superiori noti per l'indice $n$ nel caso semi-separato (da $N$ a $N-1$) fornendo una prova più precisa tramite la risoluzione di Čech.
• Nuovi Strumenti Teorici:
  • L'uso sistematico dei fasci molto piatti e contro-adagiati offre un nuovo quadro per analizzare le proprietà omologiche dei fasci quasi-coerenti.
  • La dimostrazione che l'esistenza di un generatore di dimensione proiettiva finita implica AB4*-n è un risultato di teoria delle categorie di ampia applicabilità.
• Applicazioni Pratiche:
  • La validità di AB4*-n garantisce che i funtori derivati del limite inverso (lim) hanno dimensione omologica limitata ($n+1$).
  • Permette la costruzione esplicita di risoluzioni omotopicamente injective (DG-injective) per complessi di fasci, evitando l'uso del più generico ma meno esplicito "small object argument". Questo è cruciale per la teoria dei complessi di fasci e la coomologia derivata.
• Distinzione tra Casi: Il lavoro chiarisce perché la derivata dei fasci quasi-coerenti si comporta bene solo in casi specifici (semi-separati o Noetheriani), fornendo prove rigorose per queste due classi.

In sintesi, il paper di Positselski unisce tecniche classiche di geometria algebrica (risoluzioni di Čech, fasci flasque) con strumenti moderni di teoria delle categorie (coppie di cotorsione, corrispondenza co-contra) per stabilire proprietà omologiche fondamentali per l'analisi dei fasci quasi-coerenti su schemi non affini.