Hamiltonian actions on 0-shifted cosymplectic groupoids

Este artigo introduz a noção de estrutura cosimplicial 0-deslocada em pilhas diferenciáveis, desenvolvendo uma teoria de aplicações momento para ações hamiltonianas, estabelecendo um procedimento de redução, uma versão do teorema de convexidade de Kirwan e exemplos de morfismos de grupoides de Lie do tipo Morse-Bott.

O essencial

Imagine que você está tentando entender como objetos se movem no universo, mas em vez de olhar apenas para o espaço, você precisa levar em conta o tempo de uma maneira muito específica. É aí que entra a "Geometria Cosimétrica".

Este artigo é como um manual de instruções avançado para engenheiros e arquitetos do universo matemático. Vamos traduzir os conceitos complexos para uma linguagem do dia a dia, usando analogias.

1. O Cenário: O que é "Cosimétrica"?

Pense na Geometria Simplética (o padrão ouro da física para descrever movimentos) como um mapa de um lago perfeitamente calmo. Tudo flui suavemente.

A Geometria Cosimétrica, que os autores estudam, é como esse mesmo lago, mas com um rio correndo dentro dele.

• O Lago (Espaço): Representa as posições possíveis.
• O Rio (Tempo): Representa a direção do tempo.
• A Regra: Para que a matemática funcione, você precisa de duas coisas: uma forma de medir a "água" do lago (uma forma diferencial chamada $\omega$) e uma forma de medir a "correnteza" do rio (uma forma chamada $\eta$).

O grande trunfo dessa abordagem é que ela lida muito bem com sistemas que mudam com o tempo, algo que a geometria tradicional (apenas o lago) tem dificuldade em fazer.

2. O Problema: Quando as Coisas "Suam" (Pré-Cosimétrico)

Às vezes, a correnteza do rio não é perfeita. Ela pode ter redemoinhos ou áreas onde a água para. Na matemática, isso significa que a estrutura não é "perfeita" (não é cosimétrica), mas sim "pré-perfeita" (pré-cosimétrica).

• A Analogia: Imagine tentar desenhar um mapa de um rio que tem ilhas e corredeiras. O mapa não é mais uma linha reta simples; ele se torna uma rede complexa de caminhos.
• O Grupoide: Para lidar com essa complexidade, os autores usam algo chamado Grupoide. Pense em um Grupoide como um "mapa de conexões" que não apenas mostra onde você está, mas também todas as formas possíveis de viajar entre os pontos, incluindo os atalhos e os redemoinhos. É como ter um GPS que entende não só a estrada, mas também o trânsito e as voltas.

3. A Solução: Estruturas "0-Deslocadas"

Os autores introduzem um conceito novo: Estrutura Cosimétrica 0-Deslocada.

• A Tradução: Imagine que você tem um mapa antigo e um pouco borrado (a estrutura pré-perfeita). Em vez de jogar fora, você usa uma "lente mágica" (o grupoide) para focar e ver a estrutura real por trás da bagunça. Essa lente é a "estrutura 0-deslocada". Ela permite tratar o mapa bagunçado como se fosse um objeto geométrico sólido e bem definido.

4. A Ação Hamiltoniana: O Maestro e a Orquestra

Agora, vamos falar sobre Ações Hamiltonianas.

• A Analogia: Imagine uma orquestra (o sistema físico) e um maestro (o grupo de simetria, como rotações ou translações).
• O Mapa de Momento (Moment Map): O maestro tem um "mapa de momento". Ele olha para a orquestra e diz: "Se eu fizer a corda vibrar assim, a nota será X". Esse mapa conecta o que o maestro faz (ação) com o que a orquestra produz (energia/posição).
• O Desafio: Em sistemas complexos (com os redemoinhos do rio), o maestro precisa saber exatamente como a orquestra se comporta para não criar uma cacofonia. Os autores mostram como criar esse mapa de momento mesmo quando a orquestra está um pouco "desafinada" (pré-cosimétrica).

5. A Redução: O Peneiramento

Um dos pontos principais do artigo é o Procedimento de Redução.

• A Analogia: Imagine que você tem uma sopa cheia de legumes, mas você só quer a parte líquida e saborosa. Você usa uma peneira.
• Na Matemática: Eles mostram como usar o "mapa de momento" para peneirar o sistema. Você define um valor específico (como "zero") e remove tudo que não se encaixa nele. O que sobra é uma versão "limpa" e simplificada do sistema original, mas que ainda mantém todas as propriedades importantes. Isso é incrível porque permite estudar sistemas complexos transformando-os em algo mais simples e gerenciável.

