[논문 리뷰] Hypersurfaces that are not stably rational

Burt Totaro|arXiv (Cornell University)|2015. 02. 13.

Algebraic Geometry and Number Theory참고 문헌 21인용 수 6

한 줄 요약

이 논문은 특성 2에서의 분해 방법을 사용하여, $ \mathbb{P}^{n+1} $ 내에서 $ d \geq 2\lceil(n+2)/3\rceil $ 인 매우 일반적인 복소수 초곡면이 안정적으로 유리적이지 않음을 입증한다. 주요 기여는 이전까지 알려진 바가 없었던 낮은 차수로까지 안정적 유리성 결과를 확장한 것으로, 특히 4차 4차원 초곡면을 포함하며, 유리성이 조건부로 klt 특이점으로까지 전이되지 않음을 증명한 것이다.

ABSTRACT

We show that a wide class of hypersurfaces in all dimensions are not stably rational. Namely, for all d at least about 2n/3, a very general complex hypersurface of degree d in P^{n+1} is not stably rational. The statement generalizes Colliot-Thelene and Pirutka's theorem that very general quartic 3-folds are not stably rational. The result covers all the degrees in which Kollar proved that a very general hypersurface is non-rational, and a bit more. For example, very general quartic 4-folds are not stably rational, whereas it was not even known whether these varieties are rational.

연구 동기 및 목표

• 프로젝티브 공간 내에서 안정적으로 유리인 초곡면이 어떤 것인지, 특히 콜라르의 비유리성 정리에서 다루지 않은 차수 이하의 경우를 결정하는 것.
• 이전까지 알려진 범위를 초월하여 안정적 유리성 결과의 적용 범위를 확장하는 것, 특히 $ d \geq 2\lceil(n+2)/3\rceil $ 인 초곡면에 대해.
• 유리성이 조건부로 klt 특이점으로까지 전이되지 않음을 보여주는 것, 즉 일반 섬유가 유리일지라도 그렇다고 해서 특이점으로까지 전이되지 않는다는 것.
• 산술적 분해 기법을 사용하여, $ \overline{\mathbb{Q}} $ 위에서 정의된 매끄러운 초곡면의 명시적 예를 제시하여, 그들 중 일부가 $ \mathbb{C} $ 위에서 안정적으로 유리적이지 않음을 보이는 것.
• 특히 특성 2를 포함한 양의 특성에서, 보신 및 콜리오-테렌 및 푸리투카의 분해 방법을 더 넓은 범위의 초곡면으로 일반화하는 것.

제안 방법

• 특성 2에서의 매끄러운 초곡면을 특이 다양체로의 분해를 사용하여 안정적 유리성을 연구하는 것.
• 만일 0차 사이클의 초군집합이 유니버설리 자명하지 않다면, 다양체는 안정적으로 유리적이지 않다는 기준을 적용하는 것.
• 특성 2에서 매끄러운 차수 $ d $ 초곡면을 차수 $ d/2 $ 초곡면 위의 이중 쌍대 덮개로 분해하는 것.
• 특수 섬유의 $ H^3 $ 에서 비자명한 토판이 존재함을 이용하여, 콜리오-테렌 및 푸리투카의 결과를 통해 $ CH_0 $ 가 유니버설리 자명하지 않음을 유도하는 것.
• 플라우틴의 정리에 따라 $ CH_0 $ 가 안정적 비라시오 동치에 대해 불변임을 이용하여, 특수 섬유로부터 일반 섬유로 비자명성을 전이하는 것.
• 베론제 임bedding을 사용하여 프로젝티브 공간을 팔라멘트 초곡면 위의 콘의 분해로 표현함으로써, 비유리 klt 다양체로 분해되는 유리 가중족의 구축을 가능하게 하는 것.

실험 결과

연구 질문

• RQ1 차수 $ d \geq 2\lceil(n+2)/3\rceil $ 인 $ \mathbb{P}^{n+1} $ 내의 매우 일반적인 초곡면은 안정적으로 유리인가?
• RQ2 보신 및 콜리오-테렌–푸리투카의 분해 방법은 이전까지 알려진 바보다 낮은 차수의 초곡면으로 일반화될 수 있는가?
• RQ3 프로젝티브 다양체의 가중족에서 유리성이 klt 특이점으로까지 전이되는가?
• RQ4 명시적인 예를 $ \overline{\mathbb{Q}} $ 위에서 구성할 수 있는가? 즉, $ \mathbb{C} $ 위에서 안정적으로 유리적이지 않은 매끄러운 초곡면의 예를 제시할 수 있는가?
• RQ5 특히 특성 2에서, 토판 코hom올로지의 탐지 기반으로 안정적 유리성이 아닌 것을 확인하는 데 양의 특성이 어떤 역할을 하는가?

주요 결과

• 모든 $ n \geq 3 $ 과 $ d \geq 2\lceil(n+2)/3\rceil $ 에 대해, $ \mathbb{P}^{n+1} $ 내에서 차수 $ d $ 인 매우 일반적인 복소수 초곡면은 안정적으로 유리적이지 않다.
• 이 결과는 이전까지 안정적으로 유리적이지 않다는 것이 알려지지 않았던 4차 4차원 초곡면을 포함하며, 콜라르의 경계 $ d \geq 2\lceil(n+3)/3\rceil $ 를 초월한다.
• 짝수 $ d $ 에 대해, $ \overline{\mathbb{Q}} $ 위에서 정의된 일부 매끄러운 초곡면에 대해서도 결과가 적용되며, $ \mathbb{C} $ 위에서 안정적으로 유리적이지 않다.
• 논문은 $ \mathbb{Q} $ 위에서 명시적인 예를 제시한다. 예를 들어, 매끄러운 4차 3차원 초곡면의 기저 변경이 $ \mathbb{C} $ 에서 $ CH_0 $ 가 유니버설리 자명하지 않음을 보여주며, 따라서 안정적으로 유리적이지 않다.
• 특성 2에서의 분해 방법은 특수 섬유의 해소 후의 $ H^3 $ 에서 비자명한 토판을 유도하며, 이는 $ CH_0 $ 의 유니버설리 자명하지 않음을 암시한다.
• 보조정리 4.1은 유리성이 klt 특이점으로까지 전이되지 않음을 보여준다: $ \mathbb{A}^1 $ 위에서의 $ m $-차원 다양체의 평탄한 가중족에서 $ \mathbb{A}^1 - \{0\} $ 에서는 매끄럽고 유리한 섬유를 가지며, 0에서 비유리인 klt 섬유를 가진다.