Sobre sistemas de factorización ortogonal y categorías dobles

Información Básica

• ID del artículo: 2501.01363
• Título: On orthogonal factorization systems and double categories
• Autor: Branko Juran (Universidad de Copenhague)
• Clasificación: math.CT (Teoría de Categorías), math.AT (Topología Algebraica)
• Fecha de publicación: 2 de enero de 2025
• Enlace del artículo: https://arxiv.org/abs/2501.01363

Resumen

En este artículo se demuestra que la ∞-categoría de sistemas de factorización ortogonal se incrusta de manera completamente fiel en la ∞-categoría de ∞-categorías dobles. Además, se prueba la equivalencia de (des)enderezamiento para ∞-categorías dobles, que se restringe a la equivalencia de (des)enderezamiento de fibraciones op-Gray y fibraciones ortogonales curvadas de sistemas de factorización ortogonal.

Contexto de investigación y motivación

Antecedentes del problema

1. Origen histórico: Los sistemas de factorización ortogonal y las categorías dobles son objetos clásicos en teoría de categorías, que se remontan respectivamente a los trabajos de MacLane Mac50 y Ehresmann Ehr63. Sus análogos en ∞-categorías fueron introducidos por Joyal Joy08 y Haugseng Hau13, desempeñando un papel igualmente importante en la teoría de categorías de orden superior.
2. Características comunes: Ambos conceptos involucran estructuras categóricas equipadas con dos clases distinguidas de morfismos:
   • Sistemas de factorización ortogonal: categorías con dos clases de morfismos, donde todo morfismo se descompone de manera única como composición de un morfismo de la primera clase con uno de la segunda
   • Categorías dobles: categorías con dos tipos distintos de morfismos (verticales y horizontales) que no pueden componerse directamente, pero cuya compatibilidad se atestigua mediante "cuadrados"

Motivación de la investigación

Desde esta perspectiva, las categorías dobles parecen ser una generalización de los sistemas de factorización ortogonal. El objetivo de este artículo es precisar esta intuición en el contexto de ∞-categorías, construir un funtor desde sistemas de factorización ortogonal a ∞-categorías dobles, e investigar sus propiedades.

Problema central

¿Cómo describir precisamente la relación entre sistemas de factorización ortogonal y categorías dobles, y cómo utilizar esta relación para comprender la teoría de fibraciones relacionada?

Contribuciones principales

1. Construcción de incrustación completamente fiel: Se demuestra que el funtor Fact : OFS ↪ DCat desde la ∞-categoría de sistemas de factorización ortogonal a la ∞-categoría de ∞-categorías dobles es completamente fiel
2. Caracterización de la imagen esencial: Se determina que la imagen esencial de esta incrustación es precisamente la de ∞-categorías dobles que satisfacen condiciones específicas (categorías dobles de factorización)
3. Establecimiento de equivalencia de fibraciones: Se prueba la equivalencia entre fibraciones ortogonales curvadas de sistemas de factorización ortogonal y fibraciones (cocart, right) de categorías dobles
4. Prueba de equivalencia de (des)enderezamiento: Se establece la equivalencia de (des)enderezamiento para ∞-categorías dobles
5. Cálculo de grupos de automorfismos: Se describe completamente que el grupo de automorfismos de la categoría de sistemas de factorización ortogonal suficientes es Z/2Z, con generador dado por el funtor de la categoría de spans

Explicación detallada de métodos

Construcción central

Definición del funtor Fact

Construcción 3.3: Se construye el funtor mediante restricción de la incrustación de Yoneda:

Fact : OFS → PSh(Δ×Δ)

a lo largo de los objetos biduales simples:

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

Para un sistema de factorización ortogonal C† = (C, C_eg, C_in), Fact(C†) es una categoría doble donde:

• Objetos: objetos de C
• Morfismos horizontales: morfismos en C_eg
• Morfismos verticales: morfismos en C_in
• Cuadrados: cuadrados conmutativos

Caracterización de categorías dobles de factorización

Proposición 3.1: Una categoría doble C es una categoría doble de factorización si y solo si satisface una de las siguientes condiciones equivalentes:

