[論文レビュー] F-signature of pairs and the asymptotic behavior of Frobenius splittings

Manuel Blickle, Karl Schwede+1 more|arXiv (Cornell University)|Jul 6, 2011

Algebraic Geometry and Number Theory参考文献 30被引用数 9

ひとこと要約

本稿は、Cartier代数𝒟を用いて、古典的F-符号数を一般化した対(R,𝒟)のF-符号数を導入し、強くF正則な対に対してその存在と正値性を確立する。F純粋な局域環のF-スプリット比が正に保たれることを証明することで、I. AberbachとF. Enescuによる未解決問題を解決し、単項式イデアルにおけるニュートン多面体を用いた両不変量の有効な計算方法を提供する。具体的には、Eucledian体積に基づく明示的公式が得られる。

ABSTRACT

We generalize $F$-signature to pairs $(R,D)$ where $D$ is a Cartier subalgebra on $R$ as defined by the first two authors. In particular, we show the existence and positivity of the $F$-signature for any strongly $F$-regular pair. In one application, we answer an open question of I. Aberbach and F. Enescu by showing that the $F$-splitting ratio of an arbitrary $F$-pure local ring is strictly positive. Furthermore, we derive effective methods for computing the $F$-signature and the $F$-splitting ratio in the spirit of the work of R. Fedder.

研究の動機と目的

• 環R上のCartier部分代数𝒟に対して、F-符号数不変量を対(R,𝒟)に一般化し、正則環を超える適用可能性を拡張すること。
• 強くF正則な対に対してF-符号数の存在と正値性を確立することで、より広範な文脈における特異度の定量的評価を可能とすること。
• I. AberbachとF. Enescuが提起したF-スプリット比に関する未解決問題を解決し、F純粋な局域環に対してF-スプリット比が正に保たれることを証明すること。
• 特に単項式イデアルの文脈において、F-符号数とF-スプリット比の有効な計算手法を開発すること。
• Frobeniusスプリットの漸近的挙動とニュートン多面体やEucledian体積といった幾何的不変量との関係を確立すること。

提案手法

• F-スプリット数$a_e^{\mathscr{D}}$を、$R^{1/p^e} \to R$への$\mathscr{D}_e$-写像の最大個数として定義し、対のF-符号数の基礎を築く。
• Frobenius反復と整合性を持つ合成に関して、$\mathscr{D}$を階数付き非可換環として構成するCartier部分代数として定義する。
• 極限$ s(R,\mathfrak{a}^t) = \lim_{e \to \infty} \frac{1}{p^{ed}} \ell_S\left( \frac{\overline{\mathfrak{a}^{tp^e}}}{\overline{\mathfrak{a}^{tp^e}} \cap \mathfrak{n}^{[p^e]}} \right) $を用いて、対$(S,\mathfrak{a}^t)$のF-符号数を定義する。
• 単項式イデアルの場合、F-符号数をEucledian体積$ \operatorname{vol}_{\mathbb{R}^n}(t\mathbf{P}_\mathfrak{a} \cap [0,1]^n) $として計算する。ここで$ \mathbf{P}_\mathfrak{a} $はニュートン多面体を表す。
• 格子点数と幾何的体積の関係を示す漸近的体積公式$ \operatorname{vol}(Q) = \lim_{q \to \infty} \frac{\#(qQ)}{q^n} $を活用する。
• F純粋環に対して、F-スプリット比$ r_F(R) = \lim_{e \to \infty} \frac{a_e}{p^{e \dim(R/P)}} $が正に保たれることを示すために、商$ R/P $が強くF正則であることに還元する。

実験結果

リサーチクエスチョン

• RQ1 Cartier部分代数𝒟に対して、対(R,𝒟)のF-符号数が存在し、特に強くF正則な対の場合に正値を保つのか。
• RQ2 AberbachとEnescuが予想したように、F純粋な局域環Rに対してF-スプリット比$r_F(R)$は正に保たれるのか。
• RQ3 形式的級数環$ S = k[[x_1,\dots,x_n]] $と単項式イデアル𝔞に対して、F-符号数$s(S,\mathfrak{a}^t)$は、ニュートン多面体といった幾何的不変量を用いて有効に計算可能か。
• RQ4 環RにおけるFrobeniusスプリットの漸近的成長は、F-スプリット素数Pの次元とどのように関係するか。また、正規化された極限によってその関係を定量的に表現できるか。
• RQ5 対$(S,\mathfrak{a}^t)$のF-符号数と、スケーリングされたニュートン多面体$t\mathbf{P}_\mathfrak{a}$と単位立方体の交差の体積との正確な関係は何か。

主な発見

• 強くF正則な対に対して、対(R,𝒟)のF-符号数は存在し、正値をとる。これは、古典的F-符号数をより広範な特異点のクラスへ一般化するものである。
• F純粋な局域環Rに対して、F-スプリット比$r_F(R)$は正に保たれる。これは、AberbachとEnescuによる未解決問題を解決するものである。
• 形式的級数環$ S = k[[x_1,\dots,x_n]] $における単項式イデアル𝔞に対して、F-符号数$s(S,\mathfrak{a}^t)$はEucledian体積$ \operatorname{vol}_{\mathbb{R}^n}(t\mathbf{P}_\mathfrak{a} \cap [0,1]^n) $に等しくなる。これにより、有効な計算公式が得られる。
• F-符号数の公式は、係数体kや特徴数p > 0に依存せず、𝔞のニュートン多面体にのみ依存する。
• 明示的な区分多項式公式が導出され、たとえば$ s(k[[x,y]],\langle x^3,y^2\rangle^t) = \begin{cases} 1-3t^2 & 0 \leq t \leq \frac{1}{3} \\ \frac{4}{3}-2t & \frac{1}{3} \leq t \leq \frac{1}{2} \\ \frac{25}{12}-5t+3t^2 & \frac{1}{2} \leq t \leq \frac{5}{6} \end{cases} $のように、その区分多項式性質が明確に示される。
• 理論により、Frobeniusスプリット数の漸近的比較が$ p^{e \dim(R/P)} $に対して正確に可能となり、RがF純粋であるとき、その成長率がこの項の正の定数倍で下から抑えられることを示している。