Fibrazioni Cartesiane di $(\infty,2)$-categorie

Informazioni Fondamentali

• ID Articolo: 2107.12356
• Titolo: Fibrazioni Cartesiane di $(\infty,2)$-categorie
• Autori: Andrea Gagna, Yonatan Harpaz, Edoardo Lanari
• Classificazione: math.CT, math.AT (Teoria delle Categorie, Topologia Algebrica)
• Data di Pubblicazione: Luglio 2021 (versione più recente gennaio 2024)
• Link Articolo: https://arxiv.org/abs/2107.12356

Riassunto

Nel presente articolo vengono introdotte fibrazioni 2-cartesiane di quattro varianti nel quadro dei simplicial sets scalati per le $\infty$-bicategorie. Data una mappa $p: E \to B$ tra $\infty$-bicategorie, gli autori definiscono frecce $p$-(co)cartesiane e triangoli inner/outer attraverso proprietà di sollevamento di $p$. Le fibrazioni 2-inner/outer (co)cartesiane sono definite come mappe dotate di sufficienti sollevamenti di frecce (co)cartesiane e sollevamenti inner/outer di triangoli, con proprietà di compatibilità rispetto al whiskering nel caso outer. Gli autori provano che l'equivalenza di tali 2-fibrazioni può essere verificata fibra per fibra e mostrano che la proiezione di dominio $d: Fun_{gr}(\Delta^1, C) \to C$ è un esempio prototipico di fibrazione 2-outer cartesiana.

Contesto di Ricerca e Motivazione

1. Contesto del Problema: Nella teoria delle categorie di ordine superiore, la corrispondenza di Grothendieck-Lurie stabilisce una corrispondenza completa tra fibrazioni (co)cartesiane su $\infty$-categorie e funtori $B \to Cat_\infty$. Quando si generalizza alle $\infty$-bicategorie, emergono nuove complessità: non vi sono solo due varianti diverse (covariante/controvariante), ma quattro, a seconda che la dipendenza funtoriale dei 2-morfismi sia covariante o controvariante.
2. Importanza:
   • La teoria delle fibrazioni fornisce lo scheletro per la definizione di $(\infty,2)$-categorie monoidal simmetriche
   • Applicazioni importanti nella geometria algebrica derivata, in particolare nella codifica della dualità degli Ind-coherent sheaves
   • Fornisce strumenti per la definizione di versioni semplici di operadi relative $(\infty,2)$
3. Limitazioni degli Approcci Precedenti:
   • I lavori precedenti 6 affrontavano solo il caso in cui la base è un'$\infty$-bicategoria e le fibre sono $\infty$-categorie
   • Mancava una teoria sistematica per il caso in cui anche le fibre sono $\infty$-bicategorie
4. Motivazione della Ricerca: Stabilire una teoria completa delle fibrazioni di $\infty$-bicategorie, gettando le basi per una futura corrispondenza di Grothendieck-Lurie completa

Contributi Principali

1. Introduzione di quattro varianti di fibrazioni 2-(co)cartesiane: Fibrazioni 2-inner/outer cartesiane/cocartesiane, estendendo la teoria delle fibrazioni 1-inner/outer
2. Stabilimento della teoria delle proprietà di sollevamento di triangoli inner/outer: Attraverso il concetto di triangoli p-inner/outer sinistri/destri, caratterizzazione della proprietà (co)cartesiana a livello di 2-morfismi
3. Prova del criterio di verifica fibra per fibra dell'equivalenza di fibrazioni: Il Teorema 2.5.1 mostra che l'equivalenza di fibrazioni 2-inner/outer (co)cartesiane può essere verificata su ogni fibra
4. Costruzione di esempi universali chiave: Prova che la proiezione di dominio $d: Fun_{gr}(\Delta^1, C) \to C$ è prototipica di fibrazione 2-outer cartesiana
5. Stabilimento della corrispondenza tra categorie arricchite e modelli di $\infty$-bicategorie: Il Teorema 4.2.4 prova l'equivalenza tra fibrazioni arricchite 2-inner/outer (co)cartesiane e le corrispondenti fibrazioni di $\infty$-bicategorie

Spiegazione Dettagliata dei Metodi

Sistema di Definizioni Fondamentali

