Kartesische Faserungen von $(\infty,2)$-Kategorien

Grundinformationen

• Paper-ID: 2107.12356
• Titel: Cartesian Fibrations of $(\infty,2)$-categories
• Autoren: Andrea Gagna, Yonatan Harpaz, Edoardo Lanari
• Klassifizierung: math.CT, math.AT (Kategorientheorie, algebraische Topologie)
• Veröffentlichungsdatum: Juli 2021 (neueste Version Januar 2024)
• Paper-Link: https://arxiv.org/abs/2107.12356

Zusammenfassung

In dieser Arbeit werden vier Varianten kartesischer 2-Faserungen von $\infty$-Bikategorien im Rahmen skalierter simplizialer Mengen eingeführt. Für eine Abbildung $p: E \to B$ zwischen $\infty$-Bikategorien definieren die Autoren $p$-(co)kartesische Pfeile und inner/outer Dreiecke durch Hebungseigenschaften von $p$. 2-inner/outer (co)kartesische Faserungen werden als Abbildungen mit ausreichend vielen (co)kartesischen Hebungen von Pfeilen und inner/outer Hebungen von Dreiecken definiert, mit zusätzlichen Kompatibilitätseigenschaften bezüglich Whiskering im outer Fall. Die Autoren zeigen, dass Äquivalenzen solcher 2-Faserungen faserweise überprüft werden können, und demonstrieren, dass die Domänen-Projektion $d: Fun_{gr}(\Delta^1, C) \to C$ ein prototypisches Beispiel einer 2-outer kartesischen Faserung ist.

Forschungshintergrund und Motivation

1. Problemhintergrund: In der höheren Kategorientheorie etabliert die Grothendieck-Lurie-Entsprechung eine vollständige Korrespondenz zwischen (co)kartesischen Faserungen über $\infty$-Kategorien und Funktoren $B \to Cat_\infty$. Bei der Verallgemeinerung auf $\infty$-Bikategorien entstehen neue Komplexitäten: Es gibt nicht nur zwei verschiedene Varianten (kovariant/kontravariant), sondern vier, je nachdem ob die Funktorialität der 2-Morphismen kovariant oder kontravariant ist.
2. Bedeutung:
   • Die Faserungstheorie bietet das Gerüst zur Definition symmetrischer monoidal $(\infty,2)$-Kategorien
   • Wichtige Anwendungen in der abgeleiteten algebraischen Geometrie, insbesondere bei der Kodierung der Dualität von Ind-kohärenten Garben
   • Bereitstellung von Werkzeugen zur Definition einfacher Versionen relativer $(\infty,2)$-Operaden
3. Limitierungen bestehender Ansätze:
   • Vorherige Arbeiten 6 behandelten nur den Fall, in dem die Basis eine $\infty$-Bikategorie und die Fasern $\infty$-Kategorien sind
   • Fehlende systematische Theorie für den Fall, in dem auch die Fasern $\infty$-Bikategorien sind
4. Forschungsmotivation: Etablierung einer vollständigen Faserungstheorie für $\infty$-Bikategorien als Grundlage für die zukünftige Entwicklung einer vollständigen Grothendieck-Lurie-Entsprechung

Kernbeiträge

1. Einführung von vier Varianten 2-(co)kartesischer Faserungen: 2-inner/outer cartesian/cocartesian Faserungen, die die Theorie der 1-inner/outer Faserungen erweitern
2. Etablierung der Hebungstheorie für inner/outer Dreiecke: Durch die Konzepte von left/right p-inner/outer Dreiecken wird die (co)kartesische Eigenschaft auf der Ebene der 2-Morphismen charakterisiert
3. Beweis des Kriteriums zur faserweisen Überprüfung von Faserungsäquivalenzen: Theorem 2.5.1 zeigt, dass Äquivalenzen von 2-inner/outer (co)kartesischen Faserungen auf jeder Faser überprüft werden können
4. Konstruktion kritischer universeller Beispiele: Beweis, dass die Domänen-Projektion $d: Fun_{gr}(\Delta^1, C) \to C$ ein prototypisches Beispiel einer 2-outer kartesischen Faserung ist
5. Etablierung der Entsprechung zwischen angereicherten Kategorien und $\infty$-Bikategorien-Modellen: Theorem 4.2.4 beweist die Äquivalenz zwischen angereicherten 2-inner/outer (co)kartesischen Faserungen und entsprechenden $\infty$-Bikategorien-Faserungen

Methodische Details

Kerndefinitonssystem

2-Inner/Outer Dreiecke: Für eine schwache Faserung $p: E \to B$ und ein Dreieck $\sigma: \Delta^2 \to E$:

