技術要約：ホモトピー同値への障害シーケンス

問題設定

本論文は、オペラドまたはプロパド（群類によって彩色されている可能性がある）に支配される微分次数付き（dg）代数の間のホモトピー同値性を特徴付けるという、根本的な問題に取り組んでいる。有理ホモトピー論では、2つの空間が同じ有理ホモトピー型を共有するための条件は、それらの特異余係数代数がホモトピー同値であることであるが、特定の2つの代数的構造がホモトピー同値であるかどうかを判定することは、非自明な変形問題である。

具体的には、著者は、フォーマリティ（ホモロジー代数へのホモトピー同値性）に対する完全な障害を与える**カレディン・クラス（Kaledin classes）**の理論を、より一般的な（任意の代数的構造間の）ホモトピー同値性の設定へと拡張することを目的としている。核心となる問いは、ある変形問題を支配する完全微分次数付きリー代数（dg Lie algebra）における2つの枚挙・マウラー・カタン（Maurer–Cartan）元 $\phi$ と $\psi$ が与えられたとき、それらがゲージ同値であることをどのように検出できるか、という点である。もしそれらが同値でない場合、どの次数のフィルタリングにおいて同値性が崩れるのか。

手法

本論文は、完全dgリー代数の構造に基づいた体系的な障害理論を開発している。その手法は、以下の論理的ステップに従って進行する。

1. ゲージ同値への再定式化：
   2つの代数的構造 $(A, \phi)$ と $(B, \psi)$ の間のホモトピー同値性の問題は、共通の完全dgリー代数 $\mathfrak{g}$ における、転送されたマウラー・カタン元の間のゲージ同値性の問題として書き換えられる。これは、$\infty$-イソトピーの群と、縮退（convolution）dgリー代数のゲージ群との間の同型性に依拠している（標数ゼロの場合）。

2. ねじれ（Twisting）とフィルタリング：
   $\phi$ と $\psi$ の間の同値性を分析するために、著者は $\mathfrak{g}$ を $\psi$ によってねじり、$\mathfrak{g}_\psi$ を得る。このとき、差 $\phi - \psi$ は $\mathfrak{g}_\psi$ におけるマウラー・カタン元となる。問題は、この差がゲージ自明（gauge trivial）であるかどうかを判定することへと還元される。

3. 障害シーケンスの構成：
   著者は、リー代数の完全降下フィルタリング $F$ に沿った、誘導的なホモロジー・クラス $(\vartheta_k)_{k \geq 1}$ を構成する。

   • $F^k\mathfrak{g}$ モジュロでのゲージ自明化から出発して、著者はクラス $\vartheta_k \in H^{-1}(\mathfrak{g}_\psi / F^{k+1}\mathfrak{g})$ を定義する。
   • $\vartheta_k$ の消滅は、自明化を $F^{k+1}\mathfrak{g}$ モジュロへと拡張するための必要十分条件である。
   • もし $\vartheta_k \neq 0$ であれば、シーケンスは終了し、$k$ は**ゲージ同値次数（gauge equivalence degree）**として特定され、同値性が失敗する正確な次数を測定する。

4. 任意の係数への一般化：
   初期の構成では、バッカー・キャンベル・ハウスドルフ公式の使用を可能にするため、基本環 $R$ が $\mathbb{Q}$-代数であることを仮定しているが、本論文は**重み次数付き（weight-graded）**構造を用いることで、これを任意の可換環へと洗練させている。この設定において、障害クラスはカレディン・クラスの截断（truncation）として識別され、階乗が可逆でない場合でも、特定の重み条件が満たされる限り、理論が機能するようにしている。

5. 降下（Descent）と彩色された拡張：
   ゲージ同値性が、忠実平坦なスカラー拡大の下で降下することを示すために、理論を拡張する。さらに、この枠組みを彩色されたオペラド（群類によって彩色されたもの）へと適応させ、群類上の加群の自己準同型オペラドを含む範囲を広げている。

主要な貢献と結果

1. ゲージ同値への障害シーケンス (セクション 1)

