[論文レビュー] Non-quasi-$F$-split canonical affine fourfolds exist in every characteristic

Teppei Takamatsu, Shou Yoshikawa|arXiv (Cornell University)|Feb 16, 2026

Algebraic Geometry and Number Theory被引用数 0

ひとこと要約

著者らは $Q$-因子化された準標準Gorensteinアフィン四次元多様体を構築する。これらは任意の正の特性において準 quasi-$F$-split ではなく、特性3を超える範囲で以前の例を拡張する。

ABSTRACT

We construct canonical $\mathbb{Q}$-factorial Gorenstein affine fourfolds in every positive characteristic that are not quasi-$F$-split.

研究の動機と目的

• 正の特性における $F$-奇異性と最小モデル法の特異性との関係を動機づけて研究する。
• すべての特性 $p>0$ に対して非 quasi-$F$-split の例の存在を一般化する。
• 非 quasi-$F$-split でないことを得る $ Q$-factorial な準 Gorenstein アフィン四次元多様体を explícitamente 構築する。

提案手法

• 次数4の同次多項式を用いた純代数的構成を定義し、 characteristic $p$ で滑らかな K3 面と四次曲面を構築する。
• $A/f$ の形のアフィン超曲面を構築し、Delta 演算子 $ abla(g)$ および関連基準を通じて $F$-奇異性の挙動を解析する。
• 一連の blowup と制御された劣化を用いて、所望の特異性を持つ四次元多様体を生成する。
• 変数 $t$ を加えること（すなわち $f+t^m$ を考える）によって非 quasi-$F$-split 挙動を示すために、 quasi-$F$-splitting の Fedder 型基準を用いる。
• 連続的な blowup 系と特異点での除去成分の分析を通じて、最終的な四次元多様体が $Q$-factorial かつ canonical（Gorenstein）であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 Canonical な $Q$-factorial Gorenstein アフィン四次元多様体が、すべての正の特性において准 quasi-$F$-split ではない存在があるか？
• RQ2 滑らかな超特異K3面を定義する次数4多項式を明示的に用い、変形 $f+t^m$ の後に非 quasi-$F$-split の超曲面を生み出せるか？
• RQ3 $Q$-factorial 性を保ちつつ、極限で非 quasi-$F$-split を保証する blowup 構成とは何か？
• RQ4 Delta 演算子が $f$ の冪にどのように関与して、特性を超えて quasi-$F$-splitting を妨げるのか？

主な発見

• 任意の特性 $p>0$ の代数閉包体上で、非 quasi-$F$-split である $Q$-factorial canonical Gorenstein アフィン四次元多様体 $X$ が存在する。
• 適切な $m$ に対して X_m = Spec(k[x,y,z,w,t]/(f(x,y,z,w)+t^m)) の明示的族は、$X_n$ が canonical で特異 locus が制御可能、非 quasi-$F$-split 挙動を示す。
• 構成は、滑らかな（超特異）K3 曲面を定義する四次多項式 $f$ に依存し、$t^m$ による変形後の非 quasi-$F$-split を検出する Fedder 型基準を用いる。
• この論文は前例の $p=3$ の例を、対応する K3 面の Hasse 不変量および Artin 不変量の慎重な分析を通じて、すべての素数へと拡張する。
• K3 曲面上の錐の形をモデルとした特異点を持つ除去分を用いた blowup の連続列により、最終的な四次元多様体の $Q$-factorial性を確保する。
• $p=2$ の場合、特定の大きな $m$ に対して非 quasi-$F$-splitting を explicit に計算で確認し、一般的な枠組みは命題 2.8 および定理 2.10 によって提供される。