$\mathcal{L}$-Lie Algebroids over Topological Ringed Spaces

技术摘要：拓扑环空间上的 $L$-李代数（L-Lie Algebroids）

问题陈述
李代数作为广义的无穷小对称性，统一了微分几何、泊松几何和数学物理中的概念。虽然在光滑流形上的李代数理论已非常成熟，但将这些结构扩展到复、代数及奇异设定（例如全纯或代数向量丛）时，需要使用层论方法。在这些更广泛的语境下，全局截面往往无法捕捉到完整的几何信息，因此必须使用局部环空间。

此外，最近的研究引入了“根植型”（rooted）或相对型的李代数结构，例如 $L$-李代数，其中锚映射（anchor map）通过一个固定的李代数 $L$ 进行分解。这些结构出现在对数辛几何、奇异叶状结构和等变几何中。然而，将这些根植结构与其相关的代数对象——特别是 Gerstenhaber 代数、Batalin–Vilkovisky (BV) 代数及其微分分次（differential graded）对应物——联系起来的统一框架，在拓扑环空间的语境下仍有待完全形式化。本文旨在解决将标准的对应关系（例如，李双代数与强微分 Gerstenhaber 代数之间的对应关系）推广到这种根植型设定的需求。

方法论
作者采用基于拓扑环空间 $(X, \mathcal{O}_X)$ 的层论框架，其中 $\mathcal{O}_X$ 是 $K$-代数层（$K = \mathbb{R}, \mathbb{C}$ 或特征为零的代数封闭域）。其方法论包括：

1. 定义的泛化： 文中定义了 $L$-李代数为配备有映射 $\phi: L' \to L$ 的李代数 $(L', \phi)$，其中 $L$ 是固定的李代数。类似地，它引入了 $A$-Gerstenhaber 代数，即映射到固定 Gerstenhaber 代数 $A$ 的 Gerstenhaber 代数。
2. 代数对应关系： 作者建立了这些根植几何结构与其代数化身之间的函子关系。这包括将李代数与 Gerstenhaber 代数、以及李双代数与强微分 Gerstenhaber 代数之间的对应关系进行扩展。
3. 同调代数： 本文利用层复形的超上同调（hypercohomology）和超同调（hyperhomology）来定义李代数（共）同调。它将 Poincaré–Birkhoff–Witt (PBW) 定理推广到 $L$-李代数的语境中，并构造了通用包络代数（universal enveloping algebroids）$U(\mathcal{O}_X, L)$。
4. 联络理论： 联络的概念从 $L$-联络扩展到了 $(L', L)$-联络，其中对于 $\mathcal{O}_X$-模 $E$ 上的联络，是相对于映射 $\phi: L' \to L$ 来定义的。通过分析平坦性条件，将这些联络与 BV 代数结构联系起来。

主要贡献与结果

• $L$-李代数与 $A$-Gerstenhaber 代数： 本文证明了一个 $\mathcal{O}_X$-模 $E$ 具有 $L$-李代数结构，当且仅当其外代数 $\wedge^\bullet_{\mathcal{O}_X} E$ 携带一个 $G_L$-Gerstenhaber 代数结构（定理 3.12）。这推广了联系李代数与 Gerstenhaber 代数的经典结果。
• $\Omega^\bullet_L$-微分分次代数： 文中建立了 $L$-李代数结构与对偶丛的外代数的 $\Omega^\bullet_L$-微分分次代数结构之间的对应关系（定理 4.3）。
• $L$-李双代数与强微分 Gerstenhaber 代数： 作者定义了满足相容性条件的对偶 $L$-李代数对，称为 $L$-李双代数。他们证明，这样的结构存在于对 $(L', L'^*)$ 上，当且仅当 $\wedge^\bullet_{\mathcal{O}_X} L'$ 具有一个强微分 $G_L$-Gerstenhaber 代数结构（定理 5.10）。
• 广义联络与 BV-代数： 本文将联络理论扩展到 $(L', L)$-联络。它表明，一个精确的 Gerstenhaber 代数（BV-代数）结构与一个 Gerstenhaber 同态相结合，等价于 $L'$ 具有一个 $L$-李代数结构，且在 $\wedge^n_{\mathcal{O}_X} L$ 上具有一个平坦的 $(L', L)$-联络（定理 6.6）。
• 同调与上同调对偶性： 基于 Xu 和 Huebschmann 的工作，本文将李代数同调与上同调之间的对偶定理扩展到了 $L$-李代数的情境。它建立了 $L$-李代数 $L'$ 的同调与其在顶外幂上的上同调之间的规范对偶同构，该同构通过基底李代数 $L$ 的对偶进行分解（定理 8.9）。
• 广义 PBW 定理： Poincaré–Birkhoff–Witt 定理被推广到 $L$-李代数，表明通用包络代数 $U(\mathcal{O}_X, L')$ 的分次代数与对称代数 $\text{Sym}_{\mathcal{O}_X}(L')$ 是同构的，且这种同构方式与向 $U(\mathcal{O}_X, L)$ 的映射相兼容（定理 7.6）。

意义与主张
本文声称提供了一个用于研究跨越光滑、全纯及代数设定（特别是涉及奇异性或特定除子结构的设定）的几何结构的统一框架。通过引入 $L$-李代数的“根植型”视角，作者为各种几何现象提供了更自然的描述，例如：

• 对数结构： 该框架自然地描述了对数切丛和对数联络，其中锚映射通过对数切丛进行分解。
• 奇异叶状结构： 它容纳了不一定是局部自由的奇异子代数和叶状结构。
• 等变几何： 它为研究等变主丛和对数 Atiyah 代数提供了环境。

作者强调，虽然这些结构可以被视为拓扑环空间上的李代数实例，但 $L$-李代数框架通常能简化描述并揭示更深层的代数关系，特别是关于微分算子、联络与变形理论之间的相互作用。这项工作是利用根植 Gerstenhaber 和 BV-代数进行几何结构变形理论进一步发展的奠基性一步。