Motivic obstruction to rationality of a very general cubic hypersurface in $\mathbb P^5$


Guletskii, Vladimir (2016) Motivic obstruction to rationality of a very general cubic hypersurface in $\mathbb P^5$. Journal of Algebraic Geometry. (Submitted)

[img] Text
1605.09434v1.pdf - Submitted version
Download (365kB)

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_{\rm tr}(S)$. If the transcendental motive is indecomposable rationally, then it is indecomposable integrally. For example, $M^2_{\rm tr}(S)$ is rationally, and hence integrally indecomposable if $S$ is an algebraic $K3$-surface whose motive is known to be finite-dimensional. In the paper we prove that $M^2_{\rm 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. This applies, for example, when $S$ is the self-product of the Fermat sextic in $\mathbb P^2$. Some refinement of the same technique yields that $M^2_{\rm tr}(S_6)$ is integrally indecomposable, where $S_6$ is the Fermat sextic in $\mathbb P^3$. This suggests a conjecture saying that the transcendental motive of any smooth projective surface is integrally indecomposable. We prove in the paper that if this motivic integral indecomposability conjecture is true, and if the motive of any smooth projective surface is finite-dimensional, then a very general cubic hypersurface in $\mathbb P^5$ is not rational.

Item Type: Article
Additional Information: 47 pages
Uncontrolled Keywords: math.AG, math.AG, 14C15, 14C25, 14E08, 14J70, 14M20
Depositing User: Symplectic Admin
Date Deposited: 19 Oct 2016 08:27
Last Modified: 19 Jan 2023 07:34
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3002168
CORE (COnnecting REpositories)