代数幾何学 · 2026-08-20

Quasi-$F$-singularities and singularities in birational geometry

quasi-$F$特異点と双有理幾何の特異点

Tatsuro Kawakami, Shunsuke Takagi, Shou Yoshikawa

tatsuro-kawakami-i6b785 shunsuke-takagi-1jecy04 shou-yoshikawa-163p2so positive-characteristic singularities birational-geometry Singularities 特異点・特異性 Birational geometry 双有理幾何 Positive characteristic 正標数

arXiv Abstract

We give an overview of the theory of quasi-$F$-singularities, focusing on their connection with singularities in birational geometry.

日本語要約

quasi-$F$特異点の理論を、双有理幾何に現れる特異点との関係に重点を置いて概説する。

We give an overview of the theory of quasi-$F$-singularities, focusing on their connection with singularities in birational geometry.

Wittベクトルを用いて古典的$F$特異点を拡張するquasi-$F$特異点を概説し、klt・lc・pseudo-rational・pseudo-Du Bois特異点との対応を整理する。加えてquasi-$F$-injective性の判定、変形、二次元での対応に関する新結果を示す。

arXiv
2606.31666v1
初回投稿日
2026-06-30
原論文のライセンス
arXiv non-exclusive distribution license
掲載形式
Abstract・Introductionに基づく日本語要約
タグ
algebraic-geometry 2026

原論文を開く

書誌情報

要約

$F$-regular、$F$-pure、$F$-rational、$F$-injective特異点はFrobenius写像で定義され、それぞれ双有理幾何のklt、lc、pseudo-rational、pseudo-Du Bois特異点と結び付く。本論文はWittベクトルを用いるquasi-$F$版を統一的に解説する。

quasi-$F$-splittingでは長さ $n$ のWitt環 $W_nA$ とFrobeniusを用い、$n=1$ で通常の$F$-purityを回収する。この拡張は、特に二次元で双有理幾何側の特異点を古典的$F$特異点より正確に捉える。

概説に加え、quasi-$F$-injective性の局所コホモロジーによる特徴付け、quasi-$F$-rational性の変形、新たな比較定理を証明する。高次元では対応が破れる例と正標数に依存する境界も整理される。

背景と問題設定

古典的には $F$-regularならklt、$F$-pureならlcである。quasi-$F$理論では $A\to F_*^eA$ の代わりにWittベクトルから作る写像を用い、標準的特異点のより柔軟な正標数モデルを目指す。

主結果

既知の基本対応（Theorem A）

$\mathbb Q$-Gorenstein環ではquasi-$F$-regular性からklt性が従い、二次元では逆も成り立つ。quasi-$F^\infty$-split性からlc性が従い、二次元かつ $p>3$ では逆も成り立つ。これはIntroductionで既知結果として整理される。

quasi-$F$-injective性と変形（Theorem B）

Cohen–Macaulay局所環ではquasi-$F$-injective性がWitt局所コホモロジーの逆極限上のFrobenius誘導写像の単射性と同値である。また $A$ がquasi-$F$-injectiveで $A/(f)$ がquasi-$F$-rationalなら、$A$ もquasi-$F$-rationalである。

双有理特異点との二次元対応（Theorem C）

二次元pseudo-rational特異点はquasi-$F$-rationalである。quasi-$F$-injective特異点はpseudo-Du Boisであり、二次元で剰余体が完全なら逆も成り立つ。

証明の見取り図

Introductionは、Matlis双対によりsplitting条件を局所コホモロジーの単射性へ移し、Wittベクトルの長さに関する逆極限でquasi-$F$-injective性を捉える方針を示す。変形定理ではこの単射性が、超曲面切断からambient ringへquasi-$F$-rational性を持ち上げる役割を担う。

原論文との対応

  • Abstractページ: arXiv:2606.31666
  • Introduction: Section 1, pp. 1–4
  • 主要結果: Theorems A–C
  • 確認したarXivバージョン: v1
  • source_scope: Abstract and Introduction