[논문 리뷰] Divisors in the moduli space of Debarre-Voisin varieties

Vladimiro Benedetti, Jieao Song|arXiv (Cornell University)|2021. 06. 12.

Algebraic Geometry and Number Theory참고 문헌 16인용 수 4

한 줄 요약

이 논문은 3차형식 σ ∈ ⋀³V₁₀∨에 관련된 세 개의 열화 다양체 X₃^σ, X₆^σ, X₁^σ 사이의 Hodge 등장사상이 존재함을 증명하며, 이들이 동일한 정수 Hodge 구조를 공유함을 보인다. 모듈리 공간 내 세 개의 Heegner 초면을 통해 기하학적 분석을 수행한 결과, σ가 D₂₄ 초면 위에 있을 경우 Debarre–Voisin 4차원 다양체 X₆^σ가 차수 6인 K3 표면 위의 외부 편재 sheaf의 모듈리 공간과 등장함을 보이고, X₃^σ 및 X₁^σ에 대해 모든 차수에서 정수 Hodge 추측이 성립함을 증명한다.

ABSTRACT

Let $V_{10}$ be a 10-dimensional complex vector space and let $σ\in\bigwedge^3V_{10}^\vee$ be a non-zero alternating 3-form. One can define several associated degeneracy loci: the Debarre-Voisin variety $X_6^σ\subset\mathrm{Gr}(6,V_{10})$, the Peskine variety $X_1^σ\subset\mathbf{P}(V_{10})$, and the hyperplane section $X_3^σ\subset \mathrm{Gr}(3,V_{10})$. Their interest stems from the fact that the Debarre-Voisin varieties form a locally complete family of projective hyperkähler fourfolds of $\mathrm{K3}^{[2]}$-type. We prove that when smooth, the varieties $X_6^σ$, $X_1^σ$, and $X_3^σ$ share one same integral Hodge structure, and that $X_1^σ$ and $X_3^σ$ both satisfy the integral Hodge conjecture in all degrees. This is obtained as a consequence of a detailed analysis of the geometry of these varieties along three divisors in the moduli space. On one of the divisors, an associated K3 surface $S$ of degree 6 can be constructed geometrically and the Debarre-Voisin fourfold is shown to be isomorphic to a moduli space of twisted sheaves on $S$, in analogy with the case of cubic fourfolds containing a plane.

연구 동기 및 목표

• 3차형식 σ ∈ ⋀³V₁₀∨에 관련된 세 개의 열화 다양체 X₃^σ, X₆^σ, X₁^σ의 정수 코homology 사이의 Hodge 등장사상을 수립한다.
• Debarre–Voisin 다양체의 1-사이클에 관한 기존 결과를 활용하여, X₃^σ 및 X₁^σ에 대해 모든 차수에서 정수 Hodge 추측이 성립함을 증명한다.
• 모듈리 공간 내 세 개의 특수 Heegner 초면(D₂₂, D₂₄, D₂₈)을 따라 Debarre–Voisin 다양체의 기하학을 분석하여 대응 관계를 구축한다.
• D₂₄ 초면 위에서 Debarre–Voisin 4차원 다양체 X₆^σ가 차수 6인 K3 표면 위의 외부 편재 sheaf의 모듈리 공간과 등장함을 보이며, 삼차 4차원 다양체의 경우와 유사하게 기하학적 유사성을 제공한다.
• D₂₄ 초면 위의 σ로부터 기하학적으로 차수 6인 K3 표면 S를 구성하고, 관련된 자연스러운 범주에서의 군집이 행렬식 조건을 만족함을 검증한다.

제안 방법

