[論文レビュー] An example of Fourier--Mukai partners of minimal elliptic surfaces

Hokuto Uehara|ArXiv.org|Dec 30, 2003

Algebraic Geometry and Number Theory参考文献 7被引用数 20

ひとこと要約

本稿は、複素数体上での非同型だが導来同値（Fourier-Mukai同伴）な相対的に最小の楕円曲面の明示的例を構成し、D同値性がK同値性を意味しないことを示している。Weil-Châtelet群による楕円曲面のねじれ分類を用いて、特定の特異ファイバー型を持つある種の有理楕円曲面に対して、任意に多くの非同型なFM同伴が存在することを証明し、楕円曲面の文脈において、KawamataのD同値性がK同値性を意味するという予想に対する反例を提供している。

ABSTRACT

Let $X$ and $Y$ be smooth projective varieties over $\C$. We say that $X$ and $Y$ are \emph{D-equivalent} (or, $X$ is a \emph{Fourier--Mukai partner} of $Y$) if their derived categories of bounded complexes of coherent sheaves are equivalent as triangulated categories. The aim of this short note is to find an example of mutually D-equivalent but not isomorphic relatively minimal elliptic surfaces.

研究の動機と目的

• 滑らかで射影的な楕円曲面の明示的例を構成し、それらが導来同値（D同値）であるが同型ではないことを示すこと。
• 正のKodaira次元をもつ相対的に最小の楕円曲面のFourier-Mukai同伴の構造を調査すること。
• 双有理同値な多様体に対してD同値性がK同値性を意味するというKawamataの予想を、特に楕円曲面の文脈で検証すること。
• 特定の楕円曲面に対して、FM同伴の集合が無限個に達することを示し、次元2における有限性予想とは対照的にすること。
• 双有理的でD同値だがK同値でない多様体の例を提示することで、Kawamataの予想に対する反例を提供すること。

提案手法

• 基本曲線の函数体上のガロアコホホロジーを用いて、固定されたジャコビアンBを持つ楕円曲面の同型類を分類するため、Weil-Châtelet群WC(B)を用いる。
• 位数pのコホモロジー類を用いて基本曲面Bをねじることで、有理楕円曲面S(p)を構成し、特定の特異ファイバー型（例：I₀*, III*, I₂, I₁）を保証する。
• ファイバー上に台を持つランク1、次数iの安定層のモジュライ空間Jⁱ(S)の構成を用いて、潜在的なFM同伴を生成する。
• Jⁱ(S)がSとD同値であるのは、(i, λ_{S/C}) = 1のときであり、ここでλ_{S/C}は最小ファイバー次数である。
• ジャコビアン曲面Bの自己同型群の上限を用いて、固定されたiに対して同型なJⁱ(S)の数を制限し、|I(a)| ≤ 6を証明する。
• 負のKodaira次元と等しいオイラー標数をもつ有理曲面は有理的であるという事実を用いて、すべてのJⁱ(S)の有理的を確認する。

実験結果

リサーチクエスチョン

• RQ1 非同型で双有理的かつD同値だがK同値でない楕円曲面が存在しうるか？
• RQ2 与えられた最小楕円曲面に対して、無限個の非同型なFM同伴が存在するか？
• RQ3 Kawamataの予想が示唆するように、D同値性が楕円曲面に対してK同値性を意味するか？
• RQ4 与えられた楕円曲面のFM同伴の同型類の数を制限する要因は何か？
• RQ5 特異ファイバー型とWeil-Châtelet群は、FM同伴の構成にどのように影響するか？

主な発見

• 任意の素数p > 6(N−1)+1に対して、1つの有理楕円曲面S(p)のN個のペアワイズに非同型な有理楕円曲面T₁,…,T_Nが存在し、それらはすべてS(p)のFM同伴である。
• S(11)は11個以上の非同型なFM同伴をもつ。それらはすべてS(11)とD同値であるが、互いに同型でないしS(11)とも同型ではない。
• 構成された曲面S(p)は、タイプI₀*の特異ファイバーと、少なくとも3つの異なるKodaira型の非多重特異ファイバーをもつ。
• 固定されたiに対して、FM同伴Jⁱ(S)の同型類の数は、基本曲上のジャコビアン曲面の自己同型群のおかげで6以下に制限される。
• 曲面SとTは双有理的でD同値だが、K同値でない。なぜなら、それらはcodimension 1で同型でないため、Kawamataの予想に対する反例を提供する。
• この構成により、特定の楕円曲面に対してFM同伴の集合が任意に大きくとれることが確認されたが、次元2における有限性予想は成立する。