Базовые сечения LA-группоидов

Основная информация

• ID статьи: 2511.04289
• Название: Basic sections of LA-groupoids
• Авторы: Antonio Maglio (Польская академия наук), Fabricio Valencia (Университет Сан-Паулу)
• Классификация: math.DG (Дифференциальная геометрия)
• Дата подачи: 6 ноября 2025 г. на arXiv
• Ссылка на статью: https://arxiv.org/abs/2511.04289

Аннотация

В данной работе определяется понятие базовых сечений для LA-группоидов (LA-groupoid) с инъективным отображением якоря ядра (injective core-anchor map). Показано, что это понятие является инвариантом Мориты, что обеспечивает более простую модель для сечений расслоённых алгеброидов Ли (stacky Lie algebroid), представленных такими LA-группоидами, но эквивалентную хорошо известной модели мультипликативных сечений.

Исследовательский контекст и мотивация

Основная исследовательская проблема

Центральный вопрос работы: как определить упрощённое, инвариантное относительно эквивалентности Мориты пространство сечений для LA-группоидов с инъективным отображением якоря ядра?

Значимость проблемы

1. Широкое применение группоидов Ли: Группоиды Ли являются важной структурой в современной дифференциальной геометрии, объединяя многообразия, группы Ли, действия групп Ли, субмерсии, слоения, псевдогруппы, векторные расслоения и главные расслоения.
2. Геометрические структуры дифференцируемых стеков: Группоиды Ли можно рассматривать как промежуточный этап в определении дифференцируемых стеков (differentiable stacks), которые являются пространствами, допускающими особенности и обобщающими многообразия, орбифолды и пространства листьев сингулярных слоений.
3. Важность инвариантности Мориты: Геометрические структуры, совместимые с эквивалентностью Мориты, могут спускаться на факторстеки группоидов Ли, расширяя геометрические концепции на сингулярные пространства орбит.

Ограничения существующих методов

Существующая модель Ли 2-алгебры мультипликативных сечений LA-группоидов, хотя и является инвариантом Мориты, имеет сложную структуру. Для специальных случаев с инъективным отображением якоря ядра (например, слоённые группоиды) существуют более простые модели (базовые векторные поля), но отсутствует единая теоретическая база.

Исследовательская мотивация

1. Упрощение модели: Предоставить более простую модель сечений для LA-группоидов с инъективным якорем ядра по сравнению с мультипликативными сечениями.
2. Обобщение базовых векторных полей: Распространить концепцию базовых векторных полей на слоённых группоидах на более общие LA-группоиды.
3. Потребности приложений: Определить базовые дифференцирования для линейных расслоений группоидов, применяемые при изучении редукции 0-сдвинутых контактных структур.

Основные вклады

1. Определение концепции базовых сечений: Введено понятие базовых сечений для VB-группоидов (в частности, LA-группоидов) с инъективным отображением якоря ядра.
2. Установление структуры алгебры Ли: Доказано, что пространство базовых сечений LA-группоида естественным образом наследует структуру алгебры Ли.
3. Инвариантность Мориты: Показано, что алгебра Ли базовых сечений является инвариантом Мориты и может служить моделью для сечений расслоённых алгеброидов Ли.
4. Теорема эквивалентности (основная теорема): Для LA-группоида $(V \Rightarrow E; G \Rightarrow M)$ с инъективным отображением якоря ядра на пространстве базовых сечений существует инвариантная относительно Мориты структура алгебры Ли, и эта алгебра квазиизоморфна Ли 2-алгебре мультипликативных сечений.
5. Широкий спектр примеров применения: Продемонстрировано применение теории в важных сценариях: базовые векторные поля, базовые дифференцирования, базовые 1-формы Пуассоновых группоидов, базовые 1-струи якобиевых группоидов и другие.

Подробное описание методов

Постановка задачи

