Cores and localizations of $(\infty,\infty)$-categories

El artículo compara las dos $(\infty,1)$-categorías resultantes de aplicar los funtores de núcleo y localización a las $(\infty,d)$-categorías en el límite $d\to\infty$, demostrando que la localización es una localización reflexiva del núcleo e investigando localizaciones intermedias definidas por nociones de invertibilidad emergentes como la inducida por coinducción.

Lo esencial

Imagina que las matemáticas modernas, específicamente la teoría de categorías, son como un universo de bloques de construcción infinitamente complejos.

Normalmente, cuando construimos algo, usamos bloques de diferentes tamaños:

• Bloques 0: Puntos (objetos).
• Bloques 1: Flechas que conectan puntos.
• Bloques 2: Flechas que conectan flechas (transformaciones).
• Bloques 3: Flechas que conectan flechas de flechas, y así sucesivamente hasta el infinito.

A esto le llamamos una $(\infty, \infty)$-categoría. Es una estructura donde todo está conectado por flechas de todos los niveles posibles. Pero aquí surge un problema gigante: ¿Qué significa que una flecha sea "invertible" (que puedas deshacer lo que hizo)?

En niveles bajos, es fácil: si $A \to B$ es una flecha, su inversa es $B \to A$ y al juntarlas vuelves al inicio. Pero en este universo infinito, las "reglas" para volver al inicio no son igualdades estrictas, sino que son otras flechas que conectan el resultado con el inicio, y esas a su vez necesitan sus propias reglas... ¡un bucle infinito!

Los autores de este paper (Ozornova, Rovelli y Walde) se preguntaron: ¿Cómo podemos entender este universo infinito? Y descubrieron que hay dos formas principales de mirar estas estructuras, como si tuvieras dos lentes de realidad diferente.

1. Los dos lentes: El "Núcleo" y la "Localización"

Imagina que tienes una caja llena de juguetes (tu categoría). Tienes dos formas de simplificarla para entenderla mejor:

Lente A: El Núcleo (The Core) - La visión conservadora

Imagina que tienes un filtro que borra todo lo que no se puede deshacer perfectamente.

• Si tienes una flecha que va de A a B pero no tiene una forma clara de volver a A, ¡la borras!
• Solo dejas las conexiones que son "reversibles" o "equivalentes".
• Resultado: Obtienes una versión muy pura, donde todo es esencialmente una "identidad" o una "igualdad". Es como si solo te quedaran los objetos y las formas de decir "esto es lo mismo que aquello".
• En el paper, a esto lo llaman $Cat^R_\infty$ (Categorías "derecha" o de núcleo). Es el universo donde solo existen las "verdades" indiscutibles.

Lente B: La Localización (The Localization) - La visión agresiva

Imagina que tienes una máquina que toma todo lo que no se puede deshacer y lo fuerza a serlo.

• Si tienes una flecha $A \to B$ que no tiene inversa, la máquina le pega un "inverso mágico" artificialmente.
• Ahora, aunque antes no podías volver, ahora puedes.
• Resultado: Obtienes una versión donde todo es reversible, pero a costa de que muchas cosas que antes eran diferentes ahora se vuelven idénticas. Es como si aplastaras el universo hasta que todo colapse en un solo punto.
• En el paper, a esto lo llaman $Cat^L_\infty$ (Categorías "izquierda" o localizadas).

2. El conflicto: ¿Cuál es la "realidad"?

El paper descubre algo fascinante: Estos dos universos no son iguales.

• Si tomas un objeto complejo (como el universo de "espans" o cobordismos, que son formas geométricas de conectar cosas) y lo miras con el Lente del Núcleo, sigue siendo una estructura rica y compleja.
• Si lo miras con el Lente de la Localización, ¡se aplasta! Se vuelve trivial. Es como si la máquina de "forzar inversos" hubiera destruido toda la estructura interesante.

La gran conclusión del paper:
El universo de la Localización ($Cat^L$) es, en realidad, una versión simplificada y "colapsada" del universo del Núcleo ($Cat^R$).

• Existe una relación matemática donde puedes pasar del universo rico ($Cat^R$) al universo colapsado ($Cat^L$) de forma natural.
• Pero no puedes hacer lo contrario sin perder información. El universo colapsado es un "espejo roto" del universo rico.

3. La analogía de la "Coinducción" (El bucle infinito)

Aquí es donde entra la parte más creativa del paper. Los autores hablan de un tipo especial de "invertibilidad" llamada coinductiva.

Imagina que quieres probar que una flecha es reversible.

• Método normal (Inducción): Dices "Tengo una flecha, y aquí está su inversa, y listo".
• Método Coinductivo (El bucle): Dices "Tengo una flecha, y aquí está un candidato a inverso. Pero espera, ese candidato también necesita un inverso para su inverso, y ese otro también necesita uno... y así hasta el infinito".

Es como un espejo frente a un espejo: ves una imagen infinita de reflexiones.

