Cartesian Fibrations of $(\infty,2)$-categories

Basic Information

• Paper ID: 2107.12356
• Title: Cartesian Fibrations of $(\infty,2)$-categories
• Authors: Andrea Gagna, Yonatan Harpaz, Edoardo Lanari
• Classification: math.CT, math.AT (Category Theory, Algebraic Topology)
• Publication Date: July 2021 (Latest version January 2024)
• Paper Link: https://arxiv.org/abs/2107.12356

Abstract

This paper introduces four variants of Cartesian 2-fibrations for $\infty$-bicategories within the framework of scaled simplicial sets. Given a map $p: E \to B$ between $\infty$-bicategories, the authors define $p$-(co)cartesian arrows and inner/outer triangles through lifting properties of $p$. The 2-inner/outer (co)cartesian fibrations are defined as maps possessing sufficiently many (co)cartesian lifts of arrows and inner/outer lifts of triangles, with compatibility properties regarding whiskering in the outer case. The authors prove that equivalences of such 2-fibrations can be verified fiberwise and demonstrate that the domain projection $d: Fun_{gr}(\Delta^1, C) \to C$ is a prototypical example of a 2-outer cartesian fibration.

Research Background and Motivation

1. Problem Context: In higher category theory, the Grothendieck-Lurie correspondence establishes a complete correspondence between (co)cartesian fibrations over $\infty$-categories and functors $B \to Cat_\infty$. When generalizing to $\infty$-bicategories, new complexities arise: rather than two types of variance (covariant/contravariant), there are four, depending on whether the functor dependence on 2-morphisms is covariant or contravariant.
2. Significance:
   • Fibration theory provides the skeleton for defining symmetric monoidal $(\infty,2)$-categories
   • Important applications in derived algebraic geometry, particularly in encoding duality of Ind-coherent sheaves
   • Provides tools for defining simplified versions of relative $(\infty,2)$-operads
3. Limitations of Existing Approaches:
   • Previous work 6 only addressed the case where the base is an $\infty$-bicategory and fibers are $\infty$-categories
   • Lack of systematic theory for the case where fibers are also $\infty$-bicategories
4. Research Motivation: Establish a complete theory of $\infty$-bicategory fibrations to lay the foundation for establishing a complete Grothendieck-Lurie correspondence in the future

Core Contributions

1. Introduction of Four Variants of 2-(co)cartesian Fibrations: 2-inner/outer cartesian/cocartesian fibrations, extending the theory of 1-inner/outer fibrations
2. Establishment of Lifting Property Theory for Inner/Outer Triangles: Through the concept of left/right p-inner/outer triangles, characterizing (co)cartesian properties at the 2-morphism level
3. Proof of Fiberwise Verification Criterion for Fibration Equivalences: Theorem 2.5.1 demonstrates that equivalences of 2-inner/outer (co)cartesian fibrations can be verified on each fiber
4. Construction of Key Universal Examples: Proving that the domain projection $d: Fun_{gr}(\Delta^1, C) \to C$ is a prototypical 2-outer cartesian fibration
5. Establishment of Correspondence Between Enriched Categories and $\infty$-Bicategory Models: Theorem 4.2.4 proves equivalence between enriched 2-inner/outer (co)cartesian fibrations and corresponding $\infty$-bicategory fibrations

Detailed Methodology

Core Definition System

2-Inner/Outer Triangles: For a weak fibration $p: E \to B$ and a triangle $\sigma: \Delta^2 \to E$:

• Left p-inner: When the corresponding arrow in $E/\sigma(2) \to E \times_B B/p\sigma(2)$ is strongly cartesian
• Right p-inner: When the corresponding arrow in $E_{\sigma(0)/} \to E \times_B B_{p\sigma(0)/}$ is strongly cocartesian
• Left p-outer: When the corresponding arrow in $E/\sigma(2) \to E \times_B B/p\sigma(2)$ is strongly cocartesian
• Right p-outer: When the corresponding arrow in $E_{\sigma(0)/} \to E \times_B B_{p\sigma(0)/}$ is strongly cartesian

Fibration Definitions

2-Inner Fibration: A weak fibration $p: E \to B$ is a 2-inner fibration if and only if every triangle in $B$ has sufficiently many left and right p-inner lifts

2-Outer Fibration: A weak fibration $p: E \to B$ is a 2-outer fibration if and only if:

1. Every triangle in $B$ has sufficiently many left and right p-outer lifts
2. Left p-outer triangles are closed under right whiskering, and right p-outer triangles are closed under left whiskering

Technical Innovations

1. Congruent Triangle Technique: Through the concept of left/right congruent triangles in Definition 2.3.3, reducing properties of general triangles to degenerate cases
2. Extension Lemma: Lemma 3.0.2 provides a key extension property used to prove the 2-outer cartesian property of domain projection
3. Fiberwise Verification Technique: Utilizing homotopy pullback and base change properties to establish fiberwise equivalence verification

