Hamiltonian actions on 0-shifted cosymplectic groupoids

Este artículo introduce la noción de estructura cosimpléctica 0-desplazada en pilas diferenciables, desarrolla una teoría de aplicaciones momento para acciones hamiltonianas, establece un procedimiento de reducción, demuestra una versión del teorema de convexidad de Kirwan y presenta ejemplos de morfismos de grupoides de Lie de tipo Morse-Bott.

Lo esencial

Imagina que el universo de las matemáticas es como un inmenso taller de mecánica donde los físicos y matemáticos intentan entender cómo se mueven las cosas.

Hasta ahora, la mayoría de los mecánicos usaban un tipo de "aceite" especial llamado geometría simpléctica para entender cómo se mueven los objetos en el espacio. Es como si todo el universo fuera un sistema de engranajes perfecto y estático. Pero, ¿qué pasa si queremos entender cosas que cambian con el tiempo, como un reloj que se descompone o un sistema que evoluciona? El aceite antiguo no funcionaba bien ahí.

Aquí es donde entran los autores de este artículo, Daniel López-García y Fabricio Valencia, con una nueva herramienta: la geometría cosimpléctica.

1. El problema: El tiempo y el espacio se mezclan

Imagina que la geometría simpléctica es como una foto instantánea de un río: ves el agua, pero no sabes hacia dónde va ni cómo cambia. La geometría cosimpléctica es como ver el río en movimiento. Permite manejar sistemas que dependen del tiempo (como un péndulo que se detiene o un sistema solar que gira).

En este nuevo sistema, hay dos reglas de oro:

1. Una regla que dice cómo se mueve el agua (una forma llamada $\omega$).
2. Una regla que marca la dirección del tiempo o el flujo principal (una forma llamada $\eta$).

2. Cuando las cosas se complican: Los "grupos de hojas"

A veces, el río no fluye perfectamente; se forman remolinos o zonas estancadas. En matemáticas, esto se llama una "estructura pre-cosimpléctica". Es como si el mapa del río tuviera zonas donde el agua se atasca.

Para arreglar este mapa, los autores no miran solo el río, sino que construyen un mapa de grupos de hojas (llamado grupoide).

• La analogía: Imagina que tienes un bosque donde los árboles crecen en filas perfectas (hojas). A veces, el viento (el tiempo) mueve las hojas de una fila a otra. Un "grupoide" es como un super-mapa que no solo te dice dónde está cada árbol, sino también cómo puedes viajar de un árbol a otro siguiendo el viento, incluso si el camino es tortuoso.

3. La gran innovación: El "0-desplazado"

Los autores introducen algo llamado "estructura cosimpléctica 0-desplazada".

• La analogía: Imagina que tienes un mapa de un país (el espacio) y otro mapa de las carreteras que lo cruzan (el grupoide). Normalmente, estos mapas son diferentes. Pero aquí, los autores crean un "mapa híbrido" donde las reglas del tiempo y el espacio se mezclan de tal manera que, aunque el mapa tenga "baches" (singularidades), sigue siendo útil para navegar. Es como tener un GPS que funciona incluso si el mapa tiene agujeros, porque sabe cómo saltar de un camino a otro.

4. El mapa del tesoro: Las "Moment Mapas"

En física, a menudo queremos saber dónde está la energía o el momento de un sistema. Para esto, usamos un "mapa de momento" (moment map).

• La analogía: Imagina que tienes una máquina compleja llena de engranajes girando. El "mapa de momento" es como una brújula mágica que te dice: "Si giras este engranaje, la energía se acumula aquí".
• Los autores crean una brújula nueva para sus "grupos de hojas". Esta brújula no solo te dice dónde está la energía, sino que también te dice cómo se comportan las hojas del bosque cuando las empujas.

5. Las tres grandes descubrimientos

El artículo presenta tres logros principales, explicados de forma sencilla:

• A. La Reducción (El filtro de café):
  Imagina que tienes un café muy sucio (un sistema físico muy complejo). Quieres limpiarlo para ver solo lo importante. Los autores crean un "filtro" matemático. Si aplicas este filtro a su sistema de "grupos de hojas", obtienes un sistema más simple y limpio, pero que sigue conservando las reglas del tiempo y el espacio. Es como hacer un "zoom out" para ver la forma general sin perder la esencia.

• B. El Teorema de Convexidad (La forma del pastel):
  En matemáticas, a veces los mapas de energía tienen formas muy raras. Pero los autores demuestran que, si el sistema es simétrico (como un pastel redondo), el mapa de energía siempre tendrá una forma "bonita" y sólida (un poliedro convexo). Es como decir: "No importa cuántas vueltas des al pastel, la parte comestible siempre será una forma regular".