• Left p-inner: Wenn der entsprechende Pfeil in $E/\sigma(2) \to E \times_B B/p\sigma(2)$ stark kartesisch ist
• Right p-inner: Wenn der entsprechende Pfeil in $E_{\sigma(0)/} \to E \times_B B_{p\sigma(0)/}$ stark cokartesisch ist
• Left p-outer: Wenn der entsprechende Pfeil in $E/\sigma(2) \to E \times_B B/p\sigma(2)$ stark cokartesisch ist
• Right p-outer: Wenn der entsprechende Pfeil in $E_{\sigma(0)/} \to E \times_B B_{p\sigma(0)/}$ stark kartesisch ist

Faserungsdefinitionen

2-Inner Faserung: Eine schwache Faserung $p: E \to B$ ist eine 2-inner Faserung genau dann, wenn jedes Dreieck in $B$ ausreichend viele left und right p-inner Hebungen besitzt

2-Outer Faserung: Eine schwache Faserung $p: E \to B$ ist eine 2-outer Faserung genau dann, wenn:

1. Jedes Dreieck in $B$ ausreichend viele left und right p-outer Hebungen besitzt
2. Left p-outer Dreiecke sind unter right Whiskering abgeschlossen, right p-outer Dreiecke sind unter left Whiskering abgeschlossen

Technische Innovationen

1. Kongruente Dreiecke-Technik: Durch die Konzepte von left/right kongruenten Dreiecken in Definition 2.3.3 werden Eigenschaften allgemeiner Dreiecke auf degenerierte Fälle reduziert
2. Erweiterungslemma: Lemma 3.0.2 liefert die kritische Erweiterungseigenschaft zur Beweisführung der 2-outer kartesischen Eigenschaft der Domänen-Projektion
3. Faserweise Überprüfungstechnik: Nutzung von Homotopy Pullbacks und Base Change-Eigenschaften zur Etablierung faserweiser Äquivalenzkriterien

Haupttheoretische Ergebnisse

Theorem 2.5.1 (Faserweises Äquivalenzkriterium für Faserungen)

Betrachten Sie einen Morphismus von 2-inner/outer (co)kartesischen Faserungen:

E ----r----> E'
|            |
p|            |q  
|            |
B ----f----> B'

Wenn $f$ eine $\infty$-Bikategorien-Äquivalenz ist, dann ist $r$ eine Äquivalenz genau dann, wenn die induzierten Abbildungen $r_b: E_b \to E'_{f(b)}$ für alle $b \in B$ $\infty$-Bikategorien-Äquivalenzen sind.

Theorem 3.0.7 (Faserungseigenschaft der Domänen-Projektion)

Für eine $\infty$-Bikategorie $C$ ist die Domänen-Projektion $d: Fun_{gr}(\Delta^1, C) \to C$ eine 2-outer kartesische Faserung, wobei:

• $d$-kartesische 1-Simplizes kommutative Quadrate mit Kante $\hat{\alpha}(\{1\} \times \Delta^1)$ als Äquivalenz entsprechen
• Right p-outer Dreiecke spezifische Whiskering-Kompatibilitätsbedingungen erfüllen

Theorem 4.2.4 (Angereicherte Kategorien-Entsprechung)

Sei $p: E \to B$ eine Faserung von $Cat_\infty$-Kategorien, dann ist $p$ eine angereicherte 2-inner (bzw. 2-outer) kartesische Faserung genau dann, wenn $N^{sc}(p): N^{sc}E \to N^{sc}B$ eine 2-inner (bzw. 2-outer) kartesische Faserung von $\infty$-Bikategorien ist.

Technische Werkzeuge und Methoden

Skalierte Simpliziale Mengen-Rahmen

• Verwendung skalierter simplizialer Mengen $(X, T_X)$ als Modelle für $\infty$-Bikategorien
• Dünne Dreiecke $T_X$ kodieren Invertibilitätsinformationen von 2-Morphismen
• Skalierte anodyne Abbildungen definieren Erweiterungseigenschaften von $\infty$-Bikategorien

Slice-Konstruktionstechniken

• Nutzung von Join und Slice-Konstruktionen für $C/y$ und $C_{x/}$
• Etablierung von Abbildungen zwischen $\infty$-Kategorien-Modellen durch Adjunktion markierter-skalierter simplizialer Mengen

Modellkategorien-Methoden

• Nutzung der Dwyer-Kan-Modellstruktur zur Behandlung angereicherter Kategorien
• Verbindung verschiedener Modelle durch Quillen-Äquivalenz $N^{sc} \dashv C^{sc}$

Anwendungen und Beispiele

