[논문 리뷰] Stable rationality of orbifold Fano threefold hypersurfaces

Takuzo Okada|arXiv (Cornell University)|2016. 08. 03.

Algebraic Geometry and Number Theory참고 문헌 23인용 수 7

한 줄 요약

이 논문은 보편적 CH₀-자명성의 전문화와 p에 대한 모듈로 환원 기법을 사용하여 매우 일반적인 오비폴드 팔로 3차원 가중 히프레르피어의 합리성과 안정 합리성을 해결한다. 인덱스 1 또는 2인 모든 이러한 3차원 가중 히프레르피어는 삼차 3차원 가중 히프레르피어를 제외하고는 안정 합리적이지 않음을 증명하며, 인덱스 >2인 27가지 가족 중 20개는 합리적이지만 7개는 안정 합리적이지 않다. 이는 삼차 3차원 가중 히프레르피어를 제외한 문제를 완전히 해결한다.

ABSTRACT

We determine the rationality of very general quasismooth Fano 3-fold weighted hypersurfaces completely and determine the stable rationality of them except for cubic 3-folds. More precisely we prove that (i) very general Fano 3-fold weighted hypersurfaces of index 1 or 2 are not stably rational except possibly for the cubic threefolds, (ii) among the 27 families of Fano 3-fold weighted hypersurfaces of index greater than 2, very general members of specific 7 families are not stably rational and the remaining 20 families consists of rational varieties.

연구 동기 및 목표

• 매우 일반적인 오비폴드 팔로 3차원 가중 히프레르피어의 합리성과 안정 합리성을 결정하는 것.
• 종단적 몰입 특이점이 있는 특이적, 약간 특이적인 팔로 3차원 가중 히프레르피어에 대한 기존의 안정 비합리성 결과를 확장하는 것.
• 130가지 오비폴드 팔로 3차원 가중 히프레르피어 가족의 합리성 분류를 완성하는 것(삼차 3차원 가중 히프레르피어를 제외하고).
• 3차원에서 절대 복잡도 기반의 합리성 기준의 날카로움을 시험하는 것.

제안 방법

• 보편적 CH₀-자명성의 전문화를 위한 전문화 추론의 적용 — 원래 바이진이 개발하고 콜리오-티엘렌과 피루타크가 확장한 바.
• Kollár가 도입한 p에 대한 모듈로 환원 기법을 사용하여 안정 비합리성을 탐지하는 것.
• CH₀-자명성 전문화와 mod p 환원을 조합하여 가족 전체에 걸쳐 안정 합리성을 분석하는 것.
• 가중 히프레르피어 X_d ⊂ ℙ(a₀,…,a₄)의 인덱스 α = ∑a_i − d를 명시적으로 계산하여 가족을 인덱스로 분류하는 것.
• 절대 복잡도 γ = 3/2인 로그 캐논리컬 쌍 (X, Δ)의 구성으로 합리성 기준의 날카로움을 시험하는 것.
• 특이점에서 쌍 (X, Δ)의 로그 캐논리컬성을 확인하기 위해 블로업과 오비폴드 차트를 사용하는 것.

실험 결과

연구 질문

• RQ1 매우 일반적인 팔로 3차원 가중 히프레르피어의 인덱스 1 또는 2인 경우는 안정 합리적인가?
• RQ2 인덱스 >2인 팔로 3차원 가중 히프레르피어의 27가지 가족 중 어느 것이 안정 합리적이지 않은가?
• RQ3 절대 복잡도 γ < 3/2 기반의 합리성 기준은 3차원에서 날카로운가?
• RQ4 CH₀-자명성 전문화와 mod p 환원의 조합은 특이적 팔로 3차원 가중 히프레르피어의 안정 비합리성을 탐지할 수 있는가?
• RQ5 팔로 3차원 가중 히프레르피어 중 삼차 3차원 가중 히프레르피어의 안정 합리성 상태는 무엇인가?

주요 결과

• 인덱스 1인 매우 일반적인 팔로 3차원 가중 히프레르피어는 안정 합리적이지 않다.
• 인덱스 2인 매우 일반적인 팔로 3차원 가중 히프레르피어는 삼차 3차원 가중 히프레르피어를 제외하고는 안정 합리적이지 않다.
• 인덱스 >2인 27가지 가족 중 20가지 가족은 합리적 다양체를 이루며, 7가지 가족은 매우 일반적인 원소가 안정 합리적이지 않다.
• 절대 복잡도 γ < 3/2 기반의 합리성 기준은 3차원에서 날카로우며, γ = 3/2인 반례를 통해 이를 입증하였다.
• 팔로 3차원 가중 히프레르피어 X₆ ⊂ ℙ(1,1,2,2,3)은 (안정적으로) 합리적이지 않으며, Cl(X) ≅ ℤ 이고 2- torsion 이 없다.
• X₆ ⊂ ℙ(1,1,2,2,3)의 예는 γ = 3/2를 실현하며, 합리성 기준에서 조건 γ < 3/2를 약화시킬 수 없음을 보여준다.