[論文レビュー] Derived manifolds and d-manifolds

Dennis Borisov|arXiv (Cornell University)|Dec 5, 2012

Homotopy and Cohomology in Algebraic Topology被引用数 4

ひとこと要約

この論文は、導来多様体からd多様体への切り捨て2-ファンクターを研究するため、導来微分可能スキームのカテゴリにモデル構造を確立する。ホモトピー圏間の誘導された1-ファンクターが全射かつ本質的に全射であることが証明され、同値類の間の全単射をもたらすが、反例によって示されるように忠実ではない。

ABSTRACT

A model structure is defined on the category of derived differentiable schemes, and it is used to analyse the truncation 2-functor from derived manifolds to d-manifolds. It is proved that the induced 1-functor between the homotopy categories is full and essentially surjective, giving a bijection between the sets of equivalence classes of objects. An example is constructed, showing that this 1-functor is not faithful.

研究の動機と目的

• ホモトピー代数を用いて、導来多様体からd多様体への切り捨て2-ファンクターを分析すること。
• ホモトピー的解析のため、導来微分可能スキームのカテゴリにモデル構造を定義すること。
• 導来多様体のホモトピー圏とd多様体のホモトピー圏の間の誘導された1-ファンクターの性質を特定すること。
• 切り捨てファンクターが、特に忠実性を含む本質的な圏的構造を保存するかどうかを調査すること。

提案手法

• ホモトピー的推論を可能にするために、導来微分可能スキームのカテゴリにモデル構造を構成すること。
• モデル構造を用いて、導来多様体からd多様体への切り捨て2-ファンクターを分析すること。
• 導来多様体のホモトピー圏とd多様体のホモトピー圏の間の誘導された1-ファンクターを研究すること。
• 圏論的およびホモトピー的技法を用いて、誘導された1-ファンクターの全射性と本質的全射性を証明すること。
• 誘導された1-ファンクターが忠実でないことを示すために、特定の反例を構成すること。

実験結果

リサーチクエスチョン

• RQ1 導来多様体からd多様体への切り捨て2-ファンクターは、ホモトピー圏のレベルで全射かつ本質的に全射か？
• RQ2 導来多様体のホモトピー圏とd多様体のホモトピー圏の間の誘導された1-ファンクターは、対象の同値類を保存するか？
• RQ3 誘導された1-ファンクターは忠実か？ あるいは、導来多様体のホモトピー圏内の異なる射が、d多様体のホモトピー圏内の同一の射に写されるか？
• RQ4 誘導された1-ファンクターが忠実でないことを示す反例を構成できるか？
• RQ5 切り捨てファンクターによって捉えられる、導来多様体とd多様体の間の正確なホモトピー的関係は何か？

主な発見

• 導来多様体のホモトピー圏とd多様体のホモトピー圏の間の誘導された1-ファンクターは全射である。
• 誘導された1-ファンクターは本質的に全射であり、任意のd多様体が同値類の意味である導来多様体の切り捨てとして得られることを意味する。
• 誘導された1-ファンクターは、ホモトピー圏内の対象の同値類の集合の間で全単射を定める。
• 誘導された1-ファンクターは忠実でないことが、導来多様体のホモトピー圏内の異なる射がd多様体のホモトピー圏内の同一の射に写される例によって示された。
• 導来微分可能スキームに導入されたモデル構造は、切り捨てファンクターおよびその圏論的性質を分析する有効な枠組みを提供する。