Fibraciones Cartesianas de $(\infty,2)$-categorías

Información Básica

• ID del Artículo: 2107.12356
• Título: Cartesian Fibrations of $(\infty,2)$-categories
• Autores: Andrea Gagna, Yonatan Harpaz, Edoardo Lanari
• Clasificación: math.CT, math.AT (Teoría de Categorías, Topología Algebraica)
• Fecha de Publicación: Julio de 2021 (versión más reciente enero de 2024)
• Enlace del Artículo: https://arxiv.org/abs/2107.12356

Resumen

En este artículo se introducen fibraciones 2-cartesianas de cuatro variantes en el marco de conjuntos simpliciales escalados para $\infty$-bicategorías. Dado un mapeo $p: E \to B$ entre $\infty$-bicategorías, los autores definen flechas $p$-(co)cartesianas y triángulos internos/externos mediante propiedades de levantamiento de $p$. Las fibraciones 2-internas/externas (co)cartesianas se definen como mapeos con suficientes levantamientos de flechas (co)cartesianas y triángulos internos/externos, con propiedades de compatibilidad respecto al "whiskering" en el caso externo. Los autores demuestran que la equivalencia de estas 2-fibraciones puede verificarse fibra a fibra, y muestran que la proyección de dominio $d: Fun_{gr}(\Delta^1, C) \to C$ es un ejemplo prototípico de fibración 2-externa cartesiana.

Contexto de Investigación y Motivación

1. Antecedentes del Problema: En la teoría de categorías superiores, la correspondencia de Grothendieck-Lurie establece una equivalencia completa entre fibraciones (co)cartesianas sobre $\infty$-categorías y funtores $B \to Cat_\infty$. Al generalizar a $\infty$-bicategorías, surgen nuevas complejidades: no solo hay dos variantes distintas (covariante/contravariante), sino cuatro, dependiendo de si la dependencia del funtor en 2-morfismos es covariante o contravariante.
2. Importancia:
   • La teoría de fibraciones proporciona el esqueleto para definir $(\infty,2)$-categorías monoidales simétricas
   • Tiene aplicaciones importantes en geometría algebraica derivada, particularmente en la codificación de dualidades de "Ind-coherent sheaves"
   • Proporciona herramientas para definir versiones simplificadas de operadas $(\infty,2)$-relativas
3. Limitaciones de Enfoques Anteriores:
   • Trabajos previos 6 solo trataban el caso donde la base es una $\infty$-bicategoría y la fibra es una $\infty$-categoría
   • Falta una teoría sistemática para el caso donde la fibra también es una $\infty$-bicategoría
4. Motivación de la Investigación: Establecer una teoría completa de fibraciones de $\infty$-bicategorías para sentar las bases de una correspondencia de Grothendieck-Lurie completa en el futuro

Contribuciones Principales

1. Introducción de cuatro variantes de fibraciones 2-(co)cartesianas: Fibraciones 2-internas/externas cartesianas/cocartesianas, extendiendo la teoría de fibraciones 1-internas/externas
2. Establecimiento de la teoría de propiedades de levantamiento de triángulos internos/externos: Mediante el concepto de triángulos izquierdo/derecho $p$-internos/externos, se caracterizan las propiedades (co)cartesianas a nivel de 2-morfismos
3. Demostración del criterio de verificación fibra a fibra para equivalencias de fibraciones: El Teorema 2.5.1 muestra que la equivalencia de fibraciones 2-internas/externas (co)cartesianas puede verificarse en cada fibra
4. Construcción de ejemplos universales clave: Se demuestra que la proyección de dominio $d: Fun_{gr}(\Delta^1, C) \to C$ es prototípica de una fibración 2-externa cartesiana
5. Establecimiento de la correspondencia entre categorías enriquecidas y modelos de $\infty$-bicategorías: El Teorema 4.2.4 demuestra la equivalencia entre fibraciones 2-internas/externas (co)cartesianas enriquecidas y las correspondientes fibraciones de $\infty$-bicategorías

Explicación Detallada de Métodos

Sistema de Definiciones Centrales

Triángulos 2-Internos/Externos: Para una fibración débil $p: E \to B$ y un triángulo $\sigma: \Delta^2 \to E$:

