[論文レビュー] 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特異点をもつ表面の解体における余接層の対称冪の全切断を計算することにより、著者らはバートの六次曲面およびパーサブル・キューブォイド表面における有理曲線および genus 1 曲線がそれぞれ少なくとも4つおよび7つの特異点を通らなければならないことを証明し、バートの十次曲面およびサルティの曲面を含む多数の新しい曲面について代数的準双曲的性質を確立する。

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 特異点をもつ曲面上における対称微分形式を計算する明示的で漸近的でない手法の開発。
• これらの手法を特定の特異的曲面上における有理曲線および genus 1 曲線の位置を制約するために適用する。
• A1特異点をもつ曲面上における対称微分形式空間の次元に対する下界を改善する。
• バートの十次曲面およびサルティの曲面を含む新しいクラスの曲面について代数的準双曲的性質を確立する。
• 計算代数幾何学が、対称微分形式を通じて曲線のグローバルな幾何的制約を証明する有効性を示す。

提案手法

• 完全交差曲面 X の座標環上の階付き加群を用いて、H⁰(X, ˆSᵐΩ¹_X) すなわち反射的対称微分形式の空間の基底を計算する。
• 特異点の解体 τ: Y → X を用い、X 上の全切断を滑らかで解体された Y 上の全切断に関連づける。反射的包とし、ˆSᵐΩ¹_X = (Sᵐτ*Ω¹_Y)∨∨ を用いる。
• Magma を用いて正標数で計算を行い、モジュール構造とペアリング行列を求める。その後、有理数再構成により特徴数 0 に持ち上げる。
• 持ち上げられたモジュールの正しさを検証するため、ペアリング行列が適切な双線形形式を定義すること、およびモジュールが反射的であることの確認を行う。
• 得られた対称微分形式を用いて、genus 0 および 1 曲線と特異点集合 S の交点集合に対する制約を導出する。
• 対称性および自己同型群の作用を用いて、曲線の位置を検証する際の計算複雑性を低減する。

実験結果

リサーチクエスチョン

• RQ1 バートの六次曲面における有理曲線が、既知の例外的曲線を除いて通過しなければならない最小の特異点数は何か？
• RQ2 同様に、バートの六次曲面における genus 1 曲線が通過しなければならない最小の特異点数は何か？
• RQ3 パーサブル・キューブォイド表面における有理曲線が、既知の有理曲線を除いて通過しなければならない最小の特異点数は何か？
• RQ4 対称微分形式を用いて、バートの十次曲面やサルティの曲面のような曲面の代数的準双曲的性質を証明できるか？
• RQ5 A1特異点をもつ曲面上における H⁰(X, ˆSᵐΩ¹_X) の次元に対して、漸近的でない下界をどのように確立できるか？

主な発見

• 既知の有限個の例外的曲線を除く、バートの六次曲面における有理曲線は少なくとも4つの特異点を通らなければならない。
• バートの六次曲面における genus 1 曲線は少なくとも2つの特異点を通らなければならない。
• 既知の有理曲線を除く、パーサブル・キューブォイド表面における有理曲線は少なくとも7つの特異点を通らなければならない。
• パーサブル・キューブォイド表面における genus 1 曲線は少なくとも2つの特異点を通らなければならない。
• バートの六次曲面に対して、H⁰(X₆, ˆS²Ω¹_X(−H)) の次元は 3 であり、H⁰(X₆, ˆS²Ω¹_X) の次元は 15 である。
• バートの十次曲面、サルティの曲面、および 3×3 の平方の魔方陣をパラメトライズする曲面は、新しい対称微分形式技法を用いてすべて代数的に準双曲的であることが証明された。