Three homological invariants under cleft extensions

技術要約：切断拡大（Cleft Extensions）における3つのホモロジー不変量

問題提起
本論文は、イグサ・トドロフ距離（Igusa-Todorov distance）、拡大次元（extension dimension）、およびルキエ次元（Rouquier dimension）という3つの特定のホモロジー不変量が、アーベル圏の切断拡大（cleft extensions）という操作の下でどのように振る舞うかを調査するものである。三角圏の次元（ルキエ次元）やアーベル圏の拡大次元は、表現論的な複雑さ（例：有限表現型の性質や派生圏の境界）を測定するための十分に研究された道具であるが、それらの次元が特定の圏的構成の下でどのように安定し、どのような境界を持つかは、依然として活発な研究領域である。具体的には、著者らは、アーベル圏 $\mathcal{A}$ が別の圏 $\mathcal{B}$ の切断拡大として構成される場合の、これらの不変量の定量的境界を確立することを目指している。

手法
著者らは、ベリギアニス（Beligiannis）によって導入された、アーベル圏の切断拡大（cleft extensions）および切断余拡大（cleft coextensions）の枠組みを用いる。

1. 圏的枠組み: 切断拡大 $(\mathcal{B}, \mathcal{A}, i, e, l)$ は、忠実かつ完全な関手 $e: \mathcal{A} \to \mathcal{B}$ を含み、$e$ は左随伴 $l$ を持ち、$el \simeq \text{Id}_{\mathcal{B}}$ を満たす。この構造は、端点関手 $F: \mathcal{B} \to \mathcal{B}$ を誘導する。対偶的に、切断余拡大は右随伴 $r$ を含み、端点関手 $F': \mathcal{B} \to \mathcal{B}$ を誘導する。
2. ホモロジー的条件: 証明は、これらの関手のホモロジー的性質（特に $l$ または $r$ の完全性、$e$ による射影対象の保存、および誘導された端点関手の冪零性 $F^n = 0$ または $F'^n = 0$）に依拠している。
3. シジジーおよび分解技術: 著者らは、$\mathcal{B}$ における対象の分解を $l$ (または $r$) を通じて $\mathcal{A}$ へ「持ち上げる」ことで、$\mathcal{A}$ の対象のシジジー（$\Omega^n$）および完全列を関連付ける。主要な補題は、シェーン・の補題（Schanuel's Lemma）やプルバック図式を用いて、完全列を構成し、核と余核を分析することを含む。
4. 派生圏の解析: ルキエ次元については、有界派生圏 $D^b(\text{mod-}\Lambda)$ 内での三角形同値と境界を確立するために、随伴対（$Ll, Lq$）の派生関手を利用する。

主要な貢献と結果

• イグサ・トドロフ距離 (定理 3.11):
  $l$ が完全であり、$e$ が射影対象を保存し、誘導された端点関手 $F$ が冪零的 ($F^n=0$) で $\text{Proj}_{\mathcal{B}} = \text{add}(P)$ である切断拡大 $(\mathcal{B}, \mathcal{A}, i, e, l)$ において、イグサ・トドロフ距離は以下のようになる：
  $$\text{IT.dist}(\mathcal{B}) \leq \text{IT.dist}(\mathcal{A}) \leq n(\text{IT.dist}(\mathcal{B}) + 1) - 1$$
  この結果は、アルティン環に関する従来の知見を、より広範なアーベル圏へと一般化するものである。

• 拡大次元 (定理 4.10):
  ネーター環上の加群圏がしばしば十分な注入対象を持たないという事実に着目し、著者らは切断余拡大 $(\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$$

• ルキエ次元 (定理 5.8):
  端点関手 $F$ が左完全かつ冪零的であるネーター環上の加群圏の切断拡大において、有界派生圏のルキエ次元は以下のようになる：
  $$\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 Context Rings): 特定の双モジュール条件（例：射影性または Tor の消滅）が満たされる場合、成分となる環の不変量に関する境界が確立される。
  • $\theta$-拡大および自明拡大: 結果は、環 $\Gamma \ltimes_\theta M$ の形式を持つ環へと一般化される。ここで、境界は $M$ の冪零指数に基づいている。
  • テンソル環: テンソル環 $T_\Gamma(M)$ に対しても同様の境界が導かれる。
  • 矢印の除去 (Arrow Removals): $\Lambda$ から特定の矢印を除去して $\Gamma$ を形成する場合の、可認的なパス代数に対する重要な応用が提供される。定理 6.5 は、矢印 $a_i$ を除去して $\Gamma$ を得たとき、不変量が以下を満たすことを示している：
    $$\text{IT.dist}(\Gamma) \leq \text{IT.dist}(\Lambda) \leq 2\text{IT.dist}(\Gamma) + 1$$
    （および拡大次元、ルキエ次元についても同様）。これは、特定の例（例：ジェントル代数）においてタイトな境界であることが示されている。

意義と主張
本論文は、多様な代数的構成にわたってこれらのホモロジー不変量を研究するための統一的な概念的枠組みを提供することを主張している。これらの不変量が切断拡大の下で予測可能な挙動を示すこと（具体的には、不変量が基底となる圏の不変量と端点関手の冪零指数によって線形に抑えられること）を確立することで、著者らは以下のためのツールを提供している：

1. より単純な部分構造の性質に基づき、ある代数がイグサ・トドロフ代数であるか（したがって有限次元仮説を満たすか）を判定すること。
2. 複雑な環（モリタ文脈や矢印除去されたパス代数など）の拡大次元やルキエ次元を、より単純な成分へと還元することで計算または境界付けること。
3. 特定の代数において、切断拡大による境界（$\leq 3$）が一般的な Loewy 長さによる境界（$\leq 5$）よりも改善されることが示されている例 7.3 のように、ルキエ次元の既存の境界を精緻化すること。

著者らは、これらの結果が、代数が有限表現型であることを要求せず、切断拡大のホモロジー的性質のみから厳密に導出されていることを強調しており、これにより、より広いクラスのネーター環へのこれらの不変量の適用可能性を広げている。