[論文レビュー] Torsion divisors of plane curves and Zariski pairs

Enrique Artal Bartolo, Shinzo Bannai+2 more|arXiv (Cornell University)|Oct 15, 2019

Algebraic Geometry and Number Theory参考文献 8被引用数 4

ひとこと要約

本稿では、滑らかで既約な成分をもつ可約平面曲線の埋め込み位相を区別する基準を、その成分の次数ゼロピック群における torsion 群を用いて確立する。代数幾何とガロア被覆を用いた具体的な例の構成により、Zariski 4-タプルの存在を証明し、torsion 型の除法が基本群やアレクサンダー多項式を超える有効な不変量であることを示している。

ABSTRACT

In this paper we study the embedded topology of reducible plane curves having a smooth irreducible component. In previous studies, the relation between the topology and certain torsion classes in the Picard group of degree zero of the smooth component was implicitly considered. We formulate this relation clearly and give a criterion for distinguishing the embedded topology in terms of torsion classes. Furthermore, we give a method of systematically constructing examples of curves where our criterion is applicable, and give new examples of Zariski tuples.

研究の動機と目的

• 可約平面曲線における滑らかな成分のピック群における torsion 群と埋め込み位相の間の暗黙的な関係を明確化すること。
• torsion 除法を用いた埋め込み位相の区別のための明示的な基準を構築すること。
• 滑らかな成分と複数の接線や円錐曲線をもつ曲線に特に注目し、基準が適用可能な例を体系的に構成すること。
• 楕円曲線上の幾何学的群構造を活用して、Zariski 4-タプルを含む新たな Zariski トゥプルの例を提供すること。
• 基本群がアーベルである場合でさえ、torsion 不変量が位相的差を検出できることを示し、古典的不変量よりも細かい不変量を提供すること。

提案手法

• 著者らは、滑らかな三次曲線の幾何学的群構造を用いて接点の位置を分析し、所望の交差性質を持つ曲線を構成する。
• 特に被覆上での成分の引き戻しにおける挙動に注目し、ガロア被覆から導かれる分裂不変量を定義し計算する。
• 滑らかな成分上の除法の線形同値性に依拠する構成であり、除法が torsion である条件は、その倍数がゼロと線形同値であることに基づく。
• 曲線の型 $(d_0,d_1; n, k)$ の平面曲線の理論を適用する。ここで $k$ は、曲線に重複度2で接する円錐曲線の数を表す。
• 曲線を定義する斉次多項式の代数的変形により具体的な例を構築し、滑らかさと正しい交差重複度を保証する。
• Sagemath と Binder を用いた計算的検証が行われ、再現性を確保するためのコードは GitHub で公開されている。

実験結果

リサーチクエスチョン

• RQ1 同一の組み合わせ的性質を持つ平面曲線について、滑らかな成分のピック群における torsion 群が、埋め込み位相の差を検出できるか。
• RQ2 torsion 不変量が埋め込み位相を区別するような平面曲線を体系的に構成する方法は何か。
• RQ3 固定された滑らかな曲線に複数の点で重複度2で接する円錐曲線の最大数は何か。また、これは位相にどのように影響するか。
• RQ4 基本群がアーベルである場合に、torsion 不変量を用いて Zariski 4-タプルを構成できるか。
• RQ5 楕円曲線上の群法則は、それと接する曲線配置の位相的型を分類するために果たす役割は何か。

主な発見

• 本稿では、同一の組み合わせ的性質を持つが異なる埋め込み位相を持つ、型 $(4,6;6,1)$, $(4,6;6,2)$, $(4,6;6,3)$, $(4,6;6,6)$ の平面曲線からなる Zariski 4-タプルの存在を証明した。
• 滑らかな成分のピック群における特定の torsion 群の非自明性を用いた、埋め込み位相を区別する新しい基準が確立された。
• ノードをもつ三次曲線に非 torsion 点を用い、有理写像を用いて、$k=6$ 個の接する円錐曲線を持つ例（型 $(4,6;6,6)$）を明示的に構成した。
• 滑らかな四次曲線と六次曲線に対して、三次成分上の除法的条件を用いることで、重複度2で接する円錐曲線の数を制御できることを示した。
• 基本群がアーベルである場合でさえ、torsion 不変量が有効であることが確認され、基本群やアレクサンダー多項式よりも細かい不変量を提供することが示された。
• Sagemath を用いた計算的検証により、構成の正当性が確認され、コードは GitHub で公開されており再現可能である。