Cores and localizations of $(\infty,\infty)$-categories

Der Artikel untersucht $(\infty,\infty)$-Kategorien als Grenzwert von $(\infty,d)$-Kategorien für $d \to \infty$ durch Vergessen oder Invertieren höherer nicht-invertierbarer Pfeile, vergleicht die resultierenden $(\infty,1)$-Kategorien und zeigt, dass der Lokalisierungs-Limes eine reflektierende Lokalisierung des Kern-Limes darstellt.

Das Wesentliche

Stellen Sie sich vor, Mathematik ist wie ein riesiges, unendliches Universum aus Strukturen, die wir „Kategorien" nennen. In diesem Universum gibt es nicht nur Objekte (Punkte), sondern auch Pfeile, die diese Punkte verbinden. Aber das Besondere an diesem Papier ist, dass wir uns für eine ganz spezielle Art von Kategorie interessieren: die ($\infty, \infty$)-Kategorie.

Das klingt kompliziert, aber hier ist die einfache Erklärung mit ein paar kreativen Vergleichen:

1. Das Problem: Die unendliche Treppe

Stellen Sie sich eine Treppe vor.

• Auf der ersten Stufe haben wir einfache Objekte.
• Auf der zweiten Stufe haben wir Pfeile zwischen den Objekten.
• Auf der dritten Stufe haben wir Pfeile zwischen den Pfeilen (also: „Dieser Pfeil ist ähnlich wie jener").
• Und so weiter, bis ins Unendliche.

In einer normalen Kategorie sind Pfeile entweder da oder nicht. In einer ($\infty, \infty$)-Kategorie gibt es aber eine riesige Komplikation: Manchmal sind Pfeile nicht einfach nur „da", sondern sie sind umkehrbar (invertierbar). Das bedeutet, man kann sie vorwärts und rückwärts laufen.

Das Problem ist: Was bedeutet es, dass ein Pfeil umkehrbar ist, wenn es auf der nächsten Stufe wieder neue Pfeile gibt, die beweisen müssen, dass die Umkehrung funktioniert? Und auf der übernächsten Stufe müssen wieder neue Pfeile beweisen, dass diese funktionieren?
Es ist wie ein unendlicher Spiegel, in dem sich ein Bild immer wieder spiegelt. Wenn man versucht, die Definition von „umkehrbar" zu geben, landet man in einer Endlosschleife: „Ich bin umkehrbar, weil es einen Gegenpfeil gibt, der umkehrbar ist, weil..."

2. Die zwei Lösungen: Der Kern und die Lokalisierung

Die Autoren des Papiers fragen sich: Wie bauen wir eine Kategorie, die dieses unendliche Spiegel-Problem löst? Es gibt zwei natürliche Wege, das zu tun, und sie führen zu zwei unterschiedlichen Ergebnissen.

Weg A: Der „Kern" (Core) – Das Filtern

Stellen Sie sich vor, Sie haben einen Haufen Spielzeugpfeile.

• Der Kern-Ansatz sagt: „Wir behalten nur die Pfeile, die wirklich umkehrbar sind, und werfen alle anderen weg."
• Es ist wie ein strenger Filter. Wenn ein Pfeil nicht perfekt umkehrbar ist, wird er entfernt.
• Das Ergebnis ist eine sehr „saubere", aber vielleicht etwas leere Welt, in der nur das Überbleibsel der perfekten Umkehrungen existiert.

Weg B: Die „Lokalisierung" (Localization) – Das Umwandeln

Der zweite Ansatz ist etwas wilder.

• Hier sagen wir: „Wir nehmen alle Pfeile, auch die, die nicht umkehrbar sind, und wir zwingen sie dazu, umkehrbar zu werden."
• Es ist wie ein Zaubertrank. Wir nehmen einen Pfeil, der eigentlich nur in eine Richtung geht, und wir sagen: „Ab jetzt bist du umkehrbar!" Wir fügen künstlich neue Pfeile hinzu, die die Umkehrung erzwingen.
• Das Ergebnis ist eine Welt, in der alles umkehrbar ist, aber vielleicht auf eine etwas künstliche Weise.

3. Die große Entdeckung: Eine Welt ist ein Spiegelbild der anderen

Das Hauptergebnis dieses Papiers ist, dass diese beiden Welten (die saubere Filter-Welt und die magische Umwandlungs-Welt) nicht völlig unabhängig voneinander sind.

Die Autoren zeigen, dass die magische Umwandlungs-Welt (Lokalisierung) im Grunde genommen eine vereinfachte Version der sauberen Filter-Welt (Kern) ist.

• Man kann sich das wie eine Spiegelung vorstellen. Die Filter-Welt ist der komplexe, echte Gegenstand. Die Umwandlungs-Welt ist das Bild im Spiegel.
• Der Spiegel (die mathematische Operation, die sie „Lokalisierung" nennen) nimmt die komplexe Realität und macht sie „flacher" oder „trivialer".
• Ein konkretes Beispiel aus dem Papier: Es gibt eine Kategorie, die „Spans" (Verbindungen) heißt. In der Filter-Welt ist diese Kategorie riesig und interessant. Aber wenn man sie durch den Spiegel der Umwandlung schickt, verschwindet sie fast komplett und wird zu einer leeren, trivialen Struktur.

4. Die „Coinduktive" Magie

Ein weiterer spannender Teil des Papiers beschäftigt sich mit einer speziellen Art von Umkehrbarkeit, die sie „coinduktiv" nennen.

• Stellen Sie sich vor, Sie versuchen, einen Knoten zu lösen. Bei der normalen Umkehrbarkeit schauen Sie nur einen Schritt nach vorne.
• Bei der coinduktiven Umkehrbarkeit schauen Sie in eine unendliche Zukunft. Sie sagen: „Dieser Pfeil ist umkehrbar, wenn es eine unendliche Kette von Beweisen gibt, die immer tiefer und tiefer gehen."
• Die Autoren zeigen, dass die „Filter-Welt" (Kern) genau die Objekte enthält, die diese unendliche Kette von Beweisen tatsächlich erfüllen können. Die „Spiegel-Welt" (Lokalisierung) ist dann eine noch strengere Version davon, die nur die Objekte behält, die nicht nur unendlich tief, sondern auch in einem bestimmten Sinne „vollständig" sind.

Zusammenfassung für den Alltag

Stellen Sie sich vor, Sie wollen eine perfekte Liste aller Freunde in einer Stadt erstellen.

1. Der Kern-Ansatz: Sie gehen von Tür zu Tür und fragen nur die Leute, die wirklich und offiziell Freunde sind. Sie ignorieren alle, die nur „vielleicht" Freunde sind. Das Ergebnis ist eine sehr kleine, aber 100% korrekte Liste.
2. Der Lokalisierungs-Ansatz: Sie nehmen die ganze Stadt und sagen: „Ab heute ist jeder, der auch nur einmal mit jemandem gesprochen hat, ein offizieller Freund." Sie füllen die Liste mit allen möglichen Verbindungen auf.
3. Die Erkenntnis des Papiers: Die Autoren zeigen, dass die zweite Liste (alle möglichen Verbindungen) eigentlich nur eine stark vereinfachte, fast leere Version der ersten Liste ist. Wenn man die zweite Liste genau betrachtet, merkt man, dass sie die wahre Komplexität der Freundschaften (die in der ersten Liste steckt) nicht wirklich einfängt.

Das Papier ist also eine Reise durch die Mathematik des Unendlichen, die uns lehrt, wie man zwischen „echter" Umkehrbarkeit und „künstlich erzwingter" Umkehrbarkeit unterscheidet und wie diese beiden Konzepte miteinander verwoben sind. Es ist wie die Entdeckung, dass es einen Unterschied gibt zwischen einem echten Diamanten und einem Glas, das so geschliffen wurde, dass es wie ein Diamant aussieht – und wie man mathematisch beweist, dass das Glas nicht der echte Stein ist.

Technische Zusammenfassung

Hier ist eine detaillierte technische Zusammenfassung des Artikels „Cores and Localizations of (∞, ∞)-Categories" von Ozornova, Rovelli und Walde auf Deutsch.

1. Problemstellung und Motivation

Das zentrale Problem des Artikels ist die mathematische Definition und das Verständnis von $(\infty, \infty)$-Kategorien. Während $(\infty, d)$-Kategorien für endliche $d$ gut etabliert sind (z. B. als Objekte, bei denen Arrows ab Dimension $d+1$ invertierbar sind), ist der Fall $d \to \infty$ nicht eindeutig.

Es gibt zwei natürliche, aber unterschiedliche Wege, den Grenzwert $d \to \infty$ zu definieren, indem man entweder nicht-invertierbare Pfeile entfernt oder sie formal invertiert:

1. Der Core-Limes (Rechts-Limes): Man betrachtet die Folge der Kategorien $Cat_{(\infty, d)}$ und wendet die Core-Funktoren $R_d$ an, die alle nicht-invertierbaren Pfeile der Dimension $d+1$ entfernen. Der Limes dieser Folge definiert die Kategorie der rechten $(\infty, \infty)$-Kategorien ($Cat^R_\infty$).
2. Der Localization-Limes (Links-Limes): Man wendet die Localization-Funktoren $L_d$ an, die alle Pfeile der Dimension $d+1$ formal invertieren. Der Limes dieser Folge definiert die Kategorie der linken $(\infty, \infty)$-Kategorien ($Cat^L_\infty$).

Die Autoren untersuchen die Beziehung zwischen diesen beiden Grenzwert-Kategorien. Es ist bekannt, dass $Cat^L_\infty$ „pathologisch" sein kann (z. B. werden viele interessante Strukturen wie Spannen trivial), während $Cat^R_\infty$ als der „natürlichere" Kandidat für $(\infty, \infty)$-Kategorien gilt. Die Frage ist: Wie hängen diese beiden zusammen? Ist einer ein Spezialfall des anderen?

2. Methodik

Die Autoren verfolgen einen abstrakten, axiomatischen Ansatz, der auf der Struktur der Übergangsfunktoren zwischen den Stufen $d$ und $d+1$ basiert.

• Biinduktive Systeme: Sie definieren ein abstraktes System von Kategorien $C_0 \subseteq C_1 \subseteq \dots$, das durch volle Einbettungen $I_d$ verbunden ist, welche sowohl linke ($L_d$) als auch rechte ($R_d$) Adjunkte besitzen.
• Bias (Voreingenommenheit): Ein zentrales neues Konzept ist der „Bias". Dies ist eine Familie von Subkategorien $S_n \subseteq C$, die bestimmte Eigenschaften erfüllen (z. B. Erkennung von Isomorphismen, Abgeschlossenheit unter Komposition und bestimmte Cancellations-Eigenschaften). Diese Subkategorien modellieren das Konzept der $n$-Surjektivität (eine Verallgemeinerung von $n$-zusammenhängenden Abbildungen).
• Vergleich der Limes-Kategorien: Sie konstruieren die Limes-Kategorien $C_R$ (via $R_d$) und $C_L$ (via $L_d$) als Limites von Sequenzen.
• Interne vs. Externe Invertierbarkeit: In Abschnitt 5 untersuchen sie interne Konzepte der Invertierbarkeit (wie „koinduktive Isomorphismen" und „$\omega$-Isomorphismen") und vergleichen diese mit den externen Lokalisierungen.

3. Hauptergebnisse und Beiträge

A. Der Hauptsatz: Reflexive Lokalisierung

Der wichtigste Beitrag ist der Nachweis, dass $Cat^L_\infty$ eine reflexive Lokalisierung von $Cat^R_\infty$ ist.

• Satz 4.25: Es existiert eine Adjunktion
  $$L: Cat^R_\infty \rightleftarrows Cat^L_\infty : R$$
  wobei $R$ volltreu ist.
• Interpretation: $Cat^L_\infty$ entsteht aus $Cat^R_\infty$, indem man genau die schwach $\infty$-surjektiven Abbildungen invertiert.
• Konsequenz: Der Linksadjukt $L$ ist nicht volltreu. Das bedeutet, dass $Cat^L_\infty$ eine echte „Verdickung" oder „Verdichtung" von $Cat^R_\infty$ ist, bei der Informationen verloren gehen (z. B. werden Spannen-Kategorien zu trivialen Objekten).

B. Charakterisierung der invertierten Abbildungen

Die Autoren charakterisieren die Klasse der invertierten Abbildungen präzise:

• Eine Abbildung $F$ wird von $L$ invertiert, wenn sie schwach $\infty$-surjektiv ist.
• Dies bedeutet, dass für jedes $n$ die induzierte Abbildung auf den $n$-Trunkierungen nach Anwendung des Lokalisierungsfunktors $L_n$ $n$-surjektiv ist.
• Dies steht im Kontrast zu $R$, das nur die „echten" Isomorphismen erhält.

C. Koinduktive Vollständigkeit und $\omega$-Vollständigkeit

Ein weiterer wesentlicher Beitrag ist die Untersuchung interner Vollständigkeitsbegriffe:

• Koinduktive Isomorphismen: Dies sind Pfeile, die eine unendliche Turmstruktur von „fast-Inversen" besitzen (eine koinduktive Definition).
• Koinduktive Vollständigkeit: Eine $(\infty, \infty)$-Kategorie ist koinduktiv vollständig, wenn jeder koinduktive Isomorphismus bereits ein echter Isomorphismus ist.
• Ergebnis: Die Lokalisierung von $Cat^R_\infty$ an den $\infty$-surjektiven Abbildungen (ohne „schwach") ergibt genau die Kategorie der koinduktiv vollständigen Objekte ($Cat^{coind}_\infty$).
• $\omega$-Vollständigkeit: Dies ist eine schwächere Bedingung, die nur endliche Turmstrukturen betrachtet. Die Autoren zeigen, dass das Bild von $R$ (also $Cat^L_\infty$) in der Kategorie der $\omega$-vollständigen Kategorien enthalten ist, aber nicht notwendigerweise gleich ist.

D. Gegenbeispiele und Grenzen

• Beispiel der Spannen (Spans): Die $(\infty, \infty)$-Kategorie der Spannen von Animae ist in $Cat^R_\infty$ nicht-trivial, wird aber unter $L$ trivial. Dies zeigt, dass $L$ einen nicht-trivialen Kern hat.
• Beispiel der Cobordismen: Die Cobordismen-Kategorie kollabiert unter $L$ zu ihrer $(\infty, 0)$-Lokalisierung (einer Gruppe), da sie vollständig dualisierbar ist.
• Henry-Loubaton Gegenbeispiel: Sie diskutieren ein Beispiel ($E(\omega)$), das koinduktiv vollständig, aber nicht $\omega$-vollständig ist und somit nicht im Bild von $R$ liegt. Dies widerlegt die naive Vermutung, dass $Cat^L_\infty$ einfach die koinduktiv vollständigen Kategorien seien.

4. Signifikanz und Ausblick

• Klärung der $(\infty, \infty)$-Theorie: Der Artikel liefert die erste rigorose und vergleichende Analyse der beiden dominanten Ansätze für $(\infty, \infty)$-Kategorien. Er etabliert $Cat^R_\infty$ als den „richtigen" universellen Rahmen, aus dem $Cat^L_\infty$ durch eine spezifische Lokalisierung hervorgeht.
• Axiomatisierung: Die Einführung des „Bias"-Konzepts erlaubt es, die Beweise unabhängig von spezifischen Modellen (wie simplizialen Mengen oder Complicial Sets) zu führen. Dies macht die Ergebnisse robust und übertragbar.
• Offene Fragen:
  • Ist die Inklusion $Cat^L_\infty \subseteq Cat^\omega_\infty$ echt? (Die Autoren vermuten ja, können es aber nicht beweisen).
  • Gibt es eine „kanonische" Wahl eines „laufenden koinduktiven Isomorphismus" (walking coinductive isomorphism), bei der die Daten der Invertierbarkeit eindeutig sind?
  • Können die beiden Konzepte der $\infty$-Surjektivität (bis auf $\omega$-Isomorphismen vs. bis auf $n$-Isomorphismen für jedes $n$) zusammenfallen?

Zusammenfassend zeigt das Paper, dass die Wahl zwischen „Core" und „Localization" beim Übergang zu unendlicher Dimension keine Äquivalenz, sondern eine echte Hierarchie erzeugt. Die „rechte" Version ($Cat^R_\infty$) behält mehr Struktur bei, während die „linke" Version ($Cat^L_\infty$) eine stark vereinfachte, lokalisierte Version darstellt, die durch das Invertieren schwach surjektiver Abbildungen entsteht. Dies hat tiefgreifende Implikationen für die Homotopietheorie und die Theorie der höheren Kategorien, insbesondere im Kontext von Dualisierbarkeit und Cobordismen.