• Izquierdo $p$-interno: Cuando la flecha correspondiente en $E/\sigma(2) \to E \times_B B/p\sigma(2)$ es fuertemente cartesiana
• Derecho $p$-interno: Cuando la flecha correspondiente en $E_{\sigma(0)/} \to E \times_B B_{p\sigma(0)/}$ es fuertemente cocartesiana
• Izquierdo $p$-externo: Cuando la flecha correspondiente en $E/\sigma(2) \to E \times_B B/p\sigma(2)$ es fuertemente cocartesiana
• Derecho $p$-externo: Cuando la flecha correspondiente en $E_{\sigma(0)/} \to E \times_B B_{p\sigma(0)/}$ es fuertemente cartesiana

Definición de Fibraciones

Fibración 2-Interna: Una fibración débil $p: E \to B$ es una fibración 2-interna si y solo si cada triángulo en $B$ tiene suficientes levantamientos izquierdo y derecho $p$-internos

Fibración 2-Externa: Una fibración débil $p: E \to B$ es una fibración 2-externa si y solo si:

1. Cada triángulo en $B$ tiene suficientes levantamientos izquierdo y derecho $p$-externos
2. Los triángulos izquierdo $p$-externos son cerrados bajo "whiskering" derecho, y los triángulos derecho $p$-externos son cerrados bajo "whiskering" izquierdo

Puntos de Innovación Técnica

1. Técnica de Triángulos Congruentes: Mediante el concepto izquierdo/derecho congruente de la Definición 2.3.3, se reducen las propiedades de triángulos generales a casos degenerados
2. Lema de Extensión: El Lema 3.0.2 proporciona la propiedad de extensión clave utilizada para demostrar la propiedad 2-externa cartesiana de la proyección de dominio
3. Técnica de Verificación Fibra a Fibra: Se utiliza el "homotopy pullback" y propiedades de cambio de base para establecer criterios de equivalencia fibra a fibra

Resultados Teóricos Principales

Teorema 2.5.1 (Verificación Fibra a Fibra de Equivalencia de Fibraciones)

Considérese un morfismo de fibraciones 2-internas/externas (co)cartesianas:

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

Si $f$ es una equivalencia de $\infty$-bicategorías, entonces $r$ es una equivalencia si y solo si los mapeos inducidos $r_b: E_b \to E'_{f(b)}$ son equivalencias de $\infty$-bicategorías para todo $b \in B$.

Teorema 3.0.7 (Propiedad de Fibración de la Proyección de Dominio)

Para una $\infty$-bicategoría $C$, la proyección de dominio $d: Fun_{gr}(\Delta^1, C) \to C$ es una fibración 2-externa cartesiana, donde:

• Los 1-símplices $d$-cartesianos corresponden a cuadrados conmutativos con la arista $\hat{\alpha}(\{1\} \times \Delta^1)$ siendo una equivalencia
• Los triángulos derecho $p$-externos satisfacen condiciones específicas de compatibilidad con "whiskering"

Teorema 4.2.4 (Correspondencia de Categorías Enriquecidas)

Sea $p: E \to B$ una fibración de $Cat_\infty$-categorías, entonces $p$ es una fibración enriquecida 2-interna (resp. 2-externa) cartesiana si y solo si $N^{sc}(p): N^{sc}E \to N^{sc}B$ es una fibración 2-interna (resp. 2-externa) cartesiana de $\infty$-bicategorías.

Herramientas Técnicas y Métodos

Marco de Conjuntos Simpliciales Escalados

• Se utilizan conjuntos simpliciales escalados $(X, T_X)$ como modelo para $\infty$-bicategorías
• Los triángulos delgados $T_X$ codifican información sobre invertibilidad de 2-morfismos
• Los mapeos "scaled anodyne" definen propiedades de extensión para $\infty$-bicategorías

Técnica de Construcciones de Cortes

• Se utiliza la construcción de "join" y cortes para $C/y$ y $C_{x/}$
• Se establece mapeo mediante adjunción de "marked-scaled simplicial sets" a categorías de funtores

Método de Categorías de Modelos

