A Čech--Stokes Pushout Groupoid: a Log/Kummer Betti Presenter for Stokes Torsors

这是一份关于 Mauricio Corrêa 的论文《A Čech–Stokes Pushout Groupoid: A Log/Kummer Betti Presenter for Stokes Torsors》（Čech-Stokes 推出群胚：Stokes 挠率的 Log/Kummer Betti 呈现）的详细技术总结。

1. 研究背景与核心问题

背景：
在复几何中，带有非正则奇点的平坦联络（meromorphic flat connections）的研究是黎曼 - 希尔伯特对应（Riemann-Hilbert correspondence）的核心部分。这类联络在除子 $D$ 附近表现出复杂的“斯托克斯现象”（Stokes phenomena），即解析延拓在不同扇区（sectors）之间通过非阿贝尔的“斯托克斯跳跃”（Stokes jumps）进行粘合。

核心问题：
现有的斯托克斯模空间描述通常依赖于解析构造、堆栈（stacks）或上同调集合，缺乏一个严格 1-范畴（strictly 1-categorical）、基于覆盖（cover-based）且显式的群胚模型。特别是在高维情形下，当除子 $D$ 具有简单正规交叉（SNC）结构时，边界几何具有对数性质，且涉及 tame（ tame/Kummer 分支）和 wild（斯托克斯）层的相互作用，现有的描述往往不够直观或难以进行具体的计算（如生成元与关系、下降约束等）。

目标：
构建一个显式的、小的、严格的群胚模型，能够同时编码：

1. 边界的方向几何（Directional boundary geometry）。
2. 沿所有 strata 的 tame/Kummer 分支（Tame/Kummer branching）。
3. 扇区重叠处的 wild 斯托克斯粘合（Wild Stokes gluing）。

2. 方法论与核心构造

作者采用了一种基于**对数几何（Logarithmic Geometry）和Kummer 提升（Kummer level）的 Betti 侧模型，通过群胚的2-推出（2-pushout）**来构建全局对象。

2.1 几何输入

• Kato-Nakayama 空间 ($X^{\log}$)：利用 $(X, D)$ 的对数结构，将除子附近的几何提升为实流形，其纤维是记录角向方向的实环面 $(S^1)^k$。
• Kummer 提升 ($X^{\log}_n$)：引入 $n$ 级 Kummer 覆盖，以统一处理 tame 分支。在深度为 $k$ 的 strata 上，伽罗瓦群为 $(\mu_n)^k$。
• 领域（Collar）：在 $X^{\log}_n$ 上定义一个穿孔领域 $N^\times$，并移除斯托克斯墙（Stokes walls）得到正则领域 $N^\circ$。

2.2 核心构造：Čech-Stokes 群胚

作者将全局斯托克斯对象定义为内部局部系统与领域斯托克斯挠率的2-纤维积（2-fiber product）：
$$\text{Stokes}_r(X^{\log}_n; D, \Phi) := \text{LocSys}_r(U) \times^{(2)}_{\text{LocSys}_r(N^\circ)} \text{StokesLocal}_r(N^\circ; \Phi)$$
为了显式计算这一对象，作者构建了三个关键的小群胚：

1. 内部 Čech 群胚 ($G_U$)：由 $U = X \setminus D$ 的好覆盖生成的 Čech 群胚，描述普通局部系统。
2. 领域 Čech-Stokes 群胚 ($G_C$)：
   • 基于领域 $N^\circ$ 的扇区盒覆盖（sector-box cover）。
   • 对象是扇区盒，箭头是 $(x, u)$，其中 $x$ 是点，$u$ 是斯托克斯群 $St_\Phi$ 中的元素。
   • 关键创新：领域的模空间不是 $G_C$ 的表示群胚 $\text{Repr}(G_C)$，而是遗忘函子 $\pi: G_C \to \check{C}(B)$ 的截面群胚 $\text{Sec}(\pi)$。这精确地捕捉了斯托克斯挠率作为“带有斯托克斯标签的平凡局部系统的粘合”这一本质。
3. 重叠群胚 ($G_\times$)：描述 $U$ 与领域重叠部分的 Čech 群胚。

2.3 全局呈现：2-推出

通过显式的**2-推出（2-pushout）**将内部与领域粘合：
$$G_{\Phi, n} := G_U \sqcup_{G_\times} G_C$$
该群胚 $G_{\Phi, n}$ 即为全局斯托克斯对象的显式小严格呈现者（presenter）。

