$F$-injectivity does not imply $F$-fullness in normal domains

この論文は、素数特性におけるノルマな局所幾何的正規局所環の例を構成し、$F$-injective であっても$F$-full ではない（また 2 次元の場合は$F$-anti-nilpotent でもない）ことを示すことで、$F$-injectivity が$F$-fullness を含意しないことを証明しています。

要約

🏰 物語：完璧に見えるお城と、隠れたひび割れ

この論文の著者たちは、数学の世界で「お城（環：Ring）」を設計する職人さんたちです。彼らは、お城が持ついくつかの「美徳（性質）」について研究しています。

1. 2 つの重要な美徳：「F-注入性」と「F-完全性」

お城には、外見の美しさや構造の強さを表す様々な指標があります。この論文では、特に 2 つの指標に注目しています。

• F-注入性（F-injective）：
  • イメージ： 「お城の内部に、誰かが入ろうとしても、中身が漏れ出さない（注入される）」性質。
  • 意味： お城の構造が非常に堅固で、外部からの圧力（数学的にはフロベニウス写像という操作）に対して、内部の情報が壊れずに保たれている状態です。これは「良いお城」の条件の一つですが、最も緩い（ハードルが低い）条件の一つです。
• F-完全性（F-full）：
  • イメージ： 「お城の壁が、外からの光をすべて反射し、内部のすべての部屋を照らし出す」性質。
  • 意味： お城の構造が、より高度で「完全」な状態にあること。これは F-注入性よりも厳しい条件です。

これまでの常識：
「もしお城が『F-注入性』を持っていれば、それは『F-完全性』も持っているはずだ（あるいは、少なくとも『F-注入性』さえあれば、お城は『正規（Normal）』という、歪みのない完璧な形をしているはずだ）」と考えられていました。

2. この論文の衝撃的な発見

著者たちは、「F-注入性」を持っていながら、「F-完全性」を持っていない、歪んだお城（正規な領域）を初めて作りました。

• 従来の思い込み： 「F-注入性 ＝ 完璧な構造（F-完全性）」
• この論文の結論： 「F-注入性 ＝ 完璧な構造ではない！実は、中がスカスカだったり、ひび割れがあったりするお城もある！」

これは、**「外見は立派で、基本的な強度（注入性）はあるが、実は完全性（フルネス）を欠いている、新しいタイプの『怪しいお城』」**を発見したことになります。

---

🔍 どのようにして「怪しいお城」を作ったのか？

著者たちは、お城を設計する際に、**「純粋に非可換な変換（Purely Inseparable Base Change）」**という特殊な魔法を使いました。

• 魔法の説明：
  お城の設計図（数式）を、ある特殊な「鏡（体：Field）」を通して眺め直すとします。

  • 通常、お城が「F-注入性」を持っていれば、どんな鏡で眺めても、その美しさは保たれるはずです。
  • しかし、著者たちが作ったお城は、**「ある特定の鏡（純粋に非可換な拡大）を通して見ると、突然ひび割れて見え、F-注入性さえ失ってしまう」**という、非常に不安定な性質を持っていました。

• アナロジー：
  普段は立派な城壁に見えるお城も、**「紫外線（特殊な鏡）」で照らすと、実は内部に巨大な亀裂が入っていることがバレてしまうようなものです。
  この「紫外線で見ると崩壊する」という不安定さが、「F-完全性（F-fullness）」**を持てない原因だったのです。

---

📊 発見の重要性：なぜこれがすごいのか？

1. 最小のサイズで発見した：
   彼らは、2 次元（平面のようなもの）と 3 次元（立体）の最小限のサイズで、この「怪しいお城」を完成させました。これより小さいお城では、この現象は起きないことが証明されています。
2. すべての「素数」で成立：
   この現象は、数学の素数（2, 3, 5, 7...）のどの値でも起こることを示しました。特定の条件に依存しない、普遍的な「怪しいお城」の存在证明了です。
3. 数学の地図を書き換える：
   以前は、「F-注入性」を持つお城は、ある程度「正常（Normal）」で「完全（Full）」だと考えられていました。しかし、この論文は、「F-注入性」だけでは、お城が本当に健全かどうかは保証できないことを示しました。

---

💡 まとめ：この論文が教えてくれること

この論文は、数学の「お城」の世界において、「外見の強度（F-注入性）」と「内部の完全性（F-完全性）」は、必ずしもセットではないことを証明しました。

