Baker asked, as recorded by Poonen, whether a fixed smooth quasiprojective variety over a finite field must have a smooth rational hyperplane section after every sufficiently high-dimensional linearly nondegenerate embedding. Poonen predicted a negative answer for every positive-dimensional variety. We prove this predicted negative answer for each prescribed variety: if is nonempty, smooth, quasiprojective, and of pure positive dimension over , then for every sufficiently large there is a locally closed embedding whose components remain linearly nondegenerate after arbitrary scalar extension, but whose every -rational hyperplane section is singular. The construction assigns one closed point of to each rational hyperplane and forces the pulled-back linear form to have zero first-order jet at that point.

生成讲解博客的中文版本

生成AI智能校验的中文版本