• En el universo del Núcleo ($Cat^R$), estas reflexiones infinitas son válidas y crean estructuras nuevas y ricas.
• En el universo de la Localización ($Cat^L$), estas reflexiones infinitas se consideran "trivialmente verdaderas" y se colapsan.

Los autores muestran que hay un punto medio. Hay un universo intermedio (llamado $\omega$-completo) donde las reflexiones infinitas son "suficientemente buenas" para ser aceptadas, pero no tan buenas como para colapsar todo.

4. ¿Por qué importa esto? (El resumen en una frase)

El paper nos dice que cuando intentamos entender la matemática del infinito, depende de qué reglas de "reversibilidad" elijas, obtendrás mundos completamente diferentes.

• Si eliges la regla estricta (solo lo que ya es reversible), obtienes un mundo rico y complejo.
• Si eliges la regla flexible (hacemos reversible todo), obtienes un mundo simple pero vacío.
• Y lo más importante: El mundo simple es una sombra del mundo rico. No puedes entender el mundo rico simplemente colapsándolo; necesitas entender la diferencia entre "ser reversible" y "hacerse reversible".

En resumen:
Los autores han dibujado un mapa que muestra cómo dos formas de ver la realidad matemática infinita están conectadas. Una es la "verdad pura" (Núcleo) y la otra es la "verdad forzada" (Localización). Han demostrado que la segunda es una versión simplificada de la primera, y han descubierto los límites exactos de dónde termina la riqueza y dónde comienza el colapso, usando conceptos como "coinducción" (bucles infinitos) para explicar por qué algunas estructuras matemáticas son más profundas que otras.

Resumen técnico

Aquí presento un resumen técnico detallado del artículo "CORES AND LOCALIZATIONS OF (∞, ∞)-CATEGORIES" (Núcleos y Localizaciones de (∞, ∞)-Categorías) de Viktoria Ozornova, Martina Rovelli y Tashi Walde.

1. El Problema Central

El artículo aborda la definición y estructura de las $(\infty, \infty)$-categorías. A diferencia de las $(\infty, d)$-categorías para $d$ finito (donde las flechas de dimensión $>d$ son invertibles), el caso $d \to \infty$ presenta una ambigüedad fundamental sobre qué significa que una flecha sea "invertible" en un sistema infinito.

Existen dos enfoques naturales para construir el límite de la secuencia de categorías $(\infty, d)$:

1. El límite del núcleo (Core-limit): Se toma el límite de la secuencia de inclusiones $Id: \text{Cat}_{(\infty, d)} \hookrightarrow \text{Cat}_{(\infty, d+1)}$ aplicando el núcleo ($R_d$), que elimina todas las flechas no invertibles de dimensión $d+1$. Esto produce la categoría de $(\infty, \infty)$-categorías derechas ($\text{Cat}^R_\infty$).
2. El límite de localización (Localization-limit): Se toma el límite aplicando la localización ($L_d$), que invierte formalmente todas las flechas de dimensión $d+1$. Esto produce la categoría de $(\infty, \infty)$-categorías izquierdas ($\text{Cat}^L_\infty$).

El problema central es entender la relación entre estas dos categorías resultantes, $\text{Cat}^R_\infty$ y $\text{Cat}^L_\infty$. ¿Son equivalentes? Si no lo son, ¿cuál es la relación exacta y qué propiedades distinguen a una de la otra?

2. Metodología

Los autores emplean una combinación de teoría de categorías de alta dimensión, teoría de homotopía y un enfoque axiomático abstracto:

• Sistemas Bi-inductivos: En lugar de trabajar directamente con modelos específicos (como complejos de complicidad o modelos simpliciales), los autores abstraen la estructura de las secuencias de inclusiones $\text{Cat}_d \hookrightarrow \text{Cat}_{d+1}$ y sus adjuntos ($L_d$ y $R_d$) en un sistema axiomático llamado sistema bi-inductivo con sesgo (biased biinductive system).
• Sesgo (Bias): Introducen una noción de "sesgo" mediante una secuencia de subcategorías anchas $S_n$ (definidas por la $n$-sobreyectividad) que capturan las propiedades esenciales de los núcleos y las localizaciones.
• Análisis de Sobreyectividad: Utilizan la noción de $n$-sobreyectividad (generalización de la $n$-conexión en espacios) para caracterizar las equivalencias y las localizaciones.
• Isomorfismos Coinductivos: En la sección final, estudian nociones internas de invertibilidad dentro de las $(\infty, \infty)$-categorías, definiendo isomorfismos coinductivos (flechas que admiten inversos "hasta el infinito" de manera coinductiva) y $\omega$-isomorfismos (inversos hasta una altura finita $n$ para todo $n$).

3. Contribuciones Clave y Resultados Principales

A. El Teorema Principal: Localización Reflexiva

El resultado central del artículo es el Teorema 4.25, que establece la relación entre las categorías izquierda y derecha:

• Existe una adjunción reflexiva entre las dos categorías:
  $$L: \text{Cat}^R_\infty \rightleftarrows \text{Cat}^L_\infty : R$$