• 従来の考え方： 「F-注入性なら、大丈夫なはず！」
• 新しい現実： 「F-注入性でも、実は『F-完全性』という欠陥を抱えているお城がある。しかも、それは『正規（Normal）』という立派な名前を冠しているのに、実は不安定だ！」

著者たちは、この「不安定な正規お城」を設計図（例）として作り上げ、数学の理論に新しい「例外」を一つ加えました。これは、**「一見完璧に見えるものでも、特殊な視点（鏡）で見ると、実は不完全である可能性がある」**という、非常に重要な教訓を数学界に与えたのです。

一言で言えば：
**「F-注入性という『合格点』は、F-完全性という『満点』を保証しない。実は、合格点なのに中身がボロボロの『怪しいお城』が存在する！」**という、数学的なミステリー解決の報告書です。

技術概要

この論文「F-INJECTIVITY DOES NOT IMPLY F-FULLNESS IN NORMAL DOMAINS（正規整域における F-単射性は F-完全性を意味しない）」は、正標数 $p > 0$ のネーター局所環における特異点論、特に Frobenius 写像に関連する特異点の階層構造に関する重要な反例を構築した研究です。

以下に、問題設定、手法、主要な貢献、結果、そしてその意義について詳細な技術的サマリーを記述します。

1. 問題設定と背景

背景:
正標数 $p > 0$ における代数幾何学において、Frobenius 写像を用いて定義される特異点のクラス（F-regular, F-rational, F-pure, F-injective など）は、複素数体上のミニマルモデルプログラムにおける特異点（Du Bois 特異点など）の対応物として研究されています。
特に、**F-単射性（F-injectivity）**は、局所コホモロジー群 $H^i_{\mathfrak{m}}(R)$ に対する Frobenius 写像が単射であるという条件で定義され、F-regular や F-rational よりも緩やかな条件ですが、F-pure よりも強い条件ではありません。

既存の知見と未解決問題:

• F-純性（F-purity）を持つ環は F-単射性を持ちますが、その逆は一般に成り立ちません。
• F-純性は、基底拡大（特に純非分離拡大）や F-anti-nilpotence（F-反冪零性）、F-fullness（F-完全性）などの性質と密接に関連しています。
• 一方、F-単射性を持つ環は、F-純性を持つ環が満たすような多くの構造的性質（例えば、正規化写像の分岐の制御や、基底拡大後の F-純性の保持、F-anti-nilpotence など）を必ずしも持ちません。
• 核心的な疑問: 「正規（normal）」あるいは「幾何学的に正規（geometrically normal）」という条件を課せば、F-単射性が F-anti-nilpotence や F-fullness を意味するようになるのか？特に、F-単射性から F-完全性への implication は成り立つのか？

2. 主要な貢献と結果

著者らは、幾何学的に正規な局所整域において、F-単射性が F-anti-nilpotence や F-fullness を意味しないことを示す具体的な反例を構築しました。

定理 A: F-単射性だが F-anti-nilpotent ではない 2 次元環

• 主張: 任意の素数 $p > 0$ に対して、標数 $p$ の 2 次元局所整域 $(R, \mathfrak{m})$ で、$k$ 上幾何学的に正規（したがって Cohen-Macaulay）かつ F-単射的であるが、F-anti-nilpotent ではないものが存在する。
• 特徴: この環は、標準的 graded 代数 $S$ の斉次極大イデアルでの局所化として得られます。
• 重要な現象: この環 $R$ に対して、純非分離有限基底拡大 $k \subseteq k'$ を行うと、$R \otimes_k k'$ は F-単射性を失います。これは、F-単射性が純非分離基底拡大に対して安定でないことを示しています。

定理 B: F-単射性だが F-full ではない 3 次元環

• 主張: 任意の素数 $p > 0$ に対して、標数 $p$ の 3 次元局所整域 $(R, \mathfrak{m})$ で、$k$ 上幾何学的に正規かつ F-単射的であるが、F-full ではないものが存在する。
• 特徴: この環は、2 次元の F-単射的環と多項式環の Segre 積（Segre product）を構成することで得られます。
• 次元の最適性: 2 次元では正規性から Cohen-Macaulay 性が導かれ、さらに F-full 性が導かれるため（既知の結果）、この反例が現れる最小次元は 3 次元です。

3. 手法と構成の核心

著者らの構成は、以下の 3 つのステップに基づいています。

(1) 特異な超曲面の構成

標数 $p$ における 3 変数多項式環 $S = k[x, y, z]$ 上の斉次多項式 $f$ によって定義される超曲面 $R = S/(f)$ を考えます。

