[論文レビュー] Counting lines on surfaces

Samuel Boissière, A. Sarti|ArXiv.org|Jun 5, 2006

Algebraic Geometry and Number Theory参考文献 7被引用数 15

ひとこと要約

本稿では、複素射影3次元空間内の滑らかな代数的曲面に含まれる直線の最大数を調査する。対称的曲面の分析と、度数8の曲面上に352本の直線を有する構成により、以前の256本という上限を上回り、度数dの曲面における直線の最大数の新たな下界を確立する。著者らはまた、度数4, 6, 8, 12において既知の最大例と一致する $ d(7d - 12) $ の境界が成り立つことを証明し、曲面上のねじれ直線の下界を改善する。

ABSTRACT

This paper deals with surfaces with many lines. It is well-known that a cubic contains 27 of them and that the maximal number for a quartic is 64. In higher degree the question remains open. Here we study classical and new constructions of surfaces with high number of lines. We obtain in particular a symmetric octic with 352 lines.

研究の動機と目的

• 複素射影3次元空間内における度数 $d \geq 3$ の滑らかな曲面に含まれる直線の最大数を特定すること。
• 度数 $d \geq 5$ において、その値が未だ不明である直線の最大数 $\ell(d)$ の既知の下界を改善すること。
• 対称的曲面や平面の $d$-被覆という新しい構成法を用いて、高い直線数を達成すること。
• 曲面上に存在可能な互いにねじれの関係にある直線の最大数を調査し、既存の下界を改善すること。

提案手法

• 曲面 $\phi(x,y) - \psi(z,t) = 0$ の自動同型を用いて、$\mathbb{P}^1$ 上の $\phi$ と $\psi$ の零点集合を分析する。
• $\phi = \psi$ の場合、$d \neq 4,6,8,12,20$ に対して直線の最大数は $3d^2$ であり、これらの例外的度数に対しては正確な値が得られる。
• $G_8$-不変な8次曲面を構成し、352本の直線を有する。ここで $G_8 \subset \mathrm{PGL}(3,\mathbb{C})$ は位数576の群である。
• 曲面の度数 $d$ に対して、直線数の均一な上界 $d(7d - 12)$ を導出し、既知の最大例と一致することを示す。
• Zariski分解と接続理論を用いて、互いに交わらない直線の配置を分析し、境界を導出する。
• Ramsの構成を一般化し、$d \geq 7$ かつ $\gcd(d,d-2)=1$ の場合に $d(d-2)+4$ 本のねじれ直線を生成する。

実験結果

リサーチクエスチョン

• RQ1 複素射影3次元空間内に存在する度数 $d \geq 5$ の滑らかな曲面に、最大で何本の直線を含めることができるか？
• RQ2 既知の上界 $(d-2)(11d - 6)$ は改善可能か？ もしそうなら、鋭い境界は何か？
• RQ3 特に対称的または被覆型の曲面といった新しい構成法により、これまでの例よりも多くの直線を得られるか？
• RQ4 度数 $d \geq 5$ の滑らかな曲面上に、互いにねじれの関係にある直線を最大で何本含めることができるか？
• RQ5 $d(7d - 12)$ という曲面の度数 $d$ に対する直線数の境界は、既知の極値例と一致するか？

主な発見

• 著者らは8次曲面に352本の直線を有する構成を行い、$\ell(8)$ についての以前の下界256を上回った。
• 曲面 $\phi(x,y) - \phi(z,t) = 0$ の形をした曲面において、$d \geq 3$ かつ $d \neq 4,6,8,12,20$ の場合、直線の最大数は正確に $3d^2$ であり、これらの例外的度数に対してはそれぞれ64, 180, 256, 864, 1600 が得られる。
• $d(7d - 12)$ の境界が鋭く、度数4, 6, 8, 12, 20において既知の最大直線数と一致することが示された。
• 曲面 $\mathcal{R}_d: x^{d-1}y + xy^{d-1} + z^{d-1}t + zt^{d-1} = 0$ は、$\gcd(d,d-2) = 1$ かつ $d \geq 7$ の場合、$d(d-2)+4$ 本の互いにねじれの関係にある直線を含む。これはRamsの境界 $d(d-2)+2$ を改善する。
• 8次曲面に352本の直線が存在することは、$N(21) \geq 352$ を意味し、21位の曲線における有理点の普遍的境界予想の既知の下界を改善する。
• 本稿では、曲線の度数 $d$ に対して分岐する平面の $d$-被覆は、$3d^2$ 本を超える直線を有することはできないと証明し、このような曲面がより良い下界をもたらす源とはなり得ないことを排除した。