[論文レビュー] Classification spaces of maps in model categories

Daniel Dugger|arXiv (Cornell University)|Apr 25, 2006

Homotopy and Cohomology in Algebraic Topology参考文献 11被引用数 4

ひとこと要約

この論文は、Dwyer-Kan (1980) の基礎的結果における欠陥を是正し、モデル圏において Y がファイブレントであるとき、X ← U → Y（U → X が弱同値）というジグザグのカテゴリのネ混合が、写像の完全なモジュライ空間とホモトピー的に同値であることを確立する。これは、ホモトピー関数複体を計算する際により単純なカテゴリが十分であることを確認し、ホモトピー理論および導来代数的幾何学における重要な技術的道具を提供する。

ABSTRACT

This paper corrects a small mistake in a paper of Dwyer-Kan, and uses this to identify homotopy function complexes in a model category with the nerves of certain categories of zig-zags.

研究の動機と目的

• モデル圏における写像のモジュライ空間のホモトピー型に関して、Dwyer-Kan の [DK2, 7.2] における誤りを是正すること。
• Y がファイブレントであるとき、X ← U → Y（U → X が弱同値）というジグザグのカテゴリのネ混合が、正しいホモトピー関数複体を計算することを確立すること。
• 導来代数的幾何学およびホモトピー理論における簡略化されたモジュライカテゴリの使用に、厳密な基礎を提供すること。
• Y がファイブレントであるとき、簡略化されたカテゴリから完全なモジュライカテゴリへの包含が、ネ混合にわたって弱同値を誘導することを確認すること。

提案手法

• 全モジュライカテゴリ X ← U → V ← Y から、X ← U' および Y → V' が自明な被覆であるようなジグザグの部分カテゴリへの関手を構成する。
• 関手的分解とホモトピーの引き戻し／押し出しを用いて、一般のジグザグを簡略化形へと変形するリトラクションを構築する。
• 二重カテゴリの技法を用い、簡略化されたカテゴリのネ混合とジグザグから生じる二重単体的集合の対角線のネ混合を比較する。
• 単体的集合のカテゴリにおけるジグザグの自然変換とホモトピー同値を用いて、ネ混合の弱同値を確立する。
• Y のファイブレント性を活用し、自明な被覆を関手的に引き上げられることを保証し、変形リトラクションの構成を可能にする。
• 二重カテゴリの図式において二つの合成がホモトピー的カテゴリで同じ写像を表すという事実を用い、包含写像が弱同値であることを示す。

実験結果

リサーチクエスチョン

• RQ1 Y がファイブレントであるとき、簡略化されたモジュライカテゴリ X ← U → Y（U → X が弱同値）を完全なモジュライカテゴリ X ← U → V ← Y に含める包含が、ネ混合にわたって弱同値を誘導するか？
• RQ2 モデル圏における写像のモジュライ空間の正しいホモトピー型は何か？ そして、より小さいジグザグのカテゴリを用いて計算可能か？
• RQ3 [DK2, 7.2] の議論でどこで誤りが生じ、どのように修正すれば提示されたホモトピー同値が回復できるか？
• RQ4 X ← U → Y というジグザグのカテゴリのネ混合が、X に被覆性の仮定がない状況でもホモトピー関数複体のモデルとして用いられるか？
• RQ5 モジュライ空間に二重カテゴリ構造が存在し、ホモトピー整合性を用いて異なる包含関手を比較可能か？

主な発見

• Y がファイブレントであるとき、簡略化されたモジュライカテゴリ M(X,Y)_{Hom-f} を完全なモジュライカテゴリ M(X,Y)_{Hom} に含める包含が、ネ混合にわたって弱同値を誘導する。
• 是正された証明により、X ← U → Y（U → X が弱同値）というジグザグのカテゴリのネ混合が、正しいホモトピー関数複体を計算することが立証された。
• [DK2, 7.2] の誤りは、引き戻しと押し出しを含むある図式のホモトピー型に関する誤った仮定に起因し、関手的分解によって是正された。
• X への自明な被覆と Y への自明な被覆のカテゴリのネ混合は、その対角線ネ混合が完全なモジュライカテゴリのネ混合と弱同値であるような二重カテゴリを形成する。
• 簡略化されたカテゴリから二重カテゴリ構造への二つの包含 j₁ と j₂ は、ともに弱同値であり、これはホモトピー整合性を介して主要な結果を示す。
• この結果により、ターゲットがファイブレントであるとき、モデル圏においてホモトピー関数複体を計算する際に、より単純なジグザグのカテゴリが十分であることが確認された。