[論文レビュー] A counterexample to the geometric Chevalley-Warning conjecture

June Huh|arXiv (Cornell University)|Jul 30, 2013

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

ひとこと要約

本稿は、任意の標数0の体上でL-有理的特異点をもつ四次三様体を構成し、その中間ホモロジーに torsion が存在することを示し、幾何的 Chevalley-Warning 猜測を反証する。四次対称行列式を超平面切断として用い、解体におけるモノドロミーとリンク形式を分析することで、多様体が安定有理的でないことを示し、Grothendieck 圏におけるその類が 1 と L を法として合同でないことを示す。

ABSTRACT

We construct a quartic threefold with L-rational singularities which has torsion in its middle homology group. This answers a question of Brown and Schnetz for all fields of characteristic zero.

研究の動機と目的

• 本稿は、標数0の任意の体が、代数的多様体の Grothendieck 圏における Chevalley-Warning 性質を満たすか否かを調査する。
• 標数0の体 k 上の同次多項式 h が次数 d ≤ n であるとき、[V(h)] ≡ 1 mod L in K0(Vark) であるという予想を扱う。
• 中間ホモロジーに非自明な torsion をもつ反例を構成することで、この予想を反証することを目的とする。
• 双有理幾何における有理的・安定有理的性と Grothendieck 圏類の関係を明確化することを目的とする。

提案手法

• 著者たちは、Q 上に定義された P^4 内の四次三様体 V ⊂ P^4 を、超平面切断として四次対称行列式を含むように構成する。
• 特に、P^2 上に6次曲線 E1 ∪ E2 に沿って分岐する二重被覆構造を有する四次対称行列式の幾何を用いる。
• 三様体 V の解体 W は、円錐束のファイバー上のモノドロミー作用を用いて分析され、ホモロジーに周期 2 と 3 のサイクル ξ2 と ξ3 を同定する。
• torsion リンク形式 L: Tor H2(W; Z) × Tor H3(W; Z) → Q/Z を用いて、ξ2 と ξ3 がゼロホモロジーに同値でないことを示し、H3 に非自明な torsion が存在することを示す。
• リンク形式の非自明性は、特異点において鎖の交叉 η3 と ξ3 を用いて計算される。
• Lefschetz の原理を用いて、C における結果を標数0の代数的に閉じた任意の体に拡張し、その後 Grothendieck 圏準同型を介して任意の標数0の体に拡張する。

実験結果

リサーチクエスチョン

• RQ1 任意の標数0の体は、Chevalley-Warning 性質を満たすか、すなわち、すべての同次多項式 h に対して [V(h)] ≡ 1 mod L が成り立つか？
• RQ2 標数0の体上の滑らかで射影的な三様体で、Grothendieck 圏におけるその類が L を法として 1 と合同でないものはあるか？
• RQ3 L-有理的特異点をもつ四次三様体が、その中間ホモロジー群に非自明な torsion をもつことは可能か？
• RQ4 このような三様体は安定有理的か？ また、これはその Grothendieck 圏における類とどのように関係するか？
• RQ5 幾何的 Chevalley-Warning 猜測の失敗は、すべての標数0の体において普遍的に成立するか？

主な発見

• 任意の標数0の体上で定義された、L-有理的特異点をもつ四次三様体 V ⊂ P^4 を構成し、その Grothendieck 圏における類 [V] は 1 と L を法として合同でないことが示された。
• 解体 W は、Q/Z における非自明な torsion リンク形式 L(ξ2, ξ3) ≠ 0 を用いて、H3(W; Z) に非自明な torsion をもつことが示された。
• 三様体 V は安定有理的でない。安定有理的であれば H3 に torsion が存在してはならないが、これは破られている。
• 三様体 V は有理的連結で、単連結であり、Picard 数は 1 であり、任意の滑らかな Fano 三様体と安定双有理同値でない Fano 三様体である。
• 本構成により、幾何的 Chevalley-Warning 猜測がすべての標数0の体において成立しないことが示された。
• Lefschetz の原理と ACF0 の一階論理の完全性を用いて、C から任意の標数0の体への結果の拡張がなされた。