$F$-purity and the $F$-pure threshold as invariants of linkage

技術要約：連結の不変量としてのF-純粋性とF-純粋閾値

問題提起
本論文は、代数幾何学的性質が「連結（linkage）」または「リアゾン（liaison）」、特に「生成的連結（generic link）」の操作の下でどのように振る舞うかを調査している。多項式環 $R$ における非混合な根基イデアル $I$ が与えられたとき、幾何学的連結 $J$ は、$I \cap J$ が正則列によって生成されるように定義される。生成的連結 $L_1(I)$ は、この正則列を $I$ の生成元の一般的な線形結合として選ぶことで得られる。非混合な根基イデアルの生成的連結自体は素イデアルである（したがって根基である）ことは既知であるが、本論文はより微細な不変量がこの操作の下で保存されるかどうかを扱う。

具体的には、著者は、非混合イデアル $I$ とその第 $n$ 次生成的連結 $L_n(I)$ に関して、以下の2つの中心的な問いを提示している：

1. もし初期イデアル $\text{in}_<(I)$ が項順序 $<$ に関して平方フリー（squarefree）であれば、生成的連結の初期イデアルもまた平方フリーとなるか？
2. 正標数において、$R/I$ がF-純粋環（または特定のF-特異性を有する）である場合、$S/L_n(I)$ もF-純粋となるか？ また、F-純粋閾値（FPT）は不変か？

導入部では、これらの問いに対する答えは一般には否定的であることが指摘されている。反例として、一般的行列の非最大小因子や、有理正規曲線（ハンケル行列の最大小因子）が挙げられ、これらにおいては生成的連結はF-単射（F-injective）ですらなく、F-純粋性にも満たない。また、初期イデアルの平方フリー性も失われる。

手法
これらの性質がいつ「保存されるか」を決定するために、著者は $(R, I)$ のペアに関する特定の組合せ論的・代数的条件、すなわち**性質P（Property P）**を導入する。

• 性質Pの定義： 固定された項順序 $<$ に対し、ペア $(R, I)$ が性質Pを持つとは、以下の条件を満たす同次元 $\alpha_1, \dots, \alpha_{\text{ht}(I)} \in I$ が存在することを指す：

  1. 各初期項 $\text{in}_<(\alpha_i)$ が平方フリーである。
  2. $i \neq j$ のとき、初期項 $\text{in}_<(\alpha_i)$ と $\text{in}_<(\alpha_j)$ が互いに素である。

• 伝播メカニズム： 手法の核心となる洞察は、性質Pが生成的連結に沿って伝播することである。著者は、生成的連結を含む多項式拡張上の特定の項順序を構成しており、もし $(R, I)$ が性質Pを満たすならば、ペア $(R[Y], L_n(I))$ もまた性質Pを満たすことを示している。極めて重要な点は、この伝播が連結を定義する正則列と項順序のみに依存しており、連結の生成元の具体的な形には依存しないことである。これにより、生成的連結の生成元を明示的に計算するという、しばしば困難を極める問題を回避できる。

• 残留交差（Residual Intersections）： この手法は、完全交差イデアルの「生成的残留交差」へと拡張される。本論文は、完全交差イデアルが性質Pを持つならば、その生成的 $s$-残留交差もまた性質Pを継承することを証明している。

主要な貢献と結果

1. 性質Pによる不変量の保存：
   本論文は、ペア $(R, I)$ が性質Pを持つとき、以下の性質がすべての生成的連結 $L_n(I)$ に沿って保存されることを確立している：

   • 初期イデアルが平方フリーであること。
   • 環が（正標数において）F-純粋であること、または（標数0において）対数標準的（log canonical）な特異性を有すること。
   • F-純粋閾値（または対数標準閾値）が、イデアルの高さに等しい最大可能値 $\text{fpt}(L_n(I)) = \text{ht}(I)$ を達成すること。

2. 高さ3のゲーレンディアン・イデアルの生成的連結におけるF-正規性：
   性質Pを、高さ3のゲーレンディアン・イデアル（歪対称行列の劣最大パフリアンによって生成されるもの）に適用することで、著者は、それらの生成的連結が素標数において**強F-正規（strongly F-regular）であり、標数0において有理特異点（rational singularities）**を持つことを証明している。

   • 意義： この結果は、これらの生成的連結の既知の明示的な生成元（入れ子状のパフリアン）を利用することなく、性質Pの伝播のみに基づいて達成されている。
   • 本論文はさらに、そのようなイデアルの第 $n$ 次ユニバーサル・リンクがF-有理的（F-rational）であることも示している。

3. 一般的行列の最大小因子：
   一般的行列の最大小因子のイデアルが性質Pを満たすことを確認している。その結果、これらのイデアルの生成的連結は強F-正規となる。この視点は、最大小因子のF-純粋閾値に関する既知の結果を簡潔かつ統一的な方法で回収し、さらにそれらを任意の第 $n$ 次生成的連結へと拡張するものである。

4. 保存の失敗（二分法）：
   本論文は、性質Pが一般的行列の非最大小因子（例：$2 \times 7$ 小因子）やハンケル行列の最大小因子に対して失敗することを厳密に示している。

   • $a$-不変量の計算を用いることで、これらのイデアルの生成的連結はF-単射ではなく（したがってF-純粋でもなく）、平方フリーな初期イデアルを持たないことを示している。
   • これにより、連結が一般に有理特異点やF-単射性を保存しないことが裏付けられ、既存の反例が強化された。

5. 生成的残留交差：
   著者は、完全交差イデアルの生成的 $s$-残留交差が、元のイデアルが性質Pを持つならば性質Pを継承することを証明している。これにより、これらの交差のF-純粋閾値を計算することが可能となり、それが高さ $s$ に等しいことが示される。

   • この結果は、完全交差における生成的連結の下での対数標準閾値の不変性に関するKim, Miller, Niu [KMN21] の問いに答えるものである。本論文は、この不変性が、性質Pを持つ完全交差に対してのみ成立することを明確にしている。

意義と主張
本論文は、連結理論におけるF-特異性と初期イデアルを理解するための「短く、概念的な」枠組みを提供すると主張している。性質Pを保存のメカニズムとして孤立させることにより、著者は以下のことを実現している：

• 明示的な生成元の公式を必要とせずに、F-特異性と初期イデアルに関する既知の結果を、任意の生成的連結および残留交差へと拡張した。
• なぜ特定のクラスのイデアル（生成的高さ3のゲーレンディアン・イデアルや最大小因子など）は連結の下で良好に振る舞い、他のもの（非最大小因子など）はそうではないのかについて、統一的な説明を提供した。
• 性質Pを満たすイデアルについては、生成的連結のF-純粋閾値は（高さに等しい）連結の不変量であることを確立し、閾値が低下する場合との対比を示した。

本研究は、新しい実験的な応用を提案するものではなく、複雑なリアゾン設定においてこれらの不変量を検証するための新しいツール（性質P）を用いることで、特定の代数的・幾何学的性質がいつ保存されるかという理論的理解を洗練させるものである。