[論文レビュー] A very general quartic double fourfold is not stably rational

Brendan Hassett, Alena Pirutka+1 more|arXiv (Cornell University)|May 10, 2016

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

ひとこと要約

この論文は、4次三様体を分岐被覆とする射影4次元空間の2重被覆として定義される非常に一般な四次二重四次元多様体が、安定的に有理的でないことを証明する。特殊化の議論と対角分解法を用いて、非自明な分岐しないコホモロジーと普遍的に CH₀-自明な解消を持つ特異モデルを構成し、一般の場合の安定的無理的性を、これらの性質を持つ特別なファイバーへの特殊化によって確立する。

ABSTRACT

We prove that a very general double cover of the projective four-space, ramified in a quartic threefold, is not stably rational.

研究の動機と目的

• 特徴が0で非可算な体上の非常に一般な四次二重四次元多様体が安定的に有理的でないことを確立すること。
• 分解の対角法が要請する、障害（非自明な分岐しないコホモロジー）と解消（普遍的に CH₀-自明な解消）の両方を満たす、特定の特異な四次二重四次元多様体を構成すること。
• 2回の特殊化の議論を適用する：まず、直線に沿って特異である四次元多様体に特殊化し、次に既知の幾何的およびコホモロジー的性質を持つ双有理的モデルに特殊化することで、一般の場合の結果を導出すること。
• 特別なモデルの解消が普遍的に CH₀-自明であることを確認し、一般ファイバーにこの方法が適用可能であることを保証すること。

提案手法

• 4次三様体の族を用いて、直線 $\ell$ に沿って特異であるような四次二重四次元多様体 $X$ に非常に一般な四次二重四次元多様体を特殊化する。ここで $\ell$ は分岐被覆に含まれる。
• 直線 $\ell$ に沿った吹き上げにより解消 $\beta: \tilde{X} \to X$ を構成し、$\mathbb{P}^2$ 上での幾何的構造と射影バンドル構造を分析することで、これが普遍的に $\mathrm{CH}_0$-自明であることを示す。
• 解消された四次元多様体 $\tilde{X}$ を $\mathbb{P}^2$ 上の二次式バンドルとして実現し、退化分岐集合が滑らかな8次曲線であることを保証することで、望ましいコホモロジー的性質を得る。
• $\mathbb{P}^2 \times \mathbb{P}^3$ 内の (2,2) 型の双有理的モデル $V'$ を用いて、既知のコホモロジー的障害を転送する：$V'$ はピルトカの方法による二次式バンドルの計算により、非自明な第二分岐しないコホモロジーを持つことが判明する。
• 2回の特殊化の議論を適用する：まず、特別なファイバー $X'$ から一般ファイバーへの非普遍的 $\mathrm{CH}_0$-自明性を導出し、次に $X$ の解消が普遍的に $\mathrm{CH}_0$-自明であることを確認する。
• ヴォジンの定理およびコリオ・テレーヌ–ピルトカの定理を活用する：あるファイバーが普遍的に $\mathrm{CH}_0$-自明な解消を持つが、自身は普遍的に $\mathrm{CH}_0$-自明でない場合、非常に一般なファイバーは安定的に有理的でない。

実験結果

リサーチクエスチョン

• RQ1 非常に一般な四次二重四次元多様体は、安定的に有理的でないのだろうか？
• RQ2 非自明な分岐しないコホモロジーと普遍的に $\mathrm{CH}_0$-自明な解消を持つような、四次二重四次元多様体の特異モデルを構成できるか？
• RQ3 四次二重四次元多様体の族に対して、特殊化法をうまく適用して一般メンバーの安定的無理的性を導けるか？
• RQ4 直線に沿って特異である四次二重四次元多様体の解消は、普遍的に $\mathrm{CH}_0$-自明か？
• RQ5 $\mathbb{P}^2 \times \mathbb{P}^3$ 内の双有理的モデル $V'$（(2,2) 型）は、非自明な分岐しないコホモロジーを有するか？

主な発見

• 非常に一般な四次二重四次元多様体は、非自明な分岐しないコホモロジーと普遍的に $\mathrm{CH}_0$-自明な解消を持つ特別なファイバーへの特殊化によって、安定的に有理的でないことが確立された。
• 特別なファイバー $X'$ は、$\mathbb{P}^2 \times \mathbb{P}^3$ 内の (2,2) 超曲面 $V'$ と双有理的であり、ピルトカによる二次式バンドルの計算により、第二分岐しないコホモロジーが非自明であることが確認された。
• 直線に沿って特異である四次元多様体 $X$ の解消 $\tilde{X}$ は、吹き上げ構造と $\mathbb{P}^2$ 上のファイバー解析により、普遍的に $\mathrm{CH}_0$-自明であることが検証された。
• 解消された四次元多様体 $\tilde{X}$ は、滑らかな8次退化分岐集合を持つ $\mathbb{P}^2$ 上の二次式バンドルとして実現可能であり、コホモロジー的および双有理的解析を支援する。
• 特殊化の議論は2回適用される：まず、$X'$ から一般ファイバーへの非普遍的 $\mathrm{CH}_0$-自明性を転送し、次に $X$ の解消が普遍的に $\mathrm{CH}_0$-自明であることを確認する。
• この結果により、一般の四次二重四次元多様体の安定的無理的性が確認され、対角分解法を用いて、双有理幾何における長年の未解決問題が解決された。