[論文レビュー] 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曲面に関する主な一様性予想の論理的同値性を確立する。Colemanの自己準同型代数に関する予想が、Néron–Severi形式のShafarevich予想およびGalois不変ブラウアー群の有限性に関するVárilly-Alvarado予想をともに含意することを証明し、モノドロミーおよびGalois表現の技法を通じて、算術幾何学における主要な予想を統一する。

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曲面に関する一様性予想の論理的関係を調査すること。
• Colemanの自己準同型代数に関する予想が、K3曲面のNéron–Severi形式に関するShafarevich予想を含意することを証明すること。
• Colemanの予想が、K3曲面のGalois不変幾何的ブラウアー群の均一有界性を含意することを確立すること。
• 定数倍のブラウアー群の有限性に関する予想（Br(AV)）が、Várilly-AlvaradoのK3曲面におけるBr(X)/Br₀(X)の有界性に関する予想を含意することを示すこと。
• モノドロミーおよびGalois表現の技法を通じて、算術幾何学における複数の主要な予想を統一すること。

提案手法

• Mumford–Tate予想を用いて、ℓ-adicモノドロミー群の次元をK3曲面の幾何に結びつける。
• Tate予想を用いて、Galois不変コホモロジー類をNéron–Severi群内の代数的サイクルに結びつける。
• Kummer完全列を用いて、整数コホモロジーとℤℓ上でのNéron–Severi形式を結びつける。
• 有限指数部分群とその固定部分モジュールを用いて、Galois群のNéron–Severi群およびブラウアー群への作用を分析する。
• ℚを有限生成する体上で定義されたK3曲面に対して、H¹(k, Pic(X̄))の有限性を用いて、ブラウアー群の商を有界化する。
• Galois不変部分群が全格子を同型型まで決定することを示すことにより、Shafarevich予想の複数の定式化の間の同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 Colemanのアーベル・多様体の自己準同型代数に関する予想は、K3曲面のNéron–Severi形式に関するShafarevich予想を含意するか？
• RQ2 K3曲面のGalois不変ブラウアー群の均一有界性は、Colemanの予想から導かれるか？
• RQ3 有界次元および有界次数のアーベル・多様体に対して|Br(Ā)Γ|が均一に有界であるという予想は、他の一様性予想と同値か？
• RQ4 NS(X̄)、NS(X̄)Γ、またはPic(X)を用いたShafarevich予想の複数のバリエーションは、どの程度論理的に同値か？
• RQ5 1パラメータ族のK3曲面において、モノドロミー表現およびコホモロジーへのGalois作用は、ブラウアー群の商の有限性とどのように関係するか？

主な発見

• Colemanの予想が、その判別式の有界性の同値性を通じて、K3曲面のNéron–Severi形式に関するShafarevich予想を含意する。
• 有界次元および有界次数のアーベル・多様体に対して|Br(Ā)Γ|が均一に有界であるという予想は、K3曲面の|Br(X)/Br₀(X)|の有界性に関するVárilly-Alvarado予想を含意する。
• NS(X̄)、NS(X̄)Γ、またはPic(X)を用いたShafarevich予想のすべてのバリエーションは論理的に同値であり、Galois不変部分群が全格子を同型型まで決定するためである。
• ℓ-adicモノドロミー群が開でない点の集合は、ℓに依存せず、Mumford–Tate予想および次元不変性により導かれる。
• モノドロミー群Gℓ,xがGℓで開であるとき、TateおよびKummer理論を通じて、ファイバーYxのNéron–Severi格子は、一般ファイバーYηのそれとℤℓ上で同型である。
• ℚを有限生成する体上で定義されたK3曲面に対して、H¹(k, Pic(X̄))の有限性により、Br(X)/Br₀(X)が有限であることが保証され、ブラウアー群の一様性予想を支持する。