[논문 리뷰] Motivic obstruction to rationality of a very general cubic hypersurface in $\mathbb P^5$. Part I

Vladimir Guletskiĭ|arXiv (Cornell University)|2000. 01. 01.

Algebraic Geometry and Number Theory참고 문헌 9인용 수 4

한 줄 요약

이 논문은 매우 일반적인 $ℝ^5$ 속의 입체 초곡면에 대한 유리성에 대한 모티브적 차단 조건을 확립한다. 이를 위해, 매끄러운 사영 면 $S$의 초월적 모티브 $M^2_{<textrm{tr}>}(S)$가 유한 차원적이고 정수적으로 분해 불가능할 경우, 그 입체 초곡면은 유리적이지 않음을 증명한다. 이 결과는 예를 들어 $S$가 페르마의 6차 곡선의 자기곱일 경우에 적용된다.

ABSTRACT

Let $S$ be a smooth projective surface over a field. We introduce the notion of integral decomposability and, respectively, the opposite notion of integral indecomposability, of the transcendental motive $M^2_{ m tr}(S)$. If the transcendental motive is indecomposable rationally, then it is indecomposable integrally. For example, $M^2_{ m tr}(S)$ is rationally, and hence integrally indecomposable if $S$ is the self-product of an elliptic curve with complex multiplication, or an algebraic $K3$-surface, if we know that its motive is finite-dimensional. In the paper we prove that $M^2_{ m tr}(S)$ is integrally indecomposable when $S$ is the self-product of a smooth projective curve having enough morphisms onto an elliptic curve with complex multiplication over the ground field. This applies, for example, if $S$ is the self-product of the Fermat sextic in $\mathbb P^2$. Our main result asserts that if the transcendental motive $M^2_{ m tr}(S)$ is finite-dimensional and integrally indecomposable, for any smooth projective surface $S$ over $\mathbb C$, then a very general cubic hypersurface in $\mathbb P^5$ is not rational.

연구 동기 및 목표

• 표면의 기하학을 이용하여 $ℝ^5$ 속 입체 초곡면에 대한 모티브적 유리성 장애를 확립한다.
• 매끄러운 사영 면 $S$에 대해 초월적 모티브 $M^2_{<textrm{tr}>}(S)$의 정수적 분해 가능성과 불가능성을 정의하고 연구한다.
• 만일 $S$가 복소 곱승을 가진 타원곡선으로의 충분한 수의 사상이 존재하는 곡선의 자기곱일 경우, $M^2_{<textrm{tr}>}(S)$가 정수적으로 분해 불가능하다는 것을 증명한다.
• 이를 적용하여, $M^2_{<textrm{tr}>}(S)$가 유한 차원적이고 정수적으로 분해 불가능할 경우, $ℝ^5$ 속 매우 일반적인 입체 초곡면이 유리적이지 않음을 보인다.
• 기존의 유리적 분해 불가능성에 기반한 유리성 장애 결과를, 더 강력한 정수적 조건으로 확장한다.

제안 방법

• 매끄러운 사영 면 $S$에 대해 초월적 모티브 $M^2_{<textrm{tr}>}(S)$의 정수적 분해 가능성과 불가능성의 개념을 도입한다.
• 유리적 분해 불가능성이 정수적 분해 불가능성을 함의하며, 정수적 분해 불가능성에 대한 충분조건을 확립한다.
• 기초 체 위에서 복소 곱승을 가진 타원곡선으로의 충분한 수의 사상이 존재하는 매끄러운 사영 곡선 $C$에 대해, $S = C \times C$의 모티브를 분석한다.
• 모티브의 유한 차원성과 사상의 구조를 이용하여 $M^2_{<textrm{tr}>}(S)$가 정수적으로 분해 불가능하다는 것을 보인다.
• 모티브적 장애 이론을 적용하여, $M^2_{<textrm{tr}>}(S)$가 유한 차원적이고 정수적으로 분해 불가능할 경우, $ℝ^5$ 속 매우 일반적인 입체 초곡면이 유리적이지 않음을 유도한다.
• 기존의 $K3$ 표면과 복소 곱승을 가진 타원곡선에 대한 결과를 활용하여, $S$에 대한 조건을 검증한다.

실험 결과

연구 질문

• RQ1 매끄러운 사영 면 $S$에 대해, 그 초월적 모티브 $M^2_{<textrm{tr}>}(S)$가 언제 정수적으로 분해 불가능한가?
• RQ2 정수적 분해 불가능성이 $ℝ^5$ 속 매우 일반적인 입체 초곡면의 유리성에 영향을 주는가?
• RQ3 초월적 모티브의 정수적 분해 불가능성으로 유리성 장애를 강화할 수 있는가?
• RQ4 페르마의 6차 곡선의 자기곱의 초월적 모티브는 정수적으로 분해 불가능한가?
• RQ5 곡선에서 복소 곱승을 가진 타원곡선으로의 사상 존재성이 모티브의 정수적 분해 불가능성에 어떤 역할을 하는가?

주요 결과

• 만일 $S$가 기초 체 위에서 복소 곱승을 가진 타원곡선으로의 충분한 수의 사상이 존재하는 매끄러운 사영 곡선의 자기곱일 경우, 초월적 모티브 $M^2_{<textrm{tr}>}(S)$는 정수적으로 분해 불가능하다.
• 이러한 표면 $S$에 대해, 모티브 $M^2_{<textrm{tr}>}(S)$는 유한 차원적이고 정수적으로 분해 불가능하며, 주요 정리의 핵심 가정을 만족한다.
• 주요 결과는 $M^2_{<textrm{tr}>}(S)$가 유한 차원적이고 정수적으로 분해 불가능할 경우, $ℝ^5$ 속 매우 일반적인 입체 초곡면은 유리적이지 않다는 것을 확립한다.
• 이 결과는 $C$가 $ℝ^2$ 속 페르마의 6차 곡선일 경우 $S = C \times C$에 적용되며, 이 경우 충분한 수의 사상이 타원곡선으로 존재한다.
• 정수적 분해 불가능성은 유리적 분해 불가능성보다 더 강력한 조건이며, 이 논문은 이를 새로운 유리성 장애를 도출하는 데 활용한다.
• 이 논문은 이전의 유리 모티브 기반 결과를 초월하여, 비유리성에 대한 모티브 기준을 제시한다.