[論文レビュー] Enriques Surfaces - Brauer groups and Kummer structures

Alice Garbagnati, Matthias Schuett|arXiv (Cornell University)|Jun 25, 2010

Algebraic Geometry and Number Theory参考文献 11被引用数 4

ひとこと要約

本稿は、等長写像および積型楕円曲線のクラスマン多様体を用いた格子論的・幾何学的技法を用いて、被覆となるK3多様体へのブラウアー群の引き戻しが自明または$\mathbb{Z}/2\mathbb{Z}$である1次元族の複素Enriques多様体を構成する。主な結果として、奇数$N$に対してブラウアー群の引き戻しが0に、偶数$N$に対しては$\mathbb{Z}/2\mathbb{Z}$に、Beauvilleの問題を孤立した例ではなく族として解決する。

ABSTRACT

This paper develops families of complex Enriques surfaces whose Brauer groups pull back identically to zero on the covering K3 surfaces. Our methods rely on isogenies with Kummer surfaces of product type. We offer both lattice theoretic and geometric constructions. We also sketch how the construction connects to string theory and Picard-Fuchs equations in the context of Enriques Calabi-Yau threefolds.

研究の動機と目的

• Enriques多様体のブラウアー群が被覆K3多様体上で恒等的に0に引き戻される明示的例を解明すること。
• ピカール数20の孤立した特異K3多様体に限られていた先行結果を、ピカール数19の1次元族のK3多様体へ拡張すること。
• 非クラスマン型およびクラスマン型の両方のK3多様体に対するEnriques自己同型の格子論的および幾何学的構成法を開発すること。
• これらの構成法と弦理論との関係を、特にEnriques Calabi–Yau3次元多様体の文脈におけるピカール–フック方程式を通じて確立すること。
• 異なるK3多様体族$\mathcal{X}_N$と$\mathcal{Y}_N$が同じK3多様体（例えば$\mathrm{Km}(E_i \times E_i)$）に特異化するが、それらが誘導するEnriques自己同型は共役ではなく、異なる幾何的不変量を持つことの確認。

提案手法

• バート・ピーターズの2次元族の特殊化を用いて、格子論的技法によりピカール数$\rho \geq 19$のK3多様体族$\mathcal{X}_N$を構成する。
• 特定の特異ファイブレーション（例：$I_{16} + I_4 + 4I_1$）とモーデル–ヴェイユ群$\mathbb{Z}/4\mathbb{Z}$を用いてEnriques自己同型を定義する。
• 複素乗法を持つ$\mathbb{Z}[i]$をもつ楕円曲線$E_i$の積型$E_i \times E_i$のクラスマン多様体とK3多様体間の2-同一写像を用いて、$\mathcal{X}_N$と$\mathcal{Y}_N$を関連付ける。
• 塩田–稲井構造およびモリソン–ニクリン自己同型を用いてK3多様体とクラスマン多様体を関連付け、Enriques商を構成する。
• 具体的なワイエルシュトラスモデル、例えば$y^2 = x(x - t^4)(x - t^4 + 4)$を用いて、$\mathbb{Q}$上に有理セクションおよび torsion 点を備えた$\mathrm{Km}(E_i \times E_i)$としてK3多様体を実現する。
• 反変除法的因子$D$が$D^2 \not\equiv 0 \mod 4$を満たすことと、定理5の適用により、ブラウアー群の引き戻しが自明または非自明であることを確認する。

実験結果

リサーチクエスチョン

• RQ1 ピカール数19のK3多様体族$\mathcal{X}_N$に対して、その被覆K3多様体上でのEnriques多様体のブラウラー群の引き戻しが恒等的に0となるような1次元族のEnriques多様体を構成可能か？
• RQ2 ピカール数19のK3多様体上のEnriques自己同型におけるブラウラー群の引き戻しは、整数パラメータ$N$の偶奇に依存してどのように振る舞うか？
• RQ3 ピカール数19のEnriques自己同型をもつ$\mathcal{X}_N$（非クラスマン型）と$\mathcal{Y}_N$（クラスマン型）のK3多様体族間の幾何学的および算術的関係は何か？
• RQ4 同じK3多様体（例：$\mathrm{Km}(E_i \times E_i)$）が異なる族$\mathcal{X}_N$と$\mathcal{Y}_N$の特異化として得られるが、それらが誘導するEnriques自己同型は同型か、あるいは非同型か？
• RQ5 異なるK3族から誘導されるEnriques商の自己同型群はどのように異なり、何の不変量がそれらを区別するか？

主な発見

• 各$N > 1$に対して、ピカール数$\rho = 19$のK3多様体族$\mathcal{X}_N$はEnriques自己同型$\tau$をもつ。このとき、$N$が奇数であれば商$Z_N = X_N / \tau$のブラウラー群の引き戻しが自明になり、$N$が偶数であれば$\mathbb{Z}/2\mathbb{Z}$になる。
• $\mathcal{Y}_N$のクラスマン多様体族（$\rho = 19$）に対してもEnriques自己同型$\tau$が存在し、$\pi^* \mathrm{Br}(Y_N / \tau)$は奇数$N$では自明、偶数$N$では$\mathbb{Z}/2\mathbb{Z}$となる。クラスマン型でも同様のブラウラー群の振る舞いが確認された。
• $\mathrm{Km}(E_i \times E_i)$は$\mathcal{Y}_1$および$\mathcal{X}_2$の両方の特異化として得られるが、それらが誘導するEnriques自己同型はK3多様体の自己同型群内で共役ではない。
• $\mathcal{Y}_1$から得られるEnriques商$\mathrm{Km}(E_i \times E_i)/\tau$は、$I_4$型の二重ファイブレーションをもつ楕円ファイブレーションを持つが、$\mathcal{X}_2$から得られる商は$I_8$型の一つの二重ファイブレーションを持つ。KondoのEnriques自己同型群分類により、これらは幾つかの不変量で区別される。
• $\mathrm{Km}(E_i \times E_i)$の構成式$y^2 = x(x - t^4)(x - t^4 + 4)$は$\mathbb{Q}$上に有理モデルを提供し、4階捩れセクションをもつ。これにより、ファイブレーションおよび自己同型の数体上での幾何的実現性が確認される。
• $\mathrm{Km}(E_i \times E_i)$上の反変除法的因子$D = O - U + \Theta_4 + \cdots + D_7 - (13)$は$D^2 = -10$を満たす。定理5より、ブラウラー群の引き戻しが0に、$\mathcal{Y}_1$の場合の自明性が確認される。