[論文レビュー] Homotopy coherent nerve in Deformation theory

Vladimir Hinich|arXiv (Cornell University)|Apr 19, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 8被引用数 10

ひとこと要約

この論文は、標準的シンプレクティックホモトピー神経関手をホモトピー整合神経関手に置き換えることで、以前の変形理論の研究における深刻な誤りを是正する。ホモトピー整合神経関手は、ファイブレーションと弱同値を適切に保存するため、ファイブレーションを持つシンプレクティック圏において有効である。主な貢献は、ホモトピー整合神経関手がファイブレーションを持つグロイドに、ファイブレーションを保存することを証明したことであり、これにより変形理論における降下とホモトピー極限の結果の有効性が回復される。

ABSTRACT

In this note we explain that homotopy coherent simplicial nerve has to used intead of the standard definition in the author's papers on formal deformation theory. A convenient version of the notion of fibered category is presented which is useful once one works with simplicial categories.

研究の動機と目的

• 従来の変形理論論文における誤った主張、すなわち標準的シンプレクティック神経関手がシングルカテゴリにおけるファイブレーションを保存するという主張を是正すること。
• ファイブレーションを持つグロイドに対して、ホモトピー整合神経関手関手がファイブレーションと弱同値を保存することを確立し、降下とホモトピー極限構成の有効性を保証すること。
• 擬ファイバー付きカテゴリの概念を導入・形式化し、擬ファンクターの代替として用い、局所的Dwyer-Kan局在化とホモトピー極限との整合性を可能とすること。
• H1, H2, H3における古くさかったまたは誤りのある結果を、ホモトピー整合神経関手と適切なシングルカテゴリフレーミングを用いた修正された形式に置き換えること。
• アドジョイントペア (Δₙ, 𝔑) を用いて、シングルセットとシングルカテゴリのモデル間のホモトピー同値性を回復することにより、変形関手の∞-グロイドモデルとの整合性を確保すること。

提案手法

• 標準的シングルカテゴリ神経関手 N を、sCat 内のコシンプレクティック対象 Δₙ• を用いて定義されるホモトピー整合神経関手 𝔑 に置き換える。
• ファイブレーションを持つグロイドに対して、シングルカテゴリフレーミングとファイブレーション対象の性質を用いて、ホモトピー整合神経関手 𝔑 が弱同値とファイブレーションを保存することを証明する。
• ファイバー付きカテゴリの一般化として、擬ファイバー付きカテゴリを導入し、局所的Dwyer-Kan局在化とホモトピー極限との整合性を可能とする。
• アドジョイントペア (Δₙ, 𝔑) を用いて、シングルカテゴリとシングルセットとの関係を確立し、ホモトピー極限が神経関手と可換になるように保証する。
• 変形関手を 𝔑 ∘ Def として再定式化することで、∞-グロイドモデルとの整合性と降下性を保証する。
• H1, H2, H3における古くなった構成を、ホモトピー整合神経関手と擬ファイバー付きカテゴリに基づく新しい構成に置き換える。特に、ハイパーカバーイングと局在化の文脈で有効である。

実験結果

リサーチクエスチョン

• RQ1 H1で主張されているように、標準的シングルカテゴリ神経関手は、シングルカテゴリにおけるファイブレーションを保存するのか？
• RQ2 ホモトピー整合神経関手を用いることで、変形理論における降下性とホモトピー極限の性質を回復できるか？
• RQ3 ホモトピー的設定における局所的局在化とホモトピー極限を可能とする、ファイバー付きカテゴリの適切な一般化は存在するか？
• RQ4 ファイブレーションを持つグロイドにおいて、標準的神経関手 N とホモトピー整合神経関手 𝔑 はどのように比較可能か？また、ホモトピー整合神経関手はファイブレーションを保存するか？
• RQ5 標準的神経関手がファイブレーションを保存しないという事実により、H1, H2, H3における修正はどのようなものが必要か？

主な発見

• 標準的シングルカテゴリ神経関手は、シングルカテゴリにおいてファイブレーションを保存しない。これは、H1における主要な主張を無効にしている。
• ホモトピー整合神経関手 𝔑 は、ファイブレーションを持つグロイドに対して弱同値とファイブレーションを保存する。これにより、降下とホモトピー極限の結果の有効性が回復される。
• ファイブレーションを持つグロイドにおいて、標準的神経関手 N とホモトピー整合神経関手 𝔑 は自然にホモトピー同値である。これにより、従来の構成との一貫性が保証される。
• ホモトピー整合神経関手は、擬ファイバー付きシングルカテゴリのホモトピー極限と可換である。これは命題 3.2.8 で形式化されている。
• 擬ファイバー付きカテゴリの概念は、弱ファンクターを扱う強固な枠組みを提供し、局所的Dwyer-Kan局在化を可能にする。
• 修正された変形関手の定式化は、N ∘ Def の代わりに 𝔑 ∘ Def を用いる。これにより、∞-グロイドモデルとの整合性と降下性が保証される。