• C. Los Puntos Críticos (Los valles y picos):
  Usan una técnica llamada "Morse-Bott" para encontrar los puntos más importantes del sistema (los valles más profundos o las cimas más altas). Descubren que estos puntos no son caóticos; siguen un patrón muy ordenado, como si fueran escalones en una montaña.

6. ¿Por qué importa esto?

Al final, los autores dicen que con estas herramientas pueden clasificar sistemas complejos (como toros o formas geométricas en dimensiones altas) de la misma manera que un botánico clasifica plantas. Llamaron a esto "Clasificación de Delzant para toros cosimplécticos".

En resumen:
Este papel es como un manual de instrucciones para mecánicos del futuro. Les enseña cómo usar un nuevo tipo de aceite (geometría cosimpléctica) y un nuevo tipo de mapa (grupoide) para reparar y entender máquinas que cambian con el tiempo, incluso cuando esas máquinas tienen partes rotas o extrañas. Gracias a esto, podemos predecir cómo se moverán sistemas complejos en el universo, desde relojes antiguos hasta teorías de cuerdas.

Resumen técnico

Aquí presento un resumen técnico detallado del artículo "HAMILTONIAN ACTIONS ON 0-SHIFTED COSYMPLECTIC GROUPOIDS" de Daniel López-García y Fabricio Valencia, estructurado según los puntos solicitados.

1. Planteamiento del Problema

La geometría cosimplectica es el análogo impar de la geometría simpléctica y ofrece un marco natural para sistemas hamiltonianos dependientes del tiempo, los cuales no pueden abordarse directamente con estructuras simplécticas estándar. Una variedad cosimplectica $(M, \omega, \eta)$ requiere que $\omega$ sea una 2-forma cerrada, $\eta$ una 1-forma cerrada no nula, y que $TM = \ker(\omega) \oplus \ker(\eta)$.

Sin embargo, en muchas situaciones físicas y geométricas, la condición de que $(\omega, \eta)$ defina una estructura cosimplectica estricta es demasiado restrictiva. En su lugar, se considera el caso precosimplectico, donde la intersección $\ker(\omega) \cap \ker(\eta)$ define una distribución regular (pero estrictamente contenida en $\ker(\omega)$), lo que induce una foliación $\mathcal{F}_{(\omega, \eta)}$ en $M$. El espacio de hojas de esta foliación suele ser un espacio singular.

El problema central abordado en este trabajo es cómo generalizar la teoría de acciones hamiltonianas y mapas momento a este contexto de estructuras precosimplecticas y sus espacios de hojas, utilizando el lenguaje de grupos de Lie (Lie groupoids) y pilas diferenciables (differentiable stacks). Específicamente, los autores buscan:

• Definir una noción global de estructura que integre la foliación asociada a una estructura precosimplectica.
• Desarrollar una teoría de acciones hamiltonianas y mapas momento en este contexto generalizado (0-shifted).
• Establecer procedimientos de reducción y teoremas de convexidad análogos a los conocidos en geometría simpléctica y cosimplectica estándar.

2. Metodología

Los autores emplean una metodología que combina geometría diferencial, teoría de grupos de Lie y teoría de stacks:

• Generalización de Estructuras: Introducen el concepto de estructura cosimplectica 0-desplazada (0-shifted cosymplectic structure) sobre un grupo de Lie $G \Rightarrow M$. Esta estructura se define mediante un par de formas diferenciales básicas cerradas $(\omega, \eta)$ tales que el mapa de Lichnerowicz asociado induce un cuasi-isomorfismo en la fibra. Esto generaliza la noción de estructura cosimplectica a grupos de foliación.
• Invariancia de Morita: Demuestran que esta definición es invariante bajo equivalencias de Morita, lo que permite definir estas estructuras sobre pilas diferenciables (el objeto geométrico que representa el espacio de hojas singular de manera suave).
• Acciones de 2-Grupos de Lie: Para manejar las simetrías en este contexto, utilizan la acción de 2-grupos de Lie de foliación ($K_1 \Rightarrow K_0$) sobre grupos de Lie. Esto permite tratar acciones de grupos de Lie ordinarios y sus extensiones en un marco unificado.
• Reducción de Marsden-Weinstein-Meyer: Adaptan el procedimiento de reducción simpléctica 0-desplazada (desarrollado previamente por los mismos autores y otros en [15]) al contexto cosimplectico, construyendo subgrupos de Lie y fibrados principales en el contexto de 2-grupos.
• Análisis de Convexidad y Morse-Bott: Utilizan resultados de la teoría de acciones hamiltonianas en geometría precosimplectica para extender teoremas de convexidad (Kirwan) y propiedades de funciones Morse-Bott al nivel de morfismos de grupos de Lie.

