[論文レビュー] Motivic decomposition of anisotropic varieties of type F_4 into generalized Rost motives

Sergey Nikolenko, Nikita Semenov+1 more|arXiv (Cornell University)|Feb 17, 2005

Algebraic Geometry and Number Theory参考文献 8被引用数 10

ひとこと要約

本稿は、体 k 上の非可逆的射影的単純同型的 F₄ 型多様体のモチーフ的分解を、整数係数を用いた一般化されたロストモチーフのねじれコピーの直和として確立する。チャウ環における明示的なイデムポテンスとロスト零冪定理を用いて、このような多様体のチャウモチーフが、非分解的モチーフ R の7つのねじれコピーの直和に同型であることを証明し、さらに、2つの同型でない F₄ 多様体が同型のモチーフを持つことがあり、これが純粋に例外的な現象の最初の例を提供する。

ABSTRACT

This an extended version of the previous preprint dated by February 2005. We prove that the Chow motive of an anisotropic projective homogeneous variety of type F4 is isomorphic to the direct sum of twisted copies of a generalized Rost motive. In particular, we provide an explicit construction of a generalized Rost motive for a generically splitting variety for a symbol in K_3^M(k)/3. We also establish a motivic isomorphism between two anisotropic non-isomorphic projective homogeneous varieties of type F4. All our results hold for Chow motives with integral coefficients.

研究の動機と目的

• 整数係数の古典的チャウモチーフの圏内で、p=3 のための一般化されたロストモチーフ M₂ の明示的かつ初等的な構成。
• K³ₘ(k)/3 にシンボルを分解する任意の非可逆的 F₄ 多様体のチャウモチーフが、単一の非分解的モチーフ R のねじれコピーの直和に同型であることを証明すること。
• 異なるパラボリック部分群に対応する2つの非同型の非可逆的 F₄ 多様体 X₁ と X₄ 間のモチーフ的同型を確立すること（立方体拡大体上）。
• 三角的圏のモチーフを用いないで、カルペンコのイデムポテンスの持ち上げ法を例外型群に拡張し、特異型群のモチーフ的分解を達成すること。

提案手法

• 体 k の代数閉包上で CH(X×X) における明示的なイデムポテンスを用いて、一般化されたロストモチーフ R を、一般にセルラーモチーフである F₄ 多様体のチャウモチーフの部分モチーフとして構成する。
• ロスト零冪定理を用いて、これらのイデムポテンスを基本体 k に持ち上げ、モチーフが R のねじれコピーの直和に分解されることを保証する。
• ピエリおよびジンベリの公式を用いて、射影的単純同型的 F₄ 多様体 X₁ と X₄ のチャウ環を計算し、ルート系のデータを整理するためにハッセ図を用いる。
• F₄ のルート系と基本重みを用いて、重要なサイクル類（例えば h₁⁴, g₁⁴）を基本重みの多項式として表現し、c 関数を用いてそれらの積を計算する。
• X₁ のモチーフが X₄ のモチーフに同型であることを示すために、両者が立方体拡大体 k′ 上で同じねじれレフシェッツモチーフの和に分解することを確認する。
• R が k′ 上で ℤ ⊕ ℤ(4) ⊕ ℤ(8) に同型になることを利用して、分解構造を確認する。

実験結果

リサーチクエスチョン

• RQ1 整数係数の古典的チャウモチーフの圏内で、三角的圏のモチーフを用いないで、p=3 の一般化されたロストモチーフ M₂ を明示的に構成できるか？
• RQ2 K³ₘ(k)/3 にシンボルを分解する非可逆的 F₄ 多様体のチャウモチーフは、単一の非分解的モチーフのねじれコピーの直和に同型であるか？
• RQ3 異なるパラボリック部分群に対応する2つの非同型の非可逆的 F₄ 多様体（X₁ と X₄）は、同型のチャウモチーフを持つか？
• RQ4 カルペンコのイデムポテンスの持ち上げ法を、F₄ 型の例外型群に拡張し、モチーフ的分解を達成できるか？
• RQ5 射影的単純同型的 F₄ 多様体 X₁ や X₄ のチャウ環の正確な構造は何か？また、一般化されたロストモチーフとどのように関係するか？

主な発見

• 体 k 上の任意の非可逆的 F₄ 多様体 X のチャウモチーフは、単一の非分解的モチーフ R の7つのねじれコピーの直和に同型である：M(X) ≅ ⨁ᵢ₌₀⁷ R(i)。
• 一般化されたロストモチーフ R は非分解的であり、立方体拡大体 k′ 上で ℤ ⊕ ℤ(4) ⊕ ℤ(8) に同型になることが確認され、それがモチーフ的分解の構成要素としての役割を果たすことが裏付けられる。
• 異なるパラボリック部分群に対応する2つの非同型の射影的単純同型的 F₄ 多様体 X₁ と X₄（それぞれ第1および第4基本重みに対応）は、同型のチャウモチーフを持つことが示され、これが例外型の場合におけるこのような現象の最初の既知の例を提供する。
• モチーフ R は、ロスト零冪定理を用いて、代数閉包から持ち上げられた CH(X×X) 内のイデムポテンスを用いて明示的に構成される。
• X₁ と X₄ のチャウ環はピエリおよびジンベリの公式を用いて計算され、サイクル類は c 関数を介して基本重みの多項式として表現される。
• モチーフ的分解は、ブロッハ＝カト予想からの期待に合致しており、純粋なシンボルを分解する一般にセルラーモチーフの多様体のモチーフは、M₂ のねじれコピーの直和に分解される。