[論文レビュー] On the hypersurface of Luroth quartics

Giorgio Ottaviani, Edoardo Sernesi|ArXiv.org|Mar 30, 2009

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

ひとこと要約

この論文は、1919年のモーリーの証明を厳密に再構築し、ℙ¹⁴におけるLüroth四次平面曲線の超曲面の次数が54であることを示している。Geiser対合とモーリー不変量——7点における3次の歪対称で多重同次多項式である——を用いて、Lüroth四次曲線がまさにこの不変量が消える構成に一致することを示している。36個のクレモナ平面を用いた幾何的制御により、立方曲面に関連する36個のクレモナ平面を用いて、この次数54が確認されており、ベクトル bundle 技法を用いて、ベクトル bundle のモジュライ空間およびバート写像の次数と結びついている。

ABSTRACT

The hypersurface of Luroth quartic curves inside the projective space of plane quartics has degree 54. We give a proof of this fact along the lines outlined in a paper by Morley, published in 1919. Another proof has been given by Le Potier and Tikhomirov in 2001, in the setting of moduli spaces of vector bundles on the projective plane. Morley's proof uses the description of plane quartics as branch curves of Geiser involutions and gives new geometrical interpretations of the 36 planes associated to the Cremona hexahedral representations of a nonsingular cubic surface.

研究の動機と目的

• 1919年のモーリーの証明が曖昧または不完全であると見なされていたLüroth超曲面の次数を、厳密に基礎づけること。
• Geiser対合と、モーリー不変量を7点における3次の歪対称で多重同次多項式としての幾何的解釈を用いて、モーリーの手法を再構築し、明確化すること。
• モーリー不変量の消えることと、四次曲線のLüroth性との正確な関係を確立すること。
• 幾何的構成をℙ²上のベクトル bundle のモジュライ空間、特にバート写像と結びつけ、ベクトル bundle 技法を用いて次数54の結果を確認すること。
• モジュライ空間M(0,4)からLüroth超曲面へのバート写像が一般に単射であることを示し、像の次数が54であることを示すこと。

提案手法

• 論文は、7個の異なる基点を持つ3次曲線の線型系によって定義されるℙ²上の2次の有理写像であるGeiser対合を用いる。これらの写像の分岐曲線は平面四次曲線である。
• モーリー不変量Ψを導入する。これは7点の座標において3次で歪対称かつ多重同次な多項式であり、関連する四次曲線がLürothであるときに限り消える。
• 証明は、モーリー不変量が消える構成の13次元族（バタマンの族）に依拠しており、これがまさにLüroth四次曲線に対応することを示している。
• 空間の四次曲線への写像ℙ(𝑆²𝑉∨) × ℙ(𝑆³𝑉∨) → 四次曲線空間を構成し、双対性およびヴェロネーゼ型埋め込みを用いて、その写像が支配的かつ一般に有限であることを示している。
• Lüroth超曲面を、モジュライ空間M(0,4)からのバート写像の像として特定し、ベクトル bundle 不変量とドナルドソン理論を用いて次数を確認している。
• 立方曲面のクレモナ六面体表現と、それに関連する36個のクレモナ平面を用いて、Lüroth四次曲線の存在領域を制御し、54次元の結果と結びつけている。

実験結果

リサーチクエスチョン

• RQ1 ℙ¹⁴におけるLüroth四次平面曲線の超曲面の正確な次数は何か？
• RQ2 1919年のモーリーの証明が不完全であると見なされていたが、幾何的・代数的に完全に厳密に再構築できるか？
• RQ3 モーリー不変量がLüroth四次曲線を特徴付ける幾何的意味は何か？
• RQ4 立方曲線に関連する36個のクレモナ平面は、Lüroth超曲面の次数54とどのように関係するか？
• RQ5 M(0,4)からLüroth超曲面へのバート写像と、像多様体の次数の関係は何か？

主な発見

• ℙ¹⁴におけるLüroth超曲面の次数は正確に54であり、モーリーの元の主張を確認している。
• モーリー不変量Ψは、7点における3次の歪対称で多重同次多項式であり、関連する四次曲線がLürothであるときに限り消える。
• モーリー不変量が消える構成の集合は、バタマンの13次元族のLüroth構成を含む成分を形成している。
• モジュライ空間M(0,4)（c₁=0, c₂=4の安定なランク2ベクトル束）からLüroth超曲面へのバート写像は一般に単射であり、像の次数が54であることを示唆している。
• 立方曲面に関連する36個のクレモナ平面は、その曲面上の点からの有理射影写像に対応し、その分岐曲線がLüroth四次曲線である。この数36が、次数54の数え上げの鍵となっている。
• ℙ(𝑆²𝑉∨) × ℙ(𝑆³𝑉∨)から四次曲線空間への有理写像は支配的かつ一般に有限であり、Lüroth超曲面の既約性と次元を確認している。