On the stability of vanishing cycles of étale sheaves in positive characteristic

技術要約：正標数におけるエタール層の消滅サイクル（vanishing cycles）の安定性について

問題提起
複素解析的な文脈において、マイクロローカル層の理論（佐藤、河氏、および真科研による発展）は、「横断的なテスト関数（transverse test functions; ttfun）」の選択に対する消滅サイクルの安定性に大きく依存している。具体的には、特異支持（singular support; $SS(F)$）の滑らかな点におけるマイクロスタック（microstalk）は、テスト関数 $f$ の選択によらず（非標準的な同型を除いて）よく定義される。これは、消滅サイクル関手 $\phi_f(F)_x$ が、特異支持に対して横断的な任意のテスト関数 $f$ に対して独立であるためである。

正標数の代数幾何学においては、野生分岐（wild ramification）のために、この安定性は完全に崩壊する。本論文は、消滅サイクルの次元 $\phi_f(F)_x$ が、たとえ特異支持に対して横断的であっても、選択された具体的なテスト関数に応じて著しく変化し得ることを示している。この敏感さは、正標数におけるマイクロスタックの直接的な定義を妨げている。本論文が扱う中心的な問題は、**「正標数において消滅サイクルはテスト関数にどの程度依存するのか、そして安定したマイクロローカルなデータという概念を復元できるのか？」**という点である。

手法
著者は、代数幾何学、表現論、および層理論の手法を組み合わせて用いている：

1. デリーニュ・ローモン（Deligne-Laumon）の定理： 消滅サイクルの全次元とスワン指標（Swan conductor）を関連付ける定理を利用する。これにより、消滅サイクルの安定性を、曲線の制限に対するスワン指標の安定性へと翻訳することが可能になる。
2. 特異点の幾何学的分解： スワン指標を解析するために、著者はテスト関数の零点集合と分岐因子（ramification divisors）との交わりに関する幾何学を研究する。これには、ブローアップによる特異点の明示的な分解が含まれる。
3. ブローアップの境界と不変量： 著者は、層の「深さ（depth）」に関連する不変量を導入し、その境界を推定する。主要なツールは以下の通りである：
   • スワン指標： 交差数および表現論的データ（ガロア群のフィルター）を用いた計算。
   • ブローアップの境界： テスト関数によって定義される曲線と、ガロア作用の固定点軌道の間の相互作用を解決するために必要なブローアップ回数の推定。
   • デデキントの微分（Dedekind codifferents）： ガロア被覆の文脈で特異点を解決するために必要なブローアップ回数を抑えるために使用される（Bernd Ulrichによる属性、命題 3.8）。
4. マイクロローカルな定義： 著者は、特議支持における点における層の**深さ（depth）**を、「ある $N$ 次のジェットまで一致するテスト関数の族に対して、消滅サイクルが局所定数層となる最小の整数 $N$」として定義する。また、$\mu_c$ 層（至る所で深さ 2）および $\mu_{cs}$ 層（滑らかな引き戻しに対して安定）を導入する。

主要な貢献および結果

1. 一般における安定性の欠如：
   本論文は、正標数におけるアルティン・シュリエ（Artin-Schreier）層の明示的な反例（例 2.7 および 2.8）を示し、消滅サイクルの次元がテスト関数に依存することを示している。具体的には、関数 $f_s = \frac{y}{1+x} + s x^N$ について、$\phi_{f_s}(F)$ の次元は $N$ が小さい場合には $s$ によって変化するが、$N$ が大きくなると安定化する。これは、消滅サイクルがテスト関数の有限次ジェットにのみ依存することを裏付けている。

2. 曲面上の生成的有限深さ（定理 1.8 / 定理 4.11）：
   主要な結果は、代数閉体（標数 $p > 2$）上の滑らかな曲面において、層の深さが生成的（generically）に有限であることを確立している。

   • 滑らかな部分集合 $V \subset X$ と $S \subset SS(F|_V)$ が存在し、すべての $(x, \xi) \in S$ に対して、深さは明示的な整数 $N$ によって抑えられる。
   • 境界 $N$ は、テスト関数と分岐因子の交差数、ガロア群の位数、およびガロア作用下の固定点イデアルの「厚み（thickness, $ep(I)$）」によって与えられる。
   • 層が $x$ の近傍で局所定数である場合、深さは 2 である。

3. 高次元に関する予想：
   著者は、この有限深さの性質が、曲面だけでなく任意の次元の滑らかな多様体においても保持されるという予想（予想 1.10）を立てている。

4. $\mu_c$ および $\mu_{cs}$ 層のクラス：
   本論文では、最も強力な安定性を持つ層のクラスを定義している：

   • $\mu_c$ 層： 特異支持のすべての滑らかな点において深さ 2 を持つ層。
   • $\mu_{cs}$ 層： 任意の滑らかな引き戻しに対しても $\mu_c$ である層。
   • 主要定理（定理 1.11）：
     • 緩やかな単純正規交差（simple normal crossing）を持つターム（tame）な層（具体的には、単純正規交差因子シップの補集合上のタームな局所定数層 $j_!L$）は $\mu_{cs}$ である。
     • $\mu_c$ 層については、消滅サイクルは（同型を除いて）テスト関数に依存しないため、**マイクロスタック（microstalk）**を定義することができる。
     • $\mu_{cs}$ であるという性質は、**ラドン変換（Radon transform）**の下で保存され、マイクロスタックもこの変換に対して不変である。

5. 関手性と安定性：
   著者は、深さが区分的三角形（distinguished triangles）（補題 5.13）および、ラドン変換に類似した特定の固有押し出し（proper pushforwards）（命題 5.10）の下で良好に振る舞うことを確立している。また、タームな層はラドン変換の下で安定ではない（例 5.18）一方で、より広いクラスである $\mu_{cs}$ 層は安定であることを明らかにしている。

意義および主張
本論文は、正標数におけるマイクロローカル層理論への最初の体系的な一歩を提供すると主張している。

• 動機： 野生分岐によって古典的なマイクロローカルな安定性が失われているというギャップに対処している。
• 理論的枠組み： 消滅サイクルがテスト関数の有限次ジェットに依存することを証明することで、マイクロローカルなデータが余接束（cotangent bundle）だけでなく、「高次ジェット束（high jet bundle）」上で定義可能であることを示唆している。
• 堅牢なクラス： $\mu_{cs}$ 層の特定は、マイクロスタックの不変性などの重要な性質を保持する、複素解析的な設定と同様の挙動を示す対象のクラスを提示している。
• 限界： 著者は謙虚であり、有限深さの結果は現在、曲面に対してのみ証明されていること、および明示的な境界が有限ではあるものの、必ずしも鋭いものではないこと（例 4.12）に注意を払っている。本論文は、すべての次元におけるすべての層の問題を解決したと主張しているのではなく、曲面における生成的ケースを確立し、一般的な予想を提示している。

要約すれば、本論文は、野生分岐が消滅サイクルのテスト関数に対する厳密な独立性を破壊するものの、「有限次ジェット」の安定性が生成的（generically）に存在することを論じている。これにより、特定の、より性質の良いクラスの層（$\mu_{cs}$ 層）に対して意味のあるマイクロローカル理論を定義することが可能となり、高次ジェット束を通じた一般的な理論への道筋を示している。