The holonomy Lie $\infty$-groupoid of a singular foliation I

本文在奇异叶状结构 admit 几何分解的温和假设下，利用安德鲁拉基斯和斯坎达利斯发明的双覆盖（bi-submersions）递归构造，将奇异叶状结构的通用李$\infty$-代数胚积分为一个有限维的 Kan 单纯流形，其 1-截断即为安德鲁拉基斯 - 斯坎达利斯全纯群胚。

要点

这篇论文《奇异叶丛的完整李 8-群胚 I》（The holonomy Lie 8-groupoid of a singular foliation I）听起来非常深奥，充满了数学黑话。但如果我们剥开那些复杂的术语，它的核心思想其实是在解决一个关于“如何描述混乱与秩序”的几何难题。

我们可以用一个生动的比喻来解释这篇论文在做什么。

1. 核心问题：混乱的河流与完美的地图

想象你站在一片大地上，这里有一条条河流（这就是数学上的“叶丛”）。

• 普通河流（正则叶丛）： 这些河流宽度一致，流向清晰，像整齐的运河。数学家们早就知道如何画出一张完美的地图（李群胚）来描述它们：你在哪里，水流把你带向哪里，这张地图是平滑且完美的。
• 混乱的河流（奇异叶丛）： 但在现实中，河流会分叉、汇合，有的地方宽如大海，有的地方窄如小溪，甚至有的地方突然干涸成一个小水坑。这就是“奇异叶丛”。

问题出现了： 当河流变得如此混乱（维度不一、结构复杂）时，传统的“完美地图”就失效了。你无法用一张简单的、平滑的纸来描述所有情况。以前的数学家（Androulidakis 和 Skandalis）发明了一种叫“双淹没”（bi-submersion）的工具，像是一个局部的“透视镜”，能看清河流的局部结构，但他们只能拼凑出一个拓扑地图（有形状，但没有光滑的几何结构），或者只能看到河流的“一阶”快照（只能看起点和终点，看不出中间复杂的转弯）。

这篇论文的目标： 作者想要构建一张无限精细、高维度的“全息地图”。这张地图不仅能告诉你河流的起点和终点，还能告诉你河流在中间是如何扭曲、分叉、重组的。这张地图被称为“李 8-群胚”（Lie 8-groupoid）。

2. 核心工具：乐高积木与“双淹没”

为了构建这张复杂的地图，作者使用了一种叫做**“双淹没”（Bi-submersion）**的积木。

• 什么是双淹没？
  想象你要描述一条河流的流向。你手里有两张透明的塑料片（两个投影 $p$ 和 $q$）。

  • 一张片子上画着河流的源头（$M$）。
  • 另一张片子上画着河流的下游（$N$）。
  • 你手里的这块塑料板（$W$）本身是一个三维物体。当你把它压向源头时，它能完美覆盖源头；当你把它压向下游时，它也能完美覆盖下游。
  • 更重要的是，这块板子上的纹理（向量场）必须同时对应源头和下游的流动。

  这就叫“双淹没”。它就像是一个连接器，能把混乱的源头和下游无缝地连起来。

• 递归的乐高塔（Bi-submersion Tower）：
  这篇论文的绝妙之处在于，作者发现如果河流足够“有规律”（即存在“几何分辨率”，Geometric Resolution），你就可以用这些“双淹没”积木，一层一层地往上搭。

  • 第一层（$K_1$）： 描述河流的起点和终点（就像普通的地图）。
  • 第二层（$K_2$）： 描述“路径之间的路径”。如果从 A 到 B 有两条不同的路，这两条路之间有什么关系？这就需要第二层积木来记录。
  • 第三层（$K_3$）： 描述“路径关系之间的关系”。
  • 无限层（$K_\infty$）： 一直往上搭，直到捕捉到所有可能的混乱和秩序。

  作者构建的这个结构，就像一个无限高的乐高塔。每一层都比上一层更复杂，但它们都是有限维度的（也就是说，虽然高，但每一层都是实实在在的、可以测量的几何体，而不是无限维的抽象怪物）。

3. 主要发现：从“乱麻”到“有序的高塔”

这篇论文证明了：只要你的“混乱河流”（奇异叶丛）满足一个温和的条件（存在几何分辨率，这在很多自然现象和物理模型中都很常见），你就可以用这种递归的乐高塔方法，把它整合成一个有限维度的、完美的几何对象（即“李 8-群胚”）。

• 以前的局限： 以前的方法要么只能看到局部，要么得到的地图是无限维的（太复杂，没法算），要么只能看到“一阶”关系。
• 现在的突破： 作者构建的这个“李 8-群胚”是全局的（看得到整体）、有限维的（可以计算）、高维的（能捕捉所有复杂的层级关系）。

4. 一个有趣的“瑕疵”：不完美的完美

