Some explicit counter-examples to Weibel's conjecture

Technische Zusammenfassung: Explizite Gegenbeispiele zur Weibel-Vermutung

Problemstellung
Die Arbeit befasst sich mit einer Frage, die 1980 von Weibel hinsichtlich des Verschwindens der negativen K-Theorie für kommutative noetherische Ringe gestellt wurde. Konkret fragt Frage 1: Wenn $R$ ein kommutativer noetherischer Ring mit Krull-Dimension $d$ ist, gilt dann $K_*(R) = 0$ für $* < -d$?

Während das Kerz–Strunk–Tamme-Theorem (2018) eine definitive positive Antwort für noetherische Ringe lieferte, blieb der Status dieser Frage für nicht-noetherische Ringe offen. Frühere Ergebnisse deuteten darauf hin, dass das Verschwinden gilt, wenn die Krull-Dimension durch die „valuative Dimension“ (das Supremum der Krull-Dimensionen über alle geeigneten birationalen Modifikationen) ersetzt wird. Die vorliegende Arbeit stellt jedoch fest, dass bei nicht-noetherischen Ringen die Krull-Dimension strikt kleiner als die valuative Dimension sein kann. Das zentrale Problem, das hier behandelt wird, ist, ob die noetherische Bedingung für das Verschwinden der negativen K-Theorie in Bezug auf die Krull-Dimension essenziell ist.

Methodik
Der Autor konstruiert explizite Gegenbeispiele unter Verwendung einer geometrischen Strategie, die analog zur topologischen Konstruktion einer Sphäre $S^d$ als Quotient einer Scheibe $D^d$ durch deren Rand $\partial D^d$ ist. Die Konstruktion stützt sich auf drei Hauptkomponenten:

1. Milnor-Quadrate: Die Ringe $R$ werden als Pullbacks (Milnor-Quadrate) der Form $R = R_\infty \times_{R_\infty/I_\infty} k$ konstruiert, wobei $k$ ein Körper ist. Dieser Aufbau erzeugt ein „Quotienten“-Schema, bei dem der „Rand“ zu einem Punkt kollabiert wird.
2. Gefilterte Limite regulärer Schemata: Der Ring $R_\infty$ wird als gefilterter Kollimit (direkter Limes) von Semilokalisierungen regulärer Schemata ($X_n$ oder torische Varietäten $X_\Sigma$) definiert. Da diese konstituierenden Ringe regulär sind, besitzen sie keine negative K-Theorie. Das Nicht-Verschwinden von $K_*(R)$ resultiert ausschließlich aus der Interaktion zwischen $R_\infty$ und seinem Quotienten $R_\infty/I_\infty$.
3. Iterative Blow-ups und tropische Geometrie:
   • Für $d=2$: Die Konstruktion beginnt mit einer glatten Fläche, die eine einfache Normalschnitt-Divisor (snc-Divisor) in Form eines Dreiecks enthält. Der Autor führt eine unendliche Sequenz von Blow-ups an den Schnittpunkten der Divisor-Äste durch. Dieser Prozess ersetzt Ecken iterativ durch kleinere Flächen und erzeugt eine Grenzstruktur, die einem Polyeder mit unendlich vielen Flächen ähnelt.
   • Für $d \ge 2$: Die Konstruktion nutzt torische Varietäten. Der Autor betrachtet ein gefiltertes System von glatten projektiven torischen Varietäten, die durch Subdivision der Fan erhalten werden. Der „Rand“ entspricht der Komplementär zum dichten Torus-Orbit. Die Interaktionsmuster der Randkomponenten werden mittels tropischer Varietäten verfolgt, die es dem Autor ermöglichen, sicherzustellen, dass das Limit der Randkonfigurationen kombinatorisch wie ein $(d-1)$-dimensionales Polyeder agiert.

Wichtige Ergebnisse

• Theorem 2 (Hauptresultat): Für alle $d \ge 2$ existiert ein Ring $R$, so dass $\text{Spec } R$ genau zwei Punkte besitzt, $\text{Krull dim } R = 1$ und $K_{-d}(R) \cong \mathbb{Z}$.
• Proposition 4 (Fall $d=2$): Es wird eine spezifische Konstruktion bereitgestellt, bei der $R$ aus einer Sequenz von Blow-ups einer Fläche $X_0$ entlang der Schnittpunkte eines snc-Divisors gebildet wird. Der resultierende Ring $R$ hat die Krull-Dimension 1 und $K_{-2}(R) \cong \mathbb{Z}$.
• Proposition 6 (Fall $d \ge 2$): Eine Verallgemeinerung unter Verwendung torischer Varietäten wird präsentiert. Durch die Verwendung eines gefilterten Limes von Semilokalisierungen torischer Varietäten $X_\Sigma$ und deren Rändern konstruiert der Autor einen Ring $R$ mit Krull-Dimension 1 und nicht-verschwindendem $K_{-d}(R)$.

Technischer Mechanismus des Nicht-Verschwindens
Das Nicht-Verschwinden von $K_{-d}(R)$ leitet sich aus der langen exakten Sequenz der K-Theorie ab, die mit dem Milnor-Quadrat assoziiert ist. Da $R_\infty$ und $k$ regulär sind, verschwinden ihre negativen K-Gruppen. Die Sequenz reduziert sich auf einen Isomorphismus:
$$K_{-d}(R) \cong K_{1-d}(R_\infty/I_\infty)$$
Der Term $K_{1-d}(R_\infty/I_\infty)$ wird mit der cdh-Kohomologiegruppe $H^{d-1}_{cdh}(\text{Spec } R_\infty/I_\infty, \mathbb{Z})$ identifiziert. Aufgrund der kombinatorischen Struktur des Randes (der so konstruiert wurde, dass er einer $(d-1)$-Sphäre oder einem Polyeder ähnelt) ist diese Kohomologiegruppe isomorph zur singulären Kohomologie des entsprechenden Polyeders, was in Grad $d-1$ den Wert $\mathbb{Z}$ ergibt.

Bedeutung und Ansprüche
Die Arbeit beansprucht, die ersten bekannten Gegenbeispiele zur nicht-noetherischen Version von Weibels Frage zu präsentieren. Speziell zeigt sie auf, dass die Bedingung „Krull-Dimension $d$“ unzureichend ist, um das Verschwinden von $K_*(R)$ für $* < -d$ zu garantieren, wenn der Ring nicht noetherisch ist.

Der Autor merkt an, dass die Verwendung von Milnor-Quadraten und endlichen Polygonen zur Erzeugung negativer K-Theorie-Klassen zwar bekannt ist (implizit in Bass's Konduktorformel), die spezifische Konstruktion unter Verwendung von unendlichen Polygonen (für $d=2$) und torischen Varietäten mit tropischer Verfolgung (für $d \ge 2$) jedoch den neuartigen Beitrag darstellt. Die Arbeit stellt explizit fest, dass diese Beispiele die Notwendigkeit der noetherischen Hypothese (oder des Ersatzes der Krull-Dimension durch die valuative Dimension) für das Verschwinden-Theorem verdeutlichen.

Anerkennung von Werkzeugen
Der Autor räumt transparent die Verwendung computergestützter Hilfsmittel bei der Entwicklung der Beispiele ein, insbesondere bei der Identifizierung der unendlichen Polygon-Konstruktion in der bestehenden Literatur (Lazard) und bei der Verifizierung technischer Details bezüglich torischer Schnitte mittels tropischer Varietäten. Das zentrale konzeptionelle Rahmenwerk und die spezifischen Beweise für die torische Konstruktion für $d \ge 2$ werden jedoch dem Autor zugeschrieben.