[論文レビュー] The L\"uroth problem

Arnaud Beauville|arXiv (Cornell University)|Jul 9, 2015

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

ひとこと要約

この論文は、任意の有理的多様体が有理的かどうかというLüroth問題を概説し、歴史的背景を提示するとともに、非有理性を否定するための主要な手法を分析している。特に、0次サイクルのチャウ群の自明性に依拠するC. Voisinの革新的なアプローチを強調しており、この手法はねじれコホロロジー手法の適用範囲を拡張し、非常に一般な四次三様体や他の超曲面に対して安定非有理的性を証明する。

ABSTRACT

Notes of my lectures at the CIME (Levico Terme, june 2015). The lectures gave an overview of the L\\"uroth problem, its history, the counter-examples found in the 70's, and the recent developments on stable rationality following the new method introduced by C. Voisin.

研究の動機と目的

• 曲線および曲面から高次元多様体へと至るLüroth問題の歴史的発展を調査すること。
• 3次元における非有理的性を確立した古典的手法（中間ヤコビアン、双有理自己同型群、コホロロジーのねじれ）を分析すること。
• C. Voisinが考案した0次サイクルのチャウ群の自明性に基づく新規手法を提示・解説し、安定非有理的性を証明する強力なツールとしての役割を明らかにすること。
• Voisinの手法が古典的手法を越えて、特に非常に一般な超曲面および完全交差に対してどのように拡張可能かを示すこと。
• CH₀-自明性条件が変形不変であることを確立し、特異ファイバーから一般ファイバーへの非有理的性の移行を可能にすること。

提案手法

• Voisinの手法は、チャウ群$CH_0(X)$が自明であるという条件に依拠しており、これはすべての0次サイクルが点の倍数と代数的に同値であることを意味する。
• この手法は、$CH_0$-自明性が変形において保存されることに依拠している：平坦な族における一般ファイバーが$CH_0$-自明であれば、非常に一般なファイバーに対しても同様である。
• 主要な技術的道具は、$CH^n(X \times X)$における対角の分解であり、これはコホロロジーへの準同型を誘導し、$H^{r,0}(X)$および$H^3(X,\mathbb{Z})$のねじれを制御可能にする。
• 中央ファイバーが通常の二重点を持ち、その解消が$CH_0$-自明でない場合、この手法は一般ファイバーが$CH_0$-自明でないことを示す。
• この手法は、Kollárの$p$を法とする還元技術と、Colliot-Thélène–Pirutkaによる非孤立特異点への拡張を組み合わせることで、適用範囲を広げている。
• ねじれ$H^3(X,\mathbb{Z})$が双有理不変量であることに着目し、$CH_0$-自明性と組み合わせることで、安定有理的性の障害を提供する。

実験結果

リサーチクエスチョン

• RQ1 新しいコホロロジー的または代数的幾何的不変量を用いて、高次元におけるLüroth問題を解決できるか？
• RQ2 $CH_0(X)$の自明性が、有理的性や安定有理的性を妨げる双有理不変量としてどの程度有効に機能するか？
• RQ3 Voisinの手法は、三様体を超えて、完全交差や高次元における超曲面へと拡張可能か？
• RQ4 $CH_0$-自明性条件を、古典的不変量が失敗するファミリーにおいて非有理的性を検出するために利用できるか？
• RQ5 ファミリーにおける特異ファイバーが、$CH_0$-自明性を介して一般ファイバーの非有理的性を検出する役割を果たすか？

主な発見

• 非常に一般な四次曲面を分岐被覆とする$\mathbb{P}^3$の二重被覆は、その解消が$CH_0$-自明でないため、安定非有理的である。
• ノードを7個以下もつ非常に一般な四次二重立体の解消は安定非有理的であり、Artin-Mumfordの結果を拡張する。
• 非常に一般な四次三様体は、Voisinの手法と非孤立特異点への拡張を用いてColliot-ThélèneとPirutkaにより安定非有理的であると示された。
• $\mathbb{P}^4$または$\mathbb{P}^5$を分岐被覆とする非常に一般な四次超曲面の二重被覆は、$CH_0$-自明性を用いて安定非有理的であると証明された。
• 非常に一般な六次二重立体は安定非有理的であり、この手法が四次超曲面を超えて有効であることを示している。
• Totaroの結果により、$\mathbb{P}^n$における次数$d \geq 2\lceil\frac{n+2}{3}\rceil$の非常に一般な超曲面は安定非有理的であることが示された。これはKollárの手法とVoisinの手法を組み合わせたものである。