[论文解读] L_infinity algebras as 1-jets of simplicial manifolds (and a bit beyond)

Pavol Ševera|ArXiv.org|Dec 13, 2006

Advanced Topics in Algebra被引用 10

一句话总结

本文通过函子性构造，建立了 $L_∞$-代数与单纯流形的 1-喷射之间的对应关系：将单纯流形限制在 $\mathbb{R}^{0|1}$-丛上，得到一个由微分 graded 超流形表示的函子，该函子编码了 $L_\infty$-代数结构。关键结果是，Kan 单纯流形诱导出其 1-喷射的 $L_\infty$-代数，将经典李群–李代数对应关系推广至更高同伦结构。

ABSTRACT

The procedure "Lie group --> Lie algebra" has a generalization "simplicial manifold --> L_infinity algebra", or yet better, "presheaf on the category of surjective submersions --> L_infinity algebra". We describe this generalization, together with its higher-order extensions.

研究动机与目标

• 通过单纯方法将经典的李群–李代数对应关系推广至更高同伦与更高结构。
• 证明单纯流形的 1-喷射在表示性条件下，可导出 $L_\infty$-代数。
• 形式化微分形式可视为从 $\mathbb{R}^{0|1}$ 到流形的映射空间上的函数这一思想，从而连接几何与同调代数。
• 将构造推广至更高维的超流形 $\mathbb{R}^{0|n}$-丛，定义单纯流形的更高喷射。
• 为理解 $L_\infty$-代数作为李代数的导出或同伦类比，提供一个概念性、函子性的框架。

提出的方法

• 将与单纯流形 $K_\bullet$ 关联的反变函子 $F$（从正则子mersions 到集合）限制在形如 $\mathbb{R}^{0|1} \times N \to N$ 的子mersions 全子范畴上。
• 定义 $\mathrm{res}_1 F$ 为受限函子，其将每个 $N$ 映射到从 $M \to N$ 的骨架到 $K_\bullet$ 的单纯映射的集合。
• 若 $K_\bullet$ 是 Kan 型，则 $\mathrm{res}_1 F$ 可由一个超流形 $X$ 表示，该超流形自然携带微分 graded 结构。
• 利用限制与诱导之间的伴随关系，将结构回传至全范畴，从而恢复以 $X$ 值的平坦联络。
• 将构造推广至 $\mathbb{R}^{0|n}$-丛，通过纤维积与子mersions 的递归构造，定义更高喷射。
• 应用超流形版本的同伦提升性质（引理 A.1），确保喷射构造中诱导映射为正则子mersions，从而保持表示性。

实验结果

研究问题

• RQ1 如何通过喷射构造，系统地从单纯流形导出 $L_\infty$-代数？
• RQ2 何种函子机制可将单纯流形通过限制于 $\mathbb{R}^{0|1}$-丛，转化为微分 graded 超流形？
• RQ3 在何种条件下，单纯流形的 1-喷射会诱导出表示函子，其会带来何种结构？
• RQ4 该构造能否通过更高维的超流形 $\mathbb{R}^{0|n}$ 推广至更高喷射？
• RQ5 如何从 $\mathrm{Diff}(\mathbb{R}^{0|1})$ 在映射空间上的作用，导出 $L_\infty$-代数的 Maurer–Cartan 方程？

主要发现

• Kan 单纯流形 $K_\bullet$ 的 1-喷射可由微分 graded 超流形 $X$ 表示，该超流形对应于非正度数的 $L_\infty$-代数。
• 当 $K_\bullet$ 是李群 $G$ 的骨架时，函子 $\mathrm{res}_1 F$ 可由 $\Pi \mathfrak{g}$ 表示，从而恢复出李代数 $\mathfrak{g}$ 作为 1-喷射。
• $X$ 上的微分 graded 结构源于 $\mathrm{res}_1 F$ 在 $\mathbb{R}^{0|1}$-丛之间映射的函子性，编码了 $L_\infty$-关系。
• 当 $K_0 = \{\mathrm{pt}\}$ 时，所得的 $L_\infty$-代数为正度数，且纤维化平坦联络对应于 $L_\infty$-Maurer–Cartan 方程的解。
• 通过 $\mathbb{R}^{0|n}$-丛递归构造更高喷射，其中 $H^{(k)} \subset \mathrm{Hom}((\mathbb{R}^{0|n})^k, K_k)$ 构成一组正则子mersions 的塔。
• 该构造依赖于同伦提升性质的超流形类比（引理 A.1），确保喷射构造中诱导映射为正则子mersions，从而保持表示性。