Über orthogonale Faktorisierungssysteme und Doppelkategorien

Grundinformationen

• Papier-ID: 2501.01363
• Titel: Über orthogonale Faktorisierungssysteme und Doppelkategorien
• Autor: Branko Juran (Universität Kopenhagen)
• Klassifizierung: math.CT (Kategorientheorie), math.AT (Algebraische Topologie)
• Veröffentlichungsdatum: 2. Januar 2025
• Papierlink: https://arxiv.org/abs/2501.01363

Zusammenfassung

In diesem Papier wird bewiesen, dass die ∞-Kategorie der orthogonalen Faktorisierungssysteme vollständig treu in die ∞-Kategorie der Doppel-∞-Kategorien eingebettet wird. Darüber hinaus wird die (un)straightening-Äquivalenz für Doppel-∞-Kategorien bewiesen, die sich auf die (un)straightening-Äquivalenz von op-Gray-Faserungen und gekrümmten orthogonalen Faserungen orthogonaler Faktorisierungssysteme beschränkt.

Forschungshintergrund und Motivation

Problemhintergrund

1. Historischer Ursprung: Orthogonale Faktorisierungssysteme und Doppelkategorien sind klassische Objekte der Kategorientheorie, die auf die Arbeiten von MacLane Mac50 bzw. Ehresmann Ehr63 zurückgehen. Ihre ∞-kategorischen Analoga wurden von Joyal Joy08 und Haugseng Hau13 eingeführt und spielen in der höheren Kategorientheorie eine ebenso wichtige Rolle.
2. Gemeinsame Merkmale: Beide Konzepte beinhalten kategorische Strukturen, die mit zwei unterschiedlichen Morphismusklassen ausgestattet sind:
   • Orthogonale Faktorisierungssysteme: Kategorien mit zwei Morphismusklassen, wobei jeder Morphismus eindeutig als Komposition eines Morphismus aus der ersten Klasse mit einem aus der zweiten Klasse zerlegt werden kann
   • Doppelkategorien: Kategorien mit zwei verschiedenen Arten von Morphismen (vertikale und horizontale Morphismen), die nicht direkt komponiert werden können, aber durch „Quadrate" Kompatibilität bezeugen

Forschungsmotivation

Aus dieser Perspektive erscheinen Doppelkategorien als Verallgemeinerung orthogonaler Faktorisierungssysteme. Das Ziel dieses Papiers ist es, diese Intuition im Kontext von ∞-Kategorien zu präzisieren, einen Funktor von orthogonalen Faktorisierungssystemen zu Doppel-∞-Kategorien zu konstruieren und dessen Eigenschaften zu untersuchen.

Kernfrage

Wie lässt sich die Beziehung zwischen orthogonalen Faktorisierungssystemen und Doppelkategorien präzise beschreiben, und wie kann diese Beziehung genutzt werden, um die zugehörige Faserungstheorie zu verstehen?

Kernbeiträge

1. Konstruktion einer vollständig treuen Einbettung: Es wird bewiesen, dass der Funktor Fact : OFS ↪ DCat von der ∞-Kategorie der orthogonalen Faktorisierungssysteme in die ∞-Kategorie der Doppel-∞-Kategorien vollständig treu ist
2. Charakterisierung des wesentlichen Bildes: Das wesentliche Bild dieser Einbettung wird als genau die Doppel-∞-Kategorien bestimmt, die bestimmte Bedingungen erfüllen (Faktorisierungs-Doppelkategorien)
3. Etablierung von Faserungsäquivalenzen: Es wird die Äquivalenz zwischen gekrümmten orthogonalen Faserungen orthogonaler Faktorisierungssysteme und (cocart,right)-Faserungen von Doppelkategorien bewiesen
4. Beweis der (un)straightening-Äquivalenz: Die (un)straightening-Äquivalenz für Doppel-∞-Kategorien wird etabliert
5. Berechnung von Automorphismengruppen: Die Automorphismengruppe der Kategorie der ausreichenden orthogonalen Faktorisierungssysteme wird vollständig als Z/2Z beschrieben, mit dem Erzeuger als Spannweiten-Kategorie-Funktor