3. Contribuciones Clave

1. Definición de Estructura Cosimplectica 0-Desplazada: Formalizan la noción de estructura cosimplectica sobre grupos de Lie y stacks, caracterizada por la propiedad de que el mapa de Lichnerowicz es un cuasi-isomorfismo. Esto unifica la visión de la geometría precosimplectica con la teoría de stacks.
2. Teoría de Acciones Hamiltonianas: Definen rigurosamente las acciones hamiltonianas de 2-grupos de Lie sobre grupos de Lie con estructura 0-desplazada, introduciendo el concepto de morfismo de mapa momento ($\mu: G \to (\mathfrak{k}/\mathfrak{n})^*$).
3. Procedimiento de Reducción: Establecen un procedimiento de reducción para 0-shifted cosymplectic groupoids. Demuestran que, bajo condiciones de regularidad y acción libre, el espacio cociente hereda una estructura cosimplectica 0-desplazada.
4. Teorema de Convexidad de Kirwan Adaptado: Proponen una versión del teorema de convexidad de Kirwan para este contexto, demostrando que la imagen del mapa momento (el "cuerpo momento") es un poliedro convexo cerrado.
5. Propiedades Morse-Bott: Establecen que las funciones componentes del morfismo de mapa momento son funciones Morse-Bott en el sentido de morfismos de grupos de Lie, con índices pares en los puntos críticos no degenerados.

4. Resultados Principales

• Proposición 3.2 (Invariancia de Morita): Se demuestra que la propiedad de ser una estructura cosimplectica 0-desplazada es invariante bajo mapas de Morita. Esto valida la definición sobre stacks diferenciables.
• Proposición 4.3 (Reducción): Si un 2-grupo de Lie $K_1 \Rightarrow K_0$ actúa libremente en un grupo de Lie $R_1$ (obtenido de la fibra cero del mapa momento), el espacio de órbitas $R_1/N$ es una variedad y existe un nuevo grupo de Lie con estructura 0-desplazada $(K \times_N R_1 \Rightarrow R_0, \omega_{red}, \eta_{red})$.
• Corolario 4.4 (Reducción de Grupos Ordinarios): Si $K$ es un grupo de Lie actuando en una variedad cosimplectica $(M, \omega, \eta)$ y $0$es un valor regular del mapa momento, entonces el cociente$\mu^{-1}(0)/K$ es una pila cosimplectica. Si la acción es propia, es un orbifold; si es libre y propia, es una variedad cosimplectica.
• Proposición 4.5 (Convexidad): Bajo la suposición de que la acción de $K_0$ es "limpia" (clean), el cuerpo momento $\Delta(G)$ es un poliedro convexo cerrado.
• Proposición 4.6 (Morse-Bott): Si la acción inducida es limpia, las componentes del morfismo de mapa momento son de tipo Morse-Bott, y los índices de las subvariedades críticas no degeneradas son pares.
• Ejemplos Concretos: Se presentan ejemplos derivados de variedades simplécticas toricas y construcciones de toros de mapeo simpléctico, ilustrando cómo surgen estructuras precosimplecticas y sus foliaciones asociadas (con holonomías triviales o no triviales).

5. Significado e Impacto

Este trabajo es significativo por varias razones:

• Unificación Teórica: Proporciona un marco unificado para estudiar sistemas hamiltonianos dependientes del tiempo y sistemas con simetrías singulares, extendiendo la geometría simpléctica 0-desplazada al dominio cosimplectico.
• Resolución de Singularidades: Al utilizar el lenguaje de stacks y grupos de Lie, el artículo ofrece herramientas para "desingularizar" espacios de hojas de foliaciones asociadas a estructuras precosimplecticas, permitiendo aplicar técnicas de geometría diferencial suave en contextos donde el espacio base es singular.
• Nuevas Perspectivas en Reducción: El procedimiento de reducción presentado revela nuevos insights incluso en el caso clásico de reducción por un grupo de Lie ordinario, generalizando resultados existentes a estructuras de pila.
• Clasificación de Stacks Toricos: Los resultados abren la puerta a una clasificación de tipo Delzant para "stacks cosimplecticos toricos", clasificándolos mediante poliedros convexos simples con datos combinatorios adicionales, similar a la clasificación de variedades simplécticas toricas.
• Aplicabilidad: La teoría desarrollada es aplicable a sistemas físicos donde la dependencia temporal y las simetrías no triviales juegan un papel crucial, ofreciendo un lenguaje geométrico robusto para su análisis.

En resumen, el artículo establece las bases para una geometría cosimplectica de stacks, integrando acciones hamiltonianas, reducción y teoría de convexidad en un marco que maneja naturalmente las singularidades y la dependencia temporal.