[論文レビュー] Erratum to "Homological algebra of homotopy algebras"

Vladimir Hinich|arXiv (Cornell University)|Sep 28, 2003

Algebraic structures and combinatorial models参考文献 3被引用数 27

ひとこと要約

この誤植訂正は、可換環上のチェーン複体における操作のモデル構造定理の欠陥を是正する。B. フレッセによる反例は、操作に可縮複体を加えても、一般には擬似同型の操作が得られないことを示している。修正された結果では、0-項操作が自明であるか、または特徴数が0の環上では、シフトされたコーンと木に基づく分解を用いた精密な自由操作の分析により、操作のモデル構造が存在することを確立する。

ABSTRACT

Theorem 6.1.1 of [H.A.H.A.] on the existence of a model structure on the category of operads is not valid in the generality claimed. We present here a counter-example (due to B. Fresse) and a corrected version of the theorem.

研究の動機と目的

• ヒニッチ（2003）の定理6.1.1における誤りを特定・是正すること。この定理は、成分毎の弱同値およびファイブレーションを備えたチェーン複体における操作のモデル圏構造を主張していた。
• 正の特徴数において、操作に可縮複体を加えても一般には擬似同型が保たれないことの反例を提示すること。
• 操作のモデル構造が成立する修正された十分条件を確立すること。具体的には、操作の0-項操作が自明であるか、または底環にℚを含む場合。
• 元の証明の鍵となるステップである、ある包含写像が擬似同型であることを確認するが、一般には失敗することを示し、修正された条件下では成立することを示すこと。
• 元の定理の誤りにかかわらず、それ以前にその定理を用いて得られた応用が、誤ったモデル構造に依存しない代替の分解性質によっても依然として有効であることを確認すること。

提案手法

• 可換操作COMと、可縮複体Mによる自由操作拡張を用いた反例を提示。正の特徴数において、元の操作と擬似同型でない操作が得られることを示す。
• マーク付きの還元済み木を用いて、O ⊗ F(M,n) の操作的成分を記述する、シフトされたコーンM = cone(id_k)[s]によって生成される自由操作の解析。
• マーク付き木の自己同型群による群の作用の商を用いて、自由操作拡張のテンソル積分解を計算する。
• O(0) = 0 かつ n > 0、または底環kにℚを含む場合、包含写像O → O ⊗ F(M,n) が、可縮性と自己同型の不在により、成分毎の擬似同型であることを証明する。
• ベルジャとモエルジクのモデル構造に関するモノイダル圏における操作の一般的存在定理と整合するように、修正された条件を提示する。
• 誤ったモデル構造に依存しない因子分解系により、コフェイブルな分解が存在することを検証し、従って以前の結果が依然として有効であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 包含写像O → O ⊗ F(M,n) がいつ成分毎の擬似同型となるか？
• RQ2 なぜ元の定理6.1.1は正の特徴数で失敗するのか？反例の正確な性質は何か？
• RQ3 0-項成分が自明でない場合でも、チェーン複体における操作のモデル構造を再び確立できるか？
• RQ4 木に基づく分解と自己同型群の商は、自由操作拡張における擬似同型の確認にどのように寄与するか？
• RQ5 誤ったモデル構造に依存する以前の結果は、修正後もどの程度有効に保たれるか？

主な発見

• 可縮複体Mを可換操作COMに加えると、一般には擬似同型でない操作が得られることを示す反例を提示。これにより、定理6.1.1は一般には誤りである。
• O(0) = 0 かつ n > 0、または底環kにℚを含む場合、包含写像O → O ⊗ F(M,n) は成分毎の擬似同型である。
• 底環kにℚを含む場合、C(k)における操作の圏にモデル構造が存在する。弱同値は成分毎の擬似同型、ファイブレーションは成分毎の全射として定義される。
• 任意の可換環kに対して、O(0) = 0 である操作の圏に対しても、同じ弱同値およびファイブレーション条件の下でモデル構造が存在する。
• 修正された結果は、ベルジャとモエルジクの一般枠組みと整合しており、元の定理の応用は、代替の因子分解性質により依然として有効である。
• 元の定理の失敗は、正の特徴数における非自明な0-項操作のケースに限定され、コフェイブルな分解や因子分解系には影響しない。