Hochschild cohomology of the second kind: Koszul duality and Morita invariance

この論文「HOCHSCHILD COHOMOLOGY OF THE SECOND KIND: KOSZUL DUALITY AND MORITA INVARIANCE（第二種の高ホッホ・コホモロジー：コズール双対性とモリタ不変性）」は、A. Guan, J. Holstein, A. Lazarev によって書かれたものです。

以下に、この論文の技術的な要約を問題提起、手法、主要な貢献、結果、そして意義の観点から日本語で詳細に記述します。

1. 問題提起 (Problem)

• 高ホッホ・コホモロジーの多様性: 従来の高ホッホ・コホモロジー（第一種）は、dg 代数や dg 圏の重要な不変量として確立されていますが、これは「直接積」による全和化（totalization）に基づいています。一方、Positselski や Polishchuk によって提案された「第二種の高ホッホ・コホモロジー」は、「直接和」による全和化に基づき、より微細な同値関係（弱同値）を用いた「第二種のホモロジー代数」の枠組みで定義されます。
• 既存の定義の限界: 既存の第二種の高ホッホ・コホモロジー（Positselski-Polishchuk の定義）は、コンパクト・サポート付き高ホッホ・コホモロジーとも呼ばれますが、これは必ずしもモリタ同値性（Morita invariance）を満たすとは限らず、またコズール双対性（Koszul duality）との整合性も一般的には保証されていません。
• 幾何学的意味の欠如: 多くの幾何学的対象（多様体のド・ラーム代数、複素代数多様体のド・ベール代数、位相空間の特異コチェイン代数など）において、通常の第一種の高ホッホ・コホモロジーは、その幾何学的な情報（例えば、束の圏や局所系）を完全に捉えきれていません。第二種の理論はこれらの幾何学的対象の「より良い」高ホッホ・コホモロジーを提供する可能性がありますが、適切な定義と不変性の証明が求められていました。

2. 手法と定義 (Methodology)

著者らは、以下の新しい定義と枠組みを構築しました。

• 第二種のねじれた導来圏 (Twisted Derived Category of the Second Kind):
  • dg 代数 $A$ に対して、その「第二種のコンパクト生成導来圏」$D^{II}_c(A)$ を定義します。これは、$A$ 上の「ねじれた複体（twisted complexes）」の圏 $\text{Perf}^{II}(A)$ によって生成される導来圏です。
  • この圏は、コズール双対性を通じて、コ代数のコーダーived 圏（coderived category）と等価になります。
• 第二種の高ホッホ・コホモロジーの定義:
  • 従来の定義を拡張し、$A$ の第二種の高ホッホ・コホモロジー複体を以下のように定義します。
    $$HC^{II}_c(A) = \mathbf{R}\text{Hom}_{D^{II}_c(A \otimes A^{op})}(A, A)$$
  • ここで、導来関数は第二種のモデル構造（weak equivalences が通常の準同型写像より微細な、ねじれた複体に関する同値性）に基づいて計算されます。
• モデル構造の一般化:
  • 曲率（curved）を持つ代数や、非加算（non-augmented）な場合を含む一般の状況に対処するため、擬コンパクト代数（pseudocompact algebras）とコズール双対性（cobar/bar 構成の拡張）を体系的に用います。
  • 曲率代数 $A$ 自身は自己モジュールではないため、Yoneda 埋め込みが直接適用できないという技術的課題に対し、$A$ とモリタ同値な通常の dg 代数 $A'$ を構成する補題（Lemma 6.7）を用いて問題を回避しています。

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

論文の主な成果は以下の定理と結果に集約されます。

A. モリタ不変性 (Morita Invariance)

• MC 同値性による不変性 (Theorem 4.21, 6.3):
  • 代数 $A$ から $B$ への写像が「MC 同値性（Maurer-Cartan equivalence）」である場合、第二種の高ホッホ・コホモロジーは準同型写像（quasi-isomorphism）として保存されます。