1. El cuadrado C(1,1) → C(1,0) × C(0,1) ← C(0,0) es un retroceso
2. El funtor C(-,d₀) : C(-,1) → C(-,0) es una fibración izquierda
3. El funtor C(d₁,-) : C(1,-) → C(0,-) es una fibración derecha

Estas condiciones codifican precisamente que la composición de morfismos en el "orden incorrecto" puede reescribirse de manera única como composición en el "orden correcto".

Construcción del funtor inverso

Construcción 3.14: Se construye el funtor inverso Cnr: DCat_OF → OFS:

1. Para una categoría doble C, se define la categoría de esquinas cnr(C) mediante restricción de la incrustación de Yoneda:

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

2. Se prueba que cuando C es una categoría doble de factorización, cnr(C) es un espacio de Segal completo
3. Se construye el sistema de factorización ortogonal mediante los funtores naturales C(-,0) → cnr(C) y C(0,-) → cnr(C)

Lemas técnicos clave

Lema 3.12: Se prueba la igualdad de saturaciones de dos clases de morfismos:

• El morfismo ([0]⊠[1]) ∪ ([1]⊠[0]) → [1]⊠[1]
• La inclusión de espina I_n(Ar(-)) → Ar(n) (n≥2)

Este lema es fundamental para conectar las condiciones de localidad de categorías dobles con las propiedades de sistemas de factorización ortogonal.

Teoremas principales

Teorema A (Teorema 3.19)

El funtor Fact : OFS ↪ DCat es completamente fiel, y su imagen esencial es precisamente la de categorías dobles de factorización.

Esquema de la prueba:

1. Se construye el funtor inverso Cnr: DCat_OF → OFS
2. Se prueba que las transformaciones unitaria y coununitaria son equivalencias
3. Se completa la prueba utilizando las Proposiciones 3.16 y 3.18

Teorema B (Teorema 4.6)

Para una ∞-categoría doble C, existe una equivalencia natural:

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

Esto confirma lo esperado en Nui24, Observación 2.14.

Teorema C (Teorema 5.5)

El grupo de automorfismos de la categoría de sistemas de factorización ortogonal suficientes es:

Aut(OFS⊥) ≅ Z/2Z

con generador dado por el funtor de la categoría de spans.

Teoría de fibraciones

Correspondencia de fibraciones

Proposición 4.5: El funtor Fact induce equivalencias:

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

Esto muestra que las fibraciones de sistemas de factorización ortogonal pueden verse como casos especiales de fibraciones de categorías dobles.

Equivalencia de (des)enderezamiento

Al conectar la teoría de fibraciones de categorías dobles con la teoría de fibraciones de sistemas de factorización ortogonal, se obtiene un marco unificado para comprender estas estructuras.

Suficiencia y categoría de spans

Caracterización de sistemas de factorización suficientes

Definición 5.1: Un sistema de factorización ortogonal C† se llama suficiente si:

1. Todo cuadrado ambiguo es un retroceso
2. Todo cospan ambiguo admite un retroceso

Proposición 5.4: Un sistema de factorización ortogonal C† es suficiente si y solo si Fact(C†) es suficiente (es decir, Fact(C†)^{1 op} también es una categoría doble de factorización).

Recuperación de la categoría de spans

Corolario 5.6: Para un sistema de factorización suficiente C†, existe una equivalencia natural:

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

Esto recupera la construcción de la categoría de spans mediante operaciones de categorías dobles, evitando la combinatoria de complejos simpliciales usualmente involucrada.

Puntos de innovación técnica

1. Marco unificado: Primera vez que se establece una correspondencia precisa entre sistemas de factorización ortogonal y categorías dobles a nivel de ∞-categorías
2. Unificación de fibraciones: Se unifican conceptos de fibraciones aparentemente distintos (fibraciones ortogonales curvadas, fibraciones op-Gray, etc.) en el marco de fibraciones de categorías dobles
3. Métodos de cálculo: Se proporcionan nuevas herramientas computacionales mediante operaciones de categorías dobles para calcular grupos de automorfismos
4. Caracterización de localidad: Se utilizan condiciones de localidad para caracterizar precisamente categorías dobles de factorización, conectando estructuras matemáticas distintas

Trabajo relacionado

Desarrollo histórico

