The diagonal of quartic fivefolds
Abstract
We show that a very general quartic hypersurface in P6 over a field of characteristic different from 2 does not admit a decomposition of the diagonal, hence is not retract rational. This generalizes a result of Nicaise--Ottem, who showed stable irrationality over fields of characteristic 0. To prove our result, we introduce a new cycle-theoretic obstruction that may be seen as an analogue of the motivic obstruction for rationality in characteristic zero, introduced by Nicaise--Shinder and Kontsevich--Tschinkel.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.