• 定理 1.11： 2つのマウラー・カタン元のゲージ同値次数が無限であることは、それらが全ての $k$ に対して $F^k\mathfrak{g}$ モジュロでゲージ同値であることと同値であることを確立している。
• 定理 1.13 および 1.17： ゲージ同値次数が実際のゲージ同値性を意味するための十分条件を与える。具体的には、dgリー代数が**有界（bounded）**であるか、あるいは（ねじれた代数におけるホモロジーの適切な消滅を伴う）重み次数付きである場合、無限の障害シーケンスはゲージ同値性を保証する。
• 定理 1.19（同値性の降下）： 忠実平坦な拡大 $R \to S$ に対して、2つのマウラー・カタン元が $R$ 上でゲージ同値であることは、それらが $S$ 上でゲージ同値であることと同値であることを証明している。

2. ホモトピー同値への障害シーケンス (セクション 2)

• 定理 2.24： 障害理論を $\Omega C$-代数（コーバー構成上の代数）に適用する。これは、2つのそのような代数が（フィルタリングに関して）ホモトピー同値であるための条件は、転送された構造のゲージ同値次数が無限であることと一致することを述べている。
• 定理 2.29： 同値性の降下特性を、プロパド上の代数のホモトピー同値性へと拡張する。
• 定理 2.40 および 2.48： 重み次数付き構造を利用することで、理論を（単なる $\mathbb{Q}$-代数ではない）任意の係数環へと一般化する。ここでは、截断されたカレディン・クラスの消滅と**ゲージ自明次数（gauge triviality degree）を関連付けており、正標数におけるゲージ・フォーマリティ（gauge formality）**の判定基準を提供している。
• 球面の応用 (共同研究 [ET26])： この枠組みを用いて、プレ・カラビ・ヤウ代数 $C_*(\Omega S^n; \mathbb{Q})$ が本質的にフォーマルであること、すなわち、ポアンカレ双対性を保持しつつ、そのホモロジー構造によってホモトピー型まで決定されることを証明している。

3. 高連結多様体のミニマルモデル (セクション 3)

• 定理 3.5 および 3.6： 本論文は、高連結多様体および多様体のフォーマリティに関する Zhou と Miller の結果を拡張するために、この障害理論を適用する。
  • コンパクトな $k$-連結多様体 $M$（次元 $d < (\ell+1)k + 2$、かつ $\ell \geq 3$）に対して、特異余係数代数 $C^*_{sing}(M; K)$ が深さ（depth） $\ell-1$ を持つことを証明する。これは、$C^*_{sing}(M; K)$ が、アーリティ $p \geq \ell$ において演算が消滅する厳密な単単位 $A_\infty$-代数とホモトピー同値であることを意味する。
  • この結果は、分離閉体上の滑らかな固有多様体のエタール余係数へと一般化される（定理 3.6）。ここでは、$\ell$ および $\ell+1$ が可逆であるような体において機能する。
  • 証明は、次数制約とポアンカレ双対性を用いて、高次の演算（$p \geq \ell$ の場合の $\phi_p$）が消滅することを示すことで、ミニマルモデルを効果的に構築する。

意義と主張

本論文は、完全dgリー代数におけるゲージ同値性のための完全な障害理論を提供することを主張しており、これが代数的構造のホモトピー同値性を研究するための統一的な枠組みとして機能する。

• カレディン・クラスの一般化： 本研究は、フォーマリティ（ホモトピー同値性の特殊なケース）の検出を、任意の構造間のホモトピー同値性の検出へと成功裏に拡張し、ゲージ同値次数を通じてそれらの間の「距離」を定量化している。
• 任意の係数： 重み次数付き代数を用いて理論を洗練させることで、標数ゼロへの厳格な依存を取り除き、これらの障害技法を正標数や一般的な可換環に適用することを可能にしている。
• 幾何学的帰結： 理論は、具体的な幾何学的結果を導き出すための強力なツールであることが示されている。具体的には、高連結多様体（特異およびエタール・コホモロジーの両方）に対して、截断された演算を持つミニマルモデルの存在を確立するための厳密なメカニズムを提供している。

著者は、障害シーケンスは帰納的であり、選択（ゲージの選択）に依存するものの、結果としてのゲージ同値次数は一対の構造の不変量であり、それらのホモトピー的な関係を精密に測定するものであることを強調している。