[論文レビュー] Hypersurfaces quartiques de dimension 3 : non rationalit\'e stable

Jean-Louis Colliot-Thélène, Alena Pirutka|arXiv (Cornell University)|Feb 17, 2014

Geometric Analysis and Curvature Flows被引用数 95

ひとこと要約

この論文は、C. ヴォイジンの特異化法を一般化し、特異な全空間を許容し、解消における例外的 divisor に対する条件を緩和することで、複素数体上の非常に一般な滑らかな四次三様体が安定的非有理的であることを確立する。主な結果は、これらの三様体の次数ゼロのチャウ群がZに普遍的に同型でないことであり、これにより、特異化の議論によって数体上に定義された例が得られる。

ABSTRACT

Inspir\'es par un argument de C. Voisin, nous montrons l'existence d'hypersurfaces quartiques lisses dans ${\bf P}^4_{\mathbb C}$ qui ne sont pas stablement rationnelles, plus pr\'ecis\'ement dont le groupe de Chow de degr\'e z\'ero n'est pas universellement \'egal \`a $\mathbb Z$. --- There are (many) smooth quartic hypersurfaces in ${\bf P}^4_{\mathbb C}$ which are not stably rational. More precisely, their degree zero Chow group is not universally equal to $\mathbb Z$. The proof uses a variation of a specialisation method due to C. Voisin.

研究の動機と目的

• P^4 内の非常に一般な滑らかな四次三様体が安定的非有理的であることを証明すること。
• C. ヴォイジンの特異化法を、特異な全空間と、解消における例外的 divisor に対する弱い条件を許容するように拡張すること。
• 特異化を用いて、数体上に定義された非安定的有理的四次三様体の例を構成すること。
• このような三様体の次数ゼロのチャウ群がZに普遍的に同型でないことを示すこと。
• 特定の三次三様体がp進体および数体上で非安定的有理的であることを確立すること。

提案手法

• 三様体の族の全空間に対する滑らかさの仮定を緩和することで、ヴォイジンの特異化議論を適応する。
• 弱い仮定の下で、ゼロサイクルのチャウ群に対するフォルトゥンの特異化準同型を用いる。
• 特異な四次三様体Yを構成し、これはアーティン＝マーフィー三様体と双有理同型であり、解消Z → Y が重要なコホモロジー的条件を満たすようにする。
• 特異化議論を適用し、一般のファイバーが安定的有理的であれば、H^3(Z, Z) tors が消えるはずだが、アーティン＝マーフィーの結果に反する、と示す。
• 安定的有理的性とゼロサイクルのチャウ群の構造を結びつけるために、普遍的 CH0-自明性の概念を用いる。
• ガロアコホーマロジーとブラウアー群の計算（巡回代数を用いて）を用い、特にk-有理点と降下の文脈で、H^3 における非自明な torsion を検出する。

実験結果

リサーチクエスチョン

• RQ1 P^4 内の非常に一般な複素数体上の滑らかな四次三様体は安定的有理的か？
• RQ2 ヴォイジンの特異化法は、特異な全空間と、より弱い例外的 divisor 条件を許容するように拡張可能か？
• RQ3 数体上に定義された非安定的有理的四次三様体は存在するか？
• RQ4 非常に一般な四次三様体の次数ゼロのチャウ群は、Zに普遍的に同型か？
• RQ5 特異化法は、p進体や数体上の三次三様体の非安定的有理的性を検出できるか？

主な発見

• C 上の滑らかな四次三様体のうち、次数ゼロのチャウ群がZに普遍的に同型でないものがあり、それらは安定的非有理的である。
• 特異化議論により、Q の代数的閉包上に定義された非安定的有理的四次三様体の例が得られる。
• この方法を用いて、p進体および数体上に非安定的有理的三次三様体を構成できる。
• 特異モデルの関数体に非自明なブラウアー群の元が存在する場合、その解消は非自明なH^3 torsion を持ち、安定的有理的性を妨げる。
• 特異化議論により、アーティン＝マーフィーの特殊ファイバーをもつ族の一般ファイバーが安定的有理的でないことが示され、解消のH^3における torsion の非消滅性に起因する。
• H^4(Z, Z) tors ≠ 0 を満たす特異な四次三様体Yとその解消Z → Y を構成し、特異化議論を適用するための必要条件を満たす。