[論文レビュー] Relating F-Signature and F-Splitting Ratio of Pairs Using Left-Derivatives

Eric Canton|arXiv (Cornell University)|Jun 19, 2012

Algebraic Geometry and Number Theory参考文献 8被引用数 4

ひとこと要約

本稿では、F-署名関数の左微分を用いて、対 $(R, f^t)$ のF-署名とF-スプライシング比の間の関係を確立し、F純正閾値 $c$ における1階の左微分がF-スプライシング比 $r_F(R, f^c)$ に比例することを示している。さらに、2変数における相異なる線形形式の積としての $f$ について、F-署名関数の一様収束を証明し、F-署名関数の計算と可視化に適したMacaulay2コードを明示的に提供している。

ABSTRACT

We first relate an approximate $n^{th}$-order left derivative of $s(R, f^t)$ at the F-pure threshold $c$ to the F-splitting ratio $r_F(R, f^c)$. Next, we apply the methods developed by Monsky and Teixeira in their investigation of syzygy gaps and $p$-fractals to obtain uniform convergence of the F-signature when $f$ is a product of distinct linear polynomials in two variables. Finally, we explicitly compute the F-signature function for several examples using Macaulay2 code outlined in the last section of this paper.

研究の動機と目的

• F-署名関数の高階の左微分を用いて、対 $(R, f^t)$ のF-署名とF-スプライシング比を関連付ける。
• シンジージギャップおよび $p$-フラクタルに関するモンスキーとタイクセイラの手法を拡張し、$f$ が2変数における相異なる線形多項式の積である場合に、F-署名関数の一様収束を確立する。
• Macaulay2による明示的な計算ツールを提供し、F-署名関数 $s(R, f^t)$ の計算と可視化を行う。
• 既知の $t=1$ における $s(R, f^t)$ の1階左微分に関する結果を、F純正閾値 $c$ における高階微分に一般化する。

提案手法

• F-署名関数 $s(R, f^t)$ の左微分を用いて、F純正閾値 $c$ の近傍におけるその挙動とF-スプライシング比 $r_F(R, f^c)$ の関係を分析する。
• モンスキーとタイクセイラのシンジージギャップおよび $p$-フラクタルに関する技術を応用し、F-署名関数の収束を分析する。
• $f$ が2変数における相異なる線形形式の積であるとき、$e \to \infty$ においてF-署名関数が極限多項式に一様収束することを証明する。
• $(R, f^t)$ のスプライシング素イデアルを定義し、それを用いてF-スプライシング比の構造とF-署名との関係を研究する。
• Macaulay2で計算ルーチンを実装し、商環 $R / (\mathfrak{m}^{[p^e]} : f^{\lceil t(p^e - 1)\rceil})$ の長さを用いて、$t = a/p^e$ における $s(R, f^t)$ を計算する。
• Macaulay2の計算出力をもとにgnuplotを用いてF-署名関数およびその極限多項式のプロットを生成する。

実験結果

リサーチクエスチョン

• RQ1 F純正閾値 $c$ におけるF-署名関数 $s(R, f^t)$ の1階左微分は、F-スプライシング比 $r_F(R, f^c)$ とどのように関係しているか？
• RQ2 モンスキーとタイクセイラのシンジージギャップおよび $p$-フラクタルに関する手法を用いて、$f$ が2変数における相異なる線形形式の積である場合に、F-署名関数の一様収束を証明できるか？
• RQ3 Fが2変数における相異なる線形形式の積である場合に、F-署名関数の極限多項式の明示的形は何か？
• RQ4 計算代数系を用いて、特定の多項式に対してF-署名関数 $s(R, f^t)$ を効果的に計算・可視化する方法は何か？

主な発見

• F純正閾値 $c$ における $s(R, f^t)$ の1階左微分は、F-スプライシング比 $r_F(R, f^c)$ に比例しており、$t=1$ の場合に既知の結果を一般化している。
• $f$ が2変数における $n$ 個の相異なる線形形式の積であるとき、$e \to \infty$ においてF-署名関数は極限多項式に一様収束し、収束速度は $p$-フラクタルの挙動によって制御される。
• 標数29で $f = xy(x+y)(x+2y)$ の場合、F-署名関数は区間 $[0, 1/2]$ で二次多項式 $4t^2 - 4t + 1$ に非常に近い。
• 標数5で $f = xy(x+y)$ の場合、F純正閾値は $3/5$ であり、F-署名関数は区間 $[0, 3/5]$ で $\frac{9}{4}t^2 - 3t + 1$ に非常に近い。
• F-署名関数とその極限多項式との差は、$\frac{1}{4}\delta_f(t)^2$ でよく近似され、3本の直線を含む例題で明示的に計算されている。
• 提供されたMacaulay2コードにより、$t = a/p^e$ における $s(R, f^t)$ の効率的計算が可能となり、プロットや解析に適した出力が得られる。