[论文解读] An example of Fourier--Mukai partners of minimal elliptic surfaces

Hokuto Uehara|ArXiv.org|Dec 30, 2003

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

一句话总结

该论文构建了ℂ上非同构但导出等价（傅里叶-穆凯配对）的相对极小椭圆曲面的显式例子，证明了D-等价性不蕴含K-等价性。通过韦伊-夏特莱群对椭圆曲面扭量的分类，证明了某些具有特定奇点纤维类型的有理椭圆曲面存在任意多个非同构的FM配对，从而在椭圆曲面背景下为川添的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-等价）但不彼此同构。
• 研究具有非零亏格的相对极小椭圆曲面的傅里叶-穆凯配对结构。
• 检验川添的猜想，即对双有理等价的代数簇，D-等价性蕴含K-等价性，特别是在椭圆曲面背景下。
• 证明对于某些椭圆曲面，其FM配对的数量可以是无限的，尽管在二维情形存在有限性猜想。
• 通过展示双有理、D-等价但不K-等价的曲面，提供对川添猜想的反例。

提出的方法

• 利用韦伊-夏特莱群WC(B)对具有固定雅可比曲面B的椭圆曲面的同构类进行分类，使用基曲线函数域上的伽罗瓦上同调。
• 通过用阶为p的上同调类对基曲面B进行扭量，构造有理椭圆曲面S(p)，确保特定的奇点纤维类型（例如I₀*, III*, I₂, I₁）。
• 应用在纤维上支持的秩1、次数i的稳定层的模空间Jⁱ(S)构造潜在的FM配对。
• 利用Jⁱ(S)在(i, λ_{S/C}) = 1时与S导出等价的事实，其中λ_{S/C}为最小纤维度。
• 对雅可比曲面B在基曲线上的自同构群施加界限，以限制固定i下同构的Jⁱ(S)的数量，证明|I(a)| ≤ 6。
• 利用负亏格且具有相等欧拉示性数的有理曲面为有理曲面的性质，确认所有Jⁱ(S)的有理性。

实验结果

研究问题

• RQ1 是否存在非同构、双有理、D-等价但不K-等价的椭圆曲面？
• RQ2 对于给定的极小椭圆曲面，是否存在无限多个非同构的FM配对？
• RQ3 如川添所猜想，D-等价性是否对椭圆曲面蕴含K-等价性？
• RQ4 哪些约束条件控制给定椭圆曲面的FM配对同构类的数量？
• RQ5 奇点纤维类型和韦伊-夏特莱群如何影响FM配对的构造？

主要发现

• 对于任意素数p > 6(N−1)+1，存在N个两两非同构的有理椭圆曲面T₁,…,T_N，它们都是单个有理椭圆曲面S(p)的傅里叶-穆凯配对。
• 曲面S(11)至少有11个非同构的FM配对，所有这些曲面均与S(p)导出等价，但彼此之间以及与S(11)均不彼此同构。
• 所构造的曲面S(p)具有I₀*型奇点纤维，且至少包含三个不同Kodaira类型的非重数奇点纤维。
• 对于固定i，FM配对Jⁱ(S)的同构类数量受6的限制，这是由于在基曲线上雅可比曲面自同构群的限制。
• 曲面S与T是双有理的、D-等价的，但不是K-等价的，因为它们在codimension 1上不彼此同构，从而为川添的猜想提供了反例。
• 该构造证实，某些椭圆曲面的FM配对集合可以是任意大的，尽管在二维情形下有限性猜想成立。