[論文レビュー] Specialization of Néron-Severi groups in positive characteristic

Emiliano Ambrosi|arXiv (Cornell University)|Oct 15, 2018

Algebraic Geometry and Number Theory参考文献 27被引用数 6

ひとこと要約

本稿は、正標数において、有限生成体上の滑らかで固有な多様体上への滑らかな固有族のファイバーのネロン・セバレー群が、一般に特徴づけられることを確立する。つまり、ほとんどのファイバーは一般ファイバーと同一の幾何的ピックールランクを持つ。クリスタリンコホモロジー、過収束F-イソスクリスタル、およびタンナキアン技法を用いて、ℓ-進およびp-進ガロア表現を比較することで、著者らは曲線の場合、すべての有理点のうち有限個を除き、ネロン・セバレー一般であることを証明する。これは古典的な標数0の結果をp-進ホッジ理論を用いて正標数へと拡張するものである。

ABSTRACT

Let $k$ be an infinite finitely generated field of characteristic $p>0$. Fix a separated scheme $X$ smooth, geometrically connected, and of finite type over $k$ and a smooth proper morphism $f:Y ightarrow X$. The main result of this paper is that there are ``lots of" closed points $x\in X$ such that the fibre of $f$ at $x$ has the same geometric Picard rank as the generic fibre. If $X$ is a curve we show, under a minimal technical assumption, that this is true for all but finitely many $k$-rational points. In characteristic zero, these results have been proved by André (existence) and Cadoret-Tamagawa (finiteness) using Hodge theoretic methods. To extend the argument in positive characteristic we use the variational Tate conjecture in crystalline cohomology, the comparison between various $p$-adic cohomology theories and independence techniques. The result has applications to the Tate conjecture for divisors, uniform boundedness of Brauer groups, proper families of projective varieties and to the study of families of hyperplane sections of smooth projective varieties.

研究の動機と目的

• 標数0から正標数へのネロン・セバレー群の特徴づけを拡張すること。ここでは古典的ホッジ理論が正標数で失敗するため、代替手段を必要とする。
• 正標数の有限生成体上の滑らかで固有な族 f: Y → X に対して、一般ファイバーと同一の幾何的ピックールランクを持つファイバーが「多く」存在することを確立すること。
• X が曲線である場合、最小限の技術的仮定の下で、すべての有理点のうち有限個を除き、ネロン・セバレー一般であることを証明すること。
• 過収束F-イソスクリスタルおよびタンナキアン形式主義を用いて、ℓ-進およびp-進コホモロジー不変量の比較を構築すること。
• アンドレおよびカドロ・タマガワのガロア一般点とピックールランク保存に関する結果の正標数版を提供すること。

提案手法

• サイクルの特徴づけを研究する基盤として、クリスタリンコホモロジーにおける変動Tate予想を用いる。
• 原始的なクリスタリンコホモロジーに代わる、より良い性質を示すp-進的置換物として、過収束F-イソスクリスタル R²f∗O†Y/K(1) を導入する。
• p-進比較定理を適用し、過収束F-イソスクリスタルとℓ-進層の間の関係を確立することで、ガロア不変量データの移行を可能にする。
• 重みの理論を用いて、ℓ-進およびp-進世界における半単純表現を比較する。
• すべてのテンソル構成を考慮するタンナキアン技法を用い、モノドロミー作用を捉える代数群 Gℓ を得る。
• 収束的イソスクリスタルの圏における降下理論を用い、被覆からの同型を基底に降下させ、主要な比較定理を証明する。

実験結果

リサーチクエスチョン

• RQ1 ホッジ理論が正標数で失敗するため、正標数におけるネロン・セバレー群の特徴づけをホッジ理論に依存せずに確立できるか。
• RQ2 正標数において、ファイバー Y_x の幾何的ピックールランクが一般ファイバー Y_η と一致する条件は何か。
• RQ3 コホモロジー理論の性質が異なる場合、ℓ-進ガロア不変量とp-進不変量をどのように比較できるか。
• RQ4 正標数におけるガロア一般点が、ファイバーが一般ファイバーと同一のネロン・セバレーランクを持つことをどの程度保証するか。
• RQ5 過収束F-イソスクリスタル R²f∗O†Y/K(1) は、サイクル特徴づけを研究するための、ℓ-進およびクリスタリンコホモロジーの間の橋渡しとして機能できるか。

主な発見

• 正標数の有限生成体 k 上の滑らかで固有な準同型 f: Y → X に対して、一般ファイバー Y_η と同一の幾何的ピックールランクを持つ閉点 x ∈ X が「多数」存在する。
• X が曲線である場合、最小限の技術的仮定の下で、すべての有理点のうち有限個を除き、ネロン・セバレー一般である。つまり、一般ファイバーと同一のピックールランクを持つ。
• 主な技術的貢献は定理 1.6.3.1 であり、タンナキアン手法を用いて、ℓ-進層 R²f∗Qℓ(1) と過収束F-イソスクリスタル R²f∗O†Y/K(1) の間の比較を確立する。
• 定理 6.5.4.1 は、過収束F-イソスクリスタル RifOgus,∗OY/K が特定の過収束モジュールの押し出しと同型であることを証明し、降下と比較を可能にする。
• 本稿は、ネロン・セバレー群の特徴づけが、基本群の像のザリスキ閉包としてのモノドロミー群の構造によって支配されることを確立する。
• 結果は、除数に関するテート予想、ファミリーにおけるブレア群の一様有界性、および滑らかな射影的多様体の超平面切断の研究への応用を持つ。