[논문 리뷰] Explicit rationality of some cubic fourfolds

Francesco G. Russo, Giovanni Staglianò|arXiv (Cornell University)|2018. 11. 08.

Algebraic Geometry and Number Theory참고 문헌 12인용 수 8

한 줄 요약

이 논문은 일반적인 입체 4차 곡면 $\mathcal{C}_{14}$, $\mathcal{C}_{26}$, $\mathcal{C}_{38}$에서 $\mathbb{P}^4$로의 명시적 비유계 사상들을 제시하며, 특정 표면 $S_d$ 위에 이중점이 있는 5차 초곡면의 선형계를 사용한다; 이 사상들은 5절선 포물선에 대한 기하적 제약 조건을 통해 비유계임을 입증하며, 이는 이전 연구에서의 추상적 유리성 결과를 구체적으로 실현한다.

ABSTRACT

Recent results of Hassett, Kuznetsov and others pointed out countably many divisors $C_d$ in the open subset of $\mathbb{P}^{55}=\mathbb{P}(H^0(\mathcal{O}_{\mathbb{P}^5}(3)))$ parametrizing all cubic 4-folds and lead to the conjecture that the cubics corresponding to these divisors should be precisely the rational ones. Rationality has been proved by Fano for the first divisor $C_{14}$ and in [arXiv:1707.00999] for the divisors $C_{26}$ and $C_{38}$. In this note we describe explicit birational maps from a general cubic fourfold in $C_{14}$, in $C_{26}$ and in $C_{38}$ to $\mathbb{P}^4$, providing concrete geometric realizations of the more abstract constructions in [arXiv:1707.00999].

연구 동기 및 목표

• 일반적인 입체 4차 곡면 $\mathcal{C}_{14}$, $\mathcal{C}_{26}$, $\mathcal{C}_{38}$에서 $\mathbb{P}^4$로의 명시적 기하 구성을 제공하여 추상적 유리성 증명을 보완한다.
• 표면 $S_d$에 따라 정해진 특이점을 가진 초곡면의 선형계를 통해 파노의 고전적 유리성 방법을 실현한다.
• 이 입체 4차 곡면의 유리성이 특정 불변량을 가진 표면 $S_d$에 대한 5절선 포물선의 일치 구조에서 기인한다는 것을 확인한다.
• Macaulay2를 사용한 계산적 검증과 명시적 매개변수화를 제공하며, 역 사상과 기저 위치 기술을 포함한다.

제안 방법

• 유한체 위에서 다항식 사상으로, $d=38$일 때 $\mathbb{P}^5$에 있는 10차 및 단면 기하학적 종수 6인 표면 $S_d$와 $d=26$일 때 8차인 표면을 매개변수화하는 $\mathbb{P}^2 \dashrightarrow \mathbb{P}^5$의 유리 사상을 구성한다.
• Macaulay2를 사용하여 $\mathbb{P}^5$에서 $\mathbb{P}^4$로의 사상 $\psi$를 정의하며, $S_d$에 이중점이 있는 5차 초곡면의 선형계를 사용한다. 사영 차수와 섬유 차수를 계산한다.
• $\psi$의 일반 섬유가 차수 1과 2이며, 기저 위치가 차수 3이고 차수 6임을 확인하여, $\psi$가 $S_d$에 대한 5절선 포물선을 수축함을 입증한다.
• $S_d$를 포함하는 일반 입체 4차 곡면 $X$에 $\psi$를 제한하여, 사영 차수 $\{3, 15, 27, 9, 1\}$을 통해 $\mathbb{P}^4$로의 비유계 사상임을 보인다.
• 노드가 있는 스크롤 표면 $T \subset \mathbb{P}^5$ 위에 삼중점이 있는 8차 초곡면의 선형계를 사용하여 $\mathbb{P}^5 \dashrightarrow Z \subset \mathbb{P}^{10}$의 두 번째 유리 사상을 구성한다. 여기서 $Z$는 $\mathbb{G}(1,5)$의 4차원 선형 절단이다.
• 제한된 사상 $\eta|_X$의 역은 차수 5의 형식으로 정의되며, 목표는 매끄러운 입체 4차 곡면이고, 소스는 $\mathbb{P}^{10}$ 안의 차수 14인 4차원이다.

실험 결과

연구 질문

• RQ1 일반적인 입체 4차 곡면 $\mathcal{C}_{14}$, $\mathcal{C}_{26}$, $\mathcal{C}_{38}$의 추상적 유리성은 $\mathbb{P}^4$로의 명시적 비유계 사상으로 실현될 수 있는가?
• RQ2 표면 $S_d \subset \mathbb{P}^5$ 위에 이중점이 있는 5차 초곡면의 선형계를 입체 4차 곡면에 제한했을 때, 비유계 사상이 유도되는가?
• RQ3 사상 $\psi: \mathbb{P}^5 \dashrightarrow \mathbb{P}^4$의 섬유가 $S_d$에 대한 5절선 포물선인지 확인하고, 이것이 입체 4차 곡면에서의 비유계성을 보장하는가?
• RQ4 사상 $\psi$의 기저 위치는 기하학적으로 기술될 수 있으며, 입체 4차 곡면 $X$의 구조와 관련이 있는가?
• RQ5 제한된 사상 $\psi|_X$의 이미지의 차수와 구조는 무엇이며, 역 사상의 차수는 얼마인가?

주요 결과

• 이중점이 있는 5차 초곡면의 선형계로 정의된 유리 사상 $\psi: \mathbb{P}^5 \dashrightarrow \mathbb{P}^4$의 제한은 $\mathcal{C}_{38}$에 속한 일반 입체 4차 곡면에서 $\mathbb{P}^4$로의 비유계 사상이며, 사영 차수 $\{3, 15, 27, 9, 1\}$을 가진다.
• 제한된 $\psi|_X$의 역 사상은 차수 5의 형식으로 정의되며, 소스는 $\mathbb{P}^{10}$ 안의 차수 14인 4차원이며, 15개의 이차형식으로 잘린다.
• $\psi$의 기저 위치는 차수 3이고 차수 6이며, 섬유는 $S_{38}$에 대한 기하학적 5절선 포물선이므로 일치 구조가 확인된다.
• 모든 $d=38$에 대해, 삼중점이 있는 8차 초곡면의 선형계로 정의된 사상 $\eta: \mathbb{P}^5 \dashrightarrow Z \subset \mathbb{P}^{10}$는 $X$에 제한되었을 때 $\mathbb{G}(1,5)$의 4차원 선형 절단으로의 비유계 사상이 된다.
• $\eta$의 이미지 $Z$는 $\mathbb{P}^{10}$ 안의 차수 14인 4차원 다양체이며, 역 사상은 차수 5의 형식으로 정의된다.
• Macaulay2 패키지 'ExplicitRationality'는 모든 여섯 개의 사상, $S_d$의 매개변수화, 사상 $\psi$ 및 그 $X$에 대한 제한을 포함한 명시적 구성과 완전한 계산적 검증을 제공한다.