Some explicit counter-examples to Weibel's conjecture

Sintesi Tecnica: Controesempi Espliciti alla Congettura di Weibel

Enunciato del Problema
Il saggio affronta una domanda posta da Weibel nel 1980 riguardante l'annullamento della K-teoria negativa per anelli commutativi noetheriani. Nello specifico, la Domanda 1 chiede: Se $R$ è un anello noetheriano commutativo di dimensione di Krull $d$, allora $K_*(R) = 0$ per $* < -d$?

Sebbene il teorema di Kerz–Strunk–Tamme (2018) abbia fornito una risposta affermativa definitiva per gli anelli noetheriani, lo stato di questa domanda per gli anelli non noetheriani è rimasto aperto. Risultati precedenti suggerivano che, se la dimensione di Krull viene sostituita dalla "dimensione valutativa" (il supremo delle dimensioni di Krull su tutte le modifiche birazionali proprie), l'annullamento sussiste. Tuttavia, il saggio nota che per gli anelli non noetheriani, la dimensione di Krull può essere strettamente minore della dimensione valutativa. Il problema centrale affrontato qui è se la condizione noetheriana sia essenziale per l'annullamento della K-teoria negativa in termini di dimensione di Krull.

Metodologia
L'autore costruisce controesempi espliciti utilizzando una strategia geometrica analoga alla costruzione topologica di una sfera $S^d$ come quoziente di un disco $D^d$ rispetto al suo bordo $\partial D^d$. La costruzione si basa su tre componenti principali:

1. Quadrati di Milnor: Gli anelli $R$ sono costruiti come pullbacks (quadrati di Milnor) della forma $R = R_\infty \times_{R_\infty/I_\infty} k$, dove $k$ è un campo. Questa configurazione crea uno schema "quoziente" in cui il "bordo" viene collassato in un punto.
2. Limiti Filtrati di Schemi Regolari: L'anello $R_\infty$ è definito come un limite filtrato (limite diretto) di semilocalizzazioni di schemi regolari ($X_n$ o varietà toriche $X_\Sigma$). Poiché questi anelli costituenti sono regolari, essi non possiedono K-teoria negativa. Il non-annullamento di $K_*(R)$ deriva interamente dall'interazione tra $R_\infty$ e il suo quoziente $R_\infty/I_\infty$.
3. Blow-up Iterativi e Geometria Tropicale:
   • Per $d=2$: La costruzione inizia con una superficie regolare contenente un divisore a incroci normali semplici (snc) disposto a triangolo. L'autore esegue una sequenza infinita di blow-up nei punti di intersezione dei rami del divisore. Questo processo sostituisce iterativamente gli angoli con facce più piccole, creando una struttura limite simile a un poliedro con infinite facce.
   • Per $d \ge 2$: La costruzione utilizza varietà toriche. L'autore considera un sistema filtrato di varietà toriche proiettive lisce ottenute mediante suddivisione del fan. Il "bordo" corrisponde al complemento dell'orbita del toro denso. I pattern di intersezione dei componenti del bordo vengono tracciati utilizzando la geometria tropicale, che permette all'autore di garantire che il limite delle configurazioni del bordo si comporti combinatoriamente come un poliedro di dimensione $(d-1)$.

Risultati Chiave

• Teorema 2 (Risultato Principale): Per tutti i $d \ge 2$, esiste un anello $R$ tale che $\text{Spec } R$ ha esattamente due punti, $\text{dim Krull } R = 1$, e $K_{-d}(R) \cong \mathbb{Z}$.
• Proposizione 4 (Caso $d=2$): Viene fornita una costruzione specifica in cui $R$ è formato da una sequenza di blow-up di una superficie $X_0$ lungo le intersezioni di un divisore snc. L'anello $R$ risultante ha dimensione di Krull 1 e $K_{-2}(R) \cong \mathbb{Z}$.
• Proposizione 6 (Caso $d \ge 2$): Viene presentata una generalizzazione che utilizza varietà toriche. Prendendo il limite filtrato di semilocalizzazioni di varietà toriche $X_\Sigma$ e dei loro bordi, l'autore costruisce un anello $R$ con dimensione di Krull 1 e $K_{-d}(R)$ non nullo.

Meccanismo Tecnico per il Non-Annullamento
Il non-annullamento di $K_{-d}(R)$ è derivato dalla sequenza lunga esatta di K-teoria associata al quadrato di Milnor. Poiché $R_\infty$ e $k$ sono regolari, i loro gruppi K negativi sono nulli. La sequenza si riduce a un isomorfismo:
$$K_{-d}(R) \cong K_{1-d}(R_\infty/I_\infty)$$
Il termine $K_{1-d}(R_\infty/I_\infty)$ è identificato con il gruppo di coomologia cdh $H^{d-1}_{cdh}(\text{Spec } R_\infty/I_\infty, \mathbb{Z})$. Grazie alla struttura combinatoria del bordo (costruito per somigliare a una $(d-1)$-sfera o a un poliedro), questo gruppo di coomologia è isomorfo alla coomologia singolare del corrispondente poliedro, il che fornisce $\mathbb{Z}$ in grado $d-1$.

Significato e Rivendicazioni
Il saggio sostiene di presentare i primi controesempi noti alla versione non noetheriana della domanda di Weibel. Nello specifico, dimostra che la condizione "dimensione di Krull $d$" è insufficiente a garantire l'annullamento di $K_*(R)$ per $* < -d$ quando l'anello non è noetheriano.

L'autore nota che, sebbene l'uso di quadrati di Milnor e poligoni finiti per generare classi di K-teoria negativa sia ben noto (implicito nella formula del conduttore di Bass), la specifica costruzione utilizzando poligoni infiniti (per $d=2$) e varietà toriche con tracciamento tropicale (per $d \ge 2$) costituisce il contributo originale. Il saggio afferma esplicitamente che questi esempi mostrano la necessità dell'ipotesi noetheriana (o della sostituzione della dimensione di Krull con la dimensione valutativa) affinché il teorema di annullamento sia valido.

Riconoscimento degli Strumenti
L'autore riconosce apertamente l'uso dell'assistenza informatica nello sviluppo degli esempi, in particolare nell'identificare la costruzione del poligono infinito nella letteratura esistente (Lazard) e nel verificare dettagli tecnici riguardanti le intersezioni toriche tramite la geometria tropicale. Tuttavia, il quadro concettuale centrale e le prove specifiche per la costruzione torica per $d \ge 2$ sono attribuiti all'autore.