On higher Du Bois singularities and $K$-regularity

Sintesi Tecnica: Sulle Singolarità di Du Bois Superiori e la K-regolarità

Enunciato del Problema
Il saggio affronta il problema della caratterizzazione della $K$-regolarità per le varietà algebriche, specificamente l'estensione in cui i gruppi K algebrici $K_m(X)$ falliscono nell'essere $\mathbb{A}^1$-invarianti. Uno schema $X$ si definisce $K_m$-regolare se le mappe naturali $K_m(X) \to K_m(X \times \mathbb{A}^r)$ sono isomorfismi per ogni $r \geq 0$. Mentre gli schemi regolari sono $K_m$-regolari per ogni $m$, il comportamento degli schemi singolari è più complesso. Il problema centrale è stabilire una relazione precisa tra la natura geometrica delle singolarità (specificamente le singolarità di Du Bois superiori) e la proprietà algebrica della $K$-regolarità. Ciò include l'indagine sulla congettura di Vorst, la quale postula che per schemi affini di dimensione $d$, la regolarità sia equivalente alla $K_{d+1}$-regolarità, e la ricerca di versioni rafforzate di tale congettura per specifiche classi di singolarità.

Metodologia
L'autore impiega una sintesi di metodi della teoria di Hodge e della K-teoria algebrica. Il principale framework tecnico coinvolge:

1. Complessi di Du Bois e differenziali cdh: L'utilizzo dei complessi di Du Bois $\underline{\Omega}^p_{X/F}$ (derivati dalla teoria di Hodge mista di Deligne) e della loro relazione con i differenziali cdh $\Omega^p_{cdh, X/F}$. Il saggio si basa sull'isomorfismo tra questi oggetti stabilito da Cortiñas, Haesemeyer, Schlichting, Walker e Weibel (CHSW).
2. Singolarità di Du Bois Superiori: Estensione della nozione classica di singolarità di Du Bois alle sue analoghe "superiori". Un intersezione completa locale (lci) $X$ è di tipo $m$-Du Bois se le mappe naturali $\Omega^p_{X/F} \to \underline{\Omega}^p_{X/F}$ sono isomorfismi per $p \leq m$. Per varietà generali, il saggio utilizza la nozione di singolarità "pre-$m$-Du Bois", definita dalla scomparsa dei fasci di coomologia $H^i\underline{\Omega}^p_{X/F}$ per $i > 0$ e $p \leq m$.
3. Teoremi di Scomparsa (Vanishing Theorems): Le dimostrazioni si basano pesantemente su teoremi di scomparsa per la coomologia dei complessi di Du Bois (ad esempio, la scomparsa di Steenbrink, i limiti di codimensione di Mustat¸˘a-Popa) e su risultati riguardanti il torsore e la riflessività dei differenziali di Kähler per schemi lci (Graf, Miller-Vassiliadou).
4. K-regolarità tramite gruppi NK: Lo studio della $K$-regolarità è ridotto allo studio dei gruppi di Bass $NK$ tramite la sequenza spettrale locale-globale. Il saggio utilizza la decomposizione dei gruppi $NK$ in termini della coomologia dei coni delle mappe $L^p_{X/\mathbb{Q}} \to \Omega^p_{X/\mathbb{Q}}$, dove $L$ è il complesso cotangente.

Contributi Chiave e Risultati

• Relazione tra Du Bois Superiori e K-regolarità (Teorema C):
  Il saggio stabilisce una relazione bidirezionale tra le singolarità di Du Bois superiori e la $K$-regolarità.

  • Se una varietà $X$ di dimensione $d$ possiede singolarità di Du Bois, essa è $K_{-d+1}$-regolare.
  • Se $X$ è pre-$m$-Du Bois, è $K_{-t}$-regolare per specifici limiti su $t$ che dipendono dalla dimensione del luogo singolare.
  • Viceversa, per varietà affini (sia lci che soddisfacenti condizioni di profondità sui differenziali di Kähler), la $K$-regolarità implica singolarità pre-$m$-Du Bois.

