[論文レビュー] Rationality does not specialize among terminal varieties

Burt Totaro|arXiv (Cornell University)|Aug 5, 2015

Algebraic Geometry and Number Theory参考文献 9被引用数 3

ひとこと要約

この論文は、5次元以上でも、有理的性が終端的特異点をもつ代数的多様体の族において一般化されないことを示している。4次5次元多様体の族を用いて、一般化されたファイバーは有理的であるが、中心ファイバー（非安定有理的でない4次元多様体の射影的錐）は有理的でないことを示し、終端的多様体において有理的性が一般化されないことを証明している。

ABSTRACT

A limit of rational varieties need not be rational, even if all varieties in the family are projective and have at most terminal singularities.

研究の動機と目的

• 弱い特異点、特に終端的特異点をもつ射影的多様体の族において、有理的性が一般化されるかを調査すること。
• 終端的4次元多様体または滑らかな多様体において、有理的性が一般化されるかという未解決の問題を解明すること。
• Canonical または klt 特異点をもつ高次元多様体において、有理的性の非一般化に関する既存の結果を拡張すること。
• 終端的特異点と有理的一般ファイバーをもつが、有理的性が一般化されない次元 ≥5 の明示的例を構成すること。

提案手法

• 複素数のアフィン直線のザリスキ開部分集合上でのP^6内の4次5次元多様体の平坦族を構成する。
• 線形系による族の定義：f_4(x_0,…,x_5) + a·g_3(x_0,…,x_5)·x_6 = 0、ここでf_4は4次形式、g_3は3次形式。
• a ≠ 0のとき、各ファイバーは[0,…,0,1]で重複度3をもち、それによりLemma 1.2の有理的性の条件を満たすことを示す。
• 中心ファイバー（a = 0）が非安定有理的4次元多様体の射影的錐であることを証明し、したがって有理的ではないことを示す。
• 終端的特異点が族においてザリスキ開集合で保存されることを示し、一般ファイバーが終端的であることを保証する。
• 4次元多様体に一般化するため、4次元多様体を非安定有理的3次元多様体に置き換える。

実験結果

リサーチクエスチョン

• RQ1 5次元以上で、終端的多様体において有理的性は一般化されるか？
• RQ2 終端的4次元多様体または滑らかな多様体において、有理的性は一般化されるか？
• RQ3 終端的特異点をもつ族において、有理的性の非一般化を示せるか？
• RQ4 一般ファイバーが有理的だが中心ファイバーが非有理的な終端的多様体の族が存在するか？
• RQ5 錐構成を用いて、有理的性の非一般化を高次元に拡張できるか？

主な発見

• 5次元以上で、終端的多様体において有理的性は一般化されない。4次5次元多様体の族を用いて、一般ファイバーが有理的で、中心ファイバーが非有理的で終端的である例が示された。
• 中心ファイバーは非安定有理的4次元多様体の射影的錐であり、P^1 × Yにバーレーション的同型であるため、有理的でない。ここでYは非ゼロの正則1形式をもつ。
• a ≠ 0のとき、族の各ファイバーは[0,…,0,1]における重複度3により、Lemma 1.2の基準を満たし、有理的である。
• 終端的特異点は、底空間のザリスキ開近傍で保存され、C − {0}上のすべてのファイバーが終端的であることを保証する。
• 非安定有理的3次元多様体を底に用いることで、4次元多様体に一般化され、次元4において非一般化が示された。
• すべての次元≥5に一般化可能であり、P^mとの積をとることで、中心ファイバーの非有理的性が保存される。