[論文レビュー] Models of curves over DVRs

Tim Dokchitser|Explore Bristol Research|Jun 29, 2018

Algebraic Geometry and Number Theory参考文献 33被引用数 11

ひとこと要約

本稿は、定義方程式のニュートン多角形に基づくトーリック解消を用いて、離散付値環（DVR）上の滑らかで射影的な曲線の正則モデルを構成する。$Δ_v$-正則性のもとで、最小性の明示的基準を提示し、相対双対化層の正則切断を計算し、エタールコホロロジーのターム部分と還元写像を特定することで、反復的ブ lows-upに代わる直接的な幾何的構成を提供する。

ABSTRACT

Let C be a smooth projective curve over a discretely valued field K, defined by an affine equation f(x,y)=0. We construct a model of C over the ring of integers of K using a toroidal embedding associated to the Newton polygon of f. We show that under 'generic' conditions it is regular with normal crossings, and determine when it is minimal, the global sections of its relative dualising sheaf, and the tame part of the first etale cohomology of C.

研究の動機と目的

• トーリック幾何を用いて反復的ブローモーの代わりにDVR上での曲線の正則モデルを構成すること。
• ニュートン多角形のデータを用いて、曲線およびそのヤコビアンの最小性と良い/半安定還元を特徴づけること。
• 定義方程式から直接的に相対双対化層の正則切断およびエタールコホロロジーのターム部分を計算すること。
• 一般ファイバーから特異ファイバーへの有理点上の還元写像を特定すること。
• 特異点のトーリック解消を用いて、ピック群およびそのガロア作用の幾何的実現を提供すること。

提案手法

• 定義多項式 $f(x,y)=0$ のニュートン多面体 $Δ_v$ を用いて、トーラス的埋め込みを構成する。
• ${\mathbb{R}^3}$ におけるニュートン多面体の下側凸包に基づくトーリック解消を適用する。
• 特異ファイバーの成分および辺の滑らかさを保証する一般的な条件として $\Delta_v$-正則性を導入する。
• それぞれの $v$-面 $F$ と $v$-辺 $L$ に対して、$\bar{X}_F$ および $X_L$ と呼ばれるスキームを関連づけ、特異ファイバーを記述する。
• genus を $|\Delta(\mathbb{Z})|$、すなわち $\Delta$ の内部格子点の数として計算する。
• $\Delta(\mathbb{Z})$ に含まれる $(i,j)$ を添え字とする $x^i y^j \frac{dx}{xy f_y'}$ の基底を、正則微分形式の基底として導出する。

実験結果

リサーチクエスチョン

• RQ1 DVR上での曲線のトーリックモデルが正則で、交わりが正則な場合、どのような条件を満たすか？
• RQ2 モデルが最小であるための条件は何か？ また、ニュートン多角形から最小性をどのように特定できるか？
• RQ3 相対双対化層の正則切断および曲線のエタールコホロロジーが、ニュートン多角形のデータとどのように関係するか？
• RQ4 一般ファイバーから特異ファイバーへの有理点上の還元写像の構造は何か？
• RQ5 曲線がターム的分岐する場合、$H^1_{\text{ét}}(C_{\bar{K}}, \mathbb{Q}_l)$ 上のガロア作用はどのように分解するか？

主な発見

• モデルが正則で交わりが正則であることは、$f$ が $\Delta_v$-正則であることと同値であり、これによりすべての成分 $\bar{X}_F$ および $X_L$ の滑らかさが保証される。
• 曲線の genus は正確に $|\Delta(\mathbb{Z})|$ であり、これはニュートン多角形 $\Delta$ の内部格子点の数に等しい。
• 相対双対化層の正則切断の基底は、$(i,j) \in \Delta(\mathbb{Z})$ に対して $x^i y^j \frac{dx}{xy f_y'}$ で与えられる。
• エタールコホロロジー $H^1_{\text{ét}}(C_{\bar{K}}, \mathbb{Q}_l)$ のターム部分は、$\Delta_v$-正則性および $v$-辺の傾きによって決定される。
• $\Delta_v$-正則性が成り立つとき、$C(K)$ から $\mathcal{C}(k)$ への点の還元写像は全射である。
• $\mathcal{A}_{\bar{k}}^0$ の $l$-進コホロロジーは、インertie作用の下での一般ファイバーのピック群の固定部分と同型であり、核および余核はそれぞれ $d$ と $|\Phi|$ で有界である。