• El funtor derecho $R$ es plenamente fiel.
• El funtor izquierdo $L$ es una localización que invierte exactamente los débilmente $\infty$-sobreyectivos (weakly $\infty$-surjective maps).
• Consecuencia: $\text{Cat}^L_\infty$ es una localización reflexiva de $\text{Cat}^R_\infty$. Esto significa que $\text{Cat}^L_\infty$ es un subcategoría plena de $\text{Cat}^R_\infty$ (identificada vía $R$), pero la inclusión no es una equivalencia; $L$ "colapsa" ciertos objetos.

B. Caracterización de la Localización

Los autores demuestran que la localización $L$ invierte las flechas que son débilmente $\infty$-sobreyectivas. Una flecha $F$ es débilmente $\infty$-sobreyectiva si, para cada $n$, la aplicación $L_n F_{n+1}$ es $n$-sobreyectiva.

• Ejemplo de colapso: El artículo muestra que la categoría de $(\infty, \infty)$-categorías de spans (correspondencias) se vuelve trivial bajo $L$, mientras que es no trivial en $\text{Cat}^R_\infty$. De manera similar, la categoría de cobordismos se colapsa a su localización $(\infty, 0)$ (un grupoide) debido a la dualidad completa.

C. Completitud Coinductiva y $\omega$-Completitud

En la Sección 5, los autores exploran subcategorías definidas por nociones internas de invertibilidad:

• Completitud Coinductiva ($\text{Cat}^{coind}_\infty$): Una categoría es coinductivamente completa si sus únicos isomorfismos coinductivos son los isomorfismos reales. Se demuestra que la localización de $\text{Cat}^R_\infty$ en los isomorfismos coinductivos coincide con la localización en las aplicaciones $\infty$-sobreyectivas (Corolario 5.31).
• Relación con $L$: Se prueba que $\text{Cat}^L_\infty$ está contenida en $\text{Cat}^{coind}_\infty$, pero la inclusión es estricta.
• Completitud $\omega$: Se introduce la noción de $\omega$-completitud (donde los $\omega$-isomorfismos son isomorfismos).
  • Se demuestra que todo objeto en la imagen de $R$ (es decir, en $\text{Cat}^L_\infty$) es $\omega$-completo (Proposición 5.55).
  • Sin embargo, existe un contraejemplo (de Henry-Loubaton) de una categoría que es coinductivamente completa pero no es $\omega$-completa, y por tanto no está en la imagen de $R$.

D. Conjeturas y Preguntas Abiertas

El artículo deja abierta la Conjetura 5.57 (de Loubaton), que propone que la imagen de $R$ es exactamente la categoría de las $\omega$-categorías completas ($\text{Cat}^\omega_\infty$).

• Esto equivaldría a que la localización $L: \text{Cat}^\omega_\infty \to \text{Cat}^L_\infty$ sea una equivalencia.
• Los autores muestran que esto depende de si la "sobreyectividad $\infty$ hasta $\omega$-isomorfismos" es equivalente a la "sobreyectividad $\infty$ hasta $n$-isomorfismos para todo $n$".

4. Significado e Impacto

1. Resolución de la Ambigüedad: El trabajo clarifica que no existe una única noción de $(\infty, \infty)$-categoría. Existen dos versiones canónicas (izquierda y derecha) relacionadas por una localización no trivial. La versión "derecha" ($\text{Cat}^R_\infty$) es la más "grande" y contiene estructuras ricas como los spans, mientras que la "izquierda" ($\text{Cat}^L_\infty$) es una versión más "pequeña" y rígida donde ciertas estructuras se colapsan.
2. Herramientas Axiomáticas: La introducción de los "sistemas bi-inductivos con sesgo" proporciona un marco poderoso para estudiar límites de categorías de alta dimensión sin depender de un modelo específico (como los conjuntos complicados o los modelos de Kan), lo que hace que los resultados sean robustos y aplicables en diversos contextos sintéticos.
3. Conexión con la Teoría de Homotopía: La distinción entre completitud coinductiva y $\omega$-completitud revela sutilezas profundas sobre cómo la infinitud afecta la invertibilidad. Muestra que la "completitud" en el límite infinito no es simplemente el límite de las completitudes finitas, sino que requiere condiciones adicionales (como la $\omega$-completitud) para recuperar la estructura de la localización izquierda.
4. Aplicaciones: Los resultados tienen implicaciones para la teoría de la dualidad completa (cobordismos) y la teoría espectral categórica, indicando que ciertas construcciones que funcionan en dimensiones finitas pueden comportarse de manera patológica o trivializarse al pasar al límite infinito si no se elige la noción correcta de $(\infty, \infty)$-categoría.

En resumen, el artículo establece que $\text{Cat}^L_\infty$ es una localización reflexiva de $\text{Cat}^R_\infty$, y que la diferencia entre ambas radica en la presencia de isomorfismos coinductivos que no son isomorfismos reales, un fenómeno que solo se manifiesta plenamente en la dimensión infinita.