[論文レビュー] Unirationality of del Pezzo surfaces of degree two over finite fields (extended version)

Dino Festi, Ronald van Luijk|arXiv (Cornell University)|Aug 1, 2014

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

ひとこと要約

この論文は、有限体上の2次デル・ペッツォ表面がすべてユニラティonalであることを証明し、マンインが開始し、サルガド、テスタ、ヴァリリ＝アルバラドによって拡張された分類を完了する。これら3つの例外的なケースは未解決のままであったが、著者たちは分岐被覆の幾何的条件を満たす有理曲線を構成し、体の拡張技術を用いることでこれらを解決し、有限体上におけるすべてのこのような表面に対してユニラティオナリティを確立する。

ABSTRACT

We prove that every del Pezzo surface of degree two over a finite field is unirational, building on the work of Manin and an extension by Salgado, Testa, and Várilly-Alvarado, who had proved this for all but three surfaces. Over general fields, we state several sufficient conditions for a del Pezzo surface of degree two to be unirational.

研究の動機と目的

• 先行のユニラティオナリティ結果でカバーされていなかった、有限体上の2次デル・ペッツォ表面の3つの例外的同型類を解消すること。
• 特徴値≠2の一般体上の2次デル・ペッツォ表面のユニラティオナリティの十分条件を拡張すること。
• 表面の幾何的制約を満たす有理曲線を明示的に構成することで、ユニラティオナリティの構成的証明を提供すること。
• 特定の特異点と交差性を持つ有理曲線の存在が、任意の体上でのユニラティオナリティを示すかを調査すること。

提案手法

• 2次の反標準的写像 π: X → P² を用い、デル・ペッツォ表面を分岐曲線 B が四次曲線であるP²への2重被覆として実現する。
• サルガド、テスタ、ヴァリリ＝アルバラドが提唱した基準を適用し、ユニラティオナリティを、B と特定の交差・特異性条件を満たす有理曲線 C ⊂ P² の存在に帰着する。
• マンインのブ lows-up と特異曲線を用いた有理曲線の構成法を、基点が分岐被覆の分岐集合上にある場合に適応する。
• 有限体上の代数幾何学的技術を用い、特に、有限体拡張でP¹に双有理同型になる曲線は、すでに基本体上でP¹に双有理同型になるという事実を利用する。
• 3つの例外的表面に対して、3次または4次であるが、命題1.3の(2)の条件を満たす有理曲線を明示的に構成する。
• 定義多項式の係数に関する代数的条件を用いて、このような曲線のモジュライ空間を分析し、必要な幾何的性質を満たす部分集合を同定する。

実験結果

リサーチクエスチョン

• RQ1 有限体上のすべての2次デル・ペッツォ表面は、サルガド、テスタ、ヴァリリ＝アルバラドのユニラティオナリティ基準を満たす有理曲線をもつのか？
• RQ2 P² 内の幾何的整関数曲線 C ⊂ P² が、π(P) で単純な重複度 d−1 の特異点を持ち、分岐被覆 B と偶数の交差重複度を持つ場合、d ∈{3,4} ならば、その表面がユニラティオナリティを示すのか？
• RQ3 有限体上の3つの例外的2次デル・ペッツォ表面のそれぞれに、命題1.3の(2)の条件を満たす有理曲線が存在するのか？
• RQ4 点 Q ∈ B に三重点を持つ四次曲線の集合で、B と偶数の交差重複度を持つものの中に、k-有理点を含むのか？（一般の X と P に対して）
• RQ5 マンインの方法による有理曲線の構成を、分岐被覆上にある点に対しても拡張できるか？また、どのような条件下でユニラティオナリティが得られるか？

主な発見

• 有限体上のすべての2次デル・ペッツォ表面はユニラティオナリティを示し、サルガド、テスタ、ヴァリリ＝アルバラドが残した最後の3つの例外ケースが解決された。
• 3つの例外的表面に対しては、命題1.3の(2)の幾何的条件を満たす3次または4次有理曲線を構成することで、ユニラティオナリティが確立された。
• P² 内に、π(P) で単純な三重特異点を持ち、分岐被覆 B と偶数の交差重複度を持つ有理曲線 C ⊂ P² が存在するならば、その表面 X は高々2次体拡張の上でのユニラティオナリティを示す。
• 有限体上では、有限体拡張でP¹に同型になる曲線は、すでに基本体上でP¹に双有理同型になるため、有理曲線の構成が簡略化される。
• 必要な幾何的性質を満たす曲線の集合は一般には空でないが、幾何的整関数性を保証するためには、可約または非重複な曲線などの退化成分を除外する必要がある。
• F₃ 上に反例を提示することで、質問1.4の答えが特定の表面では否定的になり得ることが示されたが、一般の特徴値≠2の体では未解決のまま残っている。