[论文解读] Specialization of Néron-Severi groups in positive characteristic

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

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

一句话总结

本文证明，在正特征情况下，定义在有限生成正特征域上的光滑代数簇上的光滑射影族，其纤维的内森-塞弗雷特群在一般情况下具有通用的特化性质，即大多数纤维的几何Picard秩与一般纤维相同。通过晶体上同调、过收敛F-等构层以及Tannakian技巧，比较ℓ-进与p-进伽罗瓦表示，作者证明了：当X为曲线时，除有限多个点外，所有k-有理点均为内森-塞弗雷特通用点，从而将经典特征零结果推广至正特征，借助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.

研究动机与目标

• 将内森-塞弗雷特群的特化性质从特征零推广至正特征，其中经典霍奇理论失效。
• 证明：对于定义在有限生成正特征域上的光滑射影族f: Y → X，大多数纤维的几何Picard秩与一般纤维相同。
• 证明：当X为曲线时，在较弱技术假设下，所有但有限多个k-有理点均为内森-塞弗雷特通用点。
• 通过过收敛F-等构层与Tannakian形式化，建立ℓ-进与p-进上同调不变量之间的比较。
• 提供安德烈与卡多雷-玉置关于伽罗瓦通用点与Picard秩保持性结果在正特征下的类比。

提出的方法

• 以晶体上同调中的变分Tate猜想为基础，研究周期的特化性质。
• 引入过收敛F-等构层R²f∗O†Y/K(1)，作为ℓ-进层R²f∗Qℓ(1)的p-进替代，其性质优于原始晶体上同调。
• 应用p-进比较定理，将过收敛F-等构层与ℓ-进层关联，实现伽罗瓦不变性数据的传递。
• 利用权重理论，比较ℓ-进与p-进世界中的半单化表示。
• 通过考虑ℓ-进表示的所有张量构造，运用Tannakian技巧，得到一个代数群Gℓ，以捕捉单值群作用。
• 在收敛等构层范畴中使用下降理论，将从覆盖空间到基空间的同构关系下降，从而证明主要比较定理。

实验结果

研究问题

• RQ1 是否可以在不依赖霍奇理论（在正特征下失效）的前提下，建立正特征下内森-塞弗雷特群的特化性质？
• RQ2 在何种条件下，正特征下纤维Y_x的几何Picard秩与一般纤维Y_η相同？
• RQ3 当上同调理论行为不同时，如何比较ℓ-进伽罗瓦不变量与p-进不变量？
• RQ4 在正特征下，伽罗瓦通用点在多大程度上能保证纤维的内森-塞弗雷特秩与一般纤维相同？
• RQ5 过收敛F-等构层R²f∗O†Y/K(1)是否可作为连接ℓ-进与晶体上同调的桥梁，以研究周期的特化？

主要发现

• 对于定义在有限生成正特征域k上的光滑射影态射f: Y → X，存在大量闭点x ∈ X，使得纤维Y_x的几何Picard秩与一般纤维Y_η相同。
• 当X为曲线时，在最小技术假设下，所有但有限多个k-有理点均为内森-塞弗雷特通用点，即其Picard秩与一般纤维相同。
• 主要技术贡献为定理1.6.3.1，该定理通过Tannakian方法，建立了ℓ-进层R²f∗Qℓ(1)与过收敛F-等构层R²f∗O†Y/K(1)之间的比较。
• 定理6.5.4.1证明了过收敛F-等构层RifOgus,∗OY/K同构于某类过收敛模的推出，从而实现下降与比较。
• 本文确立了正特征下内森-塞弗雷特群的特化性质由单值群结构决定，其关键在于基本群像在Zariski闭包中的结构。
• 本研究结果在除子的Tate猜想、族中Brauer群的统一有界性，以及光滑射影代数簇的超平面截面研究中具有应用。