[논문 리뷰] Intersections of three quadrics in $\mathbb{P}^7$

Brendan Hassett, Alena Pirutka외 1명|arXiv (Cornell University)|2017. 06. 05.

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

한 줄 요약

이 논문은 $ℝ^7$ 내의 세 제곱형의 매끄러운 완전 교차에서의 유리성 성질을 조사하며, 한 가족 내에서 둘 다 유리성과 비유리성을 갖는 섬유가 존재함을 보여준다. 비분기 코homology와 보편적 $ \mathrm{CH}_0$-비어 있는 성질을 통한 전문화 방법을 사용하여, 매우 일반적인 섬유가 안정적으로 비유리임을 증명하고, 동시에 유클리드 위상에서 높은 조밀도를 가진 유리 섬유가 존재함을 보여, 4차원에서의 유리성과 변형 간의 복잡한 상호작용을 드러낸다.

ABSTRACT

We study rationality properties of smooth complete intersections of three quadrics in $\mathbb{P}^7$. We exhibit a smooth family of such intersections with both rational and non-rational fibers.

연구 동기 및 목표

• 매끄러운 $ℝ^7$ 내의 세 제곱형의 완전 교차의 유리성 성질을 조사하는 것.
• 이러한 4차원 다양체가 한 가족 내에서 동시에 유리성과 비유리성을 가질 수 있는지 여부를 규명하는 것.
• 비분기 코homology와 보편적 $ \mathrm{CH}_0$-비어 있는 성질에 대한 차단 조건을 사용하여 전문화 방법을 적용하여 안정적 비유리성의 실패를 탐지하는 것.
• 같은 분열 곡선을 가진 $ℝ^2$ 위의 두 제곱형 표면 번들의 서로 다른 이중도수를 가진 경우의 비유리성 비교.
• 동일한 기준 다양체가 서로 다른 유리성 행동을 보이는 다양한 4차원 다양체 가족의 기초가 되는 것을 확립하는 것.

제안 방법

• 완전 교차의 평탄한 가족 $φ: \mathcal{X} \to B$ 를 통해 전문화 방법을 적용한다.
• 안정적 비유리성의 실패는 조건 (R) 과 (O) 를 통해 탐지된다: $β: \tilde{X} \to X$ 는 보편적으로 $ \mathrm{CH}_0$-비어 있지만, $β$ 의 정규화 $β$ 는 그렇지 않다.
• 장애 조건 (O) 는 비자명한 비분기 코hom올로지 $H^2_{\text{nr}}(\mathbb{C}(X)/\mathbb{C}, \mathbb{Z}/2)$ 를 통해 검증된다.
• 이중도수 $(2,2)$ 를 가진 $ \mathbb{P}^2 \times \mathbb{P}^3$ 내의 기준 다양체 $Y$ 는 두 가족 모두의 공통 전문화 대상으로 사용된다.
• Laszlo의 정리를 통해 코hom올로지 대응을 구성하여, 분지 곡선을 따라 분지하는 이중 덮개 $S \to \mathbb{P}^2$ 에 대해 $H^4_0(Q, \mathbb{Z})(1)$ 과 $H^2_0(S, \mathbb{Z})$ 를 연결한다.
• 기본 코hom올로지 라티스의 2-adic 불변량을 통해, 동일한 분열 곡선을 가졌지만 다른 이중도수를 가진 두 제곱형 번들의 비유리성을 증명한다.

실험 결과

연구 질문

• RQ1 매끄러운 $ℝ^7$ 내의 세 제곱형 교차에서 동일한 가족 내에서 둘 다 유리성과 비유리성을 갖는 섬유가 존재할 수 있는가?
• RQ2 Picard 계수 1인 4차원 다양체에서 전문화 방법이 안정적 비유리성을 탐지할 수 있는가?
• RQ3 같은 분열 곡선을 가진 $ℝ^2$ 위의 두 제곱형 표면 번들이라도 공통의 기준 다양체를 공유함에도 불구하고 비유리적일 수 있는가?
• RQ4 기본 코hom올로지 라티스의 $2$-adic 불변량은 제곱형 번들의 유리성 등급을 어떻게 구분하는가?
• RQ5 이러한 4차원 다양체에서 비분기 코hom올로지 $H^2_{\text{nr}}(X, \mathbb{Z}/2)$ 는 안정적 비유리성의 장애로 어떤 역할을 하는가?

주요 결과

• 매끄러운 $ℝ^7$ 내의 세 제곱형 교차의 보편 가족에서 매우 일반적인 섬유는 안정적으로 비유리이다.
• 이 가족 내에서 유리 섬유의 집합은 유클리드 위상에서 조밀하다. 이는 위상적으로 봤을 때 유리성이 일반적임을 시사한다.
• 특정 대칭 형식에 의해 정의된 이중도수 $(2,2)$ 를 가진 $ \mathbb{P}^2 \times \mathbb{P}^3$ 내의 기준 다양체 $Y$ 는 전문화 방법에 필요한 장애 (O) 와 해결 (R) 조건을 모두 지원한다.
• 이중도수 $(2,2)$ 를 가진 $ \mathbb{P}^2 \times \mathbb{P}^3$ 내의 초곡면과 $ℝ^7$ 내의 세 제곱형 교차의 두 가족은 동일한 기준 다양체와 분열 곡선을 공유하지만, 유리성이 아니다.
• 같은 분열 곡선을 가진 두 제곱형 번들에 대해 $H^4_0(Q_1, \mathbb{Z})$ 와 $H^4_0(Q_2, \mathbb{Z})$ 의 라티스는 2-adic 에서 서로 동치가 아니며, 이는 비유리성을 증명한다.
• 기준 다양체의 비분기 코hom올로지의 $2$- torsion 은 가족 전반에서의 유리성 행동을 구분하는 데 핵심적인 역할을 한다.