2025-11-11T19:22:09.865570

Basic sections of LA-groupoids

Maglio, Valencia
We define the notion of basic section of an LA-groupoid whose core-anchor map is injective. Such a notion turns out to be Morita invariant, so that it provides a simpler model for the sections of the stacky Lie algebroids presented by such LA-groupoids, yet equivalent to the well-known model provided by their multiplicative sections.
academic

Basic sections of LA-groupoids

基本信息

  • 论文ID: 2511.04289
  • 标题: Basic sections of LA-groupoids
  • 作者: Antonio Maglio (Polish Academy of Sciences), Fabricio Valencia (Universidade de São Paulo)
  • 分类: math.DG (Differential Geometry)
  • 发表时间: 2025年11月6日提交至arXiv
  • 论文链接: https://arxiv.org/abs/2511.04289

摘要

本文定义了具有单射核锚映射(injective core-anchor map)的LA-群胚(LA-groupoid)的基本截面概念。这一概念被证明是Morita不变的，从而为此类LA-群胚所呈现的层叠Lie代数胚(stacky Lie algebroid)的截面提供了一个更简单的模型，但与众所周知的乘法截面模型等价。

研究背景与动机

研究问题

本文研究的核心问题是：如何为具有单射核锚映射的LA-群胚定义一个简化的、Morita不变的截面空间模型？

问题重要性

  1. Lie群胚的广泛应用：Lie群胚是现代微分几何中的重要框架，它统一了流形、Lie群、Lie群作用、淹没映射、叶状结构、伪群、向量丛和主丛等多种几何对象。
  2. 可微栈的几何结构：Lie群胚可以视为定义可微栈(differentiable stacks)的中间步骤，而可微栈是允许奇点的空间，推广了流形、轨形和奇异叶状结构的叶空间。
  3. Morita不变性的重要性：与Morita等价相容的几何结构可以下降到Lie群胚的商栈，从而将几何概念扩展到奇异轨道空间上。

现有方法的局限性

现有的LA-群胚乘法截面的Lie 2-代数模型虽然是Morita不变的，但结构复杂。对于具有单射核锚映射的特殊情况（如叶状群胚），存在更简单的模型（基本向量场），但缺乏统一的理论框架。

研究动机

  1. 简化模型：为具有单射核锚映射的LA-群胚提供比乘法截面更简单的截面模型。
  2. 推广基本向量场：将叶状群胚上的基本向量场概念推广到更一般的LA-群胚。
  3. 应用需求：定义线丛群胚的基本导子，用于研究0-shifted接触结构的约化问题。

核心贡献

  1. 定义基本截面概念：为核锚映射单射的VB-群胚(特别是LA-群胚)引入了基本截面的概念。
  2. 建立Lie代数结构：证明了LA-群胚的基本截面空间自然继承Lie代数结构。
  3. Morita不变性：证明了基本截面的Lie代数是Morita不变的，因此可作为层叠Lie代数胚截面的模型。
  4. 等价性定理（主定理）：对于核锚映射单射的LA-群胚(V⇒E;G⇒M)(V \Rightarrow E; G \Rightarrow M)，基本截面空间上存在Morita不变的Lie代数结构，且该Lie代数与乘法截面的Lie 2-代数拟同构。
  5. 广泛的应用范例：展示了该理论在基本向量场、基本导子、Poisson群胚的基本1-形式、Jacobi群胚的基本1-射流等多个重要场景中的应用。

方法详解

任务定义

给定一个LA-群胚(V⇒E;G⇒M)(V \Rightarrow E; G \Rightarrow M)，其核为CC，核锚映射∂:C→E\partial: C \to E是单射，任务是：

  • 定义基本截面空间Γbas(V)\Gamma_{\text{bas}}(V)
  • 在Γbas(V)\Gamma_{\text{bas}}(V)上建立Lie代数结构
  • 证明其Morita不变性
  • 建立与乘法截面的等价关系

理论架构

1. VB-群胚和LA-群胚基础

VB-群胚是Lie群胚范畴内部的向量丛，由交换图表示：