• 第二種の双モジュール・モリタ同値性 (Theorem 4.25, 6.4):
  • 通常のモリタ同値性の第二種バージョン（双モジュールによる同値）が成立すれば、高ホッホ・コホモロジーは保存されます。これは、$A$ と $B$ が双モジュール $P, Q$ によって $P \otimes^L_B Q \simeq A$ かつ $Q \otimes^L_A P \simeq B$ となる場合に成立します。

B. コズール双対性との整合性 (Koszul Duality)

• 双モジュール版コズール双対性 (Section 5):
  • 従来のコズール双対性（片側モジュール）を、双モジュール（bimodules）の枠組みに拡張しました。これにより、dg 代数 $A$ とそのコズール双対である（曲率を持つ）コ代数 $C$ の間の双モジュール圏の間の Quillen 同値性が確立されました。
• 計算の簡素化 (Corollary 5.8, 5.9):
  • 任意の dg 代数 $A$ に対して、第二種の高ホッホ・コホモロジーは、その拡張バー構成（extended bar construction）$qBA$ の通常の（第一種の）高ホッホ・コホモロジーと準同型写像で同値であることが示されました。
    $$HC^{II}_c(A) \simeq HC(qBA)$$
  • これにより、第二種の高ホッホ・コホモロジーの計算が、より扱いやすい $qBA$ の通常の計算に帰着されます。

C. 幾何学的応用例 (Geometric Examples)

著者らは、第二種の高ホッホ・コホモロジーが、以下の幾何学的に意味のある dg 圏の通常の（第一種の）高ホッホ・コホモロジーと一致することを示しました。

1. 複素代数多様体:
   • 滑らかな複素代数多様体 $X$ のド・ベール代数 $A(X)$ について、$HH^{II}_c(A(X))$ は、$X$ 上の有界コヒーレント層の導来圏 $D^b_{coh}(X)$ のモデル（$\text{Perf}(X)$）の通常の高ホッホ・コホモロジー $HH(\text{Perf}(X))$ と同型です。
2. 位相空間:
   • 位相空間 $M$ の特異コチェイン代数 $C^*(M)$ または滑らかコンパクト多様体のド・ラーム代数 $A^*(M)$ について、$HH^{II}_c$ は、$M$ 上の「$\infty$-局所系（infinity local systems）」の圏 $\text{LC}(M)$ の高ホッホ・コホモロジーと一致します。
3. 行列因子分解 (Matrix Factorizations):
   • 曲率 $w$ を持つ正則環 $R_w$ について、その第二種の高ホッホ・コホモロジーは、行列因子分解の圏 $\text{MF}(R, w)$ の高ホッホ・コホモロジーと一致します。これは特異点の構造を記述する重要な不変量です。

4. 意義と結論 (Significance)

• 理論的統合: 本論文は、Positselski-Polishchuk の定義と従来の高ホッホ・コホモロジーの間に位置する「中間的な」定義（$HC^{II}_c$）を提示しました。これは、Positselski-Polishchuk の定義（半完全バー構成に基づく）の擬コンパクト完備化であり、かつ通常の定義のさらなる完備化として解釈できます。
• 不変性の保証: 既存の第二種の高ホッホ・コホモロジーの定義が抱えていた「モリタ不変性の欠如」や「コズール双対性との非整合性」という問題を解決しました。
• 幾何学的洞察: 代数幾何、トポロジー、特異点理論における重要な対象（ド・ベール代数、局所系、行列因子分解）に対して、第二種の高ホッホ・コホモロジーが「幾何学的に意味のある」不変量（すなわち、対応する幾何的対象の圏の通常の高ホッホ・コホモロジー）を計算することを示しました。
• 計算可能性: コズール双対性を用いることで、複雑な第二種の計算を、より標準的な代数（$qBA$）の計算に還元する具体的な手法を提供しました。

総じて、この論文は「第二種のホモロジー代数」の理論を確固たるものにし、それが現代数学の様々な分野（代数幾何、トポロジー、数学物理）において、幾何学的対象の本質的な不変量を捉える強力なツールであることを示唆しています。