[論文レビュー] The universal Euler characteristic for varieties of characteristic zero

Franziska Bittner|ArXiv.org|Nov 6, 2001

Algebraic Geometry and Number Theory参考文献 4被引用数 9

ひとこと要約

本稿は、特徴量がゼロの体上の多様体のグロテンディーク群を、滑らかで射影的な多様体と吹き上げ関係を用いた簡単な表現で提示する。弱因子化定理を活用し、コンパクトな補題付きの普遍オイラー係数がこの群に値をとることを確立し、相対的および等変形設定へと枠組みを拡張することで、モチビックコホロジーにおける双対性および六つの作用素の定義が可能になる。

ABSTRACT

Using the weak factorization theorem we give a simple presentation for the value group of the universal Euler characteristic with compact support for varieties of characteristic zero and describe the value group of the universal Euler characteristic of pairs. This gives a new proof for the existence of natural Euler characteristics with values in the Grothendieck group of Chow motives. A generalization of the presentation to the relative setting allows us to define duality and the six operations.

研究の動機と目的

• 特徴量がゼロの体上の多様体に対して、コンパクトな補題付きの普遍オイラー係数の簡単で明示的な表現を提供すること。
• ペアの普遍オイラー係数の値群が、多様体のグロテンディーク群と同型であることを示すこと。
• ベーススキーム S 上の相対的多様体および有限群作用を伴う等変形多様体の設定へと枠組みを拡張すること。
• グロテンディーク群のチャウモチーフへの値をとる一意なオイラー係数の存在を確立すること。
• 新しいグロテンディーク群の表現を用いて、モチビック設定における双対性および六つの作用素（f*, f!, f*, f!, ⊗, Hom）を定義すること。

提案手法

• 弱因子化定理を用いて、被約同型写像を滑らかな中心に沿った吹き上げと吹き下げの列に分解する。
• K₀(Varₖ) を、同型類の滑らかで射影的な多様体の自由アーベル群として、吹き上げ関係および空集合関係による商として提示する。
• コンパクトな補題付きの普遍オイラー係数を、K₀(Varₖ) 群を用いて定義し、閉じた部分多様体 Y ⊂ X に対して [X] = [X−Y] + [Y] の関係を用いる。
• X を滑らかで射影的な完成 X̄ に埋め込むことで、ペア (X,Y) の普遍オイラー係数を K₀(Varₖ) 内の ⟨X̄, X̄−X⟩ に対応付ける。
• ベーススキーム S 上の相対的多様体へ一般化する際、K₀ᴳ(Var_S) を、S-多様体に良い G-作用を伴う群の商として定義する。
• 等変形設定へ拡張する際、非自明な G-作用を伴う射影空間の類によって生成される部分群 Iᴳ を導入し、このイデアルによる商をとることで等変形グロテンディーク群を定義する。

実験結果

リサーチクエスチョン

• RQ1 特徴量がゼロの体上の多様体に対して、コンパクトな補題付きの普遍オイラー係数を、滑らかで射影的な多様体と吹き上げ関係のみを用いて表現できるか？
• RQ2 ペアの普遍オイラー係数の値群は、コンパクトな補題付きの普遍オイラー係数の値群と同型か？
• RQ3 新しいグロテンディーク群の表現を用いて、モチビックコホロジーにおける六つの作用素および双対性を体系的に定義できるか？
• RQ4 群作用を伴うベーススキーム S 上の相対的多様体へ理論をどのように拡張できるか？
• RQ5 弱因子化定理は、K₀(Varₖ) の構造を単純化し、モチビック構成を可能にする上で果たす役割は何か？

主な発見

• グロテンディーク群 K₀(Varₖ) は、滑らかで射影的な多様体の同型類の自由アーベル群として、[∅] = 0 および [X] − [Y] = [Bl_Y X] − [E]（E は Y 沿いの吹き上げの特異的除集合）という関係による商として同型である。
• コンパクトな補足付きの普遍オイラー係数は K₀(Varₖ) に値をとり、この群はすべてのこのような不変量の普遍的ターゲットである。
• ペアの普遍オイラー係数の値群は K₀(Varₖ) と同型であり、したがってすべてのペア (X,Y) がこの群内に一意に定義されたクラス ⟨X,Y⟩ を与える。
• チャウモチーフのグロテンディーク群への値をとる一意なオイラー係数が存在し、滑らかで射影的な多様体に対してはそのチャウモチーフを割り当てる。
• 理論は、S 上の相対的多様体へ拡張され、K₀ᴳ(Var_S) は、良い G-作用を伴う S-多様体の群をイデアル Iᴳ で割った商として定義される。
• この枠組みは、モチビック設定における双対性および六つの作用素（f*, f!, f*, f!, ⊗, Hom）の構成を支援し、古典的なグロテンディーク双対性を一般化する。