[論文レビュー] Detecting the c-effectivity of motives, their weights, and dimension via Chow-weight (co)homology: a "mixed motivic decomposition of the diagonal"

Mikhail V. Bondarko, Vladimir Sosnilo|arXiv (Cornell University)|Nov 24, 2014

Homotopy and Cohomology in Algebraic Topology被引用数 11

ひとこと要約

この論文は、モチーフのc-有効性、その重み、次元の上限を特定するための Chow-重み (co) homology を導入する。モチーフが1-有効であることは、ゼロサイクル Chow 群からなる複体が正則であることと同値であることが示され、混合モチービック分解フレームワークを用いて対角分解の結果を一般化する。

ABSTRACT

We describe certain criteria for a motif M to be $c$-effective, i.e., to belong to $c$th Tate twist $Obj DM^{eff}_{gm,R}(c)=Obj DM^{eff}_{gm,R} \otimes L^{\otimes c}$ of effective Voevodsky motives (for $c\ge 1$; R is coefficient ring). In particular, M if 1-effective if and only if a complex whose terms are certain Chow groups of zero-cycles is acyclic. The dual to this statement checks whether an effective motif M belongs to subcategory of $DM^{eff}_{gm,R}$ generated by motives of varieties of dimension $\le c$. These criteria are formulated in terms of Chow-weight (co)homology of M. These (co)homology theories are introduced in current paper and have several (other) remarkable properties: they yield a bound on weights of M (in sense of Chow weight structure defined by first author) and detect effectivity of the lower weight pieces of M. We also calculate connectivity of $M$ (in sense of Voevodsky's homotopy t-structure) and prove that exponents of higher motivic homology groups (of an integral motif) are bounded whenever these groups are torsion. These motivic properties of M have important consequences for its (co)homology. Our results yield a vast generalization of so-called decomposition of diagonal statements.

研究の動機と目的

• Chow-重み (co) homology を用いて、モチーフが c-有効であるかどうかを判定するための基準を構築すること。
• 次元 ≤ c の多様体のモチーフが生成する部分カテゴリに属するときのモチーフの特徴づけ。
• Chow 重み構造におけるモチーフの重みの上限を求める。
• モチーフの重み構造分解における下位重み部品の有効性を検出すること。
• Voevodsky のホモトピー t-構造におけるモチーフの連結性を計算し、ねじれのときの高次モチービックホモロジー群の指数を上限すること。

提案手法

• 重み構造を用いて定義される、モチーフのための新しいホモロジー理論として Chow-重み (co) homology を導入する。
• 1-有効性を正則性によってテストするため、ゼロサイクル Chow 群を項とする複体を構成する。
• 双対性を用いて、正則性条件を次元 ≤ c の多様体のモチーフが生成する部分カテゴリに関連付ける。
• 重み構造を用いてモチーフの重みを上限付け、その重み部品の有効性を検出する。
• 新しい (co) homology 理論を用いて、Voevodsky のホモトピー t-構造におけるモチーブの連結性を分析する。
• Chow-重み (co) homology の構造を用いて、ねじれのときの高次モチービックホモロジー群の指数に上限を設定する。

実験結果

リサーチクエスチョン

• RQ1 特に c=1 のとき、モチーフの c-有効性を保証する条件は何か？
• RQ2 Chow-重み (co) homology は、モチーフの次元と重みフィルトレーションをどのように検出できるか？
• RQ3 ゼロサイクル Chow 群の複体の正則性が 1-有効性をどのように特徴付けるか？
• RQ4 モチーフの重みは、その Chow-重み (co) homology および重み構造とどのように関係するか？
• RQ5 ねじれのとき、高次モチービックホモロジー群の指数にどのような上限を設定できるか？

主な発見

• モチーフが1-有効であることと、ゼロサイクル Chow 群からなる複体が正則であることとは同値である。
• 双対条件により、モチーフが次元 ≤ c の多様体のモチーフが生成する部分カテゴリに属するかどうかを検出できる。
• Chow-重み (co) homology は、Chow 重み構造におけるモチーフの重みに上限を与える。
• この理論により、モチーフの重み構造分解における下位重み部品の有効性を検出できる。
• Voevodsky のホモトピー t-構造におけるモチーブの連結性は、その Chow-重み (co) homology によって決定される。
• 整数的モチーフの高次モチービックホモロジー群の指数は、ねじれのとき、新しい (co) homology フレームワークを用いて上限が与えられる。