Three homological invariants under cleft extensions

技术摘要：割裂扩张下的三种同调不变量

问题陈述
本文研究了三种特定同调不变量——Igusa-Todorov 距离、扩张维度（extension dimension）和 Rouquier 维度——在阿贝尔范畴的割裂扩张（cleft extensions）操作下的行为。虽然三角范畴的维度（Rouquier 维度）和阿贝尔范畴的扩张维度是衡量表示论复杂度（例如有限表示类型或导出范畴界限）的成熟工具，但它们在特定范畴构造下的稳定性及其界限仍是活跃的研究领域。具体而言，作者旨在建立当阿贝尔范畴 $\mathcal{A}$ 由另一个范畴 $\mathcal{B}$ 通过割裂扩张构造时，这些不变量的定量界限。

研究方法
作者采用了由 Beligiannis 引入的阿贝尔范畴的割裂扩张（cleft extensions）与割裂共扩张（cleft coextensions）的框架。

1. 范畴框架： 一个割裂扩张 $(\mathcal{B}, \mathcal{A}, i, e, l)$ 涉及如下函子：$e: \mathcal{A} \to \mathcal{B}$ 是忠实且正合的，并拥有一个左伴随函子 $l$，且满足 $el \simeq \text{Id}_{\mathcal{B}}$。该结构诱导了一个内函子 $F: \mathcal{B} \to \mathcal{B}$。对偶地，割裂共扩张涉及一个右伴随函子 $r$ 并诱导一个内函子 $F': \mathcal{B} \to \mathcal{B}$。
2. 同调条件： 证明依赖于这些函子的特定同调性质，特别是 $l$ 或 $r$ 的正合性、$e$ 对射对象（projective objects）的保持性，以及诱导内函子的幂零性（$F^n = 0$ 或 $F'^n = 0$）。
3. 余循环与分解技术： 作者利用余循环对象（syzygy objects, $\Omega^n$）和正合序列，将 $\mathcal{A}$ 中对象的分解与 $\mathcal{B}$ 中的分解联系起来。关键引理涉及通过函子 $l$（或 $r$）将 $\mathcal{B}$ 中的序列“提升”到 $\mathcal{A}$ 中构造正合序列，并利用 Schanuel 引理和拉回图表分析其核与余核。
4. 导出范畴分析： 对于 Rouquier 维度，作者利用伴随对（$Ll, Lq$）的导出函子来建立三角等价关系，并在有界导出范畴$D^b(\text{mod-}\Lambda)$ 内建立界限。

核心贡献与结果

• Igusa-Todorov 距离 (定理 3.11)：
  对于满足 $l$ 正合、$e$ 保持射对象且诱导内函子 $F$ 是幂零的（$F^n=0$）以及 $\text{Proj}_{\mathcal{B}} = \text{add}(P)$ 的割裂扩张 $(\mathcal{B}, \mathcal{A}, i, e, l)$，Igusa-Todorov 距离满足：
  $$\text{IT.dist}(\mathcal{B}) \leq \text{IT.dist}(\mathcal{A}) \leq n(\text{IT.dist}(\mathcal{B}) + 1) - 1$$
  该结果将先前在 Artin 代数上的发现推广到了更广泛的阿贝尔范畴语境中。

• 扩张维度 (定理 4.10)：
  针对诺特代数（Noetherian algebras）的模范畴通常缺乏足够注性对象（injectives）这一事实，作者利用了割裂共扩张 $(\mathcal{ B}, \mathcal{A}, i, e, r)$。若 $r$ 是正合的且诱导内函子 $F'$ 是幂零的（$F'^n=0$）且 $\text{Proj}_{\mathcal{A}} = \text{add}(P)$，则：
  $$\text{ext.dim}(\mathcal{B}) \leq \text{ext.dim}(\mathcal{A}) \leq n(\text{ext.dim}(\mathcal{B}) + 1) - 1$$

• Rouquier 维度 (定理 5.8)：
  对于诺特代数模范畴的割裂扩张，若诱导内函子 $F$ 同时是左完美（left perfect）且幂零的，则有界导出范畴的 Rouquier 维度满足：
  $$\text{Rouq.dim} D^b(\text{mod-}\mathcal{B}) \leq \text{Rouq.dim} D^b(\text{mod-}\mathcal{A}) \leq n(\text{Rouq.dim} D^b(\text{mod-$\mathcal{B}$}) + 1) - 1$$

• 特定环构造的应用 (第 6 & 7 节)：
  这些理论界限被应用于以下重要的环类：

  • Morita 上下文环 (Morita Context Rings)： 在满足特定双模条件（如射性或 Tor 消失）的情况下，建立了上下文环的不变量相对于其分量环的界限。
  • $\theta$-扩张与平凡扩张： 结果推广到了形式为 $\Gamma \ltimes_\theta M$ 的环，并基于 $M$ 的幂零指数给出了界限。
  • 张量环 (Tensor Rings)： 类似的界限被推导用于张量环 $T_\Gamma(M)$。
  • 箭头移除 (Arrow Removals)： 提供了一个重要的应用，即对于通过移除特定箭头从 $\Lambda$ 得到 $\Gamma$ 的容许路径代数（admissible path algebras）。定理 6.5 表明，如果通过移除箭头 $a_i$ 从 $\Lambda$ 形成 $\Gamma$，则不变量满足：
    $$\text{IT.dist}(\Gamma) \leq \text{IT.dist}(\Lambda) \leq 2\text{IT.dist}(\Gamma) + 1$$
    （对于扩张维度和 Rouquier 维度亦然）。这在特定示例（如 gentle 代数）中被证明是紧确界。

意义与主张
本文声称提供了一个统一的概念框架，用于研究跨越多种不同代数构造的这些同调不变量。通过建立这些不变量在割裂扩张下的行为是可预测的（具体表现为：它们由基范畴的不变量和诱导函子的幂零指数线性约束），作者提供了一种工具来：

1. 根据更简单的子结构属性，判定一个代数是否为 Igusa-Todorov 代数（从而满足有限性维度猜想）。
2. 通过将其简化为更简单的分量，计算或限定复杂环（如 Morita 上下文环或箭头移除后的路径代数）的扩张维度和 Rouquier 维度。
3. 精炼现有的 Rouquier 维度界限，如示例 7.3 所示，其中割裂扩张界限（$\leq 3$）优于特定的 Loewy 长度界限（$\leq 5$）。

作者强调，这些结果严格源自割裂扩张结构的同调性质，而不要求代数具有有限表示类型，从而扩展了这些不变量在更广泛的诺特代数中的适用性。