[論文レビュー] Reduction type of smooth quartics

Lercier, Reynald, Liu, Qing+2 more|arXiv (Cornell University)|Mar 15, 2018

Algebraic Geometry and Number Theory被引用数 1

ひとこと要約

本稿は、離散付値体上の滑らかで平面的な四次曲線の還元型（良い四次型、良い双曲的型、または悪い型）を、代数的不変量と幾何的不変量理論を用いて完全に特徴づける。Dixmier-Ohno不変量およびShioda不変量の付値に基づく明示的な基準を確立し、任意の離散付値環上での斉次パラメータ系の存在を示し、潜在的に良い双曲的還元の場合の特別なファイバーを決定するためのアルゴリズムを提供する。応用例として、Picard曲線やX₁(13)のようなモジュラー曲線が含まれる。

ABSTRACT

Let $C/K$ be a smooth plane quartic over a discrete valuation field. We characterize the type of reduction (i.e. smooth plane quartic, hyperelliptic genus 3 curve or bad) over $K$ in terms of the existence of a special plane quartic model and, over $\bar{K}$, in terms of the valuations of certain algebraic invariants of $C$ when the characteristic of the residue field is not $2,\,3,\,5$ or $7$. On the way, we gather several results of general interest on geometric invariant theory over an arbitrary ring $R$ in the spirit of (Seshadri 1977). For instance when $R$ is a discrete valuation ring, we show the existence of a homogeneous system of parameters over $R$. We exhibit explicit ones for ternary quartic forms under the action of $ extrm{SL}_{3,R}$ depending only on the characteristic $p$ of the residue field. We illustrate our results with the case of Picard curves for which we give simple criteria for the type of reduction.

研究の動機と目的

• 離散付値体上での滑らかな平面的四次曲線の還元型（良い四次型、良い双曲的型、または悪い型）を特定すること。
• Dixmier-Ohno不変量およびShioda不変量の付値に基づく明示的基準を提供し、特に良い双曲的還元と悪い還元を区別すること。
• 任意の離散付値環上でのSL₃作用に対する3次形式の不変量環に対して、斉次パラメータ系の存在を確立し、残留特徴量に応じた明示的構成を示すこと。
• 不変量理論と安定モデルを用いて、潜在的に良い双曲的還元の場合の特別なファイバーを再構成するためのアルゴリズム的枠組みを構築すること。
• 具体的な例（Picard曲線やX₁(13)のようなモジュラー曲線）に応用し、明示的なトグルモデルと特別なファイバー方程式を提供すること。

提案手法

• 離散付値環上での幾何的不変量理論（GIT）を用いて、SL₃作用下での3次形式の安定性と不変量を分析し、斉次パラメータ系の存在を証明する。
• 滑らかな平面的四次曲線C/Kに対して、GとQが原始的多項式でsが偶数であるときの『トグルモデル』Q² + π²ˢG = 0を導入し、これが良い双曲的還元を特徴付ける。
• 特にp ≠ 2, 3, 5, 7の場合に、Dixmier-Ohno不変量およびShioda不変量の理論を応用し、還元型を判別する付値に基づく基準を導出する。
• 曲線の安定モデルとその完備化における不変量を用いて、ι₄₂(F)の付値が0である場合に還元し、最小代表元の計算を可能にする。
• b₈(G) = 0ならば代数的閉包上でのGIT安定性が成り立つことを利用し、[MF82]および[LR12]の結果を応用して、双曲的型の場合の特別なファイバーを再構成する。
• モジュラー曲線（例：X₁(13)）に基準を適用し、さまざまな素数における不変量の付値を計算して還元型を特定する。複素乗法（CM）を持つ場合も含む。

実験結果

リサーチクエスチョン

• RQ1 離散付値体上での滑らかな平面的四次曲線が良い四次型、良い双曲的型、または悪い還元を示すかどうかを、どのようにアルゴリズム的に特定できるか？
• RQ2 良い双曲的還元と悪い還元を区別するために、具体的にDixmier-Ohno不変量またはShioda不変量をどのように用いることができ、それらの付値がこの情報をどのように符号化するか？
• RQ3 潜在的に良い双曲的還元の場合に、特別なファイバーの明示的方程式を構成できるか。また、そのような構成が可能となる条件は何か？
• RQ4 自己同型群の役割と円錐モデルの不在が、特に小特徴量のとき、標準的な不変量理論的手法の使用を妨げる要因となるのか。
• RQ5 X₁(13)のようなモジュラー曲線やその他のシムーラ曲線の、その判別式を割る素数における還元型を体系的に特定する方法は何か？

主な発見

• X₁(13)は13で潜在的に良い双曲的還元を示し、その特別なファイバーはy² = x⁷ − 1と同型であることが、不変量の付値によって確認された。
• p ≠ 2, 3, 5, 7の場合、滑らかな平面的四次曲線の還元型は、そのDixmier-Ohno不変量の付値によって決定される：v(DO(I₃)) = 0かつv(DO(D₂₇)) > 0であり、他の不変量が特定の付値条件を満たすならば、曲線は潜在的に良い双曲的還元を示す。
• 良いトグルモデルQ² + π²ˢG = 0の存在は、曲線が良い双曲的還元を示すことと同値であり、不変量が付値条件を満たす場合、そのモデルはアルゴリズム的に構成可能である。
• 本稿では、完備な離散付値環上において、SL₃作用下での3次形式の不変量環に対して、斉次パラメータ系が存在することを証明し、残留特徴量pに応じた明示的表現を与えた。
• 7を法とするKlein曲線では、自己同型群PSL₂(F₇)はSO₃の部分群として実現できないため、標準的な円錐に基づく手法が使えないが、トグルモデルは依然として存在する。
• 本手法は、[KLL+18]に掲載された20のモジュラー曲線Xᵢの還元型を正しく分類でき、表4にはCMの順序解析が必要なケース（†でマーク）を含む結果が要約されている。