Methodische Erläuterung

Kernkonstruktion

Definition des Funktors Fact

Konstruktion 3.3: Der Funktor wird durch Einschränkung der Yoneda-Einbettung konstruiert:

Fact : OFS → PSh(Δ×Δ)

entlang der Doppel-Kosimplizes:

Δ×Δ → OFS
([m],[n]) ↦ [m]×̄[n]

Für ein orthogonales Faktorisierungssystem C† = (C, C_eg, C_in) ist Fact(C†) eine Doppelkategorie, wobei:

• Objekte: Objekte von C
• Horizontale Morphismen: Morphismen in C_eg
• Vertikale Morphismen: Morphismen in C_in
• Quadrate: kommutative Quadrate

Charakterisierung von Faktorisierungs-Doppelkategorien

Proposition 3.1: Eine Doppelkategorie C ist eine Faktorisierungs-Doppelkategorie genau dann, wenn sie eine der folgenden äquivalenten Bedingungen erfüllt:

1. Das Quadrat C(1,1) → C(1,0) × C(0,1) ← C(0,0) ist ein Pullback
2. Der Funktor C(-,d₀) : C(-,1) → C(-,0) ist eine linke Faserung
3. Der Funktor C(d₁,-) : C(1,-) → C(0,-) ist eine rechte Faserung

Diese Bedingungen kodieren präzise, dass Kompositionen von Morphismen in der „falschen Reihenfolge" eindeutig in Kompositionen in der „richtigen Reihenfolge" umgeschrieben werden können.

Konstruktion des inversen Funktors

Konstruktion 3.14: Konstruktion des inversen Funktors Cnr: DCat_OF → OFS:

1. Für eine Doppelkategorie C wird die Ecken-Kategorie cnr(C) durch Einschränkung der Yoneda-Einbettung definiert:

   cnr : DCat → Fun(Δᵒᵖ,S)
   C ↦ (n ↦ map_DCat(Ar([n]),C))
   

2. Es wird bewiesen, dass cnr(C) ein vollständiger Segal-Raum ist, wenn C eine Faktorisierungs-Doppelkategorie ist
3. Durch natürliche Funktoren C(-,0) → cnr(C) und C(0,-) → cnr(C) wird das orthogonale Faktorisierungssystem konstruiert

Wichtige technische Lemmata

Lemma 3.12: Es wird die Gleichheit zweier Morphismusklassen-Sättigungen bewiesen:

• Der Morphismus ([0]⊠[1]) ∪ ([1]⊠[0]) → [1]⊠[1]
• Die Rückgrat-Inklusion I_n(Ar(-)) → Ar(n) (n≥2)

Dieses Lemma ist der Schlüssel zur Verbindung der Lokalitätsbedingungen von Doppelkategorien mit den Eigenschaften orthogonaler Faktorisierungssysteme.

Hauptsätze

Theorem A (Theorem 3.19)

Der Funktor Fact : OFS ↪ DCat ist vollständig treu, und sein wesentliches Bild besteht genau aus den Faktorisierungs-Doppelkategorien.

Beweisidee:

1. Konstruktion des inversen Funktors Cnr: DCat_OF → OFS
2. Beweis, dass Einheits- und Koeinheitstransformationen Äquivalenzen sind
3. Vervollständigung des Beweises mit Proposition 3.16 und 3.18

Theorem B (Theorem 4.6)

Für eine Doppel-∞-Kategorie C existiert eine natürliche Äquivalenz:

CoR(C)≃ ≅ map_DCat((C)^{2 op}, Sq^{oplax}(Cat₁^{(2)}))

Dies bestätigt die in Nui24, Remark 2.14 skizzierte Erwartung.

