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
Конспекты лекций по симплектической геометрии градуированных многообразий и высших группоидов Ли
В данной работе систематически исследуются симплектические структуры на градуированных многообразиях и их глобальные аналоги — высшие группоиды Ли. Авторы начинают с введения понятия градуированных многообразий в случае степени 1, переводя ключевые геометрические структуры на язык классической дифференциальной геометрии. Затем расширяют анализ на случай степени 2, подробно обсуждая эквивариантные когомологии и группоиды Ли-бикоалгебр на конкретных примерах. Далее определяются симплектические Q-многообразия и их лагранжевы Q-подмногообразия, вводится градуированный аналог теоремы Вейнстейна о трубчатой окрестности и применяется к изучению деформаций этих подмногообразий. Наконец, авторы переходят к высшим группоидам Ли и сдвинутым симплектическим структурам, введённым Гетцлером, исследуют их инвариантность по Мориту и представляют сдвинутые лагранжевы структуры и их связь с отображениями моментов и симплектической редукцией.
Данное исследование направлено на решение проблемы геометризации высших структур в математической физике. За последние 50 лет L∞-алгебры, группоиды Куранта, гомотопические структуры Пуассона и другие высшие структуры стали повсеместными в математике и физике. Для работы с этими структурами различные научные сообщества разработали различные подходы:
Теория Q-многообразий: математические физики использовали теорию пучков для развития теории Q-многообразий, где Q-многообразие M = (M, C•(M)) представляет собой многообразие M, пучок функций которого расширен новыми полиномиальными функциями, коммутирующими или антикоммутирующими в зависимости от степени.
Теория группоидов Ли n-го порядка: специалисты по гомотопической теории и дифференциальной геометрии разработали подход с использованием симплициальных методов, где группоиды Ли n-го порядка — это симплициальные многообразия, удовлетворяющие определённым групповым и гладким условиям (условиям Кана).
Теория n-стеков: алгебраические геометры использовали теорию спусков для введения теории n-стеков, которая возникает при рассмотрении гомотопической теории группоидов Ли n-го порядка.
Предоставить мягкое введение в теорию Q-многообразий и высших группоидов Ли, объяснив связи между ними
Представить и исследовать симплектическую геометрию Q-многообразий и высших группоидов Ли, уделяя особое внимание геометрии Пуассона и примерам из математической физики
В существующей литературе отсутствует систематическое введение, объединяющее эти различные подходы, особенно в контексте симплектической геометрии. Данная работа заполняет этот пробел, предоставляя единую перспективу для понимания этих высших структур.
Единая структура: установление моста между теорией Q-многообразий и теорией группоидов Ли n-го порядка, демонстрирующее, как они кодируют одну и ту же геометрическую информацию
Теория симплектических структур: систематическое развитие теории симплектической геометрии на градуированных многообразиях, включая симплектические Q-многообразия и сдвинутые симплектические группоиды Ли n-го порядка
Лагранжевы структуры: введение и исследование сдвинутых лагранжевых структур, установление связей с теорией отображений моментов
Конкретные приложения: предоставление многочисленных примеров из геометрии Пуассона, математической физики и топологической теории поля
Учебный ресурс: в форме конспектов лекций предоставление систематического вводного материала для обучающихся
Определение N-градуированного многообразия:
N-градуированное многообразие степени n — это M = (M, C•(M)), состоящее из гладкого многообразия M и градуированного коммутативного пучка алгебр C•(M), локально удовлетворяющего:
C•(M)|U ≅ C∞(U) ⊗ S•V
где V = ⊕ᵢ₌₁ⁿVᵢ — градуированное векторное пространство.
Ключевые эквивалентности:
Градуированные многообразия степени 1 ⟺ векторные расслоения (теорема 1.3)
Q-многообразия степени 1 ⟺ группоиды Ли-алгебр (теорема 1.8)
Q-многообразия степени 2 ⟺ группоиды Ли-2-алгебр (теорема 3.6)
Симплектические Q-многообразия:
Симплектическое Q-многообразие степени m — это тройка (M, ω, Q), где:
ω ∈ Ω²ₘ(M) — невырожденная m-степенная 2-форма
Q ∈ X¹₁(M) — Q-структура, удовлетворяющая Q² = 0
L_Q ω = 0 (симплектическая форма инвариантна относительно Q)
Определение группоида Ли n-го порядка:
Группоид Ли n-го порядка — это симплициальное многообразие K•, удовлетворяющее условию Кана: естественная проекция
p^j_l : K_l → Hom(Λ[l,j], K•)
является сюръективной субмерсией для всех l ≥ 1 и 0 ≤ j ≤ l, и диффеоморфизмом для всех l ≥ n и 0 ≤ j ≤ l.
Сдвинутые симплектические структуры:
m-сдвинутая симплектическая структура на группоиде Ли n-го порядка K• — это замкнутая и невырожденная m-сдвинутая 2-форма ω•, то есть:
Теорема 1.3 (эквивалентность векторных расслоений):
Функтор 1: Vect → 1-Man, (E → M) ↦ E1 является эквивалентностью категорий.
Теорема 1.8 (соответствие группоидов Ли-алгебр):
Существует взаимно однозначное соответствие между Q-структурами степени 1 и структурами группоидов Ли-алгебр.
Теорема 3.6 (соответствие группоидов Ли-2-алгебр):
Существует категорная эквивалентность между Q-многообразиями степени 2 и группоидами Ли-2-алгебр.
Теорема 4.12 (соответствие группоидов Куранта):
Существует взаимно однозначное соответствие между группоидами Куранта и симплектическими Q-многообразиями степени 2, при этом соответствие устанавливает эквивалентность между структурами Дирака с носителем и лагранжевыми Q-подмногообразиями.
Теорема 6.7 (инвариантность по Мориту):
Пусть Φ•: K• → J• — суперпокрытие между группоидами Ли n-го порядка. Тогда K• допускает m-сдвинутую симплектическую структуру ω^K_• тогда и только тогда, когда J• допускает m-сдвинутую симплектическую структуру ω^J_•, удовлетворяющую ω^K_• - Φ*•ω^J_• = Dη•.
Предложение 4.10 (многообразия Пуассона):
Существует взаимно однозначное соответствие между многообразиями Пуассона и симплектическими Q-многообразиями степени 1.
Теорема 6.15 (три модели BG):
Для квадратичной группы Ли G существуют три симплектически эквивалентных по Мориту представления 2-сдвинутой симплектической структуры на классифицирующем пространстве BG:
Теоретическое объединение: успешное установление моста между теорией Q-многообразий и теорией группоидов Ли n-го порядка, демонстрирующее, что они кодируют различные аспекты одной и той же геометрической информации
Обобщение симплектической геометрии: успешное расширение классической симплектической геометрии на градуированные и высшие порядки с сохранением основной геометрической интуиции
Широкие приложения: теория имеет важные приложения в математической физике, геометрии Пуассона, топологической теории поля и других областях
Высокая систематичность: в качестве конспектов лекций предоставляет систематическое введение в данную область, от базовых концепций до передовых приложений
Богатство примеров: содержит многочисленные конкретные примеры, способствующие пониманию абстрактной теории
Междисциплинарная ценность: связывает несколько ветвей чистой математики и математической физики
Педагогическая ценность: как учебный материал имеет ясную структуру и последовательное изложение
Аспирантское обучение: продвинутый учебник для курсов по дифференциальной геометрии и математической физике
Справочный материал для исследований: справочный материал для исследователей, работающих в геометрии Пуассона, симплектической геометрии и математической физике
Междисциплинарные исследования: введение в высшие геометрические структуры для исследователей из других областей
Список литературы содержит 231 ссылку, охватывающую широкий спектр от классической дифференциальной геометрии до современной теории высших структур, отражая богатство и междисциплинарный характер данной области. Важные работы включают исследования Вайнтроба по группоидам Ли-алгебр, работы Ройтенберга по градуированным симплектическим многообразиям, теорию интегрирования L∞-алгебр Гетцлера и другие.
Общая оценка: Это высококачественный конспект лекций, предоставляющий ценный ресурс для изучения и исследования симплектической геометрии градуированных многообразий и высших группоидов Ли. Хотя и имеет ограничения в плане оригинальности, его систематичность и педагогическая ценность делают его важным вкладом в данную область.