代数幾何学 · 2026-08-21
F-rationality of multiplicity-free subvarieties
multiplicity-free部分多様体のF-rationality Matt Larson matt-larson-1mzbbys positive-characteristic singularities Singularities 特異点・特異性 Positive characteristic 正標数arXiv Abstract
A multiplicity-free subvariety of a product of projective lines is a subvariety with the property that the expansion of its Chow class in the usual basis has all coefficients equal to 0 or 1. We show that, over a field of positive characteristic, a multiplicity-free subvariety has F-rational singularities. This strengthens Brion's result that multiplicity-free subvarieties are normal and Cohen--Macaulay, and that they have rational singularities over a field of characteristic 0.
日本語要約
射影直線の積のmultiplicity-free部分多様体が、正標数でF-rational singularityをもつことを示す。これはnormalityとCohen–Macaulay性、および標数零でのrational singularityに関するBrionの結果を強化する。
A multiplicity-free subvariety of a product of projective lines is a subvariety with the property that the expansion of its Chow class in the usual basis has all coefficients equal to 0 or 1. We show that, over a field of positive characteristic, a multiplicity-free subvariety has F-rational singularities. This strengthens Brion's result that multiplicity-free subvarieties are normal and Cohen--Macaulay, and that they have rational singularities over a field of characteristic 0.
正標数の射影直線の積にあるmultiplicity-free integral subvarietyが幾何的F-rational singularityをもつことを示す。Brionのnormal・Cohen–Macaulay性と標数零のrational singularityを強化し、flag varietyのSchubert基底に関する一般化にも証明が及ぶ。
algebraic-geometry 2026書誌情報
- arXiv: arXiv:2608.16999v1
- 著者: Matt Larson
- 初回投稿日: 2026-08-17
- 最終更新日: 2026-08-17
- 主分類・副分類: math.AG, math.AC
- ライセンス: arXiv non-exclusive distribution license
要約
$(\mathbf P^1)^n$ の部分多様体のChow classをcoordinate subspaceの基底で展開し、全係数が0または1のときmultiplicity-freeと呼ぶ。この組合せ的条件が局所特異点を強く制御することを示す。
正標数でmultiplicity-free integral subvarietyはgeometrically F-rationalである。これは既知のnormalityとCohen–Macaulay性より強く、標数零へspread outしたときのrational singularityも回収する。
背景と問題設定
F-rationalityはtight closureまたはlocal cohomologyへのFrobenius作用で定義される。論文はCohen–Macaulay性に加え、任意のalteration $\pi:X\to Y$ に対する
$$ \pi_*\omega_X\longrightarrow\omega_Y $$
のsurjectivityを使う特徴づけを採用する。
主結果
幾何的F-rationality（Theorem 1.2）
正標数の体 $k$ 上で、$Y\subset(\mathbf P^1)^n$ をmultiplicity-free integral subvarietyとする。このとき $Y$ はgeometrically F-rational singularitiesをもつ。証明はより一般のflag varietyにおけるSchubert basis版にも適用される。
証明の見取り図
Brionの議論と同様にmultiplicity-free性から幾何を制御するが、alterationからcanonical sheafへのpushforwardのsurjectivityを示すため、Blickle–Schwede–Tuckerのvanishing theoremを主要入力とする。
原論文との対応
- Introduction: Section 1, pp. 1–2
- 主要結果: Theorem 1.2
- Abstractページ: arXiv:2608.16999
- 確認したarXivバージョン: v1
- 確認したライセンス: arXiv non-exclusive distribution license
- source_scope: Abstract and Introduction