Open Research Index

Bertini's theorem for $F$-rationality is false

Thomas Polstra, Austyn Simpson

arXivarxiv/2609.18921Sep 16, 2026math.AGscore 0

Let $k=\overline{\mathbb{F}_2}$. We construct a nine-dimensional $F$-rational affine variety $X$ admitting a locally closed embedding $X\hookrightarrow \mathbb{P}_k^{19}$ together with a dense open set $U\subseteq (\mathbb{P}^{19})^\vee$ such that $X\cap H$ is not $F$-rational (or even $F$-injective) for all $H\in U$. We also construct a nine-dimensional projective $F$-rational variety $\mathfrak{X}$ and a closed embedding $\mathfrak{X}\hookrightarrow\mathbb{P}^{29}_k$ under which the same conclusion holds.

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2609.18921
curl -X POST /api/v1/records/arxiv/2609.18921/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.18921/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'