Theorem C (Theorem 5.5)

Die Automorphismengruppe der Kategorie der ausreichenden orthogonalen Faktorisierungssysteme ist:

Aut(OFS⊥) ≅ Z/2Z

Der Erzeuger wird durch den Spannweiten-Kategorie-Funktor gegeben.

Faserungstheorie

Entsprechung von Faserungen

Proposition 4.5: Der Funktor Fact induziert Äquivalenzen:

Ortho(C†) ≅ CoR(Fact(C†))
opGray(C†) ≅ CaR(Fact(C†))

Dies zeigt, dass Faserungen orthogonaler Faktorisierungssysteme als Spezialfälle von Doppelkategorien-Faserungen betrachtet werden können.

(un)straightening-Äquivalenz

Durch die Verbindung der Faserungstheorie von Doppelkategorien mit der Faserungstheorie orthogonaler Faktorisierungssysteme wird ein einheitlicher Rahmen zur Verständnis dieser Strukturen gewonnen.

Ausreichendheit und Spannweiten-Kategorien

Charakterisierung ausreichender Faktorisierungssysteme

Definition 5.1: Ein orthogonales Faktorisierungssystem C† heißt ausreichend, wenn:

1. Jedes ambigressive Quadrat ein Pullback ist
2. Jede ambigressive Cospanne einen Pullback zulässt

Proposition 5.4: Ein orthogonales Faktorisierungssystem C† ist ausreichend genau dann, wenn Fact(C†) ausreichend ist (d.h. Fact(C†)^{1 op} ist auch eine Faktorisierungs-Doppelkategorie).

Wiederherstellung der Spannweiten-Kategorie

Corollary 5.6: Für ein ausreichendes Faktorisierungssystem C† existiert eine natürliche Äquivalenz:

Fact(C†)^{1 op} ≅ Fact(Span(C†))

Dies stellt die Spannweiten-Kategorie-Konstruktion durch Doppelkategorien-Operationen wieder her und vermeidet die üblicherweise erforderliche simpliziale Kombinatorik.

Technische Innovationen

1. Einheitlicher Rahmen: Erstmalige Etablierung einer präzisen Entsprechung zwischen orthogonalen Faktorisierungssystemen und Doppelkategorien auf der ∞-Kategorien-Ebene
2. Faserungsvereinigung: Vereinigung scheinbar unterschiedlicher Faserungskonzepte (gekrümmte orthogonale Faserungen, op-Gray-Faserungen usw.) in einem Doppelkategorien-Faserungsrahmen
3. Berechnungsmethoden: Berechnung von Automorphismengruppen durch Doppelkategorien-Operationen, die neue Rechenwerkzeuge bereitstellen
4. Lokalitätscharakterisierung: Präzise Charakterisierung von Faktorisierungs-Doppelkategorien durch Lokalitätsbedingungen, die verschiedene mathematische Strukturen verbinden

Verwandte Arbeiten

Historische Entwicklung

• Klassische Theorie: MacLanes Theorie orthogonaler Faktorisierungssysteme, Ehresmanns Doppelkategorientheorie
• ∞-kategorische Verallgemeinerung: Joyals orthogonale Faktorisierungssysteme in ∞-Kategorien, Haugseng's Doppel-∞-Kategorien
• Jüngste Fortschritte: Analoge Ergebnisse von Štěpán Ště23 im 1-kategorischen Fall

Faserungstheorie

• HHLN-Serie: HHLN23a,HHLN23b etablierte Faserungstheorie
• Nuitens Arbeiten: Nui24 zur Faserungstheorie von Doppelkategorien
• Barwicks Ausreichendheit: Bar17 zur Theorie ausreichender Faktorisierungssysteme

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

