Skip to content
DraconiticResearch
Search Sources API
201,683 studies31 sourcesUpdated 31 min ago
PreprintarXiv licencearXiv

The rationality problem for hypersurfaces of degree at least five

Abstract

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 ≥ 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.

Related

  1. Strongly stable CMC-one hypersurfaces in every hyperbolic space of dimension at least four
    Zihao Wang
    arXivPreprintarXiv licenceFull textGeometry & topologyarXiv
  2. Positive Square Energy of Graphs with Minimum Degree at Least Two
    S. Akbari, Fu-Tao Hu, Ya-Yang Liu
    arXivPreprintCC0Full textCombinatorics & discrete mathematicsarXiv
  3. Morphism spaces on low degree hypersurfaces
    Hrishabh Mishra
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryarXiv
  4. Spanning Trees with Many Leaves in Graphs of Minimum Degree at Least 7
    Sogol Jahanbekam
    arXivPreprintCC BY 4.0Full textCombinatorics & discrete mathematicsarXiv
  5. Relative approximation degrees and the henselian rationality problem over perfect fields
    Arpan Dutta, Rumi Ghosh
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryarXiv
BibTeX
@misc{hotchkiss2026rationality,
  title = {{The rationality problem for hypersurfaces of degree at least five}},
  author = {James Hotchkiss},
  howpublished = {arXiv},
  year = {2026},
  month = oct,
  doi = {10.48550/arxiv.2610.10509},
  eprint = {2610.10509},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2610.10509},
}
RIS
TY  - UNPB
TI  - The rationality problem for hypersurfaces of degree at least five
AU  - James Hotchkiss
PY  - 2026
DA  - 2026/10/07
PB  - arXiv
DO  - 10.48550/arxiv.2610.10509
UR  - https://arxiv.org/abs/2610.10509
AB  - 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 ≥ 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.
ER  -