• Teoría clásica: Teoría de sistemas de factorización ortogonal de MacLane, teoría de categorías dobles de Ehresmann
• Generalización a ∞-categorías: Sistemas de factorización ortogonal en ∞-categorías de Joyal, ∞-categorías dobles de Haugseng
• Avances recientes: Resultados análogos de Štěpán Ště23 en el caso de 1-categorías

Teoría de fibraciones

• Serie de trabajos HHLN: Teoría de fibraciones establecida en HHLN23a,HHLN23b
• Trabajo de Nuiten: Investigación sobre fibraciones de categorías dobles Nui24
• Suficiencia de Barwick: Teoría de sistemas de factorización suficientes Bar17

Conclusiones y discusión

Conclusiones principales

1. Los sistemas de factorización ortogonal se incrustan completamente en categorías dobles, con imagen esencial siendo categorías dobles de factorización
2. La teoría de fibraciones relacionada corresponde completamente
3. El grupo de automorfismos de sistemas de factorización suficientes es Z/2Z
4. La construcción de categoría de spans puede entenderse mediante operaciones de categorías dobles

Significado teórico

• Comprensión unificada: Proporciona una perspectiva unificada para dos conceptos importantes de teoría de categorías
• Herramientas computacionales: Ofrece nuevos métodos para calcular y comprender estas estructuras
• Teoría de fibraciones: Extiende el alcance de aplicabilidad de la teoría de fibraciones

Contribuciones técnicas

• Métodos de ∞-categorías: Demuestra el poder de la teoría de ∞-categorías en la comprensión de estructuras clásicas
• Técnicas de localidad: Desarrolla técnicas para caracterizar objetos matemáticos utilizando condiciones de localidad
• Construcción de funtores: Proporciona métodos sistemáticos para establecer conexiones entre estructuras categóricas distintas

Evaluación profunda

Fortalezas

1. Profundidad teórica: Establece conexiones profundas entre dos conceptos importantes, con gran valor teórico
2. Técnica refinada: Técnicas de prueba sofisticadas que aprovechan plenamente las herramientas modernas de teoría de ∞-categorías
3. Resultados completos: No solo establece la correspondencia fundamental, sino que también desarrolla la teoría de fibraciones correspondiente
4. Valor computacional: Proporciona resultados concretos (grupos de automorfismos)

Innovación

1. Innovación conceptual: Primera precisión a nivel de ∞-categorías de la relación entre sistemas de factorización ortogonal y categorías dobles
2. Innovación metodológica: Aplicación innovadora de condiciones de localidad e incrustación de Yoneda
3. Contribución teórica: Proporciona un nuevo marco unificado para la teoría de fibraciones

Limitaciones

1. Nivel de abstracción: Altamente abstracto, lo que puede limitar aplicaciones directas
2. Requisitos de especialización: Requiere profundo conocimiento de teoría de ∞-categorías
3. Complejidad computacional: Aunque proporciona un marco teórico, los cálculos concretos pueden seguir siendo complejos

Impacto

1. Impacto teórico: Proporciona una nueva perspectiva unificada para teoría de categorías
2. Impacto metodológico: Demuestra el poder de los métodos de ∞-categorías
3. Investigación posterior: Sienta las bases para investigación adicional en campos relacionados

Escenarios de aplicación

• Investigación en teoría de categorías de orden superior
• Teoría de fibraciones en topología algebraica
• Investigación de sistemas de descomposición en teoría de homotopía
• Desarrollo de teoría de categorías dobles

Referencias bibliográficas

El artículo cita una amplia bibliografía, incluyendo:

• Literatura clásica: MacLane Mac50, Ehresmann Ehr63
• Teoría de ∞-categorías: Lurie Lur09b, Lur17, Joyal Joy08
• Trabajos modernos relacionados: Serie HHLN HHLN23a,HHLN23b, Nuiten Nui24, Štěpán Ště23

Este artículo contribuye resultados teóricos importantes al campo de la teoría de categorías, no solo estableciendo una correspondencia precisa entre dos conceptos importantes, sino también desarrollando la teoría de fibraciones correspondiente, demostrando el poder de la teoría de ∞-categorías en la comprensión y unificación de estructuras matemáticas clásicas.