1. Orthogonale Faktorisierungssysteme betten sich vollständig in Doppelkategorien ein, mit wesentlichem Bild als Faktorisierungs-Doppelkategorien
2. Zugehörige Faserungstheorien entsprechen sich vollständig
3. Die Automorphismengruppe ausreichender Faktorisierungssysteme ist Z/2Z
4. Die Spannweiten-Kategorie-Konstruktion kann durch Doppelkategorien-Operationen verstanden werden

Theoretische Bedeutung

• Einheitliches Verständnis: Bietet eine einheitliche Perspektive auf zwei wichtige kategorientheoretische Konzepte
• Rechenwerkzeuge: Stellt neue Methoden zum Berechnen und Verstehen dieser Strukturen bereit
• Faserungstheorie: Erweitert den Anwendungsbereich der Faserungstheorie

Technische Beiträge

• ∞-kategorische Methoden: Demonstriert die Kraft der ∞-Kategorientheorie beim Verständnis klassischer Strukturen
• Lokalitätstechniken: Entwickelt Techniken zur Charakterisierung mathematischer Objekte durch Lokalitätsbedingungen
• Funktorkonstruktion: Bietet systematische Methoden zur Etablierung von Verbindungen zwischen verschiedenen kategorischen Strukturen

Tiefgreifende Bewertung

Stärken

1. Theoretische Tiefe: Etabliert tiefe Verbindungen zwischen zwei wichtigen Konzepten mit großem theoretischen Wert
2. Technische Raffinesse: Geschickte Beweistechniken mit vollständiger Nutzung moderner ∞-kategorischer Werkzeuge
3. Vollständige Ergebnisse: Nicht nur Etablierung grundlegender Entsprechungen, sondern auch Entwicklung zugehöriger Faserungstheorie
4. Rechenwert: Liefert konkrete Rechenergebnisse (Automorphismengruppen)

Innovativität

1. Konzeptuelle Innovation: Erstmalige präzise Charakterisierung der Beziehung zwischen orthogonalen Faktorisierungssystemen und Doppelkategorien auf der ∞-Kategorien-Ebene
2. Methodische Innovation: Innovative Anwendung von Lokalitätsbedingungen und Yoneda-Einbettung
3. Theoretischer Beitrag: Bietet neuen einheitlichen Rahmen für die Faserungstheorie

Einschränkungen

1. Abstraktionsgrad: Hohe Abstraktion, die direkte Anwendungen möglicherweise einschränkt
2. Fachliche Anforderungen: Erfordert tiefe Kenntnisse der ∞-Kategorientheorie
3. Rechenkomplexität: Obwohl ein theoretischer Rahmen bereitgestellt wird, können konkrete Berechnungen komplex sein

Einfluss

1. Theoretischer Einfluss: Bietet neue einheitliche Perspektive für die Kategorientheorie
2. Methodischer Einfluss: Demonstriert die Kraft von ∞-kategorischen Methoden
3. Nachfolgeforschung: Legt Grundlagen für weitere Forschung in verwandten Bereichen

Anwendungsszenarien

• Forschung in höherer Kategorientheorie
• Faserungstheorie in der algebraischen Topologie
• Untersuchung von Faktorisierungssystemen in der Homotopietheorie
• Entwicklung der Doppelkategorientheorie

Literaturverzeichnis

Das Papier zitiert umfangreiche Referenzen, darunter:

• Klassische Literatur: MacLane Mac50, Ehresmann Ehr63
• ∞-Kategorientheorie: Lurie Lur09b, Lur17, Joyal Joy08
• Verwandte moderne Arbeiten: HHLN-Serie HHLN23a,HHLN23b, Nuiten Nui24, Štěpán Ště23

Dieses Papier trägt wichtige theoretische Ergebnisse zur Kategorientheorie bei. Es etabliert nicht nur präzise Entsprechungen zwischen zwei wichtigen Konzepten, sondern entwickelt auch zugehörige Faserungstheorie und demonstriert die starke Kraft der ∞-Kategorientheorie beim Verständnis und der Vereinigung klassischer mathematischer Strukturen.