Triangoli 2-Inner/Outer: Per una fibrazione debole $p: E \to B$ e un triangolo $\sigma: \Delta^2 \to E$:

• Left p-inner: Quando la freccia corrispondente in $E/\sigma(2) \to E \times_B B/p\sigma(2)$ è fortemente cartesiana
• Right p-inner: Quando la freccia corrispondente in $E_{\sigma(0)/} \to E \times_B B_{p\sigma(0)/}$ è fortemente cocartesiana
• Left p-outer: Quando la freccia corrispondente in $E/\sigma(2) \to E \times_B B/p\sigma(2)$ è fortemente cocartesiana
• Right p-outer: Quando la freccia corrispondente in $E_{\sigma(0)/} \to E \times_B B_{p\sigma(0)/}$ è fortemente cartesiana

Definizione di Fibrazioni

Fibrazioni 2-Inner: Una fibrazione debole $p: E \to B$ è una fibrazione 2-inner se e solo se ogni triangolo in $B$ ha sufficienti sollevamenti left e right p-inner

Fibrazioni 2-Outer: Una fibrazione debole $p: E \to B$ è una fibrazione 2-outer se e solo se:

1. Ogni triangolo in $B$ ha sufficienti sollevamenti left e right p-outer
2. I triangoli left p-outer sono chiusi rispetto al right whiskering, i triangoli right p-outer sono chiusi rispetto al left whiskering

Punti di Innovazione Tecnica

1. Tecnica dei Triangoli Congruenti: Attraverso il concetto di left/right congruenti della Definizione 2.3.3, riduzione delle proprietà di triangoli generali al caso degenere
2. Lemma di Estensione: Il Lemma 3.0.2 fornisce la proprietà di estensione cruciale, utilizzata per provare la proprietà 2-outer cartesiana della proiezione di dominio
3. Tecnica di Verifica Fibra per Fibra: Utilizzo di homotopy pullback e proprietà di base change per stabilire il criterio di equivalenza fibra per fibra

Risultati Teorici Principali

