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
Notes de cours sur la géométrie symplectique des variétés graduées et des groupoïdes de Lie supérieurs
Cet article étudie systématiquement les structures symplectiques sur les variétés graduées et leurs correspondants globaux — les groupoïdes de Lie supérieurs. Les auteurs commencent par introduire le concept de variétés graduées à partir du cas de degré 1, en traduisant les structures géométriques clés en termes de géométrie différentielle classique. Ils étendent ensuite au cas de degré 2, en discutant en détail la cohomologie équivariante et les groupoïdes de Lie doubles via des exemples concrets. Ils définissent ensuite les Q-variétés symplectiques et leurs Q-sous-variétés lagrangiennes, en introduisant un analogue gradué du théorème du voisinage tubulaire de Weinstein et en l'appliquant à l'étude des déformations de ces sous-variétés. Enfin, ils se tournent vers les groupoïdes de Lie supérieurs et les structures symplectiques décalées introduites par Getzler, en examinant leur invariance de Morita, et en présentant les structures lagrangiennes décalées ainsi que leurs liens avec les applications de moment et les processus de réduction symplectique.
Cette recherche vise à résoudre le problème de la géométrisation des structures d'ordre supérieur en physique mathématique. Au cours des 50 dernières années, les L∞-algèbres, les groupoïdes de Courant, les structures de Poisson homotopiques et autres structures d'ordre supérieur sont devenues omniprésentes en mathématiques et en physique. Pour traiter ces structures, différentes communautés académiques ont développé des cadres distincts :
Théorie des Q-variétés : Les physiciens mathématiciens ont développé la théorie des Q-variétés en utilisant la théorie des faisceaux, où une Q-variété M = (M, C•(M)) est une variété M dont le faisceau de fonctions est étendu par de nouvelles fonctions polynomiales qui commutent ou anticommutent selon leur degré.
Théorie des groupoïdes de Lie n : Les théoriciens de l'homotopie et les géomètres différentiels ont développé le cadre des groupoïdes de Lie n en utilisant des méthodes simpliciales, qui sont des variétés simpliciales satisfaisant certaines conditions de groupe et de lissité (conditions de Kan).
Théorie des n-champs : Les géomètres algébriques ont introduit la théorie des n-champs en utilisant la théorie de la descente, qui apparaît lors de l'examen de la théorie homotopique des groupoïdes de Lie n.
Fournir une introduction progressive à la théorie des Q-variétés et des groupoïdes de Lie supérieurs, et expliquer les relations entre eux
Introduire et étudier la géométrie symplectique des Q-variétés et des groupoïdes de Lie supérieurs, en accordant une attention particulière aux exemples provenant de la géométrie de Poisson et de la physique mathématique
La littérature existante manque d'une introduction systématique unifiant ces différents cadres, en particulier dans le contexte de la géométrie symplectique. Cet article comble cette lacune en fournissant une perspective unifiée pour comprendre ces structures d'ordre supérieur.
Cadre unifié : Établit un pont entre la théorie des Q-variétés et la théorie des groupoïdes de Lie n, montrant comment ils encodent les mêmes informations géométriques
Théorie des structures symplectiques : Développe systématiquement la théorie de la géométrie symplectique sur les variétés graduées, incluant les Q-variétés symplectiques et les groupoïdes de Lie n symplectiques décalés
Structures lagrangiennes : Introduit et étudie les structures lagrangiennes décalées, établissant des liens avec la théorie des applications de moment
Applications concrètes : Fournit de nombreux exemples concrets provenant de la géométrie de Poisson, de la physique mathématique et de la théorie topologique des champs
Ressource pédagogique : Sous forme de notes de cours, fournit aux apprenants un matériel d'introduction systématique
Définition des variétés N-graduées :
Une variété N-graduée de degré n, M = (M, C•(M)), est composée d'une variété lisse M et d'un faisceau d'algèbres graduées commutatives C•(M) satisfaisant localement :
C•(M)|U ≅ C∞(U) ⊗ S•V
où V = ⊕ᵢ₌₁ⁿVᵢ est un espace vectoriel gradué.
Équivalences clés :
Variétés graduées de degré 1 ⟺ Fibrés vectoriels (Théorème 1.3)
Q-variétés de degré 1 ⟺ Groupoïdes de Lie algébriques (Théorème 1.8)
Q-variétés de degré 2 ⟺ Groupoïdes de Lie 2-algébriques (Théorème 3.6)
Q-variétés symplectiques :
Une Q-variété symplectique de degré m est un triplet (M, ω, Q) où :
ω ∈ Ω²ₘ(M) est une 2-forme m-graduée non dégénérée
Q ∈ X¹₁(M) est une Q-structure satisfaisant Q² = 0
L_Q ω = 0 (la forme symplectique est invariante sous Q)
Définition des groupoïdes de Lie n :
Un groupoïde de Lie n est une variété simpliciale K•, satisfaisant les conditions de Kan : la projection naturelle
p^j_l : K_l → Hom(Λ[l,j], K•)
est une submersion surjective pour tous l ≥ 1 et 0 ≤ j ≤ l, et un difféomorphisme pour tous l ≥ n et 0 ≤ j ≤ l.
Structures symplectiques décalées :
Une structure m-symplectique décalée sur un groupoïde de Lie n, K•, est une 2-forme m-décalée fermée et non dégénérée ω•, c'est-à-dire :
D(ω•) = 0 (fermeture)
L'application induite par l'appairage IM λ^ωₘ (T K•, ∂) → (TK•m, ∂) est une quasi-isomorphisme (non-dégénérescence)
Appairage IM : Introduction de l'appairage IM λ^ωₘ pour définir la non-dégénérescence des 2-formes décalées, innovation technique clé
Invariance de Morita : Preuve que les structures m-symplectiques décalées sont invariantes sous l'équivalence de Morita (Théorème 6.7)
Structures lagrangiennes décalées : Développement de la théorie des structures lagrangiennes décalées, unifiant diverses théories d'applications de moment
Construction AKSZ : Démonstration de la construction de théories quantiques des champs topologiques à partir de Q-variétés symplectiques
Théorème 1.3 (Équivalence des fibrés vectoriels) :
Le foncteur 1 : Vect → 1-Man, (E → M) ↦ E1 est une équivalence de catégories.
Théorème 1.8 (Correspondance des groupoïdes de Lie algébriques) :
Il existe une correspondance bijective entre les Q-structures de degré 1 et les structures de groupoïdes de Lie algébriques.
Théorème 3.6 (Correspondance des groupoïdes de Lie 2-algébriques) :
Il existe une équivalence de catégories entre les Q-variétés de degré 2 et les groupoïdes de Lie 2-algébriques.
Théorème 4.12 (Correspondance des groupoïdes de Courant) :
Il existe une correspondance bijective entre les groupoïdes de Courant et les Q-variétés symplectiques de degré 2, et cette correspondance établit une équivalence entre les structures de Dirac à support et les Q-sous-variétés lagrangiennes.
Théorème 6.7 (Invariance de Morita) :
Soit Φ• : K• → J• un recouvrement surjectif entre groupoïdes de Lie n. Alors K• admet une structure m-symplectique décalée ω^K_• si et seulement si J• admet une structure m-symplectique décalée ω^J_• satisfaisant ω^K_• - Φ*•ω^J_• = Dη•.
Proposition 4.10 (Variétés de Poisson) :
Il existe une correspondance bijective entre les variétés de Poisson et les Q-variétés symplectiques de degré 1.
Théorème 6.15 (Trois modèles de BG) :
Pour un groupe de Lie quadratique G, les structures 2-symplectiques décalées sur son espace classifiant BG ont trois représentations symplectiques Morita-équivalentes :
Unification théorique : Établit avec succès un pont entre la théorie des Q-variétés et la théorie des groupoïdes de Lie n, montrant comment ils encodent différents aspects des mêmes informations géométriques
Généralisation de la géométrie symplectique : Généralise avec succès la géométrie symplectique classique aux cadres gradués et d'ordre supérieur, en préservant l'intuition géométrique fondamentale
Applications étendues : La théorie a des applications importantes dans plusieurs domaines : physique mathématique, géométrie de Poisson, théorie topologique des champs
Force systématique : En tant que notes de cours, fournit une introduction systématique du domaine, des concepts fondamentaux aux applications de pointe
Richesse des exemples : Contient de nombreux exemples concrets qui facilitent la compréhension de la théorie abstraite
Valeur interdisciplinaire : Connecte plusieurs branches des mathématiques pures et de la physique mathématique
Valeur pédagogique : En tant que matériel d'enseignement, la structure est claire et progressive
Enseignement aux cycles supérieurs : Manuel avancé pour les cours de géométrie différentielle et physique mathématique
Référence de recherche : Matériel de référence pour les chercheurs travaillant en géométrie de Poisson, géométrie symplectique et physique mathématique
Recherche interdisciplinaire : Fournit une introduction aux structures géométriques d'ordre supérieur pour les chercheurs d'autres domaines
La liste des références contient 231 références, couvrant une vaste littérature allant de la géométrie différentielle classique à la théorie moderne des structures d'ordre supérieur, reflétant la richesse et la nature interdisciplinaire du domaine. Les références importantes incluent les travaux de Vaintrob sur les groupoïdes de Lie algébriques, les recherches de Roytenberg sur les variétés symplectiques graduées, la théorie de Getzler sur l'intégration des L∞-algèbres, et autres.
Évaluation générale : Il s'agit de notes de cours de haute qualité qui fournissent une ressource précieuse pour l'apprentissage et la recherche en géométrie symplectique des variétés graduées et des groupoïdes de Lie supérieurs. Bien que limitée en originalité, sa nature systématique et sa valeur pédagogique en font une contribution importante au domaine.