[論文レビュー] Generalized Brown representability in homotopy categories

Jir̆ı́ Rosický|arXiv (Cornell University)|Jun 9, 2005

Homotopy and Cohomology in Algebraic Topology参考文献 22被引用数 18

ひとこと要約

この論文は、組合せ的安定モデル圏のホモトピー圏が、ある正則基数 λ に対して λ-コンパクト対象の反復的な弱余極限として得られる対象からなる well-generated であることを確立している。主な貢献は、この性質を一般化されたブラウン表現と関連づけ、ホモトピー圏から λ-フィルター付き余極限の hom-関手の族への標準的関手が全射かつ本質的に全射であるための必要十分条件が、一般化されたブラウン表現条件を満たすことであることを示したことである。

ABSTRACT

We show that the homotopy category of a combinatorial stable model category $\ck$ is well generated. It means that each object $K$ of $\Ho(\ck)$ is an iterated weak colimit of $λ$-compact objects for some cardinal $λ$. A natural question is whether each $K$ is a weak colimit of $λ$-compact objects. We show that this is related to (generalized) Brown representability of $\Ho(\mathcal K)$.

研究の動機と目的

• 組合せ的安定モデル圏のホモトピー圏が well-generated であるかどうかを特定すること、すなわち、弱余極限の下で λ-コンパクト対象から生成されるかどうかを調べること。
• ホモロジー的関手の表現可能性とホモトピー圏における弱余極限構造との関係を調査すること。
• 標準的関手 $ E_{\text{A}}: \text{Ho}(\text{K}) \to \text{Ind}_\lambda(\text{A}) $ が全射かつ本質的に全射であるための条件を明確化すること。
• 元の主張である $ E_{\text{A}} $ が常に全射かつ本質的に全射であるという主張の失敗を扱い、その成立する正しい条件を特定すること。

提案手法

• 論文は、$ \mathcal{K} $ が組合せ的安定モデル圏であるホモトピー圏 $ \text{Ho}(\mathcal{K}) $ における λ-コンパクト対象の概念を用いる。
• 各対象 $ K $ に対して、$ \text{hom}(-,K) $ を λ-コンパクト対象の完全な部分圏 $ \mathcal{A} $ に制限する関手 $ E_{\mathcal{A}}: \text{Ho}(\mathcal{K}) \to \text{Set}^{\mathcal{A}^{\text{op}}} $ を定義する。
• 2 つの射 $ f,g: K \to L $ が λ-フェイント同値であるとは、すべての $ h: A \to K $ について $ fh = gh $ が成り立つ場合を意味する。ここで $ A \in \text{Ho}(\mathcal{K}_\lambda) $ である。
• λ-コンパクト対象の弱余極限を用いて、λ-フェイント同値な射の弱初期対を構成し、そのような対が特定の意味で普遍的であることを示す。
• 任意の $ \lambda < \mu $ に対して $ F_{\lambda\mu} E_\mu \cong E_\lambda $ を証明し、異なる基数における関手の整合性を示す。
• 安定的かつ組合せ的モデル圏において、$ E_\lambda $ が任意に大きな λ に対して同型を反映することを用い、ホーヴェイの前三角構造とニーマンの well-generation に依拠する。

実験結果

リサーチクエスチョン

• RQ1 組合せ的安定モデル圏のホモトピー圏が well-generated であるための条件は何か？
• RQ2 標準的関手 $ E_{\mathcal{A}}: \text{Ho}(\mathcal{K}) \to \text{Ind}_\lambda(\mathcal{A}) $ が全射かつ本質的に全射であるための条件は何か？
• RQ3 一般化されたブラウン表現は、$ \text{Ho}(\mathcal{K}) $ における λ-コンパクト対象の弱余極限の存在とどのように関係するか？
• RQ4 元の主張である $ E_{\mathcal{A}} $ が常に全射かつ本質的に全射であるという主張がなぜ失敗するのか、そして正しい条件は何か？

主な発見

• 組合せ的安定モデル圏 $ \mathcal{K} $ のホモトピー圏 $ \text{Ho}(\mathcal{K}) $ は well-generated であり、任意の対象が適切な正則基数 λ に対して λ-コンパクト対象の反復的な弱余極限として得られることを意味する。
• λ-コンパクト対象の完全な部分圏 $ \mathcal{A} $ をとるとき、標準的関手 $ E_{\mathcal{A}}: \text{Ho}(\mathcal{K}) \to \text{Ind}_\lambda(\mathcal{A}) $ が全射かつ本質的に全射であるための必要十分条件は、$ \text{Ho}(\mathcal{K}) $ が一般化されたブラウン表現条件 [BRM_\lambda] を満たすことである。
• 元の主張である $ E_{\mathcal{A}} $ が常に全射かつ本質的に全射であるという主張にはギャップが存在し、著者はジャーディンおよびムーロに感謝しながらこれを認める。
• 強い組合せ的安定モデル圏において、$ E_{\lambda} $ は任意に大きな正則基数 λ に対して同型を反映する。これは高次の基数フィルトレーションとの整合性から示される。
• フェイント写像の存在は、$ \text{Ho}(\mathcal{K}) $ が $ \text{Ind}_\lambda(\mathcal{A}) $ と同値でない限り、$ E_{\mathcal{A}} $ が同時に全射かつ忠実であることは不可能であることを示唆している。非自明な場合、フェイント現象のため、この同値性は成立しない。