Fat Lie Theory

Este artículo introduce la "teoría grasa" como una nueva perspectiva en la teoría de representaciones de grupoides y algebroides, estableciendo correspondencias biunívocas y equivalencias de categorías entre extensiones grasas, representaciones abstractas de 2 términos, PB-grupoides lineales y doble grupoides, generalizando así resultados previos de Brown, Jotz-Lean y Mackenzie.

Lo esencial

Imagina que el mundo de las matemáticas avanzadas, específicamente el de las Lie Groupoids (grupos de Lie) y sus "primos" los Lie Algebroids, es como un vasto universo de formas geométricas que se mueven y se transforman.

Hasta ahora, los matemáticos tenían dos formas principales de estudiar estas formas:

1. Como máquinas complejas: Mirando cómo se mueven las piezas (los "VB-groupoids").
2. Como ecuaciones abstractas: Escribiendo reglas de cómo interactúan (las "representaciones hasta la homotopía" o ruths).

El problema es que saltar de una visión a la otra a veces era como intentar traducir un idioma a otro sin un diccionario perfecto.

¿Qué propone este paper?
Lennart Obster, el autor, presenta una nueva herramienta llamada "Fat Lie Theory" (Teoría de Lie "Gordita").

La Analogía de la "Gordura" (Fat)

Imagina que tienes un objeto geométrico delgado, como una hoja de papel (el grupo de Lie original). Para entenderlo mejor, decides ponerle una "capa de grasa" o un "cuerpo extra" alrededor. A esto lo llamamos la extensión "Fat".

• El objeto original (G): Es la estructura base.
• La "grasa" (H): Es una capa de información extra que rodea al objeto. No es aleatoria; es una capa muy específica que contiene información sobre cómo el objeto se puede deformar o "estirar" sin romperse.
• El objeto "Fat" (F): Es el objeto original + su capa de grasa.

¿Por qué es útil esta "grasa"?

El autor descubre que esta "grasa" no es solo un adorno. Es el puente perfecto entre dos mundos que antes parecían desconectados:

1. El mundo de las Máquinas (VB-groupoids): Si tomas un objeto geométrico complejo (como un grupo de vectores que se mueve), puedes "engordarlo" (crear su versión Fat).
2. El mundo de las Ecuaciones (Ruths): Esa misma versión "engordada" contiene, escondida dentro de su grasa, las ecuaciones exactas que describen cómo funciona el objeto.

La gran revelación:
El paper demuestra que hay una correspondencia uno a uno perfecta.

• Si tienes la "máquina" (VB-groupoid), puedes construir su "versión gordita".
• Si tienes la "versión gordita", puedes extraer las "ecuaciones" (ruths).
• Y viceversa.

Es como si descubrieras que cada tipo de coche (máquina) tiene un manual de instrucciones único (ecuaciones) que está impreso en el chasis del coche mismo, pero solo puedes leerlo si miras el coche desde un ángulo específico (la perspectiva "Fat").

Analogías Cotidianas

1. El Mapa y el Terreno:

   • Antes, tenías el terreno (la geometría) y tenías el mapa (las ecuaciones). A veces, el mapa no coincidía perfectamente con el terreno.
   • La "Teoría Fat" es como un GPS 3D. No solo te dice dónde estás (el terreno), sino que te muestra la elevación, la textura y las rutas ocultas (la grasa) que conectan tu posición con el mapa de manera exacta.

2. El Traductor Universal:

   • Imagina que los matemáticos hablan dos dialectos: el dialecto de las "Formas" y el dialecto de las "Reglas".
   • La "Fat Lie Theory" es el diccionario definitivo. Obster nos dice: "No necesitas traducir palabra por palabra. Solo mira la estructura 'Fat' (la versión engordada) y verás que ambas lenguas son, en realidad, la misma cosa vista desde diferentes lados".

3. La Caja de Herramientas:

   • Piensa en un grupo de Lie como una caja de herramientas vacía.
   • Las "representaciones" son las instrucciones de cómo usar las herramientas.
   • La "extensión Fat" es la caja de herramientas llena. Al abrirla, ves que las herramientas están organizadas de tal manera que las instrucciones saltan a la vista. La "grasa" es el espacio entre las herramientas que te dice cómo encajan.

¿Qué más hace este paper?

Además de crear este puente, el autor hace tres cosas importantes:

1. Conecta con otras teorías: Muestra que esta "grasa" también se relaciona con estructuras llamadas "PB-groupoids" (que son como cajas de herramientas con doble fondo) y "Double Groupoids" (cajas dentro de cajas). Es como encontrar que tu nuevo GPS también funciona como brújula y altímetro.
2. El "Infinitesimal" (La versión pequeña): Explica cómo pasar de la versión grande (grupos) a la versión pequeña (algebroids). Es como pasar de ver un avión volando a ver el plano de sus alas. La "grasa" se mantiene incluso cuando el objeto se hace microscópico.
3. Deformaciones: Muestra cómo usar esta teoría para estudiar cómo las formas geométricas pueden cambiar o "deformarse" sin romperse. Es útil para entender la estabilidad de estructuras complejas.