6. O Teorema de Kirwan: A Forma do Tesouro

O artigo também prova uma versão do Teorema de Convexidade de Kirwan.

• A Analogia: Se você jogar uma rede de pesca em um lago e puxá-la, a forma que a rede faz no ar (a área coberta) sempre terá uma forma específica: um polígono convexo (sem buracos, como um triângulo ou um quadrado, mas em dimensões maiores).
• O Significado: Isso significa que, não importa o quanto o sistema seja complexo, se você olhar para o "mapa de momento" de todo o sistema, ele sempre formará uma figura geométrica previsível e bonita. Isso é como ter uma bússola que garante que o tesouro está sempre dentro de uma caixa de formato conhecido.

7. Conclusão: Por que isso importa?

Os autores mostram que, mesmo quando as coisas parecem bagunçadas (com folhas, redemoinhos e singularidades), podemos usar essa "lente" de grupoides para:

1. Entender como sistemas dependentes do tempo funcionam.
2. Simplificar esses sistemas (redução).
3. Prever a forma global deles (convexidade).
4. Classificar esses sistemas como se fossem "torres de cristal" (estacks toric cosimétricos), organizando o caos em padrões matemáticos elegantes.

Resumo em uma frase:
Os autores criaram uma nova "lente matemática" que permite transformar mapas de sistemas físicos complexos e bagunçados (que misturam espaço e tempo) em objetos geométricos limpos e previsíveis, permitindo que os cientistas "peneirem" o caos para encontrar padrões perfeitos e classificá-los.

Resumo técnico

Resumo Técnico: Ações Hamiltonianas em Groupoides Cosimpliciais 0-Deslocados

1. Problema e Contexto

A geometria cosimplicial é frequentemente vista como o análogo ímpar da geometria simplética, oferecendo uma abordagem distinta da geometria de contato para lidar com sistemas hamiltonianos dependentes do tempo. Enquanto uma estrutura cosimplicial padrão $(M, \omega, \eta)$ exige que $\omega$ (2-forma fechada) e $\eta$ (1-forma fechada não nula) satisfaçam $TM = \ker(\omega) \oplus \ker(\eta)$, muitos sistemas físicos e geométricos relevantes não satisfazem essa condição estrita.

Nesses casos, o par $(\omega, \eta)$ define uma estrutura precosimplicial, onde a interseção $\ker(\omega) \cap \ker(\eta)$ é uma distribuição regular estritamente contida em $\ker(\omega)$, gerando uma foliação singular. O espaço de folhas dessa foliação é, em geral, um espaço singular. O problema central abordado pelo artigo é como generalizar a teoria de ações hamiltonianas e mapas momento para esses contextos singulares e dependentes do tempo, utilizando a linguagem de stacks diferenciáveis e groupoides de Lie, superando as limitações das variedades suaves tradicionais.

2. Metodologia

Os autores empregam uma abordagem que combina geometria simplética deslocada (shifted symplectic geometry) com a estrutura cosimplicial:

• Generalização para Groupoides: Em vez de trabalhar apenas em variedades, os autores introduzem a noção de estrutura cosimplicial 0-deslocada em groupoides de Lie. Isso envolve definir formas diferenciais básicas ($\omega \in \Omega^2_{bas}(G)$ e $\eta \in \Omega^1_{bas}(G)$) que satisfazem condições de quasi-isomorfismo no complexo de Lie algebroides associado.
• Invariância de Morita: Demonstra-se que a definição é invariante sob equivalências de Morita, permitindo que a estrutura seja definida intrinsecamente sobre stacks diferenciáveis $[M/G]$.
• Teoria de Ações Hamiltonianas: Estende-se a definição de ações hamiltonianas de grupos de Lie para 2-grupos de Lie de foliação (foliation Lie 2-groups) agindo sobre groupoides equipados com essas estruturas.
• Redução de Marsden-Weinstein-Meyer: Adapta-se o procedimento de redução simplética para o contexto cosimplicial 0-deslocado, utilizando a teoria de fibrados principais em 2-categorias de stacks.
• Análise Convexa e Morse-Bott: Aplica-se a teoria de convexidade de Kirwan e a teoria de funções Morse-Bott ao contexto de groupoides, explorando as propriedades dos componentes do mapa momento.

3. Contribuições Principais