论文中提到了一个有趣的细节：这个构建出来的“乐高塔”虽然非常完美，但它并不是一个标准的“单纯形”（Simplicial manifold）。

• 比喻： 想象你在搭乐高。标准的规则是：如果你把两块积木拼在一起，再拼第三块，顺序不重要（$A+B+C = B+A+C$）。但在作者的塔里，有些“退化”的积木（Degeneracy maps，可以理解为把积木压扁或重复使用）并不完全遵守这个交换律。
• 作者的处理： 作者称这种结构为**“准单纯形结构”（Para-simplicial）**。虽然它不完美符合教科书上的所有规则，但它依然满足最核心的“填充条件”（Kan condition）。
  • Kan 条件是什么？ 想象你在画一个三角形，如果你知道三条边中的两条，你总能补全第三条。在这个高维地图里，如果你知道大部分路径关系，你总能推导出缺失的那部分关系。只要满足这个条件，这个“不完美”的塔依然能完美地描述河流的流动。

5. 总结：为什么这很重要？

想象一下，如果你要设计一个自动驾驶汽车，它不仅要识别平坦的公路（正则叶丛），还要能处理泥泞的沼泽、分叉的小径和突然消失的断桥（奇异叶丛）。

• 以前的数学工具只能处理平坦公路，或者只能模糊地感知沼泽。
• 这篇论文提供了一套通用的、高精度的导航系统。它告诉数学家和物理学家：无论你的“河流”（系统）多么混乱，只要它有一定的内在结构，我们就能用一套有限维的、高维度的“乐高积木”把它完全描述清楚。

一句话总结：
这篇论文发明了一种新的“几何乐高”搭建法，能够把那些原本看起来杂乱无章、维度混乱的数学河流，重新组装成一座结构清晰、层次分明、且可以精确计算的“高维全息塔”，让我们第一次真正看清了复杂系统内部的深层秩序。

技术摘要

这是一份关于论文 《The holonomy Lie 8-groupoid of a singular foliation I》（奇异叶丛的霍洛诺米李 8-群胚 I）的详细技术总结。

1. 研究背景与核心问题

背景：
奇异叶丛（Singular Foliations）是光滑流形上向量场的一个子层，满足李括号封闭且局部有限生成。它们推广了正则叶丛的概念，允许叶（Leaves）具有不同的维数。奇异叶丛广泛出现在泊松几何（如辛叶）、李群作用轨道等场景中。

核心问题 (Question 0.1 & 0.2)：
传统的李群胚（Lie Groupoid）通常只能积分正则叶丛或特定的 Debord 奇异叶丛。对于一般的奇异叶丛，是否存在一个李群胚，其李代数胚（Lie Algebroid）的锚映射像恰好是该奇异叶丛？

• 如果不存在（例如局部生成元数量无界时），答案是否定的。
• 即使存在，如果生成元数量有界，是否总能找到最小维数的李群胚？
• 本文转向更高阶结构： 作者提出，与其寻找普通的李群胚，不如寻找李 8-群胚（Lie $\infty$-groupoid），即有限维的 Kan 单纯流形（Kan simplicial manifold），其微分对应于奇异叶丛的通用李 8-代数胚（Universal Lie $\infty$-algebroid）。

2. 主要假设与对象

• 几何分辨率（Geometric Resolution）： 本文主要处理那些 admit 几何分辨率的奇异叶丛。即存在一个锚定的向量丛复形 $(E_\bullet, d, \rho)$，使得其截面复形在局部是正合的：
  $$\cdots \to \Gamma(E_{-2}) \xrightarrow{d} \Gamma(E_{-1}) \xrightarrow{\rho} \mathcal{F} \to 0$$
  这类叶丛包含了实解析和全纯奇异叶丛。
• 通用李 8-代数胚 ($U\mathcal{F}$)： 根据之前的工作（Lavau, Laurent-Gengoux, Strobl），任何具有几何分辨率的奇异叶丛都关联一个在同伦意义下唯一的通用李 8-代数胚。本文的目标是积分这个代数胚。

3. 方法论：双射（Bi-submersions）与递归构造

本文的核心创新在于利用非交换几何中的**双射（Bi-submersions）**概念（由 Androulidakis 和 Skandalis 引入），构建一个有限维的积分对象。

3.1 双射（Bi-submersions）

双射是连接两个奇异叶丛 $(M, \mathcal{F}_M)$ 和 $(N, \mathcal{F}_N)$ 的流形 $W$，配备两个满射子浸（submersions）$p: W \to M$ 和 $q: W \to N$，满足特定的相容性条件（拉回叶丛相等，且由垂直向量场生成）。