Teorema 2.5.1 (Criterio Fibra per Fibra per l'Equivalenza di Fibrazioni)

Consideriamo un morfismo di fibrazioni 2-inner/outer (co)cartesiane:

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

Se $f$ è un'equivalenza di $\infty$-bicategorie, allora $r$ è un'equivalenza se e solo se le mappe indotte $r_b: E_b \to E'_{f(b)}$ sono equivalenze di $\infty$-bicategorie per tutti gli $b \in B$.

Teorema 3.0.7 (Proprietà di Fibrazione della Proiezione di Dominio)

Per un'$\infty$-bicategoria $C$, la proiezione di dominio $d: Fun_{gr}(\Delta^1, C) \to C$ è una fibrazione 2-outer cartesiana, dove:

• Gli 1-simplessi $d$-cartesiani corrispondono a quadrati commutativi con il bordo $\hat{\alpha}(\{1\} \times \Delta^1)$ equivalenza
• I triangoli right p-outer soddisfano specifiche condizioni di compatibilità del whiskering

Teorema 4.2.4 (Corrispondenza di Categorie Arricchite)

Sia $p: E \to B$ una fibrazione di categorie $Cat_\infty$-arricchite. Allora $p$ è una fibrazione arricchita 2-inner (risp. 2-outer) cartesiana se e solo se $N^{sc}(p): N^{sc}E \to N^{sc}B$ è una fibrazione 2-inner (risp. 2-outer) cartesiana di $\infty$-bicategorie.

Strumenti Tecnici e Metodi

Quadro dei Simplicial Sets Scalati

• Utilizzo di simplicial sets scalati $(X, T_X)$ come modello per le $\infty$-bicategorie
• I triangoli thin $T_X$ codificano informazioni sull'invertibilità dei 2-morfismi
• Le mappe scaled anodyne definiscono proprietà di estensione per le $\infty$-bicategorie

Tecnica di Costruzione di Slice

• Utilizzo di join e slice per costruire $C/y$ e $C_{x/}$
• Stabilimento di mappe attraverso l'adjunction di marked-scaled simplicial sets

Metodo delle Categorie Modello

• Utilizzo della struttura modello di Dwyer-Kan per le categorie arricchite
• Connessione di diversi modelli attraverso l'equivalenza di Quillen $N^{sc} \dashv C^{sc}$

Applicazioni ed Esempi

Analisi della Proiezione di Dominio

Attraverso l'analisi dettagliata di $Fun_{gr}(\Delta^1, C) \to C$:

• Prova dell'esistenza e unicità dei bordi cartesiani
• Stabilimento delle proprietà di sollevamento dei triangoli outer
• Verifica delle condizioni di compatibilità del whiskering

Applicazioni del Prodotto Tensoriale di Gray

• Utilizzo del prodotto tensoriale di Gray $\Delta^1_\flat \otimes (K, T_K)$ per caratterizzare quadrati lax
• Stabilimento della corrispondenza con la $\infty$-bicategoria di funtori

Confronto con Lavori Correlati

Relazione con i Lavori di Lurie

• Estensione della teoria delle fibrazioni (co)cartesiane per $\infty$-categorie da 12
• Utilizzo della teoria fondamentale sulle $(\infty,2)$-categorie da 11

Relazione con il Lavoro Precedente 6

• Generalizzazione dal caso di fibre che sono $\infty$-categorie al caso di fibre che sono $\infty$-bicategorie
• Mantenimento della classificazione completa delle quattro varianti

Connessione con Buckley 5

• Ispirazione dalla teoria delle fibrazioni di 2-categorie
• Realizzazione della corrispondente generalizzazione nell'ambito $\infty$

Conclusioni e Discussione

Risultati Principali

1. Stabilimento di un quadro teorico completo per le 2-fibrazioni di $\infty$-bicategorie
2. Prova delle proprietà tecniche cruciali: invarianza omotopica, verifica dell'equivalenza fibra per fibra
3. Costruzione di importanti esempi universali e stabilimento di corrispondenze tra diversi modelli

Significato Teorico

• Fondazione per la corrispondenza di Grothendieck-Lurie per le $\infty$-bicategorie
• Fornitura di un metodo sistematico per affrontare le fibrazioni di categorie di ordine superiore
• Connessione di diversi modelli di $(\infty,2)$-categorie

Limitazioni

1. La corrispondenza completa di straightening-unstraightening non è ancora stabilita
2. Il trattamento di alcuni dettagli tecnici (come la compatibilità del whiskering) è piuttosto complesso
3. Il confronto con altri modelli di categorie di ordine superiore richiede ulteriori ricerche

Direzioni Future

1. Stabilimento della corrispondenza completa di Grothendieck-Lurie per le $\infty$-bicategorie
2. Studio delle fibrazioni localmente (co)cartesiane
3. Applicazioni alla geometria algebrica derivata e alla teoria degli operadi

Valutazione Approfondita

Vantaggi Tecnici

1. Sistematicità: Fornitura di un quadro unificato per il trattamento delle quattro varianti
2. Completezza: Stabilimento di una catena teorica completa dalle definizioni fondamentali ai teoremi principali
3. Profondità Tecnica: Utilizzo abile di triangoli congruenti, lemmi di estensione e altri strumenti tecnici
4. Indipendenza dal Modello: Stabilimento della robustezza della teoria attraverso corrispondenze tra diversi modelli

Innovazioni Metodologiche

1. Generalizzazione naturale del concetto 1-dimensionale di (co)cartesiano al caso 2-dimensionale
2. Trattamento della complessa variabilità a livello di 2-morfismi attraverso la classificazione inner/outer
3. Sviluppo di nuove tecniche per affrontare la compatibilità del whiskering

Contributi Teorici

1. Colmamento di un importante vuoto nella teoria delle fibrazioni di $(\infty,2)$-categorie
2. Fornitura di strumenti fondamentali per lo sviluppo ulteriore della teoria delle categorie di ordine superiore
3. Stabilimento di connessioni organiche con la teoria classica delle 2-categorie

Impatto Potenziale

Questo lavoro apre nuove strade per le applicazioni della teoria di $(\infty,2)$-categorie, in particolare in:

• Teoria dei sheaf nella geometria algebrica derivata
• Teoria degli operadi di ordine superiore
• Studio delle $(\infty,2)$-categorie monoidal simmetriche

L'articolo rappresenta un importante punto di riferimento nello sviluppo della teoria di $(\infty,2)$-categorie, gettando solide fondamenta teoriche per lo sviluppo futuro del campo.