En resumen

Lennart Obster nos dice: "Dejen de intentar traducir entre dos lenguajes matemáticos complicados. En su lugar, miren el objeto con su 'capa de grasa' (Fat Extension). Allí encontrarán que la geometría y las ecuaciones son dos caras de la misma moneda, y que esta nueva perspectiva hace que todo sea más claro, más natural y más fácil de manipular".

Es una teoría que simplifica lo complejo encontrando la estructura oculta que une todo.

Resumen técnico

Resumen Técnico: Fat Lie Theory

1. Planteamiento del Problema

La teoría de representaciones de grupoides y algebroides de Lie ha sido estudiada extensamente desde múltiples perspectivas, incluyendo:

• Representaciones hasta homotopía (ruths): Específicamente las representaciones de 2 términos, que generalizan la representación adjunta.
• VB-grupoides/Algebroides: Estructuras que son grupoides de Lie en la categoría de fibrados vectoriales.
• PB-grupoides: Estructuras relacionadas con fibrados principales y acciones de 2-grupoides.

Aunque se conocen equivalencias de categorías entre estos modelos (por ejemplo, entre ruths de 2 términos y VB-grupoides), la literatura carecía de una unificación axiomática que tratara estas estructuras como objetos intrínsecos, más allá de sus versiones "divididas" (split) que dependen de elecciones de secciones (cleavages). Además, existía una necesidad de entender cómo las estructuras multiplicativas (como tensores multiplicativos) se comportan naturalmente en estos contextos, y cómo la diferenciación (el funtor de Lie) actúa sobre estas estructuras de manera functorial.

El problema central es establecer un marco unificado que:

1. Defina una categoría de extensiones gordas (fat extensions) que sea equivalente a las categorías de VB-grupoides, ruths abstractos y PB-grupoides lineales generales.
2. Proporcione una descripción intrínseca de las representaciones hasta homotopía sin depender de splittings.
3. Establezca una teoría de diferenciación ("Fat Lie theory") que conecte el mundo global (grupoides) con el infinitesimal (algebroides) preservando estas estructuras.

2. Metodología

El autor introduce una nueva perspectiva axiomática basada en la noción de fat groupoid (grupoides gordos) y su generalización a fat extensions. La metodología se desarrolla en los siguientes pasos:

• Definición de Representaciones Abstractas (Abstract Ruths): Se redefine una ruth no como un complejo de cohomología con una estructura dividida, sino como un módulo proyectivo finitamente generado sobre el álgebra de cohomologías del grupoide ($C_G$), equipado con dos diferenciales ($\delta$ de grado +1 y $\nu$ de grado -1) que satisfacen ciertas condiciones de Leibniz y conmutatividad. Esto permite tratar las ruths como objetos intrínsecos.
• Introducción de Fat Extensions: Se define una fat extension de un grupoide $G$ sobre un complejo de 2 términos $C_M \to V_M$ como una extensión exacta corta de grupoides:
  $$1 \to H(V_M, C_M) \to F_G \to G \to 1$$
  donde $H(V_M, C_M)$ es el fibrado de homotopías invertibles (un grupoide de Lie sobre $M$), y $F_G$ (el fat groupoid) actúa sobre el complejo $C_M \to V_M$ de manera compatible con la estructura de homotopía.
• Construcción de Correspondencias: Se demuestran correspondencias biyectivas (y equivalencias de categorías) entre:
  • VB-grupoides $\leftrightarrow$ Fat extensions.
  • Fat extensions $\leftrightarrow$ Ruths abstractos de 2 términos.
  • Fat extensions $\leftrightarrow$ PB-grupoides lineales generales (general linear PB-groupoids).
• Análisis Infinitesimal: Se extiende la teoría al nivel de algebroides, definiendo fat algebroids y demostrando que el funtor de Lie (diferenciación) preserva la estructura de fat extension, mapeando fat groupoids a fat algebroids.
• Teoría de Deformación y Van Est: Se utiliza el complejo de invariantes de las fat extensions para reformular la cohomología de deformación de grupoides y demostrar teoremas de Van Est en este nuevo contexto.

3. Contribuciones Clave

1. Categoría de Fat Extensions: Se introduce formalmente la categoría de fat extensions para grupoides y algebroides. Esta categoría actúa como un "objeto intrínseco" que unifica las representaciones hasta homotopía y los VB-grupoides, eliminando la dependencia de elecciones de cleavages (secciones) que son necesarias en las formulaciones tradicionales de ruths divididas.
2. Equivalencias de Categorías: Se establece un diagrama de equivalencias de categorías que conecta:
   $$\{\text{VB-grupoides}\} \simeq \{\text{Fat extensions}\} \simeq \{\text{Abstract 2-term ruths}\} \simeq \{\text{General linear PB-groupoids}\}$$
   Esto generaliza y clarifica resultados previos de autores como Crainic, Zhu, Gracia-Saz, Mehta, y Cattafi.
