Homological algebra over non-unital rings and algebras, with applications to $(\infty, 1)$-categories

この論文は、非単位的環および代数上の加群におけるホモロジー代数を発展させ、$(\infty, 1)$-圏および指向空間の（指向）ホモロジー、相対ホモロジーとその完全系列の定義と研究を主な応用として行うものである。

要約

1. 背景：なぜ「単位元のない箱」が必要なのか？

通常、数学の「ホモロジー代数」という分野では、**「単位元（1）」**という特別な数字を持つ「環（リング）」という構造の上で計算を行います。これは、計算の基準点や「何もしない状態」を表す重要な役割を果たします。

しかし、現実世界には「単位元がない」状況が溢れています。

• 例：無限の迷路
  街の地図（経路代数）を考えましょう。街の交差点が無限に続いている場合、「すべての交差点を一度にまとめる」という「1」という概念が作れません。
• 例：時間の流れ（指向性）
  時間の流れがある空間（ directed space）では、「過去から未来へ」進む方向が決まっています。ここで「何もしない（単位元）」という状態は、時間という文脈では少し不自然に感じられることがあります。

これまでの数学は、このような「単位元のない箱」を使うと、計算が崩壊してしまう（きれいな規則が成り立たない）ため、避けてきました。しかし、「無限の迷路」や「時間の流れ」を解析するには、この「単位元のない箱」を扱えるようにする必要があります。

2. この論文の核心：新しい「計算ルール」の発見

著者たちは、この「単位元のない箱」の上でも、ホモロジー代数（形やつながりを調べる計算）がちゃんと成り立つことを証明しました。

比喩：「仮の帽子」をかぶせる魔法

単位元がない箱を扱うのが難しいのは、基準点がなくて迷子になりやすいからです。
著者たちは、**「仮の帽子（単位化）」**という魔法の道具を使いました。

• 単位元のない箱に、一時的に「仮の帽子（単位元）」をかぶせて、一時的に「単位元がある箱」に変身させます。
• その状態で計算を行い、最後に「帽子」をはずして、元の「単位元のない箱」に戻します。
• この「帽子をかける・はずす」プロセスが、数学的に完璧に一致することを証明しました。これにより、「単位元のない世界」でも「単位元がある世界」と同じように、安全に計算ができるようになったのです。

3. 具体的な応用：(∞, 1)-カテゴリと「方向性のある空間」

この新しい計算ルールを使って、著者たちは 2 つの大きな分野に応用しました。

A. (∞, 1)-カテゴリ：「複雑なネットワーク」の解析

• 何？
  単なる点と線のつながりではなく、「点と点のつながり方」自体が、さらに「つながり方」を持っていたりする、非常に複雑なネットワーク（高次元の図）です。
• どう使う？
  このネットワークを「単位元のない代数」としてモデル化し、その「形」や「穴」を数値化して調べました。これにより、複雑なデータ構造の性質を、これまで以上に詳しく分析できるようになります。

B. 指向性のある空間（Directed Spaces）：「時間の流れ」の解析

• 何？
  単なる空間ではなく、「時間の流れ」や「因果関係」が組み込まれた空間です。例えば、プログラムの実行経路や、交通渋滞の流れなどがこれに当たります。
• どう使う？
  「A から B へ進む道」はあっても、「B から A へ戻る道」がない場合など、**「一方向」**のルールを厳格に扱います。
  • 相対ホモロジー（相対的な計算）：
    「大きな空間 X」の中に「小さな部分空間 A」があるとき、**「X 全体から A を引いた部分」**がどのような形をしているかを調べる計算（相対ホモロジー）を行いました。
  • 結果：
    特定の条件（「部分空間が空間を遮断しない」など）を満たせば、この「引き算」が非常にきれいな計算式（完全列）で表せることを示しました。これは、「全体の性質」を「部分の性質」から予測できることを意味します。

4. この研究のすごいところ（まとめ）

1. 散らばっていた知識の整理：
   「単位元のない環」の理論は、昔から断片的に存在していましたが、誰かがまとめて整理し、使いやすくしました。
2. 無限の問題を解決：
   交差点が無限にあるような「無限の迷路」や、データが無限に続くような状況でも、ホモロジー（形の数値化）が計算可能になりました。
