Some explicit counter-examples to Weibel's conjecture

Technische Samenvatie: Expliciete tegenvoorbeelden voor de conjectuur van Weibel

Probleemstelling
Het artikel behandelt een vraag die in 1980 door Weibel werd gesteld over het verdwijnen van negatieve K-theorie voor commutatieve Noetherianse ringen. Specifiek vraagt Vraag 1: Als $R$ een commutatieve Noetherianse ring is met Krull-dimensie $d$, is $K_*(R) = 0$ voor $* < -d$?

Hoewel het Kerz–Strunk–Tamme-theorema (2018) een definitief bevestigend antwoord bood voor Noetherianse ringen, bleef de status van deze vraag voor niet-Noetherianse ringen open. Eerdere resultaten suggereerden dat als de Krull-dimensie wordt vervangen door de "valuatieve dimensie" (het supremum van de Krull-dimensies over alle juiste birationale modificaties), het verdwijnen standhoudt. Het artikel merkt echter op dat voor niet-Noetherianse ringen de Krull-dimensie strikt kleiner kan zijn dan de valuatieve dimensie. Het centrale probleem dat hier wordt behandeld, is of de Noetherianse conditie essentieel is voor het verdwijnen van negatieve K-theorie in termen van Krull-dimensie.

Methodologie
De auteur construeert expliciete tegenvoorbeelden met behulp van een geometrische strategie die analoog is aan de topologische constructie van een sfeer $S^d$ als quoët van een schijf $D^d$ door zijn rand $\partial D^d$. De constructie rust op drie hoofdonderdelen:

1. Milnor-vierkanten: De ringen $R$ worden geconstrueerd als pullbacks (Milnor-vierkanten) van de vorm $R = R_\infty \times_{R_\infty/I_\infty} k$, waarbij $k$ een lichaam is. Deze opzet creëert een "quoët" schema waarbij de "rand" tot een punt wordt samengeperst.
2. Gefilterde limieten van reguliere schema's: De ring $R_\infty$ wordt gedefinieerd als een gefilterde colimiet (directe limiet) van semilokalisaties van reguliere schema's ($X_n$ of torische variëteiten $X_\Sigma$). Omdat deze constituerende ringen regulier zijn, bezitten zij geen negatieve K-theorie. Het niet-verdwijnen van $K_*(R)$ komt volledig voort uit de interactie tussen $R_\infty$ en zijn quoët $R_\infty/I_\infty$.
3. Iteratieve blow-ups en tropische geometrie:
   • Voor $d=2$: De constructie begint met een glad oppervlak dat een simple normal crossing (snc) divisor bevat, gerangschikt in een driehoek. De auteur voert een oneindige sequentie van blow-ups uit op de snijpunten van de takken van de divisor. Dit proces vervangt iteratief hoeken door kleinere vlakken, wat een limietstructuur creëert die lijkt op een veelvlak met oneindig veel zijden.
   • Voor $d \ge 2$: De constructie maakt gebruik van torische variëteiten. De auteur beschouwt een gefilterd systeem van gladde projectieve torische variëteiten verkregen door het subdivideren van de fan. De "rand" komt overeen met het complement van de dichte torus-orbiet. De snijpatronen van de randcomponenten worden gevolgd met behulp van tropische variëteiten, waardoor de auteur kan waarborgen dat de limiet van de randconfiguraties combinatorisch gedraagt als een $(d-1)$-dimensionaal veelvlak.

Belangrijkste Resultaten

• Theorem 2 (Hoofdresultaat): Voor alle $d \ge 2$ bestaat er een ring $R$ zodanig dat $\text{Spec } R$ precies twee punten heeft, $\text{Krull dim } R = 1$, en $K_{-d}(R) \cong \mathbb{Z}$.
• Proposition 4 (Geval $d=2$): Een specifieke constructie wordt geleverd waarbij $R$ wordt gevormd uit een sequentie van blow-ups van een oppervlak $X_0$ langs de snijpunten van een snc divisor. De resulterende ring $R$ heeft Krull-dimensie 1 en $K_{-2}(R) \cong \mathbb{Z}$.
• Proposition 6 (Geval $d \ge 2$): Een generalisatie met behulp van torische variëteiten wordt gepresenteerd. Door een gefilterde limiet te nemen van semilokalisaties van torische variëteiten $X_\Sigma$ en hun randen, construeert de auteur een ring $R$ met Krull-dimensie 1 en een niet-verdwijnende $K_{-d}(R)$.

Technische Mechanisme voor Niet-Verdwijnen
Het niet-verdwijnen van $K_{-d}(R)$ wordt afgeleid uit de lange exacte sequentie van de K-theorie geassocieerd met het Milnor-vierkant. Omdat $R_\infty$ en $k$ regulier zijn, verdwijnen hun negatieve K-groepen. De sequentie reduceert tot een isomorfisme:
$$K_{-d}(R) \cong K_{1-d}(R_\infty/I_\infty)$$
De term $K_{1-d}(R_\infty/I_\infty)$ wordt geïdentificeerd met de cdh-cohomologiegroep $H^{d-1}_{cdh}(\text{Spec } R_\infty/I_\infty, \mathbb{Z})$. Vanwege de combinatorische structuur van de rand (geconstrueerd om te lijken op een $(d-1)$-sfeer of veelvlak), is deze cohomologiegroep isomorf met de singuliere cohomologie van het bijbehorende veelvlak, wat in graad $d-1$ een $\mathbb{Z}$ oplevert.

Betekenis en Claims
Het artikel claimt de eerste bekende tegenvoorbeelden te presenteren voor de niet-Noetherse versie van de vraag van Weibel. Specifiek toont het aan dat de conditie "Krull-dimensie $d$" onvoldoende is om het verdwijnen van $K_*(R)$ voor $* < -d$ te garanderen wanneer de ring niet Noetherian is.

De auteur merkt op dat hoewel het gebruik van Milnor-vierkanten en eindige polygonen om negatieve K-theorie klassen te genereren bekend is (impliciet in Bass's conductor formule), de specifieke constructie met behulp van oneindige polygonen (voor $d=2$) en torische variëteiten met tropische tracking (voor $d \ge 2$) de nieuwe bijdrage vormt. Het artikel stelt expliciet dat deze voorbeelden de noodzaak van de Noetherianse hypothese (of de vervanging van Krull-dimensie door valuatieve dimensie) aantonen voor het standhouden van het verdwijningstheorema.

Erkenning van Instrumenten
De auteur erkent transparant het gebruik van computerondersteuning bij de ontwikkeling van de voorbeelden, met name bij het identificeren van de oneindige polygon-constructie in de bestaande literatuur (Lazard) en bij het verifiëren van technische details betreffende torische intersecties via tropische variëteiten. De kern van het conceptuele kader en de specifieke bewijzen voor de $d \ge 2$ torische constructie worden echter toegeschreven aan de auteur.