Search papers, labs, and topics across Lattice.
We prove that very general hypersurfaces of degree $\ge 5$ and positive dimension lack a decomposition of the diagonal over uncountable algebraically closed fields of characteristic $\ne 2$, implying they are not stably or retract rational. This is achieved by constructing a quintic hypersurface in dimensions $\ge 8$ exhibiting a nonzero unramified cohomology class and being rationally fibered by quadrics over a lower-dimensional projective space. The result then follows from Schreieder's established methods.
Quintic hypersurfaces of degree $\ge 5$ are provably not stably or retract rational, shattering assumptions about their geometric properties.
We prove that a very general hypersurface of degree at least five and any positive dimension does not have a decomposition of the diagonal, over an uncountable algebraically closed field of characteristic not $2$. In particular, such hypersurfaces are not stably or retract rational. For the proof, we construct (in each dimension $\geq 8$) a certain quintic hypersurface with a nonzero unramified cohomology class, and which is rationally fibered by quadrics over a lower-dimensional projective space. From our construction, the main result follows using methods developed by Schreieder.