[论文解读] On the hypersurface of Luroth quartics

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

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

一句话总结

本文對莫利在1919年證明平面四次曲線的呂羅斯四次曲面在ℙ¹⁴中次數為54的過程進行了嚴謹重構。透過幾何對合（Geiser involutions）與莫利不變量——一個關於七個點坐標的三次、斜對稱、多重齊次多項式——表明呂羅斯四次曲線恰好對應於此不變量為零的配置。透過控制與立方曲面相關的36個克雷莫納平面，確認了次數54，並連結至向量叢模空間與巴特映射的次數，使用向量叢技巧加以驗證。

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年關於呂羅斯曲面次數的證明提供嚴謹基礎，此證明長期被視為模糊或不完整。
• 使用幾何對合與莫利不變量的幾何解釋，重構並釐清莫利的方法，將其視為七個點坐標的三次、斜對稱、多重齊次多項式。
• 確立莫利不變量為零與四次曲線具有呂羅斯性質之間的精確對應關係。
• 將幾何構造與ℙ²上向量叢的模空間連結，特別是透過巴特映射，並使用向量叢技巧確認次數54的結果。
• 證明從模空間M(0,4)到呂羅斯曲面的巴特映射是通用單射，從而推得像的次數為54。

提出的方法

• 本文使用幾何對合——ℙ²上的二次有理映射，由具有七個不同基點的三次線性系統定義，其分支曲線為平面四次曲線。
• 引入莫利不變量Ψ，此為七個點坐標的三次、斜對稱、多重齊次多項式，當且僅當對應四次曲線為呂羅斯曲線時其值為零。
• 證明依賴於巴特曼的13維配置族，其中莫利不變量為零，並表明這些配置恰好對應於呂羅斯四次曲線。
• 構造從ℙ(𝑆²𝑉∨) × ℙ(𝑆³𝑉∨) 到四次曲線空間的有理映射，透過對偶性與韋羅內塞型嵌入，證明其為支配且通用有限。
• 透過向量叢不變量與唐納森理論，將呂羅斯曲面識別為模空間M(0,4)上巴特映射的像，從而確認其次數。
• 使用立方曲面的克雷莫納六面體表示及其36個相關克雷莫納平面，以控制呂羅斯四次曲線的點集，並連結至54次的結果。

实验结果

研究问题

• RQ1 在ℙ¹⁴中，平面四次曲線的呂羅斯曲面的精確次數為何？
• RQ2 莫利1919年的證明長期被視為不完整，如何透過完整的幾何與代數嚴謹性加以重構？
• RQ3 莫利不變量在特徵化呂羅斯四次曲線時具有何幾何意義？
• RQ4 與立方曲面相關的36個克雷莫納平面如何與呂羅斯曲面的54次結果相關？
• RQ5 從模空間M(0,4)到呂羅斯曲面的巴特映射與像曲面的次數之間有何關係？

主要发现

• ℙ¹⁴中的呂羅斯曲面次數恰好為54，確認了莫利最初的主張。
• 莫利不變量Ψ是七個點坐標的三次、斜對稱、多重齊次多項式，當且僅當對應四次曲線為呂羅斯曲線時其值為零。
• 莫利不變量為零的配置點集包含巴特曼的13維呂羅斯配置族作為其中一個分支。
• 從模空間M(0,4)（穩定秩二向量叢，(c₁,c₂)=(0,4)）到呂羅斯曲面的巴特映射是通用單射，因而推得deg(Im(b)) = 54。
• 與立方曲面相關的36個克雷莫納平面對應於從曲面上點出發的36個有理投影，其分支曲線為呂羅斯四次曲線，此數量正是54次計數的關鍵。
• 從ℙ(𝑆²𝑉∨) × ℙ(𝑆³𝑉∨) 到四次曲線空間的有理映射為支配且通用有限，確認了呂羅斯曲面的不可約性與維數。