• 열화 다양체 X₃^σ과 X₆^σ 사이, X₆^σ와 X₁^σ 사이의 대응 관계를 이용하여, 열화 다양체의 세밀한 분석을 통해 Hodge 등장사상을 수립한다.
• 모듈리 공간 내 세 개의 Heegner 초면을 따라 세 개의 열화 다양체—X₃^σ(Gr(3,V₁₀)의 초평면 절단), X₆^σ(Debarre–Voisin 4차원 다양체), X₁^σ(Peskine 다양체)—의 기하학을 분석한다.
• 편재된 hyperkähler 다양체의 주기 사상과 Torelli 정리를 적용하여 Debarre–Voisin 다양체의 모듈리 공간 M²₂를 주기 도메인 P와 연결한다.
• Macaulay2와 Schubert2 패키지를 사용하여 P(⋀³V₁₀∨) 내의 SL(V₁₀)-불변 초면의 교차 수, 콘차 클래스, 차수를 계산한다.
• D₂₄ 초면 위의 σ로부터 플래그 번들의 구성과 절단 영역을 이용하여 기하학적으로 차수 6인 K3 표면 S를 구성한다.
• S 위의 자연스러운 범주에서 det(𝒰₄/₁∨) ≅ 𝒪_S(3) 및 det(𝒰₈/₄) ≅ 𝒪_S(2) 조건이 만족됨을 검증하여 표면의 차수가 6임을 확인한다.

실험 결과

연구 질문

• RQ1 3차형식 σ ∈ ⋀³V₁₀∨에 관련된 열화 다양체 X₃^σ, X₆^σ, X₁^σ는 동일한 정수 Hodge 구조를 공유하는가?
• RQ2 X₆^σ와의 코homological 관계를 고려할 때, X₃^σ 및 X₁^σ에 대해 모든 차수에서 정수 Hodge 추측이 성립하는가?
• RQ3 Debarre–Voisin 다양체의 모듈리 공간 내 특수 초면에서 σ로부터 기하학적으로 차수 6인 K3 표면 S를 구성할 수 있는가?
• RQ4 σ가 D₂₄ 초면 위에 있을 경우, Debarre–Voisin 4차원 다양체 X₆^σ가 차수 6인 K3 표면 S 위의 외부 편재 sheaf의 모듈리 공간과 등장하는가?
• RQ5 특히 D₂₄ 초면에서 X₆^σ 및 그 부분다양체의 주요 범주에서의 교차 수와 콘차 클래스는 무엇인가?

주요 결과

• 논문은 X₆^σ의 원시 제2 코homology와 X₃^σ 및 X₁^σ의 소멸 코homology 사이의 Hodge 등장사상을 대응 관계를 통해 수립하며, 이는 음의 Beauville–Bogomolov 형식을 가진다.
• D₂₄ 초면 위에서 Debarre–Voisin 4차원 다양체 X₆^σ는 차수 6인 K3 표면 S 위의 외부 편재 sheaf의 모듈리 공간과 등장함을 보이며, 이 등장사상은 쌍곡선 번들의 구조에 의해 유도된다.
• Hodge 등장사상과 K3^[2]-형 hyperkähler 다양체의 1-사이클에 관한 Mongardi–Ottem의 결과에 기반하여, X₃^σ 및 X₁^σ에 대해 모든 차수에서 정수 Hodge 추측이 성립함을 증명한다.
• X₃^σ 내부에 포함된 Gr(2,7)의 자기 교차 수는 두 개의 정규 시퀀스를 통해 정규 번들의 최고 콘차 클래스를 이용하여 2로 계산된다.
• D₂₄ 초면에서의 교차 행렬은 기저 ⟨H+D, D⟩에서 대각화되어 (24, -2)로 표현되며, 이는 H+D가 K3 표면 위의 쌍곡선 번지의 수축에 해당함을 확인한다.
• Macaulay2 계산을 통해 K3 표면 S 위의 자연스러운 범주에서 det(𝒰₄/₁∨) ≅ 𝒪_S(3) 및 det(𝒰₈/₄) ≅ 𝒪_S(2) 조건이 만족됨을 검증하여 표면의 차수가 6임을 확인한다.