Bounds on the F-Pure Threshold of Isolated Hypersurface Singularities

技術要約：孤立超曲面特異点におけるF-純閾値の境界

問題提起
本論文は、標数 $p > 0$ の代数閉体 $k$ 上で定義された孤立超曲面特異点のF-純閾値（fpt）を抑え込む問題を扱う。F-純閾値は、正標数の可換環論および特異点論における基本的な不変量であり、標数ゼロにおける対数標準的閾値（lct）の類似物として機能する。F-純閾値は、同次多項式や準同次多項式についてはよく理解されているが、一般的な孤立特異点に対して古典的な不変量を用いて境界を得ることは依然として大きな課題である。具体的には、著者はfptをミルナー数（$\mu$）およびテュリナ数（$\tau$）に関連付け、さらに値半群を用いてこれらの結果を曲線特異点へと拡張することを目指している。

手法
本論文は、局所環論、特異点論、および標数 $p$ への還元（reduction modulo $p$）の技術を組み合わせて用いている。

1. 代数的不変量と決定性： 著者は、ヤコビイデアル、ミルナー数、およびテュリナ数の定義を利用する。中心的な道具は接触決定性（contact determinacy）および右決定性（right determinacy）の理論であり、これらは有限の $\tau$ または $\mu$ を持つ特異点が、ある次数までの切断によって決定されることを確立している。これにより、著者は計算の目的において、冪級数を多項式として扱うことが可能となる。
2. 値半群： 曲線特異点（$n=2$）の場合、本論文は値の半群 $\Gamma(f)$ を活用する。この半群の最小生成列、特に最初の2つの生成元（$\beta_0, \beta_1$）を分析することにより、特異点の幾何学的構造とF-純閾値の代数的構造との関連性を導き出す。
3. 近似と極限： ミルナー数が無限大であるがテュリナ数が有限であるケースを扱うために、著者は $\mu$ を有限にする一連の摂動 $f_l = f + a^l$ を構成する。$l \to \infty$ の極限を取り、F-純閾値の下半連続性を利用することで、元の特異量のための境界を導出する。
4. 標数 $p$ への還元： 正標数の結果を複素数のケースに接続するために、本論文は整数多項式 $f$ の還元 $f_p$ のF-純閾値と、元の $f$ の対数標準的閾値との関係を利用する。これには、値半群の構造を保持しながら、特異性を標数 $p$ から標数ゼロ（または $\mathbb{Z}$）へと持ち上げるプロセスが含まれる。

主な貢献および結果

• ミルナー数およびテュリナ数による境界：
  本論文は、孤立超曲面特異点 $f$ のF-純閾値に対する下界を、$\mu(f)$ および $\tau(f)$ を用いて確立する：

  • もし $\mu(f) < \infty$ ならば、$\text{fpt}(f) \geq \frac{1}{\tau(f)} - \frac{1}{\mu(f)}$ である。
  • もし $\mu(f) = \infty$ （ただし $\tau(f) < \infty$）ならば、$\text{fpt}(f) \geq \frac{1}{\tau(f)}$ である。
    これらの結果は従来の境界を一般化し、有限および無限のミルナー数の両方のケースに対して統一的な枠組みを提供する。

• 曲線特異点と値半群：
  既約曲線特異点 $f \in k[[x,y]]$ に対して、本論文は値半群 $\Gamma(f)$ の最小生成元 $\beta_0, \beta_1$ に基づく上界および厳密な計算公式を与える：

  • 上界： $\text{fpt}(f) \leq \frac{1}{\beta_0} + \frac{1}{\beta_1}$。
  • 厳密な計算： $\Gamma(f)$ がちょうど2つの要素によって生成される場合、$\text{fpt}(f) = \text{fpt}(x^{\beta_0} + y^{\beta_1})$ となる。これにより、広範な曲線特異量の計算が、明示的な公式が存在する対角超曲面（フェルマー型多項式）の計算へと簡約される。

• 標数ゼロへの応用：
  整数多項類の還元に正標数の境界を適用することにより、本論文は複素孤立超曲面特異量の対数標準的閾値（lct）およびブリアン・スコダ指数（$e_{BS}$）に関する類似の結果を導き出す：

  • 対数標準的閾値： $f \in \mathbb{Z}[[x]]$ が有限の $\mu(f)$ を持つとき、$\text{lct}(f) \geq \frac{1}{\tau(f)} - \frac{1}{\mu(f)}$ である。
  • ブリアン・スコダ指数： 本論文は不等式 $\text{lct}(f) \cdot \mu(f) + 1 \geq e_{BS}(f)$ を確立する。
  • 伊勢谷の公式： 本論文は、既約平面曲線の対数標準的閾値に関する伊勢谷の公式の正標数版を提供し、$\text{lct}(f) \leq \frac{1}{\beta_0} + \frac{1}{\beta_1}$ であり、値半群が2つの要素で生成される場合に等号が成立することを示す。

意義および主張
著者は、本研究が孤立超曲面特異点の研究とF-純閾値の間の溝を埋めるものであり、$\mu$ や $\tau$ といった古典的な不変量がこの閾値を抑え込むための効果的な道具であることを示していると主張している。

• 伊勢谷の結果への類似： 主要な主張は、値半群の生成元を利用して、平面曲線の対数標準的閾値に関する伊勢谷の公式の正標数版を確立したことである。
• 複雑性の低減： 半群が2生成である曲線特異量は対角超曲面と同じF-純閾値を持つという結果は、これらの不変量の計算を大幅に簡略化する。
• 統一化： 有限および無限のミルナー数を持つ特異量の扱いを、テュリナ数を用いた境界が孤立特異点において普遍的に成立することを示すことにより、統一している。

本研究は著者の博士論文の一部として提示されており、F-純閾値の明示的な境界と計算手法を提供することを目的とし、標数 $p$ と標数 $0$ の特異量不変量の関係に新たな視点を与えるものである。