[论文解读] Gushel-Mukai varieties

Olivier Debarre|arXiv (Cornell University)|Jan 10, 2020

Algebraic Geometry and Number Theory参考文献 25被引用 5

一句话总结

本文對 Gushel-Mukai（GM）簇——維度 3–6、索引為 n−2、度數為 10 的 Fano 簇——進行了全面研究，聚焦於其幾何性質、模空間、霍奇理論與導出範疇。研究揭示了 GM 簇與 EPW 十次曲面之間的深刻聯繫，進而連結至雙 EPW 十次曲面（即超凱勒四繩），表明偶數維 GM 簇的霍奇結構與其對應雙 EPW 十次曲面的第二上同調群同構，且其導出範疇包含依維度而定的 K3 或 Enriques 範疇，對理性性與週期映射具有重要啟示。

ABSTRACT

Gushel-Mukai varieties are smooth complex dimensionally transverse intersections of a cone over the Grassmannian $\mathsf{Gr}(2,5)$ with a linear space and a quadratic hypersurface. The aim of this survey is to discuss the geometry, moduli, Hodge structures, and categorical aspects of these varieties. It is based on joint work with Alexander Kuznetsov and earlier work of Logachev, Iliev, Manivel, O'Grady, and others.

研究动机与目标

• 系統性地研究 Gushel-Mukai（GM）簇在維度 3–6 的幾何性質、模空間與霍奇結構。
• 釐清 GM 簇與雙 EPW 十次曲面（即超凱勒四繩）之間的關係，並探討其雙有理性與週期理論性質。
• 研究 GM 簇的導出範疇，識別出一特殊半正交分次元件 𝒜_X，其為依維度而定的 K3 或 Enriques 範疇。
• 透過比較 categorical 與霍奇理論上的 K3 結構，解決 GM 四繩的理性性問題。

提出的方法

• 將 GM 簇構造為在 P(∧²V₅) 中，Gr(2,5) 的錐與線性子空間及二次曲面超曲面的橫截交集。
• 定義 GM 資料集與拉格朗日子資料集，以參數化 GM 簇及其對應的 EPW 十次曲面。
• 利用 EPW 十次曲面的射影對偶性，將同構或對偶的 EPW 十次曲面與雙有理等價的 GM 簇關聯起來。
• 應用超凱勒四繩的 Verbitsky–Torelli 定理，透過其雙 EPW 十次曲面描述偶數維 GM 簇的週期映射。
• 透過半正交分解分析 GM 簇的導出範疇，分離出特殊分量 𝒜_X，其為 K3 或 Enriques 範疇。
• 根據 𝒽¹¹(𝒜_X, ℤ) 上的格理論條件，判斷 𝒜_X 是否與 K3 曲面的導出範疇等價，關鍵在於是否存在雙曲平面。

实验结果

研究问题

• RQ1 GM 簇與 EPW 十次曲面及雙 EPW 十次曲面之間有何關係？此對應關係具有何幾何意義？
• RQ2 偶數維 GM 簇的週期映射具有何結構？其與對應雙 EPW 十次曲面的上同調有何關聯？
• RQ3 在奇數維時，GM 簇的中間雅可比簇與 EPW 十次曲面對應的曲面的阿爾巴內索簇有何關係？
• RQ4 在何種條件下，與 GM 簇關聯的特殊範疇 𝒜_X 與 K3 曲面的導出範疇等價？
• RQ5 此類範疇等價對 GM 四繩的理性性有何啟示？categorical 與霍奇理論上的 K3 結構有何差異？

主要发现

• 對於偶數維 GM 簇，中間霍奇結構與其對應雙 EPW 十次曲面的第二上同調群同構（至多一個 Tate twist），使得週期映射可透過 Verbitsky–Torelli 定理完整描述。
• GM 簇的導出範疇容許半正交分解，其中特殊分量 𝒜_X 為 K3 範疇（當維度為偶數時）或 Enriques 範疇（當維度為奇數時）。
• 當維度為偶數時，𝒜_X 的 Serre 自同態為平移 2；當維度為奇數時，則為一對合 σ 與平移 2 的複合。
• 範疇 𝒜_X 與 K3 曲面的導出範疇等價，若且唯若格子 𝒽¹¹(𝒜_X, ℤ) 包含一個雙曲平面；此條件即使在不存在霍奇理論上的 K3 曲面時亦可達成。
• 對於 GM 四繩，存在例子顯示 𝒜_X 與 K3 曲面的導出範疇等價，但無霍奇理論上的 K3 曲面存在，顯示理性性存在兩種不同之猜想準則。
• 非常一般之 GM 四繩的理性性仍為開放問題，尚未發現無理性的例子，儘管其預期與立方四繩類似。