Main Theoretical Results

Theorem 2.5.1 (Fiberwise Verification of Fibration Equivalence)

Consider a morphism of 2-inner/outer (co)cartesian fibrations:

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

If $f$ is an $\infty$-bicategory equivalence, then $r$ is an equivalence if and only if the induced map $r_b: E_b \to E'_{f(b)}$ is an $\infty$-bicategory equivalence for all $b \in B$.

Theorem 3.0.7 (Fibration Property of Domain Projection)

For an $\infty$-bicategory $C$, the domain projection $d: Fun_{gr}(\Delta^1, C) \to C$ is a 2-outer cartesian fibration, where:

• $d$-cartesian 1-simplices correspond to commutative squares with the edge $\hat{\alpha}(\{1\} \times \Delta^1)$ being an equivalence
• Right p-outer triangles satisfy specific whiskering compatibility conditions

Theorem 4.2.4 (Enriched Category Correspondence)

Let $p: E \to B$ be a fibration of $Cat_\infty$-categories. Then $p$ is an enriched 2-inner (resp. 2-outer) cartesian fibration if and only if $N^{sc}(p): N^{sc}E \to N^{sc}B$ is a 2-inner (resp. 2-outer) cartesian fibration of $\infty$-bicategories.

Technical Tools and Methods

Scaled Simplicial Sets Framework

• Using scaled simplicial sets $(X, T_X)$ as models for $\infty$-bicategories
• Thin triangles $T_X$ encode invertibility information of 2-morphisms
• Scaled anodyne maps define extension properties for $\infty$-bicategories

Slice Construction Techniques

• Utilizing join and slice constructions for $C/y$ and $C_{x/}$
• Establishing map $\infty$-category models through adjunctions of marked-scaled simplicial sets

Model Category Methods

• Employing Dwyer-Kan model structures for handling enriched categories
• Connecting different models through Quillen equivalence $N^{sc} \dashv C^{sc}$

Applications and Examples

Domain Projection Analysis

Through detailed analysis of $Fun_{gr}(\Delta^1, C) \to C$:

• Proving existence and uniqueness of cartesian edges
• Establishing lifting properties for outer triangles
• Verifying whiskering compatibility conditions

Gray Tensor Product Applications

• Utilizing Gray tensor product $\Delta^1_\flat \otimes (K, T_K)$ to characterize lax squares
• Establishing correspondence with functor $\infty$-bicategories

Comparison with Related Work

Relationship to Lurie's Work

• Extends the theory of (co)cartesian fibrations for $\infty$-categories from 12
• Utilizes foundational theory on $(\infty,2)$-categories from 11

Relationship to Prior Work 6

• Generalizes the case of fibers being $\infty$-categories to fibers being $\infty$-bicategories
• Maintains complete classification of four variants

Connection to Buckley 5

• Inspired by 2-category fibration theory
• Realizes corresponding generalizations in the $\infty$-setting

Conclusions and Discussion

Main Achievements

1. Establishing a complete theoretical framework for 2-fibrations of $\infty$-bicategories
2. Proving key technical properties: homotopy invariance, fiberwise equivalence verification
3. Constructing important universal examples and establishing correspondences between different models

Theoretical Significance

• Laying the foundation for the Grothendieck-Lurie correspondence for $\infty$-bicategories
• Providing systematic methods for handling higher-order category fibrations
• Connecting different models of $(\infty,2)$-categories

Limitations

1. Complete straightening-unstraightening correspondence not yet established
2. Handling of certain technical details (such as whiskering compatibility) is relatively complex
3. Comparison with other higher-order category models requires further investigation

Future Directions

1. Establishing complete Grothendieck-Lurie correspondence for $\infty$-bicategories
2. Investigating locally (co)cartesian fibrations
3. Applications to derived algebraic geometry and operad theory

In-Depth Evaluation

Technical Advantages

1. Systematicity: Provides a unified treatment framework for four variants
2. Completeness: Establishes a complete theoretical chain from foundational definitions to main theorems
3. Technical Depth: Skillfully employs technical tools such as congruent triangles and extension lemmas
4. Model Independence: Establishes theoretical robustness through correspondences between different models

Methodological Innovation

1. Naturally extends 1-dimensional (co)cartesian concepts to 2-dimensions
2. Addresses complex 2-morphism-level variance through inner/outer classification
3. Develops new techniques for handling whiskering compatibility

Theoretical Contributions

1. Fills an important gap in $(\infty,2)$-category fibration theory
2. Provides foundational tools for further development of higher category theory
3. Establishes organic connections with classical 2-category theory

Potential Impact

This work opens new avenues for applications of $(\infty,2)$-category theory, particularly in:

• Sheaf theory in derived algebraic geometry
• Higher-order operad theory
• Research on symmetric monoidal $(\infty,2)$-categories

This paper represents an important milestone in the development of $(\infty,2)$-category theory, laying a solid theoretical foundation for further advancement in the field.