• $p=2$ の場合: $f = x^3 + tyz^7 + y^2z^5 + y^3z^3 + y^4z + z^9$
• $p>2$ の場合: $f = x^{p-1} - (ty^{2p-1} + y^{p-1}z^{p^2-p} + z^{2p^2-3p+1})$
  ここで $t$ は $k = \mathbb{F}_p(t)$ 上の不定元です。
  これらの多項式は、ヤコビアンイデアルが極大イデアルで支えられるように設計されており、$R$ は孤立特異点を持ち、幾何学的に正規となります。

(2) Frobenius 作用の解析

• 負の次数における単射性: 十分負の次数における局所コホモロジー $H^2_{\mathfrak{m}}(R)$ に対する Frobenius 作用が単射であることを示します（Proposition 2.1 と Jacobian 条件を用いる）。
• 次数 0 における作用: 次数 0 の部分空間 $[H^2_{\mathfrak{m}}(R)]_0$ における Frobenius 作用を具体的に計算します。基底 $\eta_1, \eta_2, \dots$ に対して、$F(\eta_1) = \eta_2, F(\eta_2) = \eta_1, F(\eta_3) = t\eta_1$ などの関係が成り立ち、この部分空間では単射性が保たれますが、特定の線形結合（係数に $t$ や $t^{1/p}$ を含むもの）に対しては、純非分離拡大 $k^{1/p}$ 上で核が生じることが示されます。

(3) Veronese 部分環と Segre 積による操作

• F-anti-nilpotence の反例（定理 A）: 上記の超曲面 $R$ の $n$ 次 Veronese 部分環 $T = R^{(n)}$ を考えます。$n$ を適切に選ぶことで、$T$ の局所化 $T_{\mathfrak{n}}$ は F-単射的になりますが、Proposition 2.2 の構成により、F-anti-nilpotence を満たさないようにします。これは、F-anti-nilpotence が「F-単射的かつ F-full」であることと関連しているため、F-fullness の反例にも直結します。
• F-fullness の反例（定理 B）: 2 次元の F-単射的環 $T$ と、2 変数の多項式環 $k[u, v]$ の Segre 積 $A = T \# k[u, v]$ を構成します。
  • $A$ は 3 次元の整域となります。
  • Künneth 型の公式を用いて局所コホモロジーを解析し、$A$ が F-単射的であることを示します。
  • 一方、基底拡大 $A \otimes_k k^{1/p}$ において、Frobenius 作用が単射でなくなることを示し、定理 2.3 と 2.4 を用いて $A$ が F-full ではないことを結論付けます。

4. 結果の意義とインパクト

1. F-特異点の階層構造の明確化:
   図 1（論文内の図）に示されるように、F-単射性は F-regular や F-rational とは異なり、正規性や幾何学的正規性を仮定しても、F-anti-nilpotence や F-fullness といった「より良い」性質を導きません。これは、F-単射性が F-特異点の階層において「極限」的な性質（F-純性よりも弱く、F-regular よりも弱い）であることを再確認させます。

2. 基底拡大の不安定性:
   F-単射性が純非分離有限基底拡大に対して安定でないという事実は、F-単射的環の構造が非常に繊細であることを示しています。Enescu の例（非正規な F-単射的環）は既知でしたが、本研究は正規（かつ幾何学的に正規）な環においてもこの現象が起きることを初めて示しました。

3. 変形問題（Deformation Problem）への示唆:
   F-単射性の変形問題（$R/fR$ が F-単射的なら $R$ も F-単射的か？）は未解決の重要問題です。F-fullness はこの問題の解決に有望な性質とされてきましたが、正規な F-単射的環が F-full ではないという結果は、変形問題の解決が容易ではないこと、あるいは F-fullness の仮定なしでは変形性が保証されない可能性を示唆しています。

4. 最小次元の反例:
   定理 A（2 次元）と定理 B（3 次元）は、それぞれその性質（F-anti-nilpotence の欠如、F-fullness の欠如）が現れるための最小次元の反例を提供しています。特に 3 次元の例は、2 次元では正規性から Cohen-Macaulay 性が導かれるため、F-full 性が自動的に満たされるという既知の事実を踏まえた上で、3 次元で初めて反例が構成可能であることを示しています。

結論

この論文は、F-単射性という特異点のクラスが、幾何学的に正規という強い条件を付加しても、F-anti-nilpotence や F-fullness といった構造的に望ましい性質を保持しないことを実証しました。その核心は、純非分離基底拡大における F-単射性の崩壊にあり、F-特異点論における「F-単射性」の位置づけと限界をより深く理解する上で重要な貢献を果たしています。