[論文レビュー] Fourier-Mukai partners and polarised K3 surfaces

Klaus Hulek, David Ploog|arXiv (Cornell University)|Jun 20, 2012

Algebraic Geometry and Number Theory参考文献 44被引用数 3

ひとこと要約

本稿は、ラティス理論的手法、特にニコリンの判別形式理論とエイクラーの基準を用いて、極小化されたK3表面のフーリエ・マカイ（FM）パートナ一の数を数える公式を確立する。FMパートナ一の数は、ピカール数と極小化型に依存し、低ランクの場合には明示的な公式が得られ、高ランク設定では無限大の族が存在する。

ABSTRACT

The purpose of this note is twofold. We first review the theory of Fourier-Mukai partners together with the relevant part of Nikulin's theory of lattice embeddings via discriminants. Then we consider Fourier-Mukai partners of K3 surfaces in the presence of polarisations, in which case we prove a counting formula for the number of partners.

研究の動機と目的

• 先行文献であまり検討されていない極小化を備えたK3表面へのフーリエ・マカイパートナ一理論の拡張を図ること。
• 極小化が存在する状況におけるFMパートナ一の数を数える公式を構築し、未極小化K3表面に対するHLY公式を一般化すること。
• 導来同値の文脈において、極小化、透過的ラティス、および等長群の間の相互作用を分析すること。
• ピカール数と極小化型の変化に伴い、FMパートナ一の数がどのように変化するかを調査すること、特に高ランクおよびユニモジュラー直交補空間の状況において。

提案手法

• K3表面の導来圏と導来トーレリ定理を用いて、FMパートナ一をコホロロジー・ラティスのホッジ等長写像に関連付ける。
• ニコリンのラティス埋め込み理論（判別形式を介して）を応用し、透過的ラティスをK3ラティス $L_{2d}$ に埋め込む方法を分類する。
• エイクラーの基準を用いて、与えられたノルムと除数を持つベクトルの $\tilde{O}(L_{2d})$-軌道の数を特定し、非同値な埋め込みの数を数える。
• これらの軌道上の $O(D_{L_{2d}})$ の作用を分析し、$O(L_{2d})$-軌道の数を計算することで、対称性を考慮する。
• $L_{2d}$ 内の透過的ラティスの直交補空間を検討し、それが $2E_8(-1)$ または $D_{16}^+(-1)$ である場合を区別することで、少なくとも2つの非同値な埋め込みが存在することを示す。
• 判別群 $D_{L_{2d}} \cong \mathbb{Z}/2p^3\mathbb{Z}$ 及びその自己同型群 $\mathbb{Z}/2\mathbb{Z}$ の構造を用いて、$O(L_{2d})$ による軌道数の上限を求める。

実験結果

リサーチクエスチョン

• RQ1 極小化の存在が、K3表面のFMパートナ一の数にどのように影響するか？
• RQ2 極小化K3表面のFMパートナ一の正確な数え上げ公式は何か？ 未極小化の場合とはどのように異なるか？
• RQ3 与えられた極小化K3表面に対して、複数の非同型なFMパートナ一が存在する条件は何か？
• RQ4 ピカール数は、FMパートナ一の集合の有限性およびサイズにどのように影響するか？
• RQ5 FMパートナ一の数が無限大になり得るか？ もし可能であれば、どのようなラティス理論的条件下で生じるか？

主な発見

• ピカール数1で極小化度 $2d$ のK3表面に対して、FMパートナ一の数は $2^{p(d)-1}$ である。ここで $p(d)$ は $d$ の素因数の個数を表す。
• 透過的ラティスが $T = \langle 2a, 2b \rangle$（$a > b > 0$）であり、$d = b = p^3$（$p$ を $p \equiv 1 \pmod{4}$ を満たす素数とする）の場合、$T$ が $L_{2d}$ に埋め込まれる非同値な埋め込みが少なくとも $p$ 個存在し、それにより少なくとも $p$ 個の非同型なFMパートナ一が得られる。
• $d = p^3$ のとき、ノルム $2p^3$ で除数 $p^2$ のベクトルの $\tilde{O}(L_{2p^3})$-軌道数は $2p$ である。これは $1 + c^2 \equiv 0 \pmod{p}$ の解から生じる。
• $O(D_{L_{2p^3}}) \cong \mathbb{Z}/2\mathbb{Z}$ の作用により、$O(L_{2p^3})$-軌道数は少なくとも $p$ 個であることが示され、$p$ が増加するにつれてFMパートナ一の数が無限大に発散することを示す。
• $T$ の $L_{2d}$ 内の直交補空間がユニモジュラー（例：$2E_8(-1)$ または $D_{16}^+(-1)$）である場合、$T$ の非同値な埋め込みが少なくとも2つ存在し、それにより少なくとも2つのFMパートナ一が得られる。
• ピカール数 $\geq 12$ の場合、導来同値性は同型性を意味するが、同じ表面に複数の非同型な極小化が存在しうり、それらは異なるFMパートナ一をもたらす。