Secciones básicas de LA-grupoide

Información Básica

• ID del Artículo: 2511.04289
• Título: Secciones básicas de LA-grupoide
• Autores: Antonio Maglio (Academia Polaca de Ciencias), Fabricio Valencia (Universidade de São Paulo)
• Clasificación: math.DG (Geometría Diferencial)
• Fecha de Presentación: Presentado a arXiv el 6 de noviembre de 2025
• Enlace del Artículo: https://arxiv.org/abs/2511.04289

Resumen

Este artículo define el concepto de secciones básicas para LA-grupoides (LA-groupoids) con aplicación núcleo-ancla inyectiva (injective core-anchor map). Se demuestra que este concepto es invariante de Morita, proporcionando así un modelo más simple para las secciones de los algebroides de Lie apilados (stacky Lie algebroids) presentados por tales LA-grupoides, pero equivalente al modelo bien conocido de secciones multiplicativas.

Contexto e Motivación de la Investigación

Problema de Investigación

El problema central de investigación es: ¿Cómo definir un modelo de espacio de secciones simplificado e invariante de Morita para LA-grupoides con aplicación núcleo-ancla inyectiva?

Importancia del Problema

1. Aplicaciones Generalizadas de Grupoides de Lie: Los grupoides de Lie son un marco importante en la geometría diferencial moderna, unificando múltiples objetos geométricos como variedades, grupos de Lie, acciones de grupos de Lie, sumersiones, estructuras foliadas, pseudogrupos, fibrados vectoriales y fibrados principales.
2. Estructura Geométrica de Pilas Diferenciables: Los grupoides de Lie pueden considerarse como un paso intermedio en la definición de pilas diferenciables (differentiable stacks), que son espacios que permiten singularidades, generalizando variedades, orbifolds y espacios de hojas de estructuras foliadas singulares.
3. Importancia de la Invariancia de Morita: Las estructuras geométricas compatibles con equivalencia de Morita pueden descender al pila cociente del grupoide de Lie, extendiendo así conceptos geométricos a espacios de órbitas singulares.

Limitaciones de los Métodos Existentes

Aunque el modelo de Lie 2-álgebra de secciones multiplicativas de LA-grupoides existentes es invariante de Morita, su estructura es compleja. Para casos especiales con aplicación núcleo-ancla inyectiva (como grupoides foliados), existen modelos más simples (campos vectoriales básicos), pero carecen de un marco teórico unificado.

Motivación de la Investigación

1. Simplificación del Modelo: Proporcionar un modelo de secciones más simple que las secciones multiplicativas para LA-grupoides con aplicación núcleo-ancla inyectiva.
2. Generalización de Campos Vectoriales Básicos: Extender el concepto de campos vectoriales básicos en grupoides foliados a LA-grupoides más generales.
3. Necesidades de Aplicación: Definir derivaciones básicas de grupoides de fibrados lineales para investigar problemas de reducción de estructuras de contacto 0-desplazadas.

Contribuciones Principales

1. Definición del Concepto de Secciones Básicas: Se introduce el concepto de secciones básicas para VB-grupoides (en particular, LA-grupoides) con aplicación núcleo-ancla inyectiva.
2. Establecimiento de Estructura de Álgebra de Lie: Se demuestra que el espacio de secciones básicas de un LA-grupoide hereda naturalmente una estructura de álgebra de Lie.
3. Invariancia de Morita: Se demuestra que el álgebra de Lie de secciones básicas es invariante de Morita, pudiendo servir como modelo para secciones de algebroides de Lie apilados.
4. Teorema de Equivalencia (Teorema Principal): Para un LA-grupoide $(V \Rightarrow E; G \Rightarrow M)$ con aplicación núcleo-ancla inyectiva, existe una estructura de álgebra de Lie invariante de Morita en el espacio de secciones básicas, y este álgebra de Lie es cuasi-isomorfa a la Lie 2-álgebra de secciones multiplicativas.
5. Ejemplos de Aplicaciones Amplias: Se demuestran aplicaciones de esta teoría en campos vectoriales básicos, derivaciones básicas, 1-formas básicas de grupoides de Poisson, 1-chorros básicos de grupoides de Jacobi y otros escenarios geométricos importantes.

Explicación Detallada del Método

Definición de la Tarea