Дан LA-группоид $(V \Rightarrow E; G \Rightarrow M)$ с ядром $C$ и инъективным отображением якоря ядра $\partial: C \to E$. Требуется:

• Определить пространство базовых сечений $\Gamma_{\text{bas}}(V)$
• Установить структуру алгебры Ли на $\Gamma_{\text{bas}}(V)$
• Доказать его инвариантность Мориты
• Установить эквивалентность с мультипликативными сечениями

Теоретическая архитектура

1. Основы VB-группоидов и LA-группоидов

VB-группоид — это векторное расслоение в категории группоидов Ли, представляемое коммутативной диаграммой:

V ⇒ E
↓   ↓
G ⇒ M

где $V \Rightarrow E$ и $G \Rightarrow M$ — группоиды Ли, $V \to G$ и $E \to M$ — векторные расслоения.

LA-группоид — это VB-группоид $(V \Rightarrow E; G \Rightarrow M)$, где $V$ и $E$ — алгеброиды Ли, и все структурные отображения — морфизмы алгеброидов Ли.

Ядро (Core): $C = \ker(s)|_M$, где $s$ — отображение источника.

Отображение якоря ядра: $\partial: C \to E$ — ограничение отображения цели $t$ на ядро.

2. Характеристики инъективного отображения якоря ядра

Лемма 3.1 — ключевой результат: отображение якоря $\partial$ инъективно тогда и только тогда, когда $\ker s \cap \ker t = \{0\}$.

В этом случае:

• $\ker s + \ker t = \ker s \oplus \ker t$ — векторное подрасслоение $V$
• Для LA-группоида это подалгебраид Ли расслоения $V$

3. Конструкция нормального расслоения

Определяется нормальное расслоение: $N_1 = \frac{V}{\ker(s) + \ker(t)}, \quad N_0 = \frac{E}{C}$

Через VB-морфизмы $p_R: V \to s^*E$ и $p_L: V \to t^*E$: $u_g \mapsto (g, s(u_g)) \quad \text{и} \quad u_g \mapsto (g, t(u_g))$

Лемма 3.3 доказывает, что эти отображения индуцируют VB-изоморфизмы: $N_1 \cong s^*N_0 \quad \text{и} \quad N_1 \cong t^*N_0$

4. Определение базовых сечений

Определение 3.4: Базовое сечение VB-группоида $V$ — это сечение $\lambda \in \Gamma(N_0)$, удовлетворяющее условию $s^*\lambda = t^*\lambda \in \Gamma(N_1)$.

Пространство базовых сечений обозначается $\Gamma_{\text{bas}}(V)$.

Геометрическая интуиция: Базовое сечение — это сечение $E/C$, удовлетворяющее условиям инвариантности относительно действия группоида.

Технические инновации

1. Конструкция структуры алгебры Ли

Для LA-группоида используется представление Ботта $\nabla: \Gamma(C) \times \Gamma(N_0) \to \Gamma(N_0)$ для определения пространства плоских сечений: $\Gamma_0(E) := \{Y \in \Gamma(N_0) \mid \nabla_X Y = 0, \forall X \in \Gamma(C)\} \cong \frac{N(\Gamma(C))}{\Gamma(C)}$

Предложение 3.6 доказывает: $\Gamma_{\text{bas}}(V)$ — подалгебра Ли алгебры $\Gamma_0(E)$.

Схема доказательства:

1. Использование правоинвариантных сечений $\vec{Y}$ и естественности представления Ботта (диаграмма 3.3)
2. Доказательство того, что $s^*, t^*: \Gamma_0(E) \to \Gamma_0(V)$ — морфизмы алгебр Ли
3. Для $X, Y \in \Gamma_{\text{bas}}(V)$ вычисляется: $s^*([X,Y]) = [s^*X, s^*Y] = [t^*X, t^*Y] = t^*[X,Y]$

2. Инвариантность Мориты

Ключевой механизм:

