[論文レビュー] Logarithmic good reduction and the index

Kentaro Mitsui, Arne Smeets|arXiv (Cornell University)|Nov 30, 2017

Algebraic Geometry and Number Theory参考文献 16被引用数 3

ひとこと要約

本稿は、対数的良い還元をもつ滑らかで固有な多様体の、離散的価値環上の指数について考察する。$\varepsilon$-adicオイラー特徴量が非ゼロであるとき、指数は残留特徴値 $p$ と素であることを証明するが、種数1曲線では一般には成り立たないことが示され、ガロア作用とコホモロジー的平坦性条件を用いてその場合を完全に特徴づけている。

ABSTRACT

Let $K$ be the fraction field of a complete discrete valuation ring, with algebraically closed residue field of characteristic $p > 0$. This paper studies the index of a smooth, proper $K$-variety $X$ with logarithmic good reduction. We prove that it is prime to $p$ in `most' cases, for example if the Euler number of $X$ does not vanish, but (perhaps surprisingly) not always. We also fully characterise curves of genus $1$ with logarithmic good reduction, thereby completing classical results of T. Saito and Stix valid for curves of genus at least $2$.

研究の動機と目的

• 対数的良い還元をもつ滑らかで固有な $K$-多様体の指数が常に残留特徴値 $p$ と素であるかどうかを特定すること。
• 種数 $\geq 2$ の曲線に対する古典的結果を、種数1曲線の状況に拡張すること。
• $K$ 上の種数1曲線のうち、対数的良い還元をもつもの、特に指数が $p$ で割り切れるものについて、正確に特徴づけること。
• ヘンゼルの補題からの期待と、有理点が存在しない状況における正標数における実際の挙動との間の矛盾を解消すること。
• ガロア表現の正則性とコホモロジー的平坦性を用いて、種数1曲線の対数的良い還元の完全な基準を提示すること。

提案手法

• $K^t$-有理点の存在を検出するための主要な不変量として、$\ell$-adicオイラー特徴量 $\chi(X) = \sum_{i\geq 0}(-1)^i \dim_{\mathbb{Q}_\ell} H^i(X_{K^s}, \mathbb{Q}_\ell)$ を用いる。
• 対数幾何と対数正則モデルの結果を応用して、$K$ の整環 $S$ 上の種数1曲線 $C$ の最小正則モデル $\mathcal{C}$ の構造を分析する。
• ネロンモデルと $C$ のヤコビアン $J$ の理論を用いて、周期（＝指数）と還元型、ガロア作用との関係を関係づける。
• 対数的良い還元のための必要条件として、$H^1(C_{K^s}, \mathbb{Q}_\ell)$ 上のガロア作用の正則性を分析する。
• $p$ が周期 $m$ を割る場合に、$\mathcal{C}$ が $S$ 上でコホモロジー的平坦であることを、重要な技術的条件として導入する。
• 正標数における野生な特異点をもつ楕円曲面の既知の構成（例えば、桂・上野、ハーブーン・ラング）を用いて、反例を構成する。

実験結果

リサーチクエスチョン

• RQ1 対数的良い還元をもつ滑らかで固有な $K$-多様体の指数は常に残留特徴値 $p$ と素であるか？
• RQ2 種数1曲線が対数的良い還元をもつために必要な十分なガロア作用とコホモロジー的構造の条件は何か？
• RQ3 指数が $p$ で割り切れる場合でも、対数的良い還元をもつ曲線は存在するか？ もしそうなら、どのような条件下で成立するか？
• RQ4 周期、ヤコビアンの還元型、最小モデルのコホモロジー的平坦性の間の相互作用が、$K^t$-有理点の存在にどのように影響するか？
• RQ5 種数 $\geq 2$ の曲線に対する古典的良い還元の結果は、有理点が存在しない状況において、種数1曲線にどの程度まで拡張可能か？

主な発見

• 対数的良い還元をもつ滑らかで固有な $K$-多様体 $X$ の $\ell$-adicオイラー特徴量 $\chi(X)$ が非ゼロであれば、$X(K^t) \neq \emptyset$ であるから、$\iota(X)$ は $p$ と素である。
• 種数1曲線の場合、対数的良い還元が成り立つのは、(a) $H^1(C_{K^s}, \mathbb{Q}_\ell)$ 上のガロア作用が正則的である、かつ (b) $p$ が周期 $m$ を割る場合、ヤコビアンが良い還元をもち、最小モデル $\mathcal{C}$ が $S$ 上でコホモロジー的平坦である、という条件と同値である。
• $C(K^t) = \emptyset$ すなわち $p$ が指数を割り切るような、対数的良い還元をもつ種数1曲線が存在する。これは、一般には指数が $p$ と素でないことを示している。
• 種数1曲線の周期は、$K$ のブラウアー群が消えることから、リヒテンバウムの結果により指数に等しい。
• 反例は、正標数における野生なファイバーをもつ楕円曲面（桂・上野らの構成など）から生じる。
• 本結果により、曲線の対数的良い還元の分類が完成し、種数 $\geq 2$ の既知の結果と種数1の場合を統合した。