[論文レビュー] A Category of Motivic Sheaves

Donu Arapura|arXiv (Cornell University)|Jan 1, 2008

Algebraic Geometry and Number Theory被引用数 4

ひとこと要約

この論文は、Noriの手法を用いて、ℂの部分体上の代数的多様体の上に、可換なモチビック層の圏を構成し、古典的およびエタールのコンスティューシブル層への忠実かつ完全な実現関手を確立する。さらに、モチビック局所系のタナカリアン部分圏を同定し、それが混合Hodge構造の変動に忠実に実現されることを示し、それらの標準的な幾何的例がすべてこの構成から生じることを示す。

ABSTRACT

The goal of this paper is to construct a category of motivic on an algebraic variety defined over a subfield of C, using Nori's method. This categoryis abelian and it possesses faithful exact realization functors to the categoriesof constructible sheaves for the classical and etale topologies. Moreover, there is a tannakian subcategory of motivic local systems with a realization functor into the category of variations of mixed Hodge structures. Conversely, all basic geometric examples of the latter come from this motivic category.

研究の動機と目的

• Noriの手法を用いて、ℂの部分体上の代数的多様体の上にモチビック層の圏を定義すること。
• この圏が可換であり、古典的およびエタールのトポスにおけるコンスティューシブル層への忠実かつ完全な実現関手を備えること。
• モチビック局所系のタナカリアン部分圏を同定し、それが混合Hodge構造の変動に忠実に実現されることを示すこと。
• 混合Hodge構造の基本的な幾何的例が、すべてこのモチビック構成から得られることを示すこと。
• 代数幾何における異なる実現（古典的、エタール、Hodge理論的）を、一つの圏的枠組みで統一すること。

提案手法

• 代数的多様体とその間の準同型の図式から、Noriの図式的手法を用いてモチビック層の圏を構成すること。
• 古典的およびエタールのトポスにおけるコンスティューシブル層の図式のアーベル包としてこの圏を定義すること。
• モチビック圏から古典的およびエタールのトポスにおけるコンスティューシブル層の圏への忠実かつ完全な実現関手を構成すること。
• モチビック層の圏内に、モチビック局所系のタナカリアン部分圏を同定すること。
• このタナカリアン部分圏から混合Hodge構造の変動の圏への実現関手を確立すること。
• タナカリアン圏の性質を用いて、実現が忠実かつ完全であることを保証すること。

実験結果

リサーチクエスチョン

• RQ1 Noriの手法を用いて、ℂの部分体上の代数的多様体の上に、well-behavedな可換なモチビック層の圏を構成できるか？
• RQ2 モチビック層は、古典的およびエタールのコンスティューシブル層への忠実かつ完全な実現関手を備えているか？
• RQ3 モチビック局所系のタナカリアン部分圏が、混合Hodge構造の変動に忠実に実現できるか？
• RQ4 混合Hodge構造の標準的な幾何的例が、すべてこのモチビック構成から回復可能か？
• RQ5 モチビック層の圏は、代数幾何における異なる実現（古典的、エタール、Hodge理論的）をどのように統一するか？

主な発見

• 構成されたモチビック層の圏は可換であり、今後の研究に適した良いホモロジー的性質を備えている。
• モチビック層の圏から、古典的およびエタールのコンスティューシブル層の圏への忠実かつ完全な実現関手が存在する。
• モチビック局所系のタナカリアン部分圏が同定され、それが混合Hodge構造の変動の圏に忠実に実現可能である。
• 混合Hodge構造の基本的な幾何的例は、すべてこのモチビック圏の対象の実現として得られる。
• この構成は、モチビック層と古典的・エタール的・Hodge理論的実現を統一する枠組みを提供する。
• 実現関手は完全性と忠実性を保ち、モチビック構造が多様体の幾何的およびコホノロジー的データを反映していることを保証する。