Lecture notes on the symplectic geometry of graded manifolds and higher Lie groupoids
Cueca, Maglio, Valencia
In this work, we study symplectic structures on graded manifolds and their global counterparts, higher Lie groupoids. We begin by introducing the concept of graded manifold, starting with the degree 1 case, and translating key geometric structures into classical differential geometry terms. We then extend our discussion to the degree 2 case, presenting several illustrative examples with a particular emphasis on equivariant cohomology and Lie bialgebroids. Next, we define symplectic Q-manifolds and their Lagrangian Q-submanifolds, introducing a graded analogue of Weinstein's tubular neighborhood theorem and applying it to the study of deformations of these submanifolds.
Shifting focus, we turn to higher Lie groupoids and the shifted symplectic structures introduced by Getzler. We examine their Morita invariance and provide several examples drawn from the literature. Finally, we introduce shifted Lagrangian structures and explore their connections to moment maps and symplectic reduction procedures.
Throughout these notes, we illustrate the key constructions and results with concrete examples, highlighting their applications in mathematics and physics. These lecture notes are based on two mini-courses delivered by the first author at Geometry in Algebra and Algebra in Geometry VII (2023) in Belo Horizonte, Brazil, and at the INdAM Intensive Period: Poisson Geometry and Mathematical Physics (2024) in Napoli, Italy.
academic
Note di lezione sulla geometria simplettica di varietà graduate e gruppoidi di Lie superiori
Questo articolo esamina sistematicamente le strutture simplettiche su varietà graduate e i loro corrispondenti globali — i gruppoidi di Lie superiori. Gli autori introducono il concetto di varietà graduate iniziando dal caso di grado 1, traducendo le strutture geometriche chiave in terminologia della geometria differenziale classica. L'analisi si estende al caso di grado 2, con discussione dettagliata della coomologia equivariante e dei algebroidi di Lie doppi attraverso esempi concreti. Successivamente, gli autori definiscono le Q-varietà simplettiche e le loro Q-sottovarietà lagrangiane, introducono l'analogo graduato del teorema del tubo di Weinstein e lo applicano allo studio delle deformazioni. Infine, affrontano i gruppoidi di Lie superiori e le strutture simplettiche spostate introdotte da Getzler, esaminano l'invarianza di Morita e presentano le strutture lagrangiane spostate con le loro connessioni alle mappe momento e ai processi di riduzione simplettica.
La ricerca affronta la geometrizzazione delle strutture di ordine superiore nella fisica matematica. Negli ultimi cinquant'anni, le L∞-algebre, gli algebroidi di Courant, le strutture di Poisson omotopiche e altre strutture di ordine superiore sono diventate ubique in matematica e fisica. Per gestire queste strutture, diverse comunità accademiche hanno sviluppato framework differenti:
Teoria delle Q-varietà: I fisici matematici hanno sviluppato la teoria delle Q-varietà utilizzando la teoria dei fasci, dove una Q-varietà M = (M, C•(M)) consiste in una varietà liscia M con uno strato di funzioni esteso mediante nuove funzioni polinomiali che commutano o anticommutano secondo il grado.
Teoria dei gruppoidi di Lie n-ari: Gli specialisti di teoria dell'omotopia e geometria differenziale hanno sviluppato il framework dei gruppoidi di Lie n-ari utilizzando metodi simpliciali, rappresentati come varietà simpliciali che soddisfano condizioni di gruppo e levigatezza (condizioni di Kan).
Teoria degli n-stack: I geometri algebrici hanno introdotto la teoria degli n-stack utilizzando la teoria della discesa, che emerge quando si considera la teoria dell'omotopia dei gruppoidi di Lie n-ari.
Fornire un'introduzione accessibile alla teoria delle Q-varietà e dei gruppoidi di Lie superiori, spiegando le relazioni tra questi framework
Introdurre e studiare la geometria simplettica delle Q-varietà e dei gruppoidi di Lie superiori, con particolare attenzione agli esempi provenienti dalla geometria di Poisson e dalla fisica matematica
La letteratura esistente manca di un'introduzione sistematica che unifichi questi diversi framework, specialmente nel contesto della geometria simplettica. Questo articolo colma questa lacuna, fornendo una prospettiva unificata per comprendere queste strutture di ordine superiore.
Framework Unificato: Stabilisce un ponte tra la teoria delle Q-varietà e la teoria dei gruppoidi di Lie n-ari, dimostrando come codifichino le medesime informazioni geometriche
Teoria delle Strutture Simplettiche: Sviluppa sistematicamente la teoria della geometria simplettica su varietà graduate, includendo le Q-varietà simplettiche e i gruppoidi di Lie n-ari simplettici spostati
Strutture Lagrangiane: Introduce e studia le strutture lagrangiane spostate, stabilendo connessioni con la teoria delle mappe momento
Applicazioni Concrete: Fornisce numerosi esempi provenienti dalla geometria di Poisson, dalla fisica matematica e dalla teoria topologica dei campi
Risorsa Didattica: Come note di lezione, offre materiale sistematico di introduzione per gli studenti
Definizione di N-Varietà Graduata:
Una N-varietà graduata di grado n, M = (M, C•(M)), consiste in una varietà liscia M e uno strato di algebra graduata commutativa C•(M) che localmente soddisfa:
C•(M)|U ≅ C∞(U) ⊗ S•V
dove V = ⊕ᵢ₌₁ⁿVᵢ è uno spazio vettoriale graduato.
Equivalenze Chiave:
Varietà graduate di grado 1 ⟺ Fibrati vettoriali (Teorema 1.3)
Q-varietà di grado 1 ⟺ Algebroidi di Lie (Teorema 1.8)
Q-varietà di grado 2 ⟺ Algebroidi di Lie 2-ari (Teorema 3.6)
Q-Varietà Simplettiche:
Una Q-varietà simplettica di grado m è una terna (M, ω, Q) dove:
ω ∈ Ω²ₘ(M) è una 2-forma m-graduata non degenere
Q ∈ X¹₁(M) è una Q-struttura che soddisfa Q² = 0
L_Q ω = 0 (la forma simplettica è invariante sotto Q)
Definizione di Gruppoide di Lie n-ario:
Un gruppoide di Lie n-ario è una varietà simpliciale K•, che soddisfa la condizione di Kan: la proiezione naturale
p^j_l : K_l → Hom(Λ[l,j], K•)
è un'immersione suriettiva per tutti l ≥ 1 e 0 ≤ j ≤ l, ed è un diffeomorfismo per tutti l ≥ n e 0 ≤ j ≤ l.
Strutture Simplettiche Spostate:
Una struttura simplettica m-spostata su un gruppoide di Lie n-ario K• è una 2-forma m-spostata chiusa e non degenere ω•, cioè:
D(ω•) = 0 (chiusura)
L'accoppiamento IM λ^ωₘ induce una mappa (T K•, ∂) → (TK•m, ∂) che è un quasi-isomorfismo (non degenerazione)
Accoppiamento IM: Introduce l'accoppiamento IM λ^ωₘ per definire la non degenerazione delle 2-forme spostate, rappresentando un'innovazione tecnica chiave
Invarianza di Morita: Dimostra l'invarianza delle strutture simplettiche m-spostate sotto equivalenza di Morita (Teorema 6.7)
Strutture Lagrangiane Spostate: Sviluppa la teoria delle strutture lagrangiane spostate, unificando varie teorie di mappe momento
Costruzione AKSZ: Mostra come costruire teorie topologiche dei campi quantistici da Q-varietà simplettiche
Teorema 1.3 (Equivalenza di Fibrati Vettoriali):
Il funtore 1: Vect → 1-Man, (E → M) ↦ E1 è un'equivalenza di categorie.
Teorema 1.8 (Corrispondenza di Algebroidi di Lie):
Esiste una corrispondenza biunivoca tra le Q-strutture di grado 1 e le strutture di algebroide di Lie.
Teorema 3.6 (Corrispondenza di Algebroidi di Lie 2-ari):
Esiste un'equivalenza di categorie tra le Q-varietà di grado 2 e gli algebroidi di Lie 2-ari.
Teorema 4.12 (Corrispondenza di Algebroidi di Courant):
Esiste una corrispondenza biunivoca tra gli algebroidi di Courant e le Q-varietà simplettiche di grado 2, e questa corrispondenza stabilisce un'equivalenza tra le strutture di Dirac con supporto e le Q-sottovarietà lagrangiane.
Teorema 6.7 (Invarianza di Morita):
Sia Φ•: K• → J• un ricoprimento superiore tra gruppoidi di Lie n-ari. Allora K• ammette una struttura simplettica m-spostata ω^K_• se e solo se J• ammette una struttura simplettica m-spostata ω^J_• tale che ω^K_• - Φ*•ω^J_• = Dη•.
Proposizione 4.10 (Varietà di Poisson):
Esiste una corrispondenza biunivoca tra le varietà di Poisson e le Q-varietà simplettiche di grado 1.
Teorema 6.15 (Tre Modelli di BG):
Per un gruppo di Lie quadratico G, le strutture simplettiche 2-spostate sullo spazio classificante BG hanno tre rappresentazioni simplettiche Morita-equivalenti:
Il gruppoide di Lie 1-ario N•G
Il 2-troncamento G•
Il gruppoide doppiamente simplettico della terna di Manin
Modello σ di Poisson: Costruito dalla Q-varietà simplettica di grado 1 (T*1M, ωcan, Qπ), corrispondente a una varietà di Poisson (M, π)
Teoria di Chern-Simons: Costruita dall'algebra di Lie quadratica (g1, ϖ, QCE), fornendo l'azione di Chern-Simons tridimensionale
Gruppo di Stringhe: Ottenuto attraverso la prequantizzazione della struttura simplettica 2-spostata per ottenere il gruppo di Lie 2-ario di stringhe String(G)
Unificazione Teorica: Stabilisce con successo un ponte tra la teoria delle Q-varietà e la teoria dei gruppoidi di Lie n-ari, dimostrando come codifichino aspetti diversi delle medesime informazioni geometriche
Generalizzazione della Geometria Simplettica: Estende con successo la geometria simplettica classica a contesti graduati e di ordine superiore, mantenendo l'intuizione geometrica fondamentale
Applicazioni Diffuse: La teoria ha importanti applicazioni in fisica matematica, geometria di Poisson, teoria topologica dei campi e altri settori
L'elenco bibliografico contiene 231 riferimenti, coprendo un'ampia gamma di letteratura dalla geometria differenziale classica alla moderna teoria delle strutture di ordine superiore, riflettendo la ricchezza e la natura interdisciplinare del campo. I riferimenti importanti includono il lavoro di Vaintrob sugli algebroidi di Lie, la ricerca di Roytenberg sulle varietà graduate simplettiche e la teoria di Getzler sull'integrazione delle L∞-algebre.
Valutazione Complessiva: Queste sono note di lezione di alta qualità che forniscono una risorsa preziosa per l'apprendimento e la ricerca sulla geometria simplettica di varietà graduate e gruppoidi di Lie superiori. Sebbene presentino limitazioni in termini di originalità, la loro sistematicità e valore didattico le rendono un contributo importante al campo.