Analyse der Domänen-Projektion

Durch detaillierte Analyse von $Fun_{gr}(\Delta^1, C) \to C$:

• Beweis der Existenz und Eindeutigkeit kartesischer Kanten
• Etablierung der Hebungseigenschaften outer Dreiecke
• Verifikation der Whiskering-Kompatibilitätsbedingungen

Anwendung des Gray-Tensorprodukts

• Nutzung des Gray-Tensorprodukts $\Delta^1_\flat \otimes (K, T_K)$ zur Charakterisierung laxer Quadrate
• Etablierung der Entsprechung mit Funktoren-$\infty$-Bikategorien

Vergleich mit verwandten Arbeiten

Beziehung zu Luries Arbeiten

• Erweiterung der Theorie der (co)kartesischen Faserungen von $\infty$-Kategorien aus 12
• Nutzung der Grundlagentheorie von $(\infty,2)$-Kategorien aus 11

Beziehung zu früheren Arbeiten 6

• Verallgemeinerung des Falls mit $\infty$-Kategorien als Fasern zum Fall mit $\infty$-Bikategorien als Fasern
• Beibehaltung der vollständigen Klassifizierung der vier Varianten

Verbindung zu Buckleys Arbeiten 5

• Inspiration durch die Faserungstheorie von 2-Kategorien
• Realisierung entsprechender Verallgemeinerungen in der $\infty$-Einstellung

Schlussfolgerungen und Diskussion

Hauptleistungen

1. Etablierung eines vollständigen theoretischen Rahmens für 2-Faserungen von $\infty$-Bikategorien
2. Beweis kritischer technischer Eigenschaften: Homotopie-Invarianz, Faserweise Äquivalenzüberprüfung
3. Konstruktion wichtiger universeller Beispiele und Etablierung von Entsprechungen zwischen verschiedenen Modellen

Theoretische Bedeutung

• Grundlegung für die Grothendieck-Lurie-Entsprechung von $\infty$-Bikategorien
• Bereitstellung systematischer Methoden zur Behandlung von Faserungen höherer Kategorien
• Verbindung verschiedener $(\infty,2)$-Kategorien-Modelle

Limitierungen

1. Vollständige Straightening-Unstraightening-Entsprechung noch nicht etabliert
2. Behandlung bestimmter technischer Details (wie Whiskering-Kompatibilität) ist relativ komplex
3. Vergleich mit anderen Modellen höherer Kategorien bedarf weiterer Forschung

Zukünftige Richtungen

1. Etablierung der vollständigen Grothendieck-Lurie-Entsprechung für $\infty$-Bikategorien
2. Untersuchung lokal (co)kartesischer Faserungen
3. Anwendungen in abgeleiteter algebraischer Geometrie und Operaden-Theorie

Tiefgreifende Bewertung

Technische Vorteile

1. Systematik: Bereitstellung eines einheitlichen Behandlungsrahmens für vier Varianten
2. Vollständigkeit: Etablierung einer vollständigen theoretischen Kette von Grunddefinitionen zu Haupttheoremen
3. Technische Tiefe: Geschickte Nutzung von Techniken wie kongruenten Dreiecken und Erweiterungslemmata
4. Modellunabhängigkeit: Etablierung der Robustheit der Theorie durch Entsprechungen zwischen verschiedenen Modellen

Methodische Innovationen

1. Natürliche Verallgemeinerung des 1-dimensionalen (co)kartesischen Konzepts zur 2-Dimension
2. Behandlung der komplexen Variabilität auf der Ebene der 2-Morphismen durch inner/outer Klassifizierung
3. Entwicklung neuer Techniken zur Behandlung von Whiskering-Kompatibilität

Theoretische Beiträge

1. Schließung einer wichtigen Lücke in der Faserungstheorie von $(\infty,2)$-Kategorien
2. Bereitstellung grundlegender Werkzeuge für die weitere Entwicklung der höheren Kategorientheorie
3. Etablierung organischer Verbindungen zur klassischen 2-Kategorien-Theorie

Potenzielle Auswirkungen

Diese Arbeit eröffnet neue Wege für Anwendungen der $(\infty,2)$-Kategorien-Theorie, insbesondere in:

• Sheaf-Theorie in der abgeleiteten algebraischen Geometrie
• Höherer Operaden-Theorie
• Forschung zu symmetrischen monoidal $(\infty,2)$-Kategorien

Diese Arbeit stellt einen wichtigen Meilenstein in der Entwicklung der $(\infty,2)$-Kategorien-Theorie dar und legt eine solide theoretische Grundlage für die weitere Entwicklung dieses Feldes.