[论文解读] An example of birationally inequivalent projective symplectic varieties which are D-equivalent and L-equivalent

Shinnosuke Okawa|arXiv (Cornell University)|Jan 29, 2018

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

一句话总结

该论文构造了首个已知的投影辛簇例子，其为D等价与L等价，但非双有理等价，方法是利用Picard数为1的非同构K3曲面的点的希尔伯特概形。该构造通过生成函数实现导出与motivic等价，并利用希尔伯特概形的移动锥结构证明双有理不等价性，其障碍源于K3曲面度数与希尔伯特概形参数n的佩尔方程条件。

ABSTRACT

We give an example of a pair of projective symplectic varieties in arbitrarily large dimensions which are D-equivalent, L-equivalent, and birationally inequivalent.

研究动机与目标

• 构造一对投影辛簇，其为D等价与L等价，但非双有理等价。
• 将已知的D等价与L等价例子从卡拉比-丘与K3曲面扩展至高维辛簇。
• 通过显式几何约束，证明即使导出与motivic不变量相同，双有理不等价仍可存在。

提出的方法

• 利用K3曲面X上n个点的希尔伯特概形，记为X[n]，其为维数为2n的光滑投影辛簇。
• 应用Ploft的结果，当X与Y为D等价的K3曲面时，建立X[n]与Y[n]的D等价性。
• 通过希尔伯特概形的生成函数证明L等价性，利用局部化格罗腾迪克环中的公式 HZ(T) = (HAdim Z(T))^{L^{-dim Z}[Z]}。
• 利用Bayer-Macri（2014）的移动锥描述，通过Picard群与Beauville-Bogomolov-Fujiki形式分析X[n]与Y[n]的双有理几何。
• 应用移动锥中极射线的三叉分类，证明任何双有理映射将诱导一个同构，与非同构K3曲面的假设矛盾。
• 通过佩尔方程(n−1)X² − dX Y² = 1分析障碍，表明当dX ≠ dY或在特定n与dX条件下存在整数解时，双有理等价被阻止。

实验结果

研究问题

• RQ1 D等价与L等价的辛簇是否可在任意高维中非双有理等价？
• RQ2 哪些几何条件会阻碍非同构K3曲面上点的希尔伯特概形之间的双有理等价性？
• RQ3 K3曲面不变量上的佩尔方程解如何影响其希尔伯特概形的双有理几何？
• RQ4 导出与motivic等价在辛簇中可与双有理等价的失败共存到何种程度？
• RQ5 是否存在系统性方法，通过K3曲面参数的算术条件检测希尔伯特概形的双有理不等价性？

主要发现

• 该论文构造了一对投影辛簇X[n]与Y[n]，其在任意高维2n下为D等价与L等价，但非双有理等价。
• 当X与Y为Picard数为1、度数分别为2dX与2dY的非同构K3曲面时，希尔伯特概形X[n]与Y[n]为D等价与L等价。
• 若dX ≠ dY，或dX = dY、n > 2且佩尔方程(n−1)X² − dX Y² = 1有整数解，则双有理不等价成立。
• 当n = 6y² + 2且y ≥ 1时，如n = 8, 26, 56，定理条件满足，从而在维数16, 52, 112等处给出显式例子。
• 证明表明，任何双有理映射将诱导Picard群的同构，与X与Y的非同构性矛盾，障碍源于移动锥结构。
• 当佩尔方程无解时，双有理等价可能发生，如n=3且度数为12的K3曲面情形，证实了障碍条件的紧致性。