V ⇒ E
↓   ↓
G ⇒ M

其中V⇒EV \Rightarrow E和G⇒MG \Rightarrow M是Lie群胚，V→GV \to G和E→ME \to M是向量丛。

LA-群胚是VB-群胚(V⇒E;G⇒M)(V \Rightarrow E; G \Rightarrow M)，其中VV和EE都是Lie代数胚，且所有结构映射都是Lie代数胚态射。

核(Core)：C=ker⁡(s)∣MC = \ker(s)|_M，其中ss是源映射。

核锚映射：∂:C→E\partial: C \to E是目标映射tt限制在核上的映射。

2. 单射核锚映射的特征

引理3.1的关键结论：核锚映射∂\partial单射当且仅当ker⁡s∩ker⁡t={0}\ker s \cap \ker t = \{0\}。

在这种情况下：

  • ker⁡s+ker⁡t=ker⁡s⊕ker⁡t\ker s + \ker t = \ker s \oplus \ker t是VV的向量子丛
  • 对于LA-群胚，这是VV的Lie子代数胚

3. 法丛构造

定义法丛： N1=Vker⁡(s)+ker⁡(t),N0=ECN_1 = \frac{V}{\ker(s) + \ker(t)}, \quad N_0 = \frac{E}{C}

通过VB-态射pR:V→s∗Ep_R: V \to s^*E和pL:V→t∗Ep_L: V \to t^*E： ug↦(g,s(ug))和ug↦(g,t(ug))u_g \mapsto (g, s(u_g)) \quad \text{和} \quad u_g \mapsto (g, t(u_g))

引理3.3证明了这些映射诱导VB-同构： N1≅s∗N0和N1≅t∗N0N_1 \cong s^*N_0 \quad \text{和} \quad N_1 \cong t^*N_0

4. 基本截面的定义

定义3.4：VB-群胚VV的基本截面是满足s∗λ=t∗λ∈Γ(N1)s^*\lambda = t^*\lambda \in \Gamma(N_1)的截面λ∈Γ(N0)\lambda \in \Gamma(N_0)。

基本截面空间记为Γbas(V)\Gamma_{\text{bas}}(V)。

几何直观：基本截面是E/CE/C的截面，满足与群胚作用的不变性条件。

技术创新点

1. Lie代数结构的构造

对于LA-群胚，利用Bott表示∇:Γ(C)×Γ(N0)→Γ(N0)\nabla: \Gamma(C) \times \Gamma(N_0) \to \Gamma(N_0)定义平坦截面空间： Γ0(E):={Y∈Γ(N0)∣∇XY=0,∀X∈Γ(C)}≅N(Γ(C))Γ(C)\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证明：Γbas(V)\Gamma_{\text{bas}}(V)是Γ0(E)\Gamma_0(E)的Lie子代数。

证明思路：

  1. 利用右不变截面Y⃗\vec{Y}和Bott表示的自然性（图表3.3）
  2. 证明s∗,t∗:Γ0(E)→Γ0(V)s^*, t^*: \Gamma_0(E) \to \Gamma_0(V)是Lie代数态射
  3. 对于X,Y∈Γbas(V)X, Y \in \Gamma_{\text{bas}}(V)，计算： s∗([X,Y])=[s∗X,s∗Y]=[t∗X,t∗Y]=t∗[X,Y]s^*([X,Y]) = [s^*X, s^*Y] = [t^*X, t^*Y] = t^*[X,Y]

2. Morita不变性