3. 新しい「相対計算」の確立：
   「全体から一部を引いた残り」の形を、厳密な数学の式で表現できるようになりました。これにより、複雑なシステム（例えば、並列処理するコンピュータプログラムや、交通網）のバグやボトルネックを、数学的に特定しやすくなります。

結論：何が得られるのか？

この論文は、**「数学のルールを、より現実的で複雑な世界（無限や一方向性）に合わせてアップデートした」**という成果です。

これにより、データサイエンス（トポロジカル・データ分析）や、並列計算の検証、あるいはロボットの経路計画など、「方向性」や「無限性」が重要な分野で、より強力な解析ツールが使えるようになることが期待されます。

一言で言えば：
「単位元（基準点）がない世界でも、魔法の帽子（単位化）を使って、形やつながりを正確に測る新しいものさしを作りました。これで、無限の迷路や時間の流れを、数学的に解き明かせるようになりました。」

技術概要

非単位的環・代数上のホモロジー代数と (∞, 1)-圏への応用

論文の技術的サマリー

Eric Goubault と Eliot Médioni による本論文は、非単位的環（non-unital rings）および非単位的代数（non-unital algebras）上の加群におけるホモロジー代数を体系的に構築し、それを** directed spaces（方向付けられた空間）**や (∞, 1)-圏 の directed homology（方向付けられたホモロジー）の定義と研究に応用するものです。

従来のホモロジー理論は単位的環上の加群圏（アーベル圏）を前提としていますが、トポロジカル・データ解析や directed topology における無限個のストレータや対象を持つ場合、自然に現れるパス代数は単位を持たず、従来の枠組みでは扱えません。本論文はこのギャップを埋め、非単位的な文脈でも相対ホモロジーやその完全系列を定義可能な理論的基盤を提供します。

---

1. 問題設定 (Problem)

• 非単位的環・代数のホモロジー理論の欠如:
  従来のホモロジー代数は、単位的環上の加群圏（アーベル圏）を土台としています。しかし、トポロジカル・データ解析（TDA）における永続的ホモロジーや、Directed Topology（方向付けられた位相幾何学）において、無限個の点やストレータを持つ構造を扱う場合、対応するパス代数は自然な単位元を持たず、非単位的環となります。
• 既存アプローチの限界:
  既存の Directed Homology の研究（例：Goubault, 2024a）は、有限なプレキュービカル集合（precubical sets）に限定されており、無限の対象を持つ一般的な directed spaces や (∞, 1)-圏への拡張が困難でした。
• 双加群（Bimodules）の扱い:
  非単位的環上の双加群の圏は、単位的場合とは異なり、必ずしもアーベル圏をなさないことが知られています。これをどのように整理し、ホモロジー理論の土台として使えるかという問題があります。

2. 方法論 (Methodology)

本論文は、以下のステップで理論を構築しています。

2.1. 非単位的環・代数上の加群の再構築

• 単位的化（Unitalization）の活用:
  非単位的代数 $\mathfrak{A}$ に対して、その単位的化 $\hat{\mathfrak{A}} = \mathfrak{A} \oplus R$ を構成します。
  • 定理 3: 非単位的代数 $\mathfrak{A}$ 上の（非単位的）加群の圏と、その単位的化 $\hat{\mathfrak{A}}$ 上の単位的加群の圏は、同型であることが示されます。これにより、非単位的な問題を単位的な圏の理論に帰着させることが可能になります。
• firm modules と $s$-unital modules:
  任意の非単位的環上の加群の圏はアーベル圏にならないため、適切な部分圏を定義します。
  • firm modules: 自然写像 $\mathfrak{A} \otimes M \to M$ が同型になる加群。
  • $s$-unital modules: 任意の元 $m$ に対して $e \cdot m = m$ となる $e \in \mathfrak{A}$ が存在する加群。
  • これらの概念は、非単位的環が $s$-unital である場合、アーベル圏をなすことが示されます（補題 11）。

2.2. 双加群圏の構築

• 非単位的環 $\mathfrak{A}, \mathfrak{B}$ 上の双加群の圏 $\mathfrak{A}\text{Mod}_{\mathfrak{B}}$ において、$s$-unital な双加群の全体がアーベル圏をなすことを証明します（命題 12）。
• この圏は、単位的化された代数 $\hat{\mathfrak{A}} \otimes \hat{\mathfrak{B}}^{op}$ 上の加群圏と密接に関連しており、ホモロジー代数の標準的な道具立て（核、余核、完全系列）を適用可能にします。