• Caratterizzazione Numerica tramite Esponente Minimo (Teorema A):
  Per un ipersuperficie complessa $X$ di dimensione $d$ con singolarità isolate, il saggio fornisce un criterio numerico per la $K_m$-regolarità utilizzando l'esponente minimo di Saito $\tilde{\alpha}_X$:
  $$X \text{ è } K_m\text{-regolare} \iff \tilde{\alpha}_X \geq \left\lceil \frac{m+d}{2} \right\rceil.$$
  Ciò permette la rilevazione esplicita della $K$-regolarità per singolarità specifiche, come l'ipersuperficie $x^2 + y^3 + z^7 = 0$.

• Rafforzamento della Congettura di Vorst (Teorema B):
  Il saggio dimostra che per un'intersezione completa locale affine, la $K_2$-regolarità implica la regolarità. Questo rafforza la congettura originale di Vorst (che richiedeva la $K_{d+1}$-regolarità) e precedenti estensioni (che richiedevano la $K_2$-regolarità solo per varietà normali o specifici limiti di codimensione). La dimostrazione utilizza il limite di codimensione sul luogo singolare per le singolarità $m$-Du Bois ($\text{codim } X_{\text{sing}} \geq 2m+1$) combinato con i criteri di regolarità derivati dalla scomparsa dei gruppi NK.

• Varietà Proiettive e Regolarità Locale vs. Globale (Teorema D):
  Il saggio caratterizza la $K_m$-regolarità per varietà proiettive tramite la degenerazione della sequenza spettrale Hodge-to-de Rham. Specificamente, $X$ è $K_m$-regolare se e solo se le mappe $H^i(X, L^p_{X/F}) \to H^i(X, \Omega^p_{X/F})$ sono isomorfismi per $i-p \geq -m+1$.
  Questo risultato è utilizzato per costruire esempi (Esempio 7.4) mostrando che la $K_m$-regolarità locale non implica la $K_m$-regolarità globale, evidenziando una distinzione non presente nel caso affine.

• La Questione di Bass e gli Invarianti di Du Bois (Sezione 6):
  Il saggio classifica gli invarianti di Du Bois ($b_{p,q} = \dim H^q \underline{\Omega}^p$) per le superfici e usa questi per affrontare la questione di Bass: se $K_m(X) \cong K_m(X \times \mathbb{A}^1)$ implica $K_m(X) \cong K_m(X \times \mathbb{A}^2)$.

  • Per le superfici, la risposta è positiva se e solo se $b_{0,1}$ e $b_{1,1}$ sono entrambi zero o entrambi non nulli.
  • Il saggio costruisce esempi di superfici con valori interi non negativi arbitrari per $b_{0,1}$ e $b_{1,1}$, fornendo nuovi casi in cui la questione di Bass ha una risposta positiva o negativa.
  • Per le ipersuperfici omogenee con singolarità isolate, il saggio dimostra che la questione di Bass ha una risposta positiva per i gruppi K non positivi.

Significatività
Il saggio sostiene di fornire una "forma rafforzata della congettura di Vorst" per le intersezioni complete locali in caratteristica zero, riducendo la soglia di regolarità da $K_{d+1}$ a $K_2$. Collegando la teoria di Hodge (tramite i complessi di Du Bois e gli esponenti minimi) con la K-teoria algebrica, il lavoro offre nuovi strumenti per costruire esempi di varietà $K$-regolari e per comprendere il fallimento dell'invarianza $\mathbb{A}^1$. I risultati raffinano la comprensione di come la geometria delle singolarità (specificamente la codimensione del luogo singolare e il comportamento dei form differenziali) determini le proprietà algebriche K-teoriche di uno schema. Il saggio conclude ponendo ulteriori domande riguardanti la $K_2$-regolarità per varietà non affini e la relazione tra l'iper-iniettività di F superiore e la $K$-regolarità in caratteristica positiva.