[論文レビュー] Invariants of upper motives

Olivier Haution|arXiv (Cornell University)|Jan 1, 2014

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

ひとこと要約

本稿は、正則な代数的多様体 X に関連するホモロジー理論 H(k) における理想 HX(k) が、その上部チャウモチーフにのみ依存することを確立し、古典的な双有理不変性の結果を一般化する。Grothendieck 群のホモロジーを用いて標準次元の新たな境界を導出し、代数的コボルディズムを用いたレヴィン–モレルの定理の新たな証明を提供するとともに、低いトランスセンドン次数の幾何学的にユニラショナルな体拡大の分裂性を分析する。

ABSTRACT

Let H be a homology theory for algebraic varieties over a field k. To a complete k-variety X, one naturally attaches an ideal HX(k) of the coefficient ring H(k). We show that, when X is regular, this ideal depends only on the upper Chow motive of X. This gener- alises the classical results asserting that this ideal is a birational invari- ant of smooth varieties for particular choices of H, such as the Chow group. When H is the Grothendieck group of coherent sheaves, we obtain a lower bound on the canonical dimension of varieties. When H is the algebraic cobordism, we give a new proof of a theorem of Levine and Morel. Finally we discuss some splitting properties of ge- ometrically unirational field extensions of small transcendence degree.

研究の動機と目的

• 正則多様体 X に関連するホモロジー理論 H(k) における理想 HX(k) が、その上部チャウモチーフの不変量であることを示すこと。
• 滑らか多様体に対して古典的に知られている HX(k) の双有理不変性の結果を、より広い正則多様体の設定にまで拡張すること。
• Grothendieck 群ホモロジー理論を用いて、多様体の標準次元の下界を導出すること。
• 代数的コボルディズムをホモロジー理論として用いて、レヴィンとモレルの定理の新たな証明を提供すること。
• トランスセンドン次数が小さい幾何学的にユニラショナルな体拡大の分裂性を調査すること。

提案手法

• ホモロジー理論における代数的多様体の不変量を分析するために、上部モチーフの枠組みを用いる。
• 正則多様体に対して、理想の構成 HX(k) ⊆ H(k) を適用し、それが上部モチーフの同型に関して不変であることを示す。
• ホモロジー理論 H として Grothendieck 群 K0 を用い、標準次元の下界を導出する。
• ホモロジー理論として代数的コボルディズムを用い、その普遍的性質を活用してレヴィンとモレルの結果を再証明する。
• トランスセンドン次数が小さい体拡大の性質を、その幾何学的ユニラショナリティと分裂挙動を調べることで分析する。
• 不変性と境界を確立するために、モチービックホモトピー理論および双有理幾何学の基礎的結果に依拠する。

実験結果

リサーチクエスチョン

• RQ1 正則多様体 X に関連する理想 HX(k) が、ホモロジー理論 H の選択にかかわらず、その上部チャウモチーフにのみ依存するか？
• RQ2 Grothendieck 群ホモロジー理論を用いて、多様体の標準次元を下界から評価できるか？
• RQ3 上部モチーフの枠組みを用いて、代数的コボルディズムに関するレヴィン–モレルの定理の新たな証明が可能か？
• RQ4 トランスセンドン次数が小さい幾何学的にユニラショナルな体拡大はどのような分裂性を示すか？
• RQ5 上部モチーフの枠組みは、チャウ群や他のホモロジー理論に対する古典的な双有理不変性の結果をどのように一般化するか？

主な発見

• 正則多様体 X に関連する理想 HX(k) ⊆ H(k) は、その上部チャウモチーフの不変量であり、滑らかでない多様体への双有理不変性の一般化を実現する。
• H が俋層の Grothendieck 群であるとき、この構成により X の標準次元の下界が得られる。
• 代数的コボルディズムを H として用いることで、本稿はレヴィンとモレルの定理の新たな証明を提供し、上部モチーフのアプローチの普遍性を強調する。
• この枠組みにより、トランスセンドン次数が小さい幾何学的にユニラショナルな体拡大の分裂性が、モチービック不変量によって制約されることを明らかにする。
• 結果は、チャウ群や Grothendieck 群の古典的不変性結果を、単一のモチービック原理の下で統一的かつ拡張的に扱う。
• 上部モチーフ構造は、滑らかでない場合を含め、正則多様体の本質的なホモロジー不変量を捉えている。