2.3. 拡張スカラー（Extension of Scalars）

• 環準同型 $g: \mathfrak{A} \to \mathfrak{B}$ に対して、スカラーの制限（Restriction of scalars）と拡張（Extension of scalars）を定義し、特に $s$-unital な場合におけるその性質を詳細に検討します。これは相対ホモロジーの構成に不可欠です。

2.4. (∞, 1)-圏への応用

• パス代数の定義: シンプリシャル豊饒圏（simplicially enriched category）$\mathcal{S}$ に対して、その 1-射からなるパス代数 $R[\mathcal{S}]$ を定義します。
• $s$-unital 性の証明: 任意のシンプリシャル豊饒圏に対し、そのパス代数 $R[\mathcal{S}]$ は両側 $s$-unital であることを示します（命題 13）。これにより、前述のアーベル圏の理論が適用可能になります。
• 鎖複体の構成: 各ホム集合のシンプリシャル集合からなる鎖複体を構成し、これが $R[\mathcal{S}]$-双加群の鎖複体となることを証明します（定理 14）。

3. 主要な貢献と結果 (Key Contributions & Results)

1. 非単位的環上のホモロジー代数の体系的な定式化:

   • 文献に散在していた非単位的環・代数上の加群の理論（firm, closed, $s$-unital など）を整理し、特に $s$-unital な双加群の圏がアーベル圏であることを証明しました。
   • 単位的化 functor を通じた圏の同型（定理 3）を明確に示し、計算の明確化に貢献しました。

2. (∞, 1)-圏の Directed Homology の定義:

   • Kan 複体を持つシンプリシャル豊饒圏（(∞, 1)-圏のモデル）に対して、パス代数を用いた directed homology を定義しました。
   • このホモロジーが、対象に対して単位的な射（injective on objects）を持つ関手に対して関手的であることを示し、同型な圏に対して不変であることを証明しました（定理 16, 補題 18, 19）。

3. 相対ホモロジーと完全系列の確立:

   • 部分 (∞, 1)-圏 $\mathcal{T} \subset \mathcal{S}$ に対する相対ホモロジーを定義し、鎖複体の短完全系列から長完全系列が導かれることを示しました（第 6.5.1 節）。
   • 従来の Directed Topology の結果を一般化し、無限の対象を持つ場合でも相対ホモロジーが定義可能であることを示しました。

4. Directed Spaces への具体的な応用:

   • Directed space（d-space）を (∞, 1)-圏として再解釈し、そのホモロジーを定義しました（定理 23）。
   • 「相対対（relative pair）」（部分空間が full で separating かつ閉である場合）という条件の下で、拡張スカラーによる写像（transfer map）が単射であることを証明しました（命題 26）。
   • この結果により、相対ホモロジーの長完全系列がより具体的な計算形式（命題 27）に簡略化され、実用的な計算手法が提供されました。

4. 意義と将来展望 (Significance)

• 理論的基盤の強化:
  非単位的環上のホモロジー代数を、(∞, 1)-圏や directed topology の文脈で厳密に扱うための数学的基盤を提供しました。これにより、無限個のストレータを持つデータや、より一般的な directed space に対するホモロジー理論の構築が可能になりました。
• 計算可能性の向上:
  Directed spaces における「相対対」の条件の下での結果は、相対ホモロジーの計算を、部分空間のホモロジーとパス代数のテンソル積を用いた形式に還元することを可能にします。これは、従来の有限なプレキュービカル集合に限定されていた手法を、より広範なクラスに拡張するものです。
• 応用分野への波及:
  • トポロジカル・データ解析 (TDA): 無限次元のフィルトレーションや、非単位的なパス代数を持つ構造を持つデータの解析が可能になります。
  • 並行計算の検証: Directed topology は並行計算のモデルとして重要ですが、本理論はより複雑な状態遷移系（無限状態など）の解析に応用可能です。
  • 高次圏論: (∞, 1)-圏のホモロジー的性質を、代数的手法を通じて研究する新しい道を開きました。

結論

本論文は、非単位的環上の加群理論を再構築し、それを (∞, 1)-圏および directed spaces の directed homology に応用することで、既存の理論の限界（有限性への依存）を克服しました。特に、$s$-unital な双加群の圏がアーベル圏をなすことと、相対ホモロジーの完全系列の存在を証明した点は、この分野における重要な進展です。