核心机制：

  • VB-Morita映射F:V→V′F: V \to V'诱导核复形间的逐点拟同构（图表3.1）
  • 诱导的映射Fˉ:N0→N0′\bar{F}: N_0 \to N'_0是逐纤维可逆的VB-态射
  • 回拉映射F∗:Γbas(V′)→Γbas(V)F^*: \Gamma_{\text{bas}}(V') \to \Gamma_{\text{bas}}(V)是Lie代数同构

命题3.12：VB-Morita映射诱导基本截面空间的线性同构；对于LA-Morita映射，这是Lie代数同构。

推论3.13：Morita等价的LA-群胚具有同构的基本截面Lie代数。

3. 与乘法截面的等价性

乘法截面的Lie 2-代数由交叉模给出： Γ(C)→δΓmult(V)→DDer(Γ(C))\Gamma(C) \xrightarrow{\delta} \Gamma_{\text{mult}}(V) \xrightarrow{D} \text{Der}(\Gamma(C))

其中δ(c)=(c⃗−c←,∂(c))\delta(c) = (\vec{c} - \overleftarrow{c}, \partial(c))。

命题3.14：映射 Ψ:Γmult(V)im(δ)→Γbas(V),(λ,e)↦eˉ\Psi: \frac{\Gamma_{\text{mult}}(V)}{\text{im}(\delta)} \to \Gamma_{\text{bas}}(V), \quad (\lambda, e) \mapsto \bar{e} 是Lie代数同构。

证明关键：

  1. 利用Morita等价性，VV等价于平凡核VB-群胚V′V'，其侧丛为E/CE/C
  2. Γmult(V′)/im(δ)≅Γ(E/C)G\Gamma_{\text{mult}}(V')/\text{im}(\delta) \cong \Gamma(E/C)^G（GG-不变截面）
  3. Γbas(V)=Γ(E/C)G\Gamma_{\text{bas}}(V) = \Gamma(E/C)^G（注3.7）

实验设置

本文是纯数学理论论文，不涉及数值实验。验证通过严格的数学证明和具体的几何例子完成。

应用实例

例4.1：基本向量场

叶状群胚：锚映射ρ:A→TM\rho: A \to TM单射的Lie群胚G⇒MG \Rightarrow M。

切LA-群胚TG⇒TMTG \Rightarrow TM的核锚映射恰为ρ\rho，因此是单射。基本截面恢复了11中研究的叶状群胚上的基本向量场概念。

应用：

  • 具有0-shifted辛结构的Lie群胚是叶状群胚
  • 基本向量场用于在叶状Lie 2-群的Hamilton作用下实现Morita不变约化

例4.2：基本导子

设置：表示EE的作用群胚G⋉E⇒EG \ltimes E \Rightarrow E形成VB-群胚V⇒EV \Rightarrow E。

Atiyah LA-群胚(DV⇒DE;G⇒M)(DV \Rightarrow DE; G \Rightarrow M)的基本截面给出基本导子的模型。

特殊情况：线丛群胚L⇒LML \Rightarrow L_M

  • 具有0-shifted接触结构的线丛群胚的Atiyah LA-群胚具有单射核锚映射
  • 基本导子用于0-shifted接触结构的约化理论17

例4.3：传递Poisson群胚的基本1-形式

Poisson群胚：G⇒MG \Rightarrow M配备与群胚结构相容的Poisson结构π\pi。

余切VB-群胚T∗G⇒A∗T^*G \Rightarrow A^*是LA-群胚，核锚映射为ρ∗:T∗M→A∗\rho^*: T^*M \to A^*（锚的对偶）。

传递情况：若GG传递，则ρ\rho满射，故ρ∗\rho^*单射，得到基本1-形式的模型。

例4.4：Jacobi群胚的基本1-射流

Jacobi群胚：线丛VB-群胚(L⇒LM;G⇒M)(L \Rightarrow L_M; G \Rightarrow M)配备相容的Jacobi双向量J:∧2J1L→L\mathcal{J}: \wedge^2 J^1L \to L。

1-射流丛J1L⇒A†=A∗⊗LMJ^1L \Rightarrow A^\dagger = A^* \otimes L_M是LA-群胚，核锚映射为D†:J1LM→A†\mathcal{D}^\dagger: J^1L_M \to A^\dagger。

若D\mathcal{D}满射，则D†\mathcal{D}^\dagger单射，得到基本1-射流的模型。

注4.5：辛和接触群胚

对于相容的辛或接触结构，若核锚映射单射，则也是满射（同构）。此时法丛平凡，无非平凡基本截面。这与注3.7一致。

相关工作

主要相关研究

  1. VB-群胚理论：
    • Mackenzie 13：辛双群胚和Poisson群胚的对偶性
    • Gracia-Saz & Mehta 9：VB-群胚与Lie群胚的表示理论
    • del Hoyo & Ortiz 7：向量丛的Morita等价
  2. LA-群胚和乘法截面：
    • Mehta 18：QQ-代数胚及其上同调
    • Ortiz & Waldron 20：LA-群胚截面的Lie 2-代数
  3. 叶状群胚和基本向量场：
    • Hoffman & Sjamaar 11：层叠Hamilton作用与辛约化
    • del Hoyo & Fernandes 6：Lie群胚上的Riemannian度量
  4. 0-shifted结构：
    • Maglio, Tortorella & Vitagliano 16：可微栈上的0-shifted接触结构
    • Bursztyn等2：接触对偶对
  5. 替代框架：
    • Alvarez & Cueca 1：可微栈上的同调向量场和拟LA-群胚

本文的创新之处

  1. 统一框架：将基本向量场的概念推广到一般LA-群胚
  2. 简化模型：提供比乘法截面更简单但等价的模型
  3. 广泛适用性：适用于多种几何结构（Poisson、Jacobi、接触等）

结论与讨论

主要结论

  1. 对于核锚映射单射的LA-群胚，基本截面空间Γbas(V)\Gamma_{\text{bas}}(V)自然具有Lie代数结构。
  2. 该Lie代数是Morita不变的，可作为层叠Lie代数胚截面空间的简化模型。
  3. 基本截面模型与乘法截面的Lie 2-代数模型拟同构（命题3.14）。
  4. 该理论统一并推广了多个重要几何对象的基本截面概念。

局限性

  1. 单射条件的必要性：理论仅适用于核锚映射单射的情况，不能处理一般LA-群胚。
  2. 与平凡核的差异：与VB-群胚不同，核锚映射单射的LA-群胚不一定Morita等价于平凡核LA-群胚（注3.2）。例如，叶状群胚的切VB-群胚，除非叶状是平凡的，否则E/C=TM/TFE/C = TM/T\mathcal{F}不是Lie代数胚。
  3. 辛/接触情况的退化：对于辛和接触群胚，若核锚映射单射则也是满射，导致无非平凡基本截面（注4.5）。

未来方向

  1. 基本导子的应用：完成线丛群胚在叶状Lie 2-群作用下的0-shifted接触约化理论17。
  2. 其他几何结构：将理论应用于乘法Dirac结构19和Dirac-Jacobi结构21。
  3. 拟LA-群胚：探索与Alvarez & Cueca 1提出的更广义的拟LA-群胚框架的关系。
  4. QQ-群胚和PVBPVB-群胚描述：将基本截面概念翻译到这些等价框架中（注3.8）。

深度评价

优点

1. 理论创新性

  • 概念推广：成功将叶状群胚的基本向量场概念推广到一般LA-群胚，建立了统一的理论框架。
  • 简化模型：提供了比乘法截面的Lie 2-代数更简单但等价的描述，降低了技术复杂度。
  • Morita不变性：证明了基本截面的Morita不变性，确保了该概念在层叠几何中的良好定义。

2. 技术严谨性

  • 证明完整：所有主要结论都有详细的数学证明，逻辑严密。
  • 引理支撑：引理3.1和3.3为核心定义提供了坚实的技术基础。
  • 自然性分析：充分利用了Bott表示的自然性（图表A.1），证明结构清晰。

3. 应用广泛性

论文第4节展示了丰富的应用实例：

  • 基本向量场（叶状群胚）
  • 基本导子（线丛群胚）
  • 基本1-形式（Poisson群胚）
  • 基本1-射流（Jacobi群胚）

这些例子涵盖了微分几何中的多个重要领域。

4. 结构清晰

  • 第2节简明介绍背景知识
  • 第3节系统建立理论
  • 第4节通过例子验证理论
  • 附录A补充技术细节

写作逻辑清晰，便于读者理解。

不足

1. 适用范围限制

单射条件的局限：理论仅适用于核锚映射单射的LA-群胚。虽然这类群胚在几何中很重要（如叶状群胚、0-shifted辛/接触结构），但不能处理一般情况。

退化情况：对于辛/接触群胚，理论虽然适用但结果平凡（注4.5），限制了应用价值。

2. 与已有工作的关系

拟LA-群胚的讨论不足：注2.2提到Alvarez & Cueca 1的拟LA-群胚提供了层叠Lie代数胚的替代定义，但未深入比较两种框架的优劣。

基本向量场的新贡献：虽然例4.1推广了11的工作，但未明确指出相比原工作的技术改进或新见解。

3. 未来工作的具体性

基本导子的应用：提到将用于0-shifted接触约化17，但未给出具体思路或预期结果。

其他几何结构：提到可应用于Dirac和Dirac-Jacobi结构，但缺少具体的技术路线图。

4. 例子的深度

第4节的例子主要验证理论的适用性，但对于：

  • 如何计算具体的基本截面
  • 基本截面的几何/物理意义
  • 与其他几何不变量的关系

等问题缺少深入讨论。

影响力

1. 对领域的贡献

  • 理论基础：为层叠几何提供了新的技术工具，丰富了LA-群胚理论。
  • 统一视角：将多个看似独立的概念（基本向量场、基本导子等）纳入统一框架。
  • 桥梁作用：连接了VB-群胚理论、Morita等价理论和层叠几何。

2. 实用价值

  • 约化理论：基本截面是研究对称性约化的重要工具（例4.1和4.2）。
  • 不变量构造：Morita不变性使其成为层叠上定义几何不变量的候选。
  • 计算简化：相比乘法截面的Lie 2-代数，基本截面的Lie代数结构更易处理。

3. 可复现性

  • 定义明确：所有概念都有精确的数学定义。
  • 证明详细：主要结果的证明步骤清晰，可验证。
  • 例子具体：第4节的例子提供了理论应用的具体场景。

不足：缺少计算实例或算法，对于想要具体应用该理论的读者可能需要额外的技术准备。

适用场景

1. 理论研究

  • 层叠几何：研究可微栈上的Lie代数胚和向量场
  • Morita理论：构造和研究Morita不变量
  • 高阶结构：Lie 2-代数、Lie 2-群的表示理论

2. 几何结构研究

  • 叶状结构：具有对称性的叶状流形的几何
  • Poisson几何：传递Poisson群胚的约化理论
  • 接触几何：0-shifted接触结构的对称性和约化

3. 数学物理

  • 规范理论：具有对称性的场论的约化
  • 可积系统：具有群胚对称性的Hamilton系统
  • 几何量子化：层叠上的量子化理论

4. 不适用场景

  • 核锚映射非单射的LA-群胚
  • 需要具体计算的数值应用（缺少算法）
  • 辛/接触群胚的非退化情况（结果平凡）

参考文献（关键文献）

  1. 7 M. del Hoyo and C. Ortiz: Morita equivalences of vector bundles, Int. Math. Res. Not. IMRN, 2020
    • VB-群胚的Morita理论基础
  2. 20 C. Ortiz and J. Waldron: On the Lie 2-algebra of sections of an LA-groupoid, J. Geom. Phys., 2019
    • 乘法截面的Lie 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-shifted接触结构理论
  5. 9 A. Gracia-Saz and R. A. Mehta: VB-groupoids and representation theory of Lie groupoids, J. Symplectic Geom., 2017
    • VB-群胚的表示理论

总结

本文为核锚映射单射的LA-群胚建立了基本截面理论，提供了层叠Lie代数胚截面的简化模型。理论严谨、应用广泛，是层叠几何和LA-群胚理论的重要贡献。主要局限在于适用范围受单射条件限制，以及缺少具体计算方法。未来工作在0-shifted接触结构的约化理论和其他几何结构的应用方面具有潜力。