• VB-морфизм Мориты $F: V \to V'$ индуцирует поточечный квазиизоморфизм между комплексами ядер (диаграмма 3.1)
• Индуцированное отображение $\bar{F}: N_0 \to N'_0$ — VB-морфизм, обратимый на каждом слое
• Обратный образ $F^*: \Gamma_{\text{bas}}(V') \to \Gamma_{\text{bas}}(V)$ — линейный изоморфизм

Предложение 3.12: VB-морфизм Мориты индуцирует линейный изоморфизм пространств базовых сечений; для LA-морфизма Мориты это изоморфизм алгебр Ли.

Следствие 3.13: Эквивалентные по Морите LA-группоиды имеют изоморфные алгебры Ли базовых сечений.

3. Эквивалентность с мультипликативными сечениями

Ли 2-алгебра мультипликативных сечений задаётся перекрёстным модулем: $\Gamma(C) \xrightarrow{\delta} \Gamma_{\text{mult}}(V) \xrightarrow{D} \text{Der}(\Gamma(C))$

где $\delta(c) = (\vec{c} - \overleftarrow{c}, \partial(c))$.

Предложение 3.14: Отображение $\Psi: \frac{\Gamma_{\text{mult}}(V)}{\text{im}(\delta)} \to \Gamma_{\text{bas}}(V), \quad (\lambda, e) \mapsto \bar{e}$ является изоморфизмом алгебр Ли.

Ключевые моменты доказательства:

1. Использование эквивалентности Мориты: $V$ эквивалентен тривиальному VB-группоиду $V'$ с боковым расслоением $E/C$
2. $\Gamma_{\text{mult}}(V')/\text{im}(\delta) \cong \Gamma(E/C)^G$ ($G$-инвариантные сечения)
3. $\Gamma_{\text{bas}}(V) = \Gamma(E/C)^G$ (замечание 3.7)

Экспериментальная установка

Данная работа — чисто математическая теоретическая статья без численных экспериментов. Верификация проводится через строгие математические доказательства и конкретные геометрические примеры.

Примеры приложений

Пример 4.1: Базовые векторные поля

Слоённые группоиды: Группоид Ли $G \Rightarrow M$ с инъективным отображением якоря $\rho: A \to TM$.

Касательный LA-группоид $TG \Rightarrow TM$ имеет отображение якоря ядра, совпадающее с $\rho$, поэтому оно инъективно. Базовые сечения восстанавливают концепцию базовых векторных полей на слоённых группоидах, изученную в 11.

Приложения:

• Группоиды Ли с 0-сдвинутой симплектической структурой являются слоёнными группоидами
• Базовые векторные поля используются для реализации инвариантной редукции при действии слоённых Ли 2-групп с гамильтоновой структурой

Пример 4.2: Базовые дифференцирования

Установка: Группоид действия $G \ltimes E \Rightarrow E$, представляющий действие, образует VB-группоид $V \Rightarrow E$.

Базовые сечения Атийяхова LA-группоида $(DV \Rightarrow DE; G \Rightarrow M)$ дают модель базовых дифференцирований.

Специальный случай: Линейные расслоения группоидов $L \Rightarrow L_M$

• Атийяхов LA-группоид линейного расслоения группоида с 0-сдвинутой контактной структурой имеет инъективное отображение якоря ядра
• Базовые дифференцирования используются в теории редукции 0-сдвинутых контактных структур 17

Пример 4.3: Базовые 1-формы транзитивных пуассоновых группоидов

Пуассоновы группоиды: $G \Rightarrow M$ с пуассоновой структурой $\pi$, совместимой со структурой группоида.

Кокасательный VB-группоид $T^*G \Rightarrow A^*$ является LA-группоидом с отображением якоря ядра $\rho^*: T^*M \to A^*$ (двойственное якорю).

Транзитивный случай: Если $G$ транзитивен, то $\rho$ сюръективно, следовательно, $\rho^*$ инъективно, что даёт модель базовых 1-форм.

Пример 4.4: Базовые 1-струи якобиевых группоидов

Якобиевы группоиды: Линейные расслоения VB-группоидов $(L \Rightarrow L_M; G \Rightarrow M)$ с совместимой якобиевой бивекторной структурой $\mathcal{J}: \wedge^2 J^1L \to L$.

Расслоение 1-струй $J^1L \Rightarrow A^\dagger = A^* \otimes L_M$ является LA-группоидом с отображением якоря ядра $\mathcal{D}^\dagger: J^1L_M \to A^\dagger$.

Если $\mathcal{D}$ сюръективно, то $\mathcal{D}^\dagger$ инъективно, что даёт модель базовых 1-струй.

Замечание 4.5: Симплектические и контактные группоиды

Для совместимых симплектических или контактных структур, если отображение якоря ядра инъективно, оно также сюръективно (изоморфизм). В этом случае нормальное расслоение тривиально, и нет нетривиальных базовых сечений. Это согласуется с замечанием 3.7.

Связанные работы

Основные смежные исследования

1. Теория VB-группоидов:
   • Mackenzie 13: Двойственность симплектических бигруппоидов и пуассоновых группоидов
   • Gracia-Saz & Mehta 9: VB-группоиды и теория представлений группоидов Ли
   • del Hoyo & Ortiz 7: Эквивалентность Мориты векторных расслоений
2. LA-группоиды и мультипликативные сечения:
   • Mehta 18: $Q$-алгеброиды и их когомология
   • Ortiz & Waldron 20: Ли 2-алгебра сечений LA-группоидов
3. Слоённые группоиды и базовые векторные поля:
   • Hoffman & Sjamaar 11: Слоённые гамильтоновы действия и симплектическая редукция
   • del Hoyo & Fernandes 6: Римановы метрики на группоидах Ли
4. 0-сдвинутые структуры:
   • Maglio, Tortorella & Vitagliano 16: 0-сдвинутые контактные структуры на дифференцируемых стеках
   • Bursztyn и др. 2: Контактные двойственные пары
5. Альтернативные подходы:
   • Alvarez & Cueca 1: Гомологические векторные поля и квази-LA-группоиды на дифференцируемых стеках

Инновационность данной работы

1. Единая база: Обобщение концепции базовых векторных полей на общие LA-группоиды
2. Упрощённая модель: Предоставление более простой, но эквивалентной модели по сравнению с мультипликативными сечениями
3. Широкая применимость: Применимость к различным геометрическим структурам (пуассоновым, якобиевым, контактным и т.д.)

Заключение и обсуждение

Основные выводы

1. Для LA-группоидов с инъективным отображением якоря ядра пространство базовых сечений $\Gamma_{\text{bas}}(V)$ естественным образом обладает структурой алгебры Ли.
2. Эта алгебра Ли является инвариантом Мориты и может служить упрощённой моделью для пространства сечений расслоённых алгеброидов Ли.
3. Модель базовых сечений квазиизоморфна модели Ли 2-алгебры мультипликативных сечений (предложение 3.14).
4. Теория объединяет и обобщает концепции базовых сечений для нескольких важных геометрических объектов.

Ограничения

1. Необходимость условия инъективности: Теория применима только к LA-группоидам с инъективным отображением якоря ядра и не охватывает общий случай.
2. Отличие от тривиального ядра: В отличие от VB-группоидов, LA-группоиды с инъективным отображением якоря ядра не обязательно эквивалентны по Морите LA-группоидам с тривиальным ядром (замечание 3.2). Например, для касательного VB-группоида слоённого группоида, $E/C = TM/T\mathcal{F}$ не является алгебраидом Ли, если слоение нетривиально.
3. Вырождение в симплектическом/контактном случае: Для симплектических и контактных группоидов, если отображение якоря ядра инъективно, оно также сюръективно, что приводит к отсутствию нетривиальных базовых сечений (замечание 4.5).

Направления будущих исследований

1. Приложения базовых дифференцирований: Завершение теории редукции 0-сдвинутых контактных структур для линейных расслоений группоидов при действии слоённых Ли 2-групп 17.
2. Другие геометрические структуры: Применение теории к мультипликативным структурам Дирака 19 и структурам Дирака-Якоби 21.
3. Квази-LA-группоиды: Исследование связи с более общей базой квази-LA-группоидов, предложенной Alvarez & Cueca 1.
4. Описания через $Q$-группоиды и $PVB$-группоиды: Перевод концепции базовых сечений в эти эквивалентные структуры (замечание 3.8).

Глубокая оценка

Достоинства

1. Теоретическая инновационность

• Обобщение концепции: Успешное распространение концепции базовых векторных полей на слоённых группоидах на общие LA-группоиды с установлением единой теоретической базы.
• Упрощённая модель: Предоставление более простого, но эквивалентного описания по сравнению с Ли 2-алгеброй мультипликативных сечений, снижающее техническую сложность.
• Инвариантность Мориты: Доказательство инвариантности Мориты базовых сечений обеспечивает корректное определение этого понятия в геометрии стеков.

2. Техническая строгость

• Полнота доказательств: Все основные результаты имеют детальные математические доказательства с логической последовательностью.
• Лемматическая поддержка: Леммы 3.1 и 3.3 обеспечивают прочную техническую базу для центральных определений.
• Анализ естественности: Полное использование естественности представления Ботта (диаграмма A.1) с ясной структурой доказательств.

3. Широкий спектр приложений

Раздел 4 демонстрирует богатый набор примеров применения:

• Базовые векторные поля (слоённые группоиды)
• Базовые дифференцирования (линейные расслоения группоидов)
• Базовые 1-формы (пуассоновы группоиды)
• Базовые 1-струи (якобиевы группоиды)

Эти примеры охватывают несколько важных областей дифференциальной геометрии.

4. Ясная структура

• Раздел 2 кратко вводит предварительные сведения
• Раздел 3 систематически развивает теорию
• Раздел 4 проверяет теорию через примеры
• Приложение A дополняет технические детали

Логика изложения ясна и облегчает понимание читателем.

Недостатки

1. Ограничение области применения

Ограничение условием инъективности: Теория применима только к LA-группоидам с инъективным отображением якоря ядра. Хотя такие группоиды важны в геометрии (слоённые группоиды, 0-сдвинутые симплектические/контактные структуры), общий случай не охватывается.

Вырождение в специальных случаях: Для симплектических/контактных группоидов теория применима, но результаты тривиальны (замечание 4.5), что ограничивает практическую ценность.

2. Недостаточное обсуждение связи с существующими работами

Неполное обсуждение квази-LA-группоидов: Замечание 2.2 упоминает, что квази-LA-группоиды Alvarez & Cueca 1 предоставляют альтернативное определение расслоённых алгеброидов Ли, но глубокого сравнения двух подходов нет.

Новизна относительно базовых векторных полей: Хотя пример 4.1 обобщает работу 11, не указаны явно технические улучшения или новые идеи по сравнению с исходной работой.

3. Недостаточная конкретность будущих работ

Приложения базовых дифференцирований: Упоминается применение к редукции 0-сдвинутых контактных структур 17, но конкретные идеи или ожидаемые результаты не приводятся.

Другие геометрические структуры: Упоминается применимость к структурам Дирака и Дирака-Якоби, но отсутствует конкретный технический план.

4. Ограниченная глубина примеров

Примеры в разделе 4 в основном проверяют применимость теории, но недостаточно обсуждают:

• Как вычислять конкретные базовые сечения
• Геометрический/физический смысл базовых сечений
• Связь с другими геометрическими инвариантами

Влияние

1. Вклад в область

• Теоретическая база: Предоставление новых технических инструментов для геометрии стеков, обогащение теории LA-группоидов.
• Единая перспектива: Включение нескольких, казалось бы, независимых концепций (базовые векторные поля, базовые дифференцирования и т.д.) в единую базу.
• Мостовая роль: Связь теории VB-группоидов, эквивалентности Мориты и геометрии стеков.

2. Практическая ценность

• Теория редукции: Базовые сечения — важный инструмент для изучения редукции по симметриям (примеры 4.1 и 4.2).
• Построение инвариантов: Инвариантность Мориты делает их кандидатом для определения геометрических инвариантов на стеках.
• Упрощение вычислений: По сравнению с Ли 2-алгеброй мультипликативных сечений, структура алгебры Ли базовых сечений более доступна для работы.

3. Воспроизводимость

• Ясные определения: Все концепции имеют точные математические определения.
• Детальные доказательства: Шаги доказательства основных результатов ясны и поддаются проверке.
• Конкретные примеры: Примеры в разделе 4 предоставляют конкретные сценарии применения теории.

Недостаток: Отсутствие вычислительных примеров или алгоритмов; читатели, желающие практически применить теорию, могут нуждаться в дополнительной технической подготовке.

Сценарии применения

1. Теоретические исследования

• Геометрия стеков: Исследование алгеброидов Ли и векторных полей на дифференцируемых стеках
• Теория Мориты: Построение и изучение инвариантов Мориты
• Высшие структуры: Ли 2-алгебры, теория представлений Ли 2-групп

2. Исследование геометрических структур

• Слоения: Геометрия слоённых многообразий с симметриями
• Пуассонова геометрия: Теория редукции транзитивных пуассоновых группоидов
• Контактная геометрия: Симметрии и редукция 0-сдвинутых контактных структур

3. Математическая физика

• Калибровочные теории: Редукция теорий поля с симметриями группоидов
• Интегрируемые системы: Гамильтоновы системы с симметриями группоидов
• Геометрическое квантование: Теория квантования на стеках

4. Неприменимые сценарии

• LA-группоиды с неинъективным отображением якоря ядра
• Приложения, требующие конкретных вычислений (отсутствуют алгоритмы)
• Нетривиальные симплектические/контактные группоиды (результаты вырождаются)

Ключевые ссылки

1. 7 M. del Hoyo and C. Ortiz: Morita equivalences of vector bundles, Int. Math. Res. Not. IMRN, 2020
   • Теоретическая база эквивалентности Мориты для VB-группоидов
2. 20 C. Ortiz and J. Waldron: On the Lie 2-algebra of sections of an LA-groupoid, J. Geom. Phys., 2019
   • Теория Ли 2-алгебры мультипликативных сечений
3. 11 B. Hoffman and R. Sjamaar: Stacky Hamiltonian actions and symplectic reduction, Int. Math. Res. Not. IMRN, 2021
   • Исходная работа по базовым векторным полям
4. 16 A. Maglio, A. G. Tortorella, and L. Vitagliano: Shifted contact structures on differentiable stacks, Int. Math. Res. Not. IMRN, 2024
   • Теория 0-сдвинутых контактных структур
5. 9 A. Gracia-Saz and R. A. Mehta: VB-groupoids and representation theory of Lie groupoids, J. Symplectic Geom., 2017
   • Теория представлений VB-группоидов

Итоговое резюме

Данная работа устанавливает теорию базовых сечений для LA-группоидов с инъективным отображением якоря ядра, предоставляя упрощённую модель для сечений расслоённых алгеброидов Ли. Теория строга, имеет широкий спектр приложений и является важным вкладом в геометрию стеков и теорию LA-группоидов. Основные ограничения связаны с ограничением области применения условием инъективности и отсутствием конкретных методов вычисления. Будущие работы имеют потенциал в теории редукции 0-сдвинутых контактных структур и приложениях к другим геометрическим структурам.