[論文レビュー] Stable rationality of quadric surface bundles over surfaces

Brendan Hassett, Alena Pirutka+1 more|arXiv (Cornell University)|Mar 30, 2016

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

ひとこと要約

本稿では、滑らかな複素射影4次元多様体の族において、合理性が変形不変でないことを、$\mathbb{P}^2 \times \mathbb{P}^3$ 内の $\mathbb{P}^2$ 上の双次数 $(2,2)$ の二次曲面束の族を構成することで示している。一般のファイバーは非自明な分岐しないコホモロジーにより、安定合理性を有さないが、有理的ファイバーは底空間に稠密であり、奇数次多枝を通じて達成される。この結果により、変形における合理性の不変性に関する長年の問いが解決される。

ABSTRACT

We study rationality properties of quadric surface bundles over the projective plane. We exhibit families of smooth projective complex fourfolds of this type over connected bases, containing both rational and non-rational fibers.

研究の動機と目的

• 滑らかな複素射影4次元多様体の族における変形のもとでの合理性の保存を調査すること。
• 特に、有理的表面の上での二次曲面束の文脈において、安定合理性が変形不変であるかどうかを特定すること。
• 有理的でないファイバーと有理的ファイバーが共存する連結な底空間上の4次元多様体の族を構成すること。
• 非分岐コホモロジーおよび対角の分解を通じて、安定合理性の失敗を検出できることを確立すること。
• 奇数次多枝を用いて、有理的ファイバーがモジュライ空間において稠密に現れることを示すこと。これは非安定合理的ファイバーの存在にもかかわらず成立する。

提案手法

• 著者らは、非自明な第二分岐しないコホモロジーに依拠して、$\mathbb{P}^2 \times \mathbb{P}^3$ 内の非常に一般の $(2,2)$ 超曲面が安定的に合理的でないことを、対角の分解法により示している。
• この族の特異ファイバーが、普遍的に $\mathrm{CH}_0$-自明なファイバーを持つ解消を備えていることを検証し、定理4の条件を満たしていることを確認している。
• 退化した二次曲面束を用いた構成であり、穏やかな特異性と非自明な分岐しないコホモロジーを持つ。これはアーチン＝マムフォードのコンニクスバンドルに類似している。
• 底空間が有理的であれば、奇数次多枝の存在により、底空間の有理的性が示され、それが全体空間の有理的性を示唆する。
• 定義方程式のヤコビアン環を用いて、周期写像の瞬間的解析を行い、ホッジ構造の変動が十分に非退化であることを検証している。
• クラスがタイプ $(2,2)$ で、ファイバーと奇数次に交わるノエター＝レフシッツの分岐集合が、ユークリッド位相において稠密であることが示され、有理的ファイバーの稠密性が保証される。

実験結果

リサーチクエスチョン

• RQ1 滑らかな複素射影4次元多様体の族において、安定合理性は変形不変か？
• RQ2 有理的表面の上に定義された二次曲面束の族は、有理的ファイバーと非安定合理的ファイバーを同時に含むことができるか？
• RQ3 4次元多様体における安定合理的性の障害として、分岐しないコホモロジーはどのような役割を果たすか？
• RQ4 奇数次多枝は、二次曲面束の族における全体空間の有理的性をどのように保証できるか？
• RQ5 奇数次クラスのノエター＝レフシッツ分岐集合は、モジュライ空間における有理的ファイバーの稠密性にどの程度寄与するか？

主な発見

• 連結な底空間 $B$ 上に、$\mathbb{P}^2 \times \mathbb{P}^3$ 内の $(2,2)$ 超曲面の滑らかな族が存在し、非常に一般のファイバーは安定的に合理的でない。
• 非自明な第二分岐しないコホモロジーと、特異点の普遍的 $\mathrm{CH}_0$-自明な解消を用いて、非常に一般のファイバーの非安定合理的性が確立されている。
• 奇数次多枝の存在により、ユークリッド位相における底空間の稠密部分集合で有理的性が成立する。
• ファイバーと奇数次に交わるタイプ $(2,2)$ のクラスをパラメトライズするノエター＝レフシッツ分岐集合が $B$ において稠密であり、有理的ファイバーの稠密性が裏付けられている。
• 特定の例について、瞬間的周期写像の条件が検証され、ホッジ構造の変動が有理的ファイバーの稠密性を支持することが保証されている。
• 本構成により、変形において合理性が不変でない滑らかな4次元多様体の族の最初の明示的例が得られ、代数的幾何における重要な問いが解決された。