[論文レビュー] Cohesive DG Categories I: Milnor Descent

Oren Ben-Bassat, Jonathan Block|arXiv (Cornell University)|Jan 30, 2012

Algebraic structures and combinatorial models参考文献 7被引用数 4

ひとこと要約

本稿では、2人目の著者が定義した曲がった微分graded代数からdgカテゴリへの関手が、妥当な条件下でホモトピー的にCartesian図式を保存することを確立している—これは、Milnorの射影モジュールの構成をdgカテゴリの文脈へと拡張するものである。主な結果は、この関手が複素多様体の特定の分割に関してMilnor降下を満たすことである。

ABSTRACT

We show that the functor from curved differential graded algebras to differential graded categories, defined by the second author in [B], sends Cartesian diagrams to homotopy Cartesian diagrams, under certain reasonable hypotheses. This is an extension to the arena of dg categories of a construction of projective modules due to Milnor. As an example, we show that the functor satisfies descent for certain partitions of a complex manifold.

研究の動機と目的

• 微分gradedカテゴリの文脈へMilnorの射影モジュールの構成を拡張すること。
• 曲がったDG代数からdgカテゴリへの関手が、適切な仮定の下でホモトピー的にCartesian図式を保存することを確立すること。
• この関手が複素多様体の特定の開被覆に関して降下を満たすことを示すこと。
• dgカテゴリを用いた導来代数幾何における降下を理解するためのホモトピー的枠組みを提供すること。

提案手法

• [B]で定義された曲がった微分graded代数からdgカテゴリへの関手を用いる。
• この関手がCartesian図式上でどのように作用するかを分析するために、ホモトピー代数の技法を適用する。
• ホモトピー的Cartesian保存を保証するために、曲がったDG代数に妥当な仮定を課す。
• 複素多様体の分割にこの枠組みを適用し、幾何的設定において降下が成立することを示す。
• ホモトピー整合性を扱うために、導来カテゴリおよびモデル構造の理論に依拠する。
• 古典的代数幾何における降下のホモトピー的一般化として、Milnor降下の概念を用いる。

実験結果

リサーチクエスチョン

• RQ1 曲がったDG代数からdgカテゴリへの関手が、妥当な条件下でホモトピー的にCartesian図式を保存するか？
• RQ2 Milnorの射影モジュールの構成を微分gradedカテゴリの文脈へ一般化できるか？
• RQ3 この関手が複素多様体のような幾何的対象に関して、どのような条件下で降下を満たすか？
• RQ4 この関手のホモトピー的性質は、代数幾何における古典的降下とどのように関係するか？
• RQ5 この結果が導来代数幾何およびdgカテゴリにおけるcohesive構造に与える意味は何か？

主な発見

• 曲がったDG代数からdgカテゴリへの関手は、妥当な仮定の下で、Cartesian図式をホモトピー的Cartesian図式へ写す。
• この結果は、Milnorの射影モジュールの構成を微分gradedカテゴリの文脈へ一般化するものである。
• この関手は複素多様体の特定の開被覆に関して降下を満たし、幾何的関連性が示された。
• ホモトピー保存性の性質により、導来カテゴリ的枠組みにおける整合性が保証される。
• この結果は、導来およびcohesiveなdgカテゴリにおける降下を研究するための基盤的ツールを提供する。
• 幾何的分割への適合性を保証するため、この枠組みは導来代数幾何への応用を支援する。