[论文解读] Explicit computation of symmetric differentials and its application to quasi-hyperbolicity

Nils Bruin, Jordan Thomas+1 more|arXiv (Cornell University)|Dec 18, 2019

Algebraic Geometry and Number Theory参考文献 27被引用 5

一句话总结

本文開發了用於奇點曲面上對稱微分形式的顯式計算技術，從而實現對代數擬雙曲性的研究。透過計算具有 A1-奇點的曲面的解析化切叢對稱幂的整體截面，作者證明了巴特六次曲面與完美長方體曲面上的有理曲線與虧格 1 曲線分別必須穿過至少四個與七個奇點，並對包括巴特十次曲面與薩蒂曲面在內的若干新曲面確立了代數擬雙曲性。

ABSTRACT

We develop explicit techniques to investigate algebraic quasi-hyperbolicity of singular surfaces through the constraints imposed by symmetric differentials. We apply these methods to prove that rational curves on Barth's sextic surface, apart from some well-known ones, must pass through at least four singularities, and that genus 1 curves must pass through at least two. On the surface classifying perfect cuboids, our methods show that rational curves, again apart from some well-known ones, must pass through at least seven singularities, and that genus 1 curves must pass through at least two. We also improve lower bounds on the dimension of the space of symmetric differentials on surfaces with $A_1$-singularities, and use our work to show that Barth's decic, Sarti's surface, and the surface parametrizing $3 imes 3$ magic squares of squares are all algebraically quasi-hyperbolic.

研究动机与目标

• 開發用於具 du Val 奇點曲面上對稱微分形式的顯式、非漸近的計算方法。
• 將這些方法應用於約束特定奇點曲面上有理曲線與虧格 1 曲線的位置。
• 提高具有 A1-奇點曲面上對稱微分空間維數的下界。
• 對新類型的曲面確立代數擬雙曲性，包括巴特十次曲面與薩蒂曲面。
• 展示計算代數幾何在透過對稱微分形式證明曲線全局幾何約束方面的有效性。

提出的方法

• 使用完整交曲面 X 的坐標環上的分次模來計算 H⁰(X, ˆSᵐΩ¹_X)（即反射性對稱微分空間）的一組基。
• 利用奇點的解析化 τ: Y → X，將 X 上的整體截面與光滑解析化 Y 上的截面聯繫起來，使用反射包公式 ˆSᵐΩ¹_X = (Sᵐτ*Ω¹_Y)∨∨。
• 在正特徵下使用 Magma 進行計算，以獲得模結構與配對矩陣，再透過有理數重建將結果提升至特徵零。
• 透過驗證配對矩陣定義了良定的雙線性形式且模為反射性，來確認提升後模的正確性。
• 利用所得的對稱微分形式推導虧格 0 與 1 曲線與奇點集 S 之交點的約束。
• 運用對稱性與自同構群作用以減少驗證曲線位置時的計算複雜度。

实验结果

研究问题

• RQ1 在排除已知的特殊曲線後，巴特六次曲面上的有理曲線必須穿過的最少奇點數量是多少？
• RQ2 在排除已知的特殊曲線後，巴特六次曲面上的虧格 1 曲線必須穿過的最少奇點數量是多少？
• RQ3 在排除已知的有理曲線後，完美長方體曲面上的有理曲線必須穿過的最少奇點數量是多少？
• RQ4 能否利用對稱微分形式證明如巴特十次曲面與薩蒂曲面等曲面的代數擬雙曲性？
• RQ5 在具有 A1-奇點的曲面上，H⁰(X, ˆSᵐΩ¹_X) 維數可建立何種非漸近的下界？

主要发现

• 除有限組已知曲線外，巴特六次曲面上的有理曲線必須穿過至少四個奇點。
• 巴特六次曲面上的虧格 1 曲線必須穿過至少兩個奇點。
• 除已知的有理曲線外，完美長方體曲面上的有理曲線必須穿過至少七個奇點。
• 完美長方體曲面上的虧格 1 曲線必須穿過至少兩個奇點。
• 對於巴特六次曲面，H⁰(X₆, ˆS²Ω¹_X(−H)) 維數為 3，而 H⁰(X₆, ˆS²Ω¹_X) 維數為 15。
• 利用新的對稱微分技術，已證明巴特十次曲面、薩蒂曲面以及參數化 3×3 平方魔方的曲面均為代數擬雙曲曲面。