Important Classes of Morphisms and the Relative Cotangent Sequence in Tangent Categories

问题与动机

切丛范畴（Tangent categories）为研究微分几何推理提供了一个极小化的语义框架，最初由 Rosický 开发，随后由 Cockett 和 Cruttwell 进行了扩展。虽然该理论已成功应用于光滑流形、代数几何、交换代数以及笛卡尔微分范畴（CDCs），但对于基本态射类——特别是浸入（immersions）、淹没（submersions）、局部微分同胚（local diffeomorphisms）和无挠映射（unramified maps）——在这些不同设定下的行为，仍缺乏系统的理解。

以往的工作建立了光滑流形背景下关于淹没和局部微分同胚的定义，但在其他关键切范畴（如仿射方案或交换代数）中，这些概念的刻画仍不明确。此外，这些类与“无挠”概念之间的关系（在微分几何中与浸入一致，但在一般切范畴中可能有所不同）需要一种统一的范畴论处理。本文旨在解决在抽象切范畴框架内形式化这些概念的需求，研究它们的稳定性与永久性性质，并阐明它们在特定数学领域中的具体实现。

方法论

作者采用了一种基于切范畴公理的系统性范畴论方法。核心方法论包括：

1. 水平下降（Horizontal Descent）： 引入的一个核心技术工具是态射 $f: X \to Y$ 的“水平下降” $\theta_f$。它被定义为从切丛 $TX$到沿$f$的切丛$TY$的拉回（即“水平丛”，假设该拉回存在）的唯一映射。论文对$\theta_f$ 的性质进行了广泛研究，利用它来简化各种态射类的定义与刻画。
2. 可载态射（Carrable Morphisms）： 研究依赖于“可载”态射的概念（即允许沿微分丛投影进行拉回，且该拉回被切函子保持的态射）。具体而言，作者关注 $p$-可载（沿切投影拉回）和 $0$-可载（沿零截面拉回）态射，以确保诸如水平丛和相对切丛等必要结构的实现。
3. 相对余切序列（Relative Cotangent Sequence）： 通过结合水平下降与相对切丛（通过 $0$-可载拉回定义），作者在任意切范畴中构造了一个“相对余切序列”。该序列推广了代数几何中经典的 Kähler 微分正合序列。
4. 线性化（Linearization）： 作者区分了“强”定义（基于一般的范畴性质，如预拉回）和“线性”定义（基于微分丛范畴 $DBun(X)$）。他们利用$DBun(X)$ 在交换单群（以及在 Rosický 切范畴中在阿贝尔群）中的富集性，将单态射与平凡核联系起来。

主要贡献与结果

本文对四类主要的态射类进行了全面的分类与刻画：

• T-浸入（T-Immersions）：

  • 强 T-浸入（Strong T-Immersions）： 定义为切投影的自然性方阵是一个“T-预拉回”的态射。在光滑流形（$SMan$）中，它们对应于标准浸入。在代数几何（$CAlg_R^{op}$）中，它们对应于形式无挠态射。
  • T-浸入（线性）（T-Immersions (Linear)）： 定义为 $\theta_f$ 在 $DBun(X)$中为线性 T-单态射的$p$-可载态射。
  • 关键结果： 在具有否定性的 Rosický 切范畴中，强 T-浸入、T-浸入和 T-无挠态射的概念是重合的。在没有否定性的普通切范畴中，这些类是不同的（例如，在交换单群范畴中，一个态射可以是 T-无挠的，但不是强 T-浸入）。

• T-淹没（T-Submersions）：

  • 定义为 $\theta_f$ 在 $DBun(X)$中为线性 T-余等价（正则 T-满射）的$p$- 和$0$-可载态射。这捕捉了“局部满微分”的概念。
  • 分裂 T-淹没（Split T-Submersions）： 通过自然性方阵是一个“T-弱拉回”来定义。论文证明，对于 $p$-可载态射，成为分裂 T-淹没等价于 $\theta_f$ 拥有截面。
  • 关键结果： 在 Rosický 切范畴和方案范畴中，分裂 T-淹没拥有一个线性截面，而不只是集合论意义上的截面。这建立了范畴定义与相对余切序列分裂之间的联系。

• T- étale 态射（局部微分同胚）（T-Étale Morphisms）：

  • 定义为切投影的自然性方阵是 T-拉回的态射。
  • 关键结果： 一个态射是 T-étale 的，当且仅当它是既是强 T-浸入又是分裂 T-淹没。对于 $p$-可载态射，这等价于水平下降 $\theta_f$ 是一个同构。
  • 区别： 论文澄清了代数几何中的 T-étale 态射并不等同于形式 étale 态射。虽然形式 étale 态射是 T-étale 的，但存在并非形式 étale 的 T-étale 态射（例如，方案中的某些闭浸入）。

• 相对余切序列：

  • 论文在任何 $f$ 为 $0$- 和$p$-可载的切范畴中，构造了一个 de Rham 相对余切序列 $X \to TX/Y \to TX \to f^*(TY)$。
  • 该序列被证明在 $DBun(X)$ 中是正合的，提供了一个统一的框架，从而恢复了光滑流形和方案的经典余切序列。

具体刻画

论文将这些抽象定义明确映射到特定范畴：

• 光滑流形（$SMan$）： T-浸入是标准浸入；T-淹没是标准淹没；T-étale 态射是局部微分同胚。
• 交换代数（$CAlg_R$）： T-浸入是单代数同态；T-淹没是具有线性截面的满同态；T-étale 态射是同构。
• 仿射方案（$CAlg_R^{op}$）： T-浸入是形式无挠态射；T-淹没对应于相对于基环的形式光滑态射；T-étale 态射对应于形式无挠且形式光滑的相对态射（与形式 étale 不同）。
• 笛卡尔微分范畴（CDCs）： T-浸入是具有单射导数（及高阶导数）的态射；T-淹没是具有满导数（直和/收缩）的态射；T-étale 态射是具有可逆导数的态射。

意义与主张

作者声称这项工作提供了一项“深入且系统的研究”，统一了代数几何、微分几何和计算机科学中微分几何概念的理解。其意义在于：

1. 统一性： 它展示了相同的范畴论机制（水平下降、相对余切序列）如何在特定语境下产生正确的已知定义，同时揭示了在一般设定下的微妙区别（例如，在非 Rosický 范畴中，浸入与无挠映射之间的分歧）。
2. 新工具： 引入水平下降作为主要工具，简化了淹没和浸入性质的验证，用 $\theta_f$ 的截面或单态射条件取代了复杂的弱拉回条件。
3. 奠定基础： 论文将这些结果定位为未来研究的重要前提，特别提到了即将开展的一个项目，即在切范畴中定义并研究“方案”，以及研究属于切范畴族的 Zariski 拓扑的存在性。作者指出，理解这些态射类至关重要，因为在代数几何中，开浸入尤其是 T-单态射且 T-étale 的态射。

本文并未提出超出上述完善切范畴理论及实现方案研究这一理论目标之外的新实验应用或未来影响。它仍然是一项针对范畴论及其在几何领域应用的严谨理论贡献。