[論文レビュー] Boundary motive, relative motives and extensions of motives

Jörg Wildeshaus|arXiv (Cornell University)|Apr 9, 2010

Algebraic Geometry and Number Theory参考文献 18被引用数 3

ひとこと要約

本論文は、局所化を用いたチャウ・モチーフの拡張の構成および解消において、境界モチーフを中心的な道具として確立する。特に重み構造および相対的モチーフの文脈において、境界モチーフ上の重みフィルトレーションとモチーフ準同型 $ M(X) \to M^c(X) $ の因子分解との間の自然な対応を示し、内部モチーフの函手的構成およびモジュラー曲線のコホモロジー上のヘッケ作用の $ \mathrm{Hecke} $-不変構造の構成を可能にする。

ABSTRACT

We explain the role of the boundary motive in the construction of certain Chow motives, and of extensions of Chow motives. Our two main examples concern proper, singular surfaces and fibre products of a universal elliptic curve.

研究の動機と目的

• 局所化を用いたチャウ・モチーフの拡張の構成および解消において、境界モチーブの役割を明確化すること。
• 境界モチーブ上の重みフィルトレーションとモチーフ準同型 $ M(X) \to M^c(X) $ の因子分解との間の自然な対応を確立すること。
• 重み回避条件を用いたべき等自己準同型を通じて内部モチーブの函手的構成を提供すること。
• コンパクト化を用いずに、境界モチーブ構造を用いてモジュラー曲線のコホモロジー上のヘッケ作用を実現すること。
• 重み構造を用いて特異な曲面およびユニバーサル楕円曲線の積のモチーフ理論を一般化すること。

提案手法

• モチーフのコンパクトな持ち方と境界モチーブを関係付けるために、$ DM^{\mathrm{eff}}_{\mathrm{gm}}(k) $ 内の標準的三角形 $ \partial M(X) \to M(X) \to M^c(X) \to \partial M(X)[1] $ を用いる。
• 三角形モチーブにおける重み構造を適用し、特に滑らかなコンパクト化に対して $ \partial M(X) $ 上の重みフィルトレーションを定義する。
• $ \partial M(X) $ 上の重みフィルトレーションの同型類と、$ M(X) \to M^c(X) $ が因子化される有効チャウ・モチーブ $ M_0 $ の間の全単射対応を構成する。
• 重み $-1$ および $0$ を避けるモチーブによる剛性化を導入し、内部モチーブの構成の函手性を可能にする。
• 境界三角形のべき等自己準同型を用いてモチーブを分解し、内部モチーブの $ e $-部を定義する。
• ユニバーサル楕円曲線およびその積間の同一型写像によって誘導される準同型を通じて、コホモロジー上のヘッケ不変構造を構成する。

実験結果

リサーチクエスチョン

• RQ1 境界モチーブは、局所化を用いたチャウ・モチーブの拡張の構成をどのように制御するか？
• RQ2 境界モチーブ上の重みフィルトレーションとモチーブ準同型 $ M(X) \to M^c(X) $ の因子分解との間の明確な関係は何か？
• RQ3 重み回避条件を用いて、境界モチーブから内部モチーブを自然かつ函手的に再構成できるか？
• RQ4 コンパクト化を用いずに、境界モチーブを用いてモジュラー曲線のコホモロジー上のヘッケ作用をどのように実現できるか？
• RQ5 相対的モチーブおよび重み構造は、モチーブの拡張の解消において果たす役割は何か？

主な発見

• $ \partial M(X) $ 上の重みフィルトレーションの同型類と、$ M(X) \to M^c(X) $ が因子化される有効チャウ・モチーブ $ M_0 $ の間には、自然な全単射対応が存在する。
• 滑らかなコンパクト化に対しては、任意の滑らかなコンパクト化が $ \partial M(X) $ のホッジ実現上の重みフィルトレーションを誘導し、これはモチーブ的重み構造へ一般化される。
• 直接因子 $ \partial M(X)^e $ が重み $-1$ および $0$ を避けるとき、関連する $ M_0 $ は自然かつ函手的に内部モチーブの $ e $-部として一意に定義される。
• ヘッケ代数は、基底付きのユニバーサル楕円曲線間の同一型写像によって誘導される準同型を通じて、コホモロジー $ {}^r_n\mathcal{W} $ に作用し、境界モチーブ三角形を通じて実現される。
• $ \varphi(g_1, g_2) $ の構成は、正確な三角形の図式全体に一意に拡張され、 $ {}^r_n\mathcal{W} $ 上にヘッケ不変構造をもたらす。
• 境界モチーブは、曲面および楕円曲線の積の交差モチーブへの応用を含め、拡張の解消のモチーブ的枠組みを提供する。