[論文レビュー] Zariski Pairs on sextics II

Mutsuo Oka|ArXiv.org|Jul 4, 2005

Advanced Combinatorial Mathematics参考文献 14被引用数 6

ひとこと要約

本稿は、トーラス型および非トーラス型の可約な6次曲線におけるザリスキ対を調査し、特にρ(C,5) = 6であるような構成に焦点を当てている。このときアレクサンダー多項式は自明または非自明になり得る。フレックス幾何と錐型フレックス点を用いて、ザリスキパートナが存在するか、存在しないかを特定し、明示的な多項式構成と、幾何的不変量を用いた5つの例外的ケースの非存在を証明する。

ABSTRACT

The complete list of reducible sextics of torus type with simple singularities is known in our previous paper. In this paper, we give a complete list of existence and non-existence of Zariski partner sextics of non-torus type corresponding to the list of sextics of torus type.

研究の動機と目的

• ρ(C,5) = 6 であるとき、トーラス型および非トーラス型の可約6次曲線の間におけるザリスキ対を分類すること。
• 特異点の構成が、ザリスキパートナを許容するか、許容しないかを特定すること。
• フレックス幾何と錐型フレックス点を不変量として用いて、トーラス型と非トーラス型の6次曲線を区別すること。
• 特定された構成を実現する6次曲線の明示的多項式方程式を提供すること。
• アレクサンダー多項式が自明または非自明になり得る、臨界的ケースρ(C,5) = 6を、幾何的手段によって解明すること。

提案手法

• 研究は、アレクサンダー多項式の自明性が未解決である臨界ケースρ(C,5) = 6を特定するためにρ(C,5)不変量を用いる。
• 直線成分を含む曲線に対してフレックス幾何を適用し、Hessian交叉公式を用いてフレックス点およびその欠損度ε(P;C)を計算する。
• 直線成分を含まない曲線に対しては、錐型フレックス点を導入し、トーラス型と非トーラス型の6次曲線を区別する。
• 指定された点で接する二次曲線の線型系を構成し、各成分上の錐型フレックス点を分析する。
• 特に、[3A₅, 3A₁] 特異点を有するB₂ + B₂′ + B₂″に対して、各構成に対応する明示的多項式方程式を導出する。
• 成分上の錐型フレックス点の種別（トーラス型または非トーラス型）を分析することにより、ザリスキパートナの存在または非存在を特定する。

実験結果

リサーチクエスチョン

• RQ1 ρ(C,5) = 6 を満たす可約6次曲線の構成のうち、どの構成がザリスキ対を許容し、どの構成が許容しないのか？
• RQ2 フレックス点と錐型フレックス点は、どのようにしてトーラス型と非トーラス型の6次曲線を区別する不変量として機能するのか？
• RQ3 なぜ[A₅,4A₂,4A₁] や [3A₅,4A₁] といった特定の構成は、ザリスキパートナを支持しないのか？
• RQ4 直線成分は、可約6次曲線のフレックス幾何において果たす役割は何か？
• RQ5 直線成分が存在しない場合、錐型フレックス点はどのようにして6次曲線の分類に用いられるのか？

主な発見

• [A₅,4A₂,4A₁] 構成（C = B₅ + B₁）は、フレックス幾何の制約により、ザリスキパートナを許容しない。
• [2A₅,2A₂,4A₁] 構成（C = B₁ + B₁′ + B₄）は、非トーラス型6次曲線を支持できないため、ザリスキパートナは存在しない。
• [E₆,A₅,2A₂,3A₁] 構成（C = B₅ + B₁）は、フレックス幾何的障害のため、ザリスキパートナを許容しない。
• [3A₅,4A₁] 構成（C = B₁ + B₁′ + B₁″ + B₃）は、非トーラス型6次曲線を許容しないため、ザリスキパートナは存在しない。
• [E₆,2A₅,3A₁] 構成（C = B₄ + B₁ + B₁′）に対しては、非トーラス型6次曲線は存在せず、したがってザリスキパートナも存在しない。
• すべての構成に対して明示的な多項式方程式が構成され、B₂′ 上の錐型フレックス点が、トーラス型（Q₁）と非トーラス型（Q₂–Q₅）6次曲線を区別する。