1. Definição de Estrutura Cosimplicial 0-Deslocada:

   • Introduz-se formalmente o conceito de estrutura cosimplicial 0-deslocada em um groupoide de Lie $G \rightrightarrows M$. É definida por um par de formas básicas fechadas $(\omega, \eta)$ tal que o mapa de Lichnerowicz $\flat: TM \to T^*M$ induz um quasi-isomorfismo entre os complexos de Lie algebroides.
   • Estabelece-se que essa estrutura é invariante de Morita, permitindo a definição de estruturas cosimpliciais em stacks.

2. Teoria de Ações Hamiltonianas e Mapas Momento:

   • Define-se ações hamiltonianas de 2-grupos de Lie de foliação $K_1 \rightrightarrows K_0$ em groupoides cosimpliciais 0-deslocados.
   • O mapa momento $\mu$ é definido como um morfismo de groupoides $\mu: G \to (\mathfrak{k}/\mathfrak{n})^*$, onde $\mathfrak{k}$ é a álgebra de Lie do grupo e $\mathfrak{n}$ é o ideal associado ao núcleo da ação no espaço de folhas.
   • Demonstra-se que o mapa momento é equivariante sob a ação coadjunta do 2-grupo.

3. Procedimento de Redução:

   • Apresenta-se uma generalização da redução de Marsden-Weinstein-Meyer para groupoides cosimpliciais 0-deslocados.
   • Se $0$ é um valor regular do mapa momento, o espaço quociente resultante herda uma estrutura cosimplicial 0-deslocada.
   • Corolário Importante: Mesmo no caso clássico de redução de uma variedade cosimplicial por um grupo de Lie ordinário, o resultado é um orbifold cosimplicial ou um manifold cosimplicial, dependendo da liberdade e propriedade da ação, enriquecendo a teoria de redução clássica.

4. Teorema de Convexidade de Kirwan e Morse-Bott:

   • Estabelece-se uma versão do Teorema de Convexidade de Kirwan para este contexto: a imagem do mapa momento (o "corpo momento") é um poliedro convexo fechado.
   • Demonstra-se que, sob condições de "limpeza" (clean action), as funções componentes do mapa momento são funções Morse-Bott em groupoides, com índices de subvariedades críticas não degeneradas sendo pares.

4. Resultados Chave

• Proposição 3.2: A estrutura cosimplicial 0-deslocada é invariante de Morita, permitindo a definição consistente em stacks.
• Proposição 4.3 (Redução): Sob a ação livre de um subgrupo $N$, o espaço de órbitas $R_1/N$ admite uma estrutura de groupoide cosimplicial 0-deslocado reduzido, e o morfismo de projeção preserva as formas $\omega$ e $\eta$.
• Corolário 4.4: A redução de uma variedade cosimplicial por um grupo de Lie $K$ resulta em um stack cosimplicial. Se a ação for própria, o resultado é um orbifold; se for livre e própria, é uma variedade.
• Proposição 4.5: Para ações limpas de 2-grupos compactos, o corpo momento $\Delta(G)$ é um poliedro convexo fechado.
• Proposição 4.6: Os morfismos de groupoides induzidos pelas componentes do mapa momento são de tipo Morse-Bott, generalizando resultados conhecidos da geometria simplética.

5. Significado e Impacto

• Unificação Geométrica: O trabalho fornece uma estrutura unificada para tratar sistemas hamiltonianos dependentes do tempo e sistemas com simetrias singulares, conectando a geometria cosimplicial clássica com a teoria moderna de stacks e groupoides.
• Classificação de Delzant: Os autores sugerem que esses resultados permitem uma classificação do tipo Delzant para "stacks cosimpliciais toricos", generalizando a classificação de variedades simpléticas toricas para o contexto cosimplicial e singular.
• Novos Exemplos: O artigo fornece exemplos concretos, como extensões triviais de variedades simpléticas toricas e construções via fibrados de mapeamento simplético, ilustrando como as foliações e holonomias se comportam sob essas estruturas.
• Aplicabilidade: A teoria desenvolvida é aplicável a problemas de mecânica clássica com restrições, sistemas dinâmicos com simetrias degeneradas e na compreensão de estruturas geométricas em espaços de módulos singulares.

Em suma, o artigo avança significativamente a fronteira da geometria cosimplicial, elevando-a do nível de variedades para o nível de stacks, e estabelece ferramentas poderosas (redução, convexidade, Morse-Bott) para analisar a dinâmica hamiltoniana em contextos geométricos mais gerais e complexos.