[论文解读] On uniformity conjectures for abelian varieties and K3 surfaces

Martin Orr, Alexei N. Skorobogatov+1 more|Project Muse (Johns Hopkins University)|Sep 5, 2018

Algebraic Geometry and Number Theory被引用 4

一句话总结

本文建立了数域上具有有界次数的阿贝尔簇与K3曲面的若干主要统一性猜想之间的逻辑等价性。证明了科尔曼关于自同态代数的猜想蕴含沙法列维奇关于内森-塞弗雷特形式的猜想以及瓦里利-阿尔瓦拉多关于伽罗瓦不变的布饶尔群有限性的猜想，通过单值群与伽罗瓦表示技术统一了算术几何中的关键猜想。

ABSTRACT

We discuss logical links among uniformity conjectures concerning K3 surfaces and abelian varieties of bounded dimension defined over number fields of bounded degree. The conjectures concern the endomorphism algebra of an abelian variety, the Neron-Severi lattice of a K3 surface, and the Galois invariant subgroup of the geometric Brauer group.

研究动机与目标

• 研究具有有界次数的数域上阿贝尔簇与K3曲面的统一性猜想之间的逻辑关系。
• 证明科尔曼关于自同态代数的猜想蕴含沙法列维奇关于内森-塞弗雷特形式的猜想。
• 确立科尔曼猜想蕴含K3曲面的伽罗瓦不变几何布饶尔群的统一有界性。
• 表明关于布饶尔群模常数的有限性猜想（Br(AV)）蕴含瓦里利-阿尔瓦拉多关于Br(X)/Br₀(X)有界的猜想。
• 通过单值群与伽罗瓦表示技术统一算术几何中的若干主要猜想。

提出的方法

• 利用芒福德-泰特猜想，将ℓ进单值群的维数与K3曲面的几何联系起来。
• 应用塔特猜想，将伽罗瓦不变的上同调类与内森-塞弗雷特群中的代数循环联系起来。
• 运用库默尔正合列，将整上同调与ℤℓ上的内森-塞弗雷特形式联系起来。
• 通过有限指数子群及其固定子模，分析伽罗瓦群在内森-塞弗雷特群与布饶尔群上的作用。
• 利用当K3曲面定义在ℚ的有限生成域上时，H¹(k, Pic(X̄))的有限性，来控制布饶尔群商的大小。
• 通过证明伽罗瓦不变子模确定了整个格 up to 同构，建立沙法列维奇猜想的各种表述之间的等价性。

实验结果

研究问题

• RQ1 科尔曼关于阿贝尔簇自同态代数的猜想是否蕴含沙法列维奇关于K3曲面内森-塞弗雷特形式的猜想？
• RQ2 能否从科尔曼猜想推出K3曲面的伽罗瓦不变布饶尔群的统一有界性？
• RQ3 对于有界维数与次数的阿贝尔簇，|Br(Ā)Γ| 的统一有界性猜想是否等价于其他统一性猜想？
• RQ4 使用NS(X̄)、NS(X̄)Γ 或 Pic(X) 的沙法列维奇猜想的不同变体在逻辑上有多大的等价性？
• RQ5 单值表示与上同调上的伽罗瓦作用如何与一参数族K3曲面中布饶尔群商的有限性相关？

主要发现

• 科尔曼猜想关于End(Ā)蕴含沙法列维奇猜想关于K3曲面的内森-塞弗雷特形式，通过其判别式界等价性建立。
• 对于有界维数与次数的阿贝尔簇，|Br(Ā)Γ| 的统一有界性猜想蕴含瓦里利-阿尔瓦拉多关于|Br(X)/Br₀(X)| 有界的猜想。
• 所有沙法列维奇猜想的变体——使用NS(X̄)、NS(X̄)Γ 或 Pic(X)——在逻辑上等价，因为伽罗瓦不变子模决定了整个格 up to 同构。
• 在族中，使得ℓ进单值群非开的点集与ℓ无关，这是由于芒福德-泰特猜想与维数不变性所致。
• 当单值群Gℓ,x在Gℓ中开时，通过塔特与库默尔理论，纤维Yx的内森-塞弗雷特形式与一般纤维Yη在ℤℓ上同构。
• 当K3曲面定义在ℚ的有限生成域上时，H¹(k, Pic(X̄))的有限性确保了Br(X)/Br₀(X)是有限的，从而支持了布饶尔群统一性猜想。