Dado un LA-grupoide $(V \Rightarrow E; G \Rightarrow M)$ con núcleo $C$ y aplicación núcleo-ancla $\partial: C \to E$ inyectiva, la tarea es:

• Definir el espacio de secciones básicas $\Gamma_{\text{bas}}(V)$
• Establecer una estructura de álgebra de Lie en $\Gamma_{\text{bas}}(V)$
• Demostrar su invariancia de Morita
• Establecer la relación de equivalencia con secciones multiplicativas

Marco Teórico

1. Fundamentos de VB-grupoides y LA-grupoides

VB-grupoide es un fibrado vectorial en la categoría de grupoides de Lie, representado por un diagrama conmutativo:

V ⇒ E
↓   ↓
G ⇒ M

donde $V \Rightarrow E$ y $G \Rightarrow M$ son grupoides de Lie, y $V \to G$ y $E \to M$ son fibrados vectoriales.

LA-grupoide es un VB-grupoide $(V \Rightarrow E; G \Rightarrow M)$ donde $V$ y $E$ son ambos algebroides de Lie, y todos los morfismos de estructura son morfismos de algebroides de Lie.

Núcleo (Core): $C = \ker(s)|_M$, donde $s$ es la aplicación fuente.

Aplicación Núcleo-Ancla: $\partial: C \to E$ es la aplicación objetivo $t$ restringida al núcleo.

2. Características de la Aplicación Núcleo-Ancla Inyectiva

Lema 3.1 - Conclusión clave: La aplicación núcleo-ancla $\partial$ es inyectiva si y solo si $\ker s \cap \ker t = \{0\}$.

En este caso:

• $\ker s + \ker t = \ker s \oplus \ker t$ es un subfibrado vectorial de $V$
• Para LA-grupoides, este es un sub-algebroide de Lie de $V$

3. Construcción del Fibrado Normal

Se define el fibrado normal: $N_1 = \frac{V}{\ker(s) + \ker(t)}, \quad N_0 = \frac{E}{C}$

A través de morfismos VB $p_R: V \to s^*E$ y $p_L: V \to t^*E$: $u_g \mapsto (g, s(u_g)) \quad \text{y} \quad u_g \mapsto (g, t(u_g))$

Lema 3.3 demuestra que estos morfismos inducen isomorfismos VB: $N_1 \cong s^*N_0 \quad \text{y} \quad N_1 \cong t^*N_0$

4. Definición de Secciones Básicas

Definición 3.4: Una sección básica de un VB-grupoide $V$ es una sección $\lambda \in \Gamma(N_0)$ que satisface $s^*\lambda = t^*\lambda \in \Gamma(N_1)$.

El espacio de secciones básicas se denota por $\Gamma_{\text{bas}}(V)$.

Intuición Geométrica: Una sección básica es una sección de $E/C$ que satisface una condición de invariancia respecto a la acción del grupoide.

Puntos de Innovación Técnica

1. Construcción de la Estructura de Álgebra de Lie

Para LA-grupoides, se utiliza la representación de Bott $\nabla: \Gamma(C) \times \Gamma(N_0) \to \Gamma(N_0)$ para definir el espacio de secciones planas: $\Gamma_0(E) := \{Y \in \Gamma(N_0) \mid \nabla_X Y = 0, \forall X \in \Gamma(C)\} \cong \frac{N(\Gamma(C))}{\Gamma(C)}$

Proposición 3.6 demuestra: $\Gamma_{\text{bas}}(V)$ es una sub-álgebra de Lie de $\Gamma_0(E)$.

Esquema de Prueba:

1. Utilizar secciones invariantes a la derecha $\vec{Y}$ y la naturalidad de la representación de Bott (Diagrama 3.3)
2. Demostrar que $s^*, t^*: \Gamma_0(E) \to \Gamma_0(V)$ son morfismos de álgebras de Lie
3. Para $X, Y \in \Gamma_{\text{bas}}(V)$, calcular: $s^*([X,Y]) = [s^*X, s^*Y] = [t^*X, t^*Y] = t^*[X,Y]$

2. Invariancia de Morita

Mecanismo Central:

• Un morfismo VB-Morita $F: V \to V'$ induce un cuasi-isomorfismo puntual entre complejos de núcleos (Diagrama 3.1)
• El morfismo inducido $\bar{F}: N_0 \to N'_0$ es un morfismo VB fibra-inversible
• El retroceso $F^*: \Gamma_{\text{bas}}(V') \to \Gamma_{\text{bas}}(V)$ es un isomorfismo de álgebras de Lie

Proposición 3.12: Un morfismo VB-Morita induce un isomorfismo lineal en espacios de secciones básicas; para morfismos LA-Morita, este es un isomorfismo de álgebras de Lie.

Corolario 3.13: LA-grupoides Morita-equivalentes poseen álgebras de Lie de secciones básicas isomorfas.

3. Equivalencia con Secciones Multiplicativas

La Lie 2-álgebra de secciones multiplicativas está dada por un módulo cruzado: $\Gamma(C) \xrightarrow{\delta} \Gamma_{\text{mult}}(V) \xrightarrow{D} \text{Der}(\Gamma(C))$

donde $\delta(c) = (\vec{c} - \overleftarrow{c}, \partial(c))$.

Proposición 3.14: El morfismo $\Psi: \frac{\Gamma_{\text{mult}}(V)}{\text{im}(\delta)} \to \Gamma_{\text{bas}}(V), \quad (\lambda, e) \mapsto \bar{e}$ es un isomorfismo de álgebras de Lie.

Puntos Clave de la Prueba:

1. Utilizar equivalencia de Morita, $V$ es equivalente al VB-grupoide de núcleo trivial $V'$, cuyo fibrado lateral es $E/C$
2. $\Gamma_{\text{mult}}(V')/\text{im}(\delta) \cong \Gamma(E/C)^G$ (secciones $G$-invariantes)
3. $\Gamma_{\text{bas}}(V) = \Gamma(E/C)^G$ (Nota 3.7)

Configuración Experimental

Este es un artículo de teoría matemática pura que no implica experimentos numéricos. La verificación se completa mediante pruebas matemáticas rigurosas y ejemplos geométricos concretos.

Instancias de Aplicación

Ejemplo 4.1: Campos Vectoriales Básicos

Grupoide Foliado: Un grupoide de Lie $G \Rightarrow M$ con aplicación ancla $\rho: A \to TM$ inyectiva.

El LA-grupoide tangente $TG \Rightarrow TM$ tiene aplicación núcleo-ancla exactamente $\rho$, que es inyectiva. Las secciones básicas recuperan el concepto de campos vectoriales básicos en grupoides foliados estudiados en 11.

Aplicación:

• Los grupoides de Lie con estructura simpléctica 0-desplazada son grupoides foliados
• Los campos vectoriales básicos se utilizan para realizar reducción de Morita invariante bajo acciones de 2-grupos de Lie foliados

Ejemplo 4.2: Derivaciones Básicas

Configuración: El grupoide de acción $G \ltimes E \Rightarrow E$ que representa la acción de $E$ forma un VB-grupoide $V \Rightarrow E$.

Las secciones básicas del LA-grupoide de Atiyah $(DV \Rightarrow DE; G \Rightarrow M)$ proporcionan un modelo de derivaciones básicas.

Caso Especial: Grupoide de fibrado lineal $L \Rightarrow L_M$

• El LA-grupoide de Atiyah de un grupoide de fibrado lineal con estructura de contacto 0-desplazada tiene aplicación núcleo-ancla inyectiva
• Las derivaciones básicas se utilizan en la teoría de reducción de estructuras de contacto 0-desplazadas 17

Ejemplo 4.3: 1-Formas Básicas de Grupoides de Poisson Transitivos

Grupoide de Poisson: Un grupoide $G \Rightarrow M$ equipado con una estructura de Poisson $\pi$ compatible con la estructura de grupoide.

El VB-grupoide cotangente $T^*G \Rightarrow A^*$ es un LA-grupoide, con aplicación núcleo-ancla $\rho^*: T^*M \to A^*$ (dual del ancla).

Caso Transitivo: Si $G$ es transitivo, entonces $\rho$ es sobreyectiva, por lo que $\rho^*$ es inyectiva, proporcionando un modelo de 1-formas básicas.

Ejemplo 4.4: 1-Chorros Básicos de Grupoides de Jacobi

Grupoide de Jacobi: Un VB-grupoide de fibrado lineal $(L \Rightarrow L_M; G \Rightarrow M)$ equipado con un bivector de Jacobi $\mathcal{J}: \wedge^2 J^1L \to L$ compatible.

El fibrado de 1-chorros $J^1L \Rightarrow A^\dagger = A^* \otimes L_M$ es un LA-grupoide, con aplicación núcleo-ancla $\mathcal{D}^\dagger: J^1L_M \to A^\dagger$.

Si $\mathcal{D}$ es sobreyectiva, entonces $\mathcal{D}^\dagger$ es inyectiva, proporcionando un modelo de 1-chorros básicos.

Nota 4.5: Grupoides Simplécticos y de Contacto

Para estructuras simplécticas o de contacto compatibles, si la aplicación núcleo-ancla es inyectiva, entonces también es sobreyectiva (isomorfismo). En este caso, el fibrado normal es trivial, sin secciones básicas no triviales. Esto es consistente con la Nota 3.7.

Trabajo Relacionado

Investigaciones Principales Relacionadas

1. Teoría de VB-grupoides:
   • Mackenzie 13: Dualidad de bigrupos simplécticos y grupoides de Poisson
   • Gracia-Saz & Mehta 9: VB-grupoides y teoría de representaciones de grupoides de Lie
   • del Hoyo & Ortiz 7: Equivalencia de Morita de fibrados vectoriales
2. LA-grupoides y Secciones Multiplicativas:
   • Mehta 18: Algebroides $Q$ y su cohomología
   • Ortiz & Waldron 20: Lie 2-álgebra de secciones de LA-grupoides
3. Grupoides Foliados y Campos Vectoriales Básicos:
   • Hoffman & Sjamaar 11: Acciones de Hamilton apiladas y reducción simpléctica
   • del Hoyo & Fernandes 6: Métricas de Riemann en grupoides de Lie
4. Estructuras 0-Desplazadas:
   • Maglio, Tortorella & Vitagliano 16: Estructuras de contacto 0-desplazadas en pilas diferenciables
   • Bursztyn et al. 2: Pares de contacto duales
5. Marcos Alternativos:
   • Alvarez & Cueca 1: Campos vectoriales homológicos y cuasi-LA-grupoides en pilas diferenciables

Innovaciones de Este Artículo

1. Marco Unificado: Generaliza el concepto de campos vectoriales básicos a LA-grupoides generales
2. Modelo Simplificado: Proporciona un modelo más simple pero equivalente que las secciones multiplicativas
3. Aplicabilidad Amplia: Aplicable a múltiples estructuras geométricas (Poisson, Jacobi, contacto, etc.)

Conclusiones y Discusión

Conclusiones Principales

1. Para LA-grupoides con aplicación núcleo-ancla inyectiva, el espacio de secciones básicas $\Gamma_{\text{bas}}(V)$ posee naturalmente una estructura de álgebra de Lie.
2. Este álgebra de Lie es invariante de Morita, pudiendo servir como modelo simplificado para el espacio de secciones de algebroides de Lie apilados.
3. El modelo de secciones básicas es cuasi-isomorfo al modelo de Lie 2-álgebra de secciones multiplicativas (Proposición 3.14).
4. Esta teoría unifica y generaliza el concepto de secciones básicas para múltiples objetos geométricos importantes.

Limitaciones

1. Necesidad de la Condición Inyectiva: La teoría solo se aplica cuando la aplicación núcleo-ancla es inyectiva, sin poder manejar LA-grupoides generales.
2. Diferencia con Núcleo Trivial: A diferencia de VB-grupoides, los LA-grupoides con aplicación núcleo-ancla inyectiva no son necesariamente Morita-equivalentes a LA-grupoides de núcleo trivial (Nota 3.2). Por ejemplo, el VB-grupoide tangente de un grupoide foliado, a menos que la foliación sea trivial, $E/C = TM/T\mathcal{F}$ no es un algebroide de Lie.
3. Degeneración en Casos Simpléctico/Contacto: Para grupoides simplécticos y de contacto, si la aplicación núcleo-ancla es inyectiva, también es sobreyectiva, resultando en secciones básicas no triviales (Nota 4.5).

Direcciones Futuras

1. Aplicaciones de Derivaciones Básicas: Completar la teoría de reducción de contacto 0-desplazada de grupoides de fibrados lineales bajo acciones de 2-grupos de Lie foliados 17.
2. Otras Estructuras Geométricas: Aplicar la teoría a estructuras de Dirac multiplicativas 19 y estructuras de Dirac-Jacobi 21.
3. Cuasi-LA-grupoides: Explorar la relación con el marco más general de cuasi-LA-grupoides propuesto por Alvarez & Cueca 1.
4. Descripción de Grupoides $Q$ y $PVB$: Traducir el concepto de secciones básicas a estos marcos equivalentes (Nota 3.8).

Evaluación Profunda

Ventajas

1. Innovación Teórica

• Generalización de Conceptos: Generaliza exitosamente el concepto de campos vectoriales básicos de grupoides foliados a LA-grupoides generales, estableciendo un marco teórico unificado.
• Modelo Simplificado: Proporciona una descripción más simple pero equivalente que la Lie 2-álgebra de secciones multiplicativas, reduciendo la complejidad técnica.
• Invariancia de Morita: Demuestra la invariancia de Morita de secciones básicas, asegurando que el concepto esté bien definido en geometría de pilas.

2. Rigor Técnico

• Pruebas Completas: Todos los resultados principales poseen pruebas matemáticas detalladas con lógica rigurosa.
• Apoyo de Lemas: Los Lemas 3.1 y 3.3 proporcionan una base técnica sólida para las definiciones centrales.
• Análisis de Naturalidad: Utiliza plenamente la naturalidad de la representación de Bott (Diagrama A.1), con pruebas claras en estructura.

3. Amplitud de Aplicaciones

El Capítulo 4 presenta ejemplos de aplicación abundantes:

• Campos vectoriales básicos (grupoides foliados)
• Derivaciones básicas (grupoides de fibrados lineales)
• 1-formas básicas (grupoides de Poisson)
• 1-chorros básicos (grupoides de Jacobi)

Estos ejemplos abarcan múltiples campos importantes en geometría diferencial.

4. Claridad Estructural

• Capítulo 2: Introducción clara de conocimientos previos
• Capítulo 3: Establecimiento sistemático de la teoría
• Capítulo 4: Verificación de la teoría mediante ejemplos
• Apéndice A: Detalles técnicos complementarios

La lógica de escritura es clara, facilitando la comprensión del lector.

Insuficiencias

1. Limitaciones del Alcance de Aplicabilidad

Limitación de la Condición Inyectiva: La teoría solo se aplica a LA-grupoides con aplicación núcleo-ancla inyectiva. Aunque esta clase de grupoides es importante en geometría (como grupoides foliados, estructuras simpléctica/contacto 0-desplazadas), no puede manejar casos generales.

Casos Degenerados: Para grupoides simplécticos/contacto, aunque la teoría es aplicable, los resultados son triviales (Nota 4.5), limitando el valor de aplicación.

2. Relación Insuficiente con Trabajo Previo

Discusión Insuficiente de Cuasi-LA-grupoides: La Nota 2.2 menciona que los cuasi-LA-grupoides de Alvarez & Cueca 1 proporcionan una definición alternativa de algebroides de Lie apilados, pero falta una comparación profunda de las ventajas y desventajas de ambos marcos.

Nuevas Contribuciones en Campos Vectoriales Básicos: Aunque el Ejemplo 4.1 generaliza el trabajo de 11, no especifica claramente las mejoras técnicas o nuevos conocimientos comparados con el trabajo original.

3. Especificidad Insuficiente del Trabajo Futuro

Aplicación de Derivaciones Básicas: Se menciona que se utilizará para reducción de contacto 0-desplazada 17, pero falta una ruta técnica específica o resultados esperados.

Otras Estructuras Geométricas: Se menciona aplicabilidad a estructuras de Dirac y Dirac-Jacobi, pero carece de una hoja de ruta técnica específica.

4. Profundidad Insuficiente de Ejemplos

Los ejemplos del Capítulo 4 principalmente verifican la aplicabilidad de la teoría, pero carecen de discusión profunda sobre:

• Cómo calcular secciones básicas concretas
• Significado geométrico/físico de secciones básicas
• Relación con otros invariantes geométricos

Impacto

1. Contribución al Campo

• Fundamento Teórico: Proporciona nuevas herramientas técnicas para geometría de pilas, enriqueciendo la teoría de LA-grupoides.
• Perspectiva Unificada: Incorpora múltiples conceptos aparentemente independientes (campos vectoriales básicos, derivaciones básicas, etc.) en un marco unificado.
• Papel de Puente: Conecta la teoría de VB-grupoides, teoría de equivalencia de Morita y geometría de pilas.

2. Valor Práctico

• Teoría de Reducción: Las secciones básicas son herramientas importantes para estudiar reducción por simetría (Ejemplos 4.1 y 4.2).
• Construcción de Invariantes: La invariancia de Morita las convierte en candidatas para definir invariantes geométricos en pilas.
• Simplificación de Cálculos: Comparado con la Lie 2-álgebra de secciones multiplicativas, la estructura de álgebra de Lie de secciones básicas es más fácil de manejar.

3. Reproducibilidad

• Definiciones Precisas: Todos los conceptos poseen definiciones matemáticas exactas.
• Pruebas Detalladas: Los pasos de prueba de resultados principales son claros y verificables.
• Ejemplos Concretos: El Capítulo 4 proporciona escenarios concretos de aplicación teórica.

Insuficiencia: Carece de ejemplos computacionales o algoritmos, lo que puede requerir preparación técnica adicional para lectores que deseen aplicar esta teoría concretamente.

Escenarios de Aplicabilidad

1. Investigación Teórica

• Geometría de Pilas: Investigación de algebroides de Lie y campos vectoriales en pilas diferenciables
• Teoría de Morita: Construcción e investigación de invariantes de Morita
• Estructuras de Orden Superior: Teoría de representaciones de Lie 2-álgebras y Lie 2-grupos

2. Investigación de Estructuras Geométricas

• Estructuras Foliadas: Geometría de variedades foliadas con simetría
• Geometría de Poisson: Teoría de reducción de grupoides de Poisson transitivos
• Geometría de Contacto: Simetría y reducción de estructuras de contacto 0-desplazadas

3. Física Matemática

• Teoría de Calibre: Reducción de teorías de campo con simetría de grupoide
• Sistemas Integrables: Sistemas Hamiltonianos con simetría de grupoide
• Cuantización Geométrica: Teoría de cuantización en pilas

4. Escenarios No Aplicables

• LA-grupoides con aplicación núcleo-ancla no inyectiva
• Aplicaciones que requieren cálculos concretos (carece de algoritmos)
• Casos no degenerados de grupoides simpléctico/contacto (resultados triviales)

Referencias Bibliográficas (Referencias Clave)

1. 7 M. del Hoyo and C. Ortiz: Morita equivalences of vector bundles, Int. Math. Res. Not. IMRN, 2020
   • Fundamentos de teoría de Morita de VB-grupoides
2. 20 C. Ortiz and J. Waldron: On the Lie 2-algebra of sections of an LA-groupoid, J. Geom. Phys., 2019
   • Teoría de Lie 2-álgebra de secciones multiplicativas
3. 11 B. Hoffman and R. Sjamaar: Stacky Hamiltonian actions and symplectic reduction, Int. Math. Res. Not. IMRN, 2021
   • Trabajo original en campos vectoriales básicos
4. 16 A. Maglio, A. G. Tortorella, and L. Vitagliano: Shifted contact structures on differentiable stacks, Int. Math. Res. Not. IMRN, 2024
   • Teoría de estructuras de contacto 0-desplazadas
5. 9 A. Gracia-Saz and R. A. Mehta: VB-groupoids and representation theory of Lie groupoids, J. Symplectic Geom., 2017
   • Teoría de representaciones de VB-grupoides

Resumen

Este artículo establece una teoría de secciones básicas para LA-grupoides con aplicación núcleo-ancla inyectiva, proporcionando un modelo simplificado para secciones de algebroides de Lie apilados. La teoría es rigurosa y ampliamente aplicable, constituyendo una contribución importante a la geometría de pilas y la teoría de LA-grupoides. Las principales limitaciones radican en que el alcance de aplicabilidad está restringido por la condición de inyectividad, y carece de métodos de cálculo concretos. El trabajo futuro tiene potencial en la teoría de reducción de estructuras de contacto 0-desplazadas y aplicaciones a otras estructuras geométricas.