[論文レビュー] Some singular curves and surfaces arising from invariants of complex reflection groups

Cédric Bonnafé|arXiv (Cornell University)|Jul 3, 2018

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

ひとこと要約

この論文は、GL₃(ℂ)およびGL₄(ℂ)における原始的複素反射群の不変量を用いて、極めて特異な射影的曲線および曲面を構成する。Shephard-Todd群におけるMagma計算を活用することで、最大特異点数の新たな下界を達成した。具体的には、14次曲線に42個の尖点（A₂）を、18次曲線に36個のE₆特異点を、8次、12次、24次曲面にそれぞれ48個、160個、1,440個のD₄特異点を実現した。これらは、既存の下界を著しく改善し、SakaiとMiyaokaが示した理論的上界に近づいている。

ABSTRACT

We construct highly singular projective curves and surfaces defined by invariants of primitive complex reflection groups.

研究の動機と目的

• GL₃(ℂ)およびGL₄(ℂ)における有限複素反射部分群の不変量から構成される特異曲線および曲面を体系的かつ系統的に調査すること。
• 与えられた次数の曲線および曲面において、特定のタイプ（A₂、E₆、D₄）の特異点の最大数に関する既知の下界を改善すること。
• このような構成が、SakaiとMiyaokaによって確立された理論的上界に近いかどうかを調査すること。
• D₄特異点に関して、Miyaoの下界が非A型特異点に対しても鋭い（sharp）であることを示すこと。
• 再現可能性および結果の検証を可能にするために、明示的なMagmaコードおよび多項式を提供すること。

提案手法

• 複素反射群のShephard-Todd分類を用い、解析に際して原始的群G₂₄、G₂₆、G₂₈、G₂₉、G₃₂を選定する。
• 群作用の斉次不変量f₁,…,fₙを計算し、曲線および曲面を定義する多項式方程式を生成する。
• 不変量の線形結合による線束を構成し、代数幾何学的手法を用いてその特異点を分析する。
• Magmaを用いて、ミルナー数や商特異点分類を含む特異点の型および重複度を計算する。
• Sakai（A₂特異点用）およびMiyaoka（D₄特異点用）の既知の上界と、構成による下界を比較する。
• 明示的な多項式構成と、先行研究（プレプリントおよび計算アーカイブ）の参照により、結果の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 GL₃(ℂ)およびGL₄(ℂ)における複素反射群の不変量を用いて、これまでに知られていたものよりも多くの特異点を持つ曲線および曲面を構成できるか？
• RQ2 与えられた次数の曲線または曲面において、A₂、E₆、またはD₄特異点を最大で何個まで実現できるか？
• RQ3 構成された例は、Miyaokaが確立したD₄特異点の理論的上界にどれほど近いか？
• RQ4 これらの構成は、これまでに文書化されていない大規模な自己同型群や異常な特異点配置を持つ多様体を生じるか？
• RQ5 Sartiの12次曲面および他の既知の例が、群論的および計算的手法を用いてℚ上に定義可能であることを示せるか？

主な発見

• G₂₄を用いた14次曲線に42個の尖点（A₂特異点）を構成し、既知の下界を改善し、理論的上界55に近づいた。
• G₂₆を用いた18次曲線に36個のE₆特異点を構成し、この次数および特異点タイプにおいては、以前に報告された例が存在しなかった新規の例を提供した。
• 8次、12次、24次の曲面について、それぞれ48個、160個、1,440個のD₄特異点を実現する新たな下界を確立した。これは、既存の結果を著しく改善した。
• μ_D₄(24) ≥ 1,440 が鋭い（sharp）であることが示され、これはMiyaokaの上界1,736に近く、非A型特異点に対してもMiyaokaの上界がほぼ最適であることを示唆している。
• 8次曲面に48個のD₄特異点を有する構成により、すべての特異点が有理点であることが確認され、Sartiの12次曲面が自己同型群理論を用いてℚ上に定義可能であることが示された。
• G₃₂および他の群について、検証を可能にする明示的なMagmaコードおよび多項式を提供しており、再現性および今後の研究を支援している。