• Se utiliza la estructura de modelo de Dwyer-Kan para tratar categorías enriquecidas
• Se conectan diferentes modelos mediante la equivalencia de Quillen $N^{sc} \dashv C^{sc}$

Aplicaciones y Ejemplos

Análisis de la Proyección de Dominio

Mediante análisis detallado de $Fun_{gr}(\Delta^1, C) \to C$:

• Se demuestra la existencia y unicidad de aristas cartesianas
• Se establecen propiedades de levantamiento de triángulos externos
• Se verifica la condición de compatibilidad con "whiskering"

Aplicación del Producto Tensorial de Gray

• Se utiliza el producto tensorial de Gray $\Delta^1_\flat \otimes (K, T_K)$ para caracterizar cuadrados laxos
• Se establece la correspondencia con la $\infty$-bicategoría de funtores

Comparación con Trabajos Relacionados

Relación con el Trabajo de Lurie

• Extiende la teoría de fibraciones (co)cartesianas de $\infty$-categorías de 12
• Utiliza la teoría fundamental sobre $(\infty,2)$-categorías de 11

Relación con Trabajo Anterior 6

• Generaliza el caso donde la fibra es una $\infty$-categoría al caso donde la fibra es una $\infty$-bicategoría
• Mantiene la clasificación completa de cuatro variantes

Conexión con Buckley 5

• Se inspira en la teoría de fibraciones de 2-categorías
• Realiza la generalización correspondiente en el contexto de $\infty$-categorías

Conclusiones y Discusión

Logros Principales

1. Se establece el marco teórico completo para 2-fibraciones de $\infty$-bicategorías
2. Se demuestran propiedades técnicas clave: invariancia homotópica, verificación de equivalencia fibra a fibra
3. Se construyen ejemplos universales importantes y se establece correspondencia entre diferentes modelos

Significado Teórico

• Sienta las bases para la correspondencia de Grothendieck-Lurie de $\infty$-bicategorías
• Proporciona un método sistemático para tratar fibraciones en categorías superiores
• Conecta diferentes modelos de $(\infty,2)$-categorías

Limitaciones

1. Aún no se ha establecido la correspondencia completa de "straightening-unstraightening"
2. El tratamiento de ciertos detalles técnicos (como compatibilidad con "whiskering") es bastante complejo
3. La comparación con otros modelos de categorías superiores requiere investigación adicional

Direcciones Futuras

1. Establecer la correspondencia completa de Grothendieck-Lurie para $\infty$-bicategorías
2. Investigar fibraciones localmente (co)cartesianas
3. Aplicaciones a geometría algebraica derivada y teoría de operadas

Evaluación Profunda

Ventajas Técnicas

1. Sistematicidad: Proporciona un marco unificado para el tratamiento de cuatro variantes
2. Completitud: Establece una cadena teórica completa desde definiciones fundamentales hasta teoremas principales
3. Profundidad Técnica: Utiliza ingeniosamente herramientas técnicas como triángulos congruentes y lemas de extensión
4. Independencia de Modelo: Establece la robustez de la teoría mediante correspondencia entre diferentes modelos

Innovación Metodológica

1. Generaliza naturalmente conceptos (co)cartesianos de dimensión 1 a dimensión 2
2. Maneja la complejidad de variantes a nivel de 2-morfismos mediante clasificación interna/externa
3. Desarrolla nuevas técnicas para tratar compatibilidad con "whiskering"

Contribuciones Teóricas

1. Llena un vacío importante en la teoría de fibraciones de $(\infty,2)$-categorías
2. Proporciona herramientas fundamentales para el desarrollo futuro de la teoría de categorías superiores
3. Establece conexiones orgánicas con la teoría clásica de 2-categorías

Impacto Potencial

Este trabajo abre nuevas vías para aplicaciones de la teoría de $(\infty,2)$-categorías, particularmente en:

• Teoría de "sheaves" en geometría algebraica derivada
• Teoría de operadas superiores
• Investigación de $(\infty,2)$-categorías monoidales simétricas

Este artículo representa un hito importante en el desarrollo de la teoría de $(\infty,2)$-categorías, sentando una base teórica sólida para el desarrollo futuro de este campo.