[논문 리뷰] Intersections of two Grassmannians in $\mathbf{P}^9$

Lev Borisov, Andrei Căldăraru외 1명|arXiv (Cornell University)|2017. 07. 03.

Algebraic Geometry and Number Theory참고 문헌 24인용 수 10

한 줄 요약

이 논문은 ℙ⁹ 내의 두 그라스만يان Gr(2,5)의 교차와 그 이중 프로젝티브 공간 내의 프로젝티브 이중 대응체를 연구하며, 이러한 교차가 변형 및 유도 동치인 칼라비-양 3차원 다양체를 제공함을 보여주며, 이는 서로 바이레이라이션적이지 않다. 주요 결과는 칼라비-양 3차원 다양체에 대한 바이레이라이션 토렐리 문제의 반례를 제시하며, 이는 유도 동치와 변형 동치가 바이레이라이션성을 함의하지는 않음을 보여주고, 아핀 선 클래스의 거듭제곱에 의해 소멸되는 차이를 가진 새로운 예시를 그로텐디크 다양체의 환에서 제공한다.

ABSTRACT

We study the intersection of two copies of $\mathrm{Gr}(2,5)$ embedded in $\mathbf{P}^9$, and the intersection of the two projectively dual Grassmannians in the dual projective space. These intersections are deformation equivalent, derived equivalent Calabi-Yau threefolds. We prove that generically they are not birational. As a consequence, we obtain a counterexample to the birational Torelli problem for Calabi-Yau threefolds. We also show that these threefolds give a new pair of varieties whose classes in the Grothendieck ring of varieties are not equal, but whose difference is annihilated by a power of the class of the affine line. Our proof of non-birationality involves a detailed study of the moduli stack of Calabi-Yau threefolds of the above type, which may be of independent interest.

연구 동기 및 목표

• ℙ⁹ 내의 두 그라스만IAN Gr(2,5)와 그 프로젝티브 이중 대응체의 기하학적 및 유도적 성질을 조사하기.
• 특히 변형 및 유도 동치일 경우에 이러한 교차가 서로 바이레이라이션적인지 여부를 판단하기.
• 칼라비-양 3차원 다양체에 대한 바이레이라이션 토렐리 문제의 반례를 제시하기.
• 특히 아핀 선 클래스의 거듭제곱에 의해 소멸되는 클래스를 가진 그로텐디크 다양체의 환에서 이러한 다양체의 행동을 탐색하기.

제안 방법

• 등사사상 φ₁, φ₂: ∧²V ≅ W를 통한 Gr(2,5)의 ℙ⁹ 내 임bedding 두 개를 구성하여, 교차 X = Gr₁ ∩ Gr₂를 정의한다.
• 등사사상 (φᵢ⁻¹)∗: ∧²V∨ ≅ W∨의 이중성을 통한 이중 프로젝티브 공간 ℙ⁹∨ 내의 이중 그라스만IAN Grᵢ∨를 정의하고, 교차 Y = Gr₁∨ ∩ Gr₂∨를 고려한다.
• X와 Y가 Hodge 수 h¹¹ = 1, h¹² = 51을 가지며, 유도 범주 Dᵇ(X) ≅ Dᵇ(Y)에 의한 변형 및 유도 동치를 갖는 매끄러운 칼라비-양 3차원 다양체임을 증명한다.
• 이러한 칼라비-양 3차원 다양체의 모듈리 스택에 기반한 무한소적 추론을 통해 비바이레이라이션성을 보이며, X 위의 특정 휘어진 범주에서의 전역 절단의 소멸에 의존한다.
• 그로텐디크 다양체의 환을 분석하여 [X] − [Y] 가 아핀 선 클래스 L의 거듭제곱에 의해 소멸됨을 보이며, K₀(Var/k) 내에서 [X] ≠ [Y] 임을 확인한다.
• 𝔽₁₀₃ 위에서의 명시적 Macaulay2 계산을 통해 아핀 패치에서의 다양체의 매끄러움을 검증하여 GPK 3 이중 미러 구성의 전반적 매끄러움을 확인한다.

실험 결과

연구 질문

• RQ1 일반적인 임베딩에 대해, ℙ⁹ 내의 X = Gr₁ ∩ Gr₂와 ℙ⁹∨ 내의 Y = Gr₁∨ ∩ Gr₂∨는 서로 바이레이라이션적인가?
• RQ2 변형 동치이자 유도 동치인 칼라비-양 3차원 다양체는 반드시 바이레이라이션적이어야 하는가, 아니면 이러한 동치성에도 불구하고 비바이레이라이션적일 수 있는가?
• RQ3 그로텐디크 다양체의 환에서, 클래스의 차이가 아핀 선 클래스 L의 거듭제곱에 의해 소멸되지만 클래스는 같지 않은 예를 구성할 수 있는가?
• RQ4 GPK 3 이중 미러의 모듈리 스택의 구조는 무엇이며, 이는 X와 Y의 비바이레이라이션성에 어떻게 기여하는가?
• RQ5 X와 Y의 유도 동치와 변형 동치는 그들의 호지 구조의 동형을 함의하는가, 그리고 이는 토렐리 문제에 어떤 영향을 미치는가?

주요 결과

• 일반적인 등사사상 φ₁, φ₂에 대해, 칼라비-양 3차원 다양체 X = Gr₁ ∩ Gr₂와 Y = Gr₁∨ ∩ Gr₂∨는 변형 동치이자 유도 동치이지만, 서로 바이레이라이션적이지 않다.
• 이 세 가지 다양체 X와 Y는 매끄럽고, Hodge 수 h¹¹(X) = h¹¹(Y) = 1, h¹²(X) = h¹²(Y) = 51을 갖는 칼라비-양 3차원 다양체이다.
• 유도 동치 Dᵇ(X) ≅ Dᵇ(Y)가 성립하며, 이 동치는 X와 Y 사이의 이중성과 호환되므로 '이중 거울'이라는 용어가 타당하다.
• 이 다양체들은 변형 및 유도 동치이지만 서로 바이레이라이션적이지 않은 첫 번째 알려진 반례로서, 칼라비-양 3차원 다양체에 대한 바이레이라이션 토렐리 문제의 반례를 제공한다. 이는 H³에 대해 정수 호지 구조가 동형이지만, 서로 바이레이라이션적이지 않다.
• 그로텐디크 다양체의 환에서 [X] ≠ [Y] 이지만, ([X] − [Y])는 아핀 선 클래스 L의 거듭제곱에 의해 소멸되며, K₀(Var/k) 내에서 새로운 비자명한 관계를 보여준다.
• 𝔽₁₀₃ 위에서의 명시적 Macaulay2 계산을 통해 GPK 3 이중 미러가 모든 아핀 패치에서 매끄럽다는 것이 확인되었으며, 이는 구성의 전반적 매끄러움을 검증한다.