3. Nueva Descripción del Complejo de Deformación: Se demuestra que el complejo de cohomología de deformación de un grupoide de Lie es isomorfo al complejo de cohomología de invariantes de su fat groupoid (asociado al grupoide de jets $J^1G$). Esto ofrece una perspectiva geométrica más natural para estudiar deformaciones.
4. Teoría de Lie Gorda (Fat Lie Theory): Se desarrolla el procedimiento de diferenciación para fat extensions. Se prueba que la diferenciación de un fat groupoid de un VB-grupoide produce el fat algebroid del VB-algebroid correspondiente, y que el mapa de Van Est se restringe naturalmente a los complejos de invariantes.
5. Conexión con Extensiones de Núcleo (Core Extensions): Se generaliza el trabajo de Brown, Jotz-Lean y Mackenzie sobre doble grupoides. Se muestra que las fat extensions regulares corresponden a extensiones de núcleo (core extensions) de doble grupoides que son transitivos en el núcleo (core-transitive). Esto une la teoría de fat extensions con la teoría de módulos cruzados y doble grupoides.
6. Tensores Multiplicativos: Se sugiere que los tensores multiplicativos (como los estudiados en el trabajo conjunto [MOV]) surgen naturalmente como objetos definidos sobre fat extensions y sus representaciones, ofreciendo un lenguaje más adecuado para el producto tensorial de VB-grupoides.

4. Resultados Principales

• Teorema de Equivalencia (Teorema 2.13, 7.13, 7.22, 7.24): Se demuestra que el funtor que asigna a un VB-grupoide su fat groupoid (y viceversa) establece una equivalencia de categorías con las fat extensions, los ruths abstractos y los PB-grupoides lineales generales.
• Correspondencia con Doble Grupoides (Teorema A.9): Se prueba que existe una correspondencia uno a uno entre doble grupoides transitivos en el núcleo (vertically core-transitive) y core extensions. En el caso regular, las fat extensions son equivalentes a core extensions de doble grupoides lineales generales.
• Teorema de Van Est para Invariantes (Teorema 9.10, Proposición 9.11): Se demuestra que el mapa de Van Est restringe a un isomorfismo en cohomología (en grados bajos) entre el complejo de cohomología de invariantes de una fat extension de grupoide y el complejo de cohomología de invariantes de su fat algebroid.
• Reformulación de la Cohomología de Deformación (Sección 10): Se muestra que la clase de deformación de un grupoide de Lie puede describirse naturalmente como un 2-cociclo en el complejo de invariantes de su fat groupoid (el grupoide de jets), generalizando resultados de [CMS20].
• Diferenciación Functorial: Se establece que el funtor de Lie actúa sobre la categoría de fat extensions, diferenciando fat groupoids a fat algebroids y preservando la estructura de representación y las condiciones de compatibilidad.

5. Significado e Impacto

El trabajo de Obster es significativo por varias razones:

• Unificación Conceptual: Proporciona un marco axiomático unificado ("Fat Lie Theory") que clarifica la relación entre diferentes formalismos de representación en geometría de Lie. Al tratar las ruths como objetos intrínsecos (abstract ruths), se elimina la ambigüedad de las elecciones de secciones, revelando la estructura subyacente de manera más limpia.
• Nuevas Herramientas para la Geometría: La introducción de fat extensions y su relación con core extensions ofrece nuevas herramientas para estudiar estructuras geométricas en grupoides, como fibrados de marcos, álgebras de Weil y tensores multiplicativos.
• Avance en Teoría de Deformación: La reformulación de la cohomología de deformación en términos de fat extensions y el grupoide de jets proporciona una perspectiva geométrica potente que conecta la teoría global con la infinitesimal de manera más directa a través del mapa de Van Est.
• Puente hacia Dimensiones Superiores: El autor sugiere que este enfoque es un paso fundamental hacia la formulación de teorías de "ruths" de orden superior ($n$-term) y VB-$n$-grupoides, donde la noción de "cleavage débilmente plana normal" (presente en trabajos previos) podría entenderse como una versión dividida de una fat extension abstracta.

En resumen, "Fat Lie Theory" no solo organiza resultados dispersos de la literatura en una estructura coherente, sino que introduce nuevos objetos matemáticos (fat extensions, core extensions) que enriquecen la teoría de representaciones de grupoides y algebroides, ofreciendo nuevas vías para el estudio de la geometría de Lie, la teoría de deformación y las estructuras de orden superior.