3. 主要结果与定理

3.1 主定理 (Theorem 1.1 / Theorem 7.11)

存在自然的群胚等价：
$$\text{Repr}(G_U) \times^{(2)}_{\text{Repr}(G_\times)} \text{Sec}(\pi) \simeq \text{Stokes}_r(X^{\log}_n; D, \Phi)$$
这意味着全局斯托克斯对象可以通过该推出群胚的“斯托克斯修正表示”来计算。投影到 $\text{Repr}(G_U)$ 对应于遗忘野层（wild layer），投影到 $\text{Sec}(\pi)$ 对应于遗忘内部。

3.2 模不变性与下降

• Morita 等价性：该构造对覆盖的细化是 Morita 不变的（Corollary 1.2）。
• Kummer 下降：在深度 $k$ 的 strata 上，群胚 $G_{\Phi, n}$ 通过领域群胚 $G_C$ 记录了 $(\mu_n)^k$ 的 tame 层。Kummer 下降约束可以表达为截面群胚上的严格下降条件，或在骨架模型上的**等变上同调（equivariant cocycles）**条件（Corollary 1.3, Theorem 9.10）。

3.3 骨架模型与生成元 - 关系

作者将覆盖依赖的 Čech 模型转化为有限骨架模型（finite skeletal models）：

• 利用适应于 SNC 深度和斯托克斯墙的分层三角剖分（stratified triangulation）$K$。
• 斯托克斯挠率被编码为1-边上的标签（Stokes labels），满足2-胞腔上的关系（cocycle relations），模去顶点上的规范变换（vertex gauge）。
• 这解决了局部呈现问题（Problem 12.3），给出了具体的生成元与关系描述（Corollary 12.4）。

3.4 一维曲线上的显式计算

在复曲线情形下，作者详细计算了围绕奇点的局部模型，展示了如何将斯托克斯数据简化为边界加法群胚（boundary additive groupoid）与内部基本群胚的粘合，并与 GLP (Gaiotto-Labastida-Park) 的显式李群胚模型建立了 Morita 等价性。

4. 关键贡献

1. 严格的 1-范畴框架：首次为高维 SNC 除子上的斯托克斯挠率提供了一个完全严格 1-范畴的群胚呈现，避免了堆栈语言中的隐含性，使得“粘合”操作在范畴论层面完全显式。
2. 截面群胚的识别：纠正了通常认为斯托克斯模空间是群胚表示的直觉，指出其本质是遗忘函子的截面群胚（Section Groupoid）。这一区分对于正确处理斯托克斯跳跃的代数结构至关重要。
3. Kummer 与 Stokes 的统一：在同一个群胚框架下，自然地统一了 tame 分支（通过 Kummer 覆盖和等变性）和 wild 斯托克斯现象（通过斯托克斯群和截面）。
4. 计算友好性：通过骨架化（skeletonization），将复杂的解析问题转化为组合问题（边标签和面关系），使得计算模空间、检查下降条件以及进行数值模拟成为可能。
5. 全局粘合原理：通过 2-推出构造，清晰地展示了全局斯托克斯对象是如何由“内部拓扑单值群”和“边界斯托克斯数据”通过“周边相容性”粘合而成的。

5. 意义与应用

• 几何与表示论：为斯托克斯模空间的几何结构（如辛结构、泊松结构）提供了明确的群胚基础，便于研究其变形和量化。
• Tannakian 形式：由于提供了严格的群胚模型，该结果可直接作为 Betti 堆栈或 Tannakian 形式的输入，用于重建非正则联络的范畴。
• 高维推广：该方法不仅适用于曲线，还系统地解决了高维 SNC 除子情形下的斯托克斯数据编码问题，特别是处理了不同深度 strata 上的复杂相互作用。
• 同伦升级：论文最后讨论了该构造如何自然地提升到同伦范畴（derived/homotopical setting），为 Porta-Teyssier 等人的高阶斯托克斯理论提供了具体的组合模型。

总结：
这篇论文通过引入"Čech-Stokes 推出群胚”，成功地将非正则联络的斯托克斯模空间从解析/堆栈描述转化为一个显式、严格、可计算的群胚模型。它不仅统一了 tame 和 wild 现象，还通过骨架化和等变性处理，为高维复杂几何中的斯托克斯问题提供了一套强有力的组合与范畴论工具。