• 双垂直向量场（Bi-vertical vector fields）： 在 $W$ 上由 $\ker Tp \cap \ker Tq$ 生成的向量场。
• 双射塔（Bi-submersion Tower）： 作者利用递归方法，构建一系列双射 $T_i$，其中 $T_{i+1}$ 是相对于 $T_i$ 上的“双垂直奇异叶丛”的双射。

3.2 构造过程

作者通过递归步骤构建一个序列 $K_\bullet$：

1. $K_0 = M$：底流形。
2. $K_1$：构造一个覆盖 $M$ 的双射图集（Atlas），其维数由几何分辨率中 $E_{-1}$ 的秩决定。
3. $K_2$：构造 $K_1$ 与角空间（Horn spaces, $\Lambda^2 K$）之间的等价关系（双射）。利用几何分辨率中的 $E_{-2}$ 来调整维数，确保 $K_2$ 是有限维且各连通分支维数一致。
4. 递归步骤：对于 $K_{n+1}$，利用 $E_{-(n+1)}$ 构造 $K_n$ 与 $\Lambda^{n+1} K$ 之间的等价双射。

3.3 关键技术点

• 有限维性： 与 Siraň 和 Ševera 之前构造的无限维 Fréchet 流形不同，本文利用几何分辨率的有限长度和秩，确保构造出的 $K_n$ 是有限维流形。
• Para-simplicial 结构： 构造出的对象 $K_\bullet$ 满足 Kan 条件（角填充条件），但不满足所有单纯形恒等式（特别是退化映射 $s_i$ 的交换律 $s_i s_j = s_{j+1} s_i$ 不一定成立）。因此，作者称之为Para-Lie $\infty$-groupoid（拟李 8-群胚）。
• 全关系（Total Relation）： 利用定理 D.13 和 D.17，确保构造出的双射是“全关系”，即能够覆盖所有等价类，并保证角投影是满射子浸。

4. 主要结果 (Main Results)

定理 2.3 (Theorem 2.3)：
任何 admit 几何分辨率的奇异叶丛 $\mathcal{F}$，都存在一个霍洛诺米拟李 8-群胚（Holonomy Para-Lie $\infty$-groupoid） $K_\bullet(\mathcal{F})$，满足：

1. 有限维性： 对于每个 $k \ge 1$，$K_k$ 的所有连通分支具有相同的有限维数：
   $$\dim K_k = \dim M + \sum_{i=1}^k \binom{k}{i} \text{rk}(E_{-i})$$
   其中 $\text{rk}(E_{-i})$ 是几何分辨率中第 $i$ 个向量丛的秩。
2. 切复形（Tangent Complex）： $K_\bullet$ 的切复形（Tangent Complex）在 $M$ 上的限制，精确地给出了 $\mathcal{F}$ 的几何分辨率。
3. 微分对应： 对 $K_\bullet$ 应用微分函子，得到的李 8-代数胚正是 $\mathcal{F}$ 的通用李 8-代数胚 $U\mathcal{F}$。
4. 截断性质： $K_\bullet$ 的 1-截断（1-truncation）正是 Androulidakis-Skandalis 定义的奇异叶丛的霍洛诺米群胚（Holonomy Groupoid）。

5. 意义与贡献

1. 解决了积分问题： 为一大类奇异叶丛（ admit 几何分辨率者）提供了有限维的积分对象。这回答了关于奇异叶丛是否由高阶李结构积分的问题。
2. 有限维性突破： 之前的积分方法（如基于 Maurer-Cartan 方程的方法）通常产生无限维流形。本文通过双射塔和几何分辨率，成功构造了有限维的 Kan 单纯流形（尽管是拟单纯形的），这在微分几何中更具操作性。
3. 统一框架： 将 Androulidakis-Skandalis 的霍洛诺米群胚（作为 1-截断）自然地嵌入到更高阶的李 8-群胚结构中，揭示了奇异叶丛的深层高阶对称性。
4. 新工具的开发： 深入发展了“双射”、“双垂直向量场”、“双横截（bi-transversals）”以及“双射塔”的理论，特别是证明了在几何分辨率存在的情况下，可以构造出具有特定维数性质的等价双射。
5. Para-simplicial 结构： 引入了“拟李 8-群胚”这一概念，承认在构造过程中退化映射的某些交换律可能暂时不满足（需取商或进一步处理），但这不影响 Kan 条件（角填充），从而保证了同伦论意义上的良定性。

6. 总结

这篇论文是奇异叶丛高阶积分理论的重要进展。它利用非交换几何中的双射工具，结合几何分辨率的代数结构，成功构造了一个有限维的拟李 8-群胚。该对象不仅积分了奇异叶丛的通用李 8-代数胚，而且其低阶截断恢复了经典的霍洛诺米群胚。这项工作为理解奇异叶丛的拓扑和几何性质提供了新的、强有力的有限维模型。