F有理性のベルティーニ型主張に反例を構成
Bertini's theorem for $F$-rationality is false
この論文をやさしく読む
ひとことで言うと
F有理性という性質を持つ多様体でも、一般的な超平面で切るとその性質が失われる例を作る研究です。
何に役立つ？
正標数の代数幾何で、超平面切断が特異点の性質を保つと期待できる範囲を見極める材料になります。
この研究の面白いところ
例外的な一枚の超平面ではなく、稠密開集合に属するすべての超平面で失敗する、アフィンと射影の両方の例を示します。
どこまで分かった？
構成は標数2の代数閉体上の9次元多様体です。他の標数や次元における成立・不成立は要旨では論じられていません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
kを2元体F₂の代数閉包とする。局所閉埋め込みX→P¹⁹_kを持つ9次元のF有理なアフィン多様体Xと、双対射影空間(P¹⁹)∨の稠密開集合Uを構成し、すべてのH∈UについてX∩HがF有理でなく、F単射ですらないようにする。さらに、9次元のF有理な射影多様体𝔛と閉埋め込み𝔛→P²⁹_kを構成し、その下で同じ結論が成り立つようにする。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-16（UTC）
- 最新改訂
- 2026-09-16 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-16 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
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.
著者のコメント
19 pages, comments welcome
arXiv ID: 2609.18921 ／ 要約の誤りについて