[論文レビュー] A DG guide to Voevodsky's motives

Alexander Beilinson, Vadim Vologodsky|ArXiv.org|Apr 1, 2006

Advanced Topics in Algebra参考文献 5被引用数 4

ひとこと要約

本稿は、微分積分型（DG）カテゴリを用いた混合モチーフの圏の構成に焦点を当て、ヴェドフスキーのモチーフ的ホモトピー論について、的確で技術的な解説を提供する。ヴェドフスキーの手法は、有限対応と局所化を用いてモチーフを定義し、モチーフコホモロジーを実現するテンソル三角カテゴリを構築する。このカテゴリは、導来ファンクター的枠組みを通じて特異コホモロジーと結びつく。

ABSTRACT

We give a concise exposition of Voevodsky's theory of motives.

研究の動機と目的

• DGカテゴリを用いたヴェドフスキーの混合モチーフの圏の構成を、明確でアクセス可能な形で提示すること。
• 代数的写像の置き換えとしての有限対応の役割を明確にすることにより、モチーフのためのホモトピー的枠組みを可能にすること。
• モチーフの圏に、モチーフコホモロジーを捉え、特異チェイン関手を通じて古典的コホモロジーと接続するテンソル三角的構造を確立すること。
• DGレベルでの構成を形式化することで、将来の発展、例えばモチーフ的降下や高階カテゴリカル構造の研究を可能にすること。

提案手法

• より抽象的な三角カテゴリの手法に代えて、DGカテゴリを基礎的枠組みとして用いてモチーフを定義する。
• 位相的多様体によって自由に生成されるDGカテゴリを構成し、その後、切除とホモトピー不変性をモデル化する関係で商をとる。
• 代数的幾何的設定において、写像の代わりに有限対応を用いて、この位相的構成の形式的模倣を行う。
• ケラーのホモトピー的DG商構成を応用し、DGカテゴリの商としてモチーフの導来圏を定義する。
• ヴェルディエの局所化と右適性を用いて、導来圏における局所化三角形と随伴関手の存在を保証する。
• ギジン同型と双対性ペアリングをDGレベルに持ち上げ、モチーフ的双対性の非退化性を証明する。

実験結果

リサーチクエスチョン

• RQ1 ヴェドフスキーのモチーフ的圏を、単なる三角カテゴリのレベルではなく、DGレベルで厳密にどのように構成できるか？
• RQ2 モチーフの構成における有限対応の役割は、写像を置き換えるために果たすものであるか？
• RQ3 特異チェイン関手は、位相的モチーフのDGカテゴリと、$D_{ab}$（有限生成アーベル群の導来圏）との間に同値を誘導するか？
• RQ4 モチーフの部分圏が右適性を満たすための条件は何か？これにより、適切に定義された局所化と随伴関手が保証される。
• RQ5 モチーフ的双対性ペアリングをDGレベルに持ち上げ、非退化性を示すにはどのような手続きが必要か？

主な発見

• モチーフの圏 $\mathcal{D}_{\mathcal{M}}$ は、有限対応を伴う代数的多様体によって生成されるDGカテゴリのホモトピー的DG商として構成される。
• 特異チェイン関手は、位相的モチーフのDGカテゴリと $D_{ab}$、すなわち有限生成アーベル群の導来圏との間に同値を誘導する。
• この構成により、モチーフの圏は、モチーフコホモロジーおよび双対性と整合するリジッドなテンソル三角カテゴリであることが保証される。
• ギジン同型と対角類との整合性を用いて、ペアリングの各次数ごとの非退化性を示すことにより、モチーフ的双対性ペアリングの非退化性が確立される。
• DGカテゴリの使用により、三角カテゴリに比べてより洗練された構造が可能となり、将来的なモチーフ的降下や高階カテゴリカル性質の研究が可能になる。
• 理論は、多様体のモチーフのコホモロジーとしてモチーフコホモロジーを実現し、ペアリング $\epsilon_{FG}$ が分解のレベルで完全な双対性を誘導する。