Existence and maximal corank of simple $Z_p$-invariant germs

イヴァン・プロスクルニンの論文「$\mathbb{Z}_p$-不変な単純な germ の存在と最大コランク」の詳細な技術的概要を以下に示す。

1. 問題設定

本論文は、複素空間 $(\mathbb{C}^n, 0)$ に作用する素数位数の巡回群 $\mathbb{Z}_p$ の作用の下での等変単純特異点の分類を取り扱っている。

• 背景: 先行研究（[1] と参照）は、そのような特異点に対するコランク（$n - \text{rk}(\tau)$ と定義され、ここで $\text{rk}(\tau)$ は $\tau$-不変な二次形式の最大ランクである）の上限を確立していた。以前の上限は、固定された素数 $p$ に対して、コランクが $p$ の対数関数（具体的には $\log_2(p+1)$ または $\log_2(2p-1)$）によって有界であることを示唆していた。
• 対立: すべての単純特異点の「穏やかな（tame）」分類は、通常、特定の群パラメータに依存しないコランクの定数上限を必要とする。著者は、そのような上限が存在するかどうか、あるいは $p$ が増加するにつれてコランクが任意に大きくなり得るかどうかを調査している。
• 核心的な問い: $p \to \infty$ となるにつれて、単純な $\mathbb{Z}_p$-不変 germ のコランクは任意に大きくなり得るか？さらに、そのような特異点が存在するための群作用（特に表現の行列式）に対する厳密な制約条件は何か？

2. 手法

著者は特異点理論、表現論、および数論の手法を用いている。

• 線形化と対角化: 有限群の $(\mathbb{C}^n, 0)$ への任意の解析的作用は線形化可能であり、有限アーベル群の表現は対角化可能であるため、本研究は $g \cdot (x_1, \dots, x_n) = (\chi_1(g)x_1, \dots, \chi_n(g)x_n)$ という形の線形作用に還元される。ここで $\chi_i$ は $\mathbb{Z}_p$ の指標である。
• 等変ヤコビアン代数: 論文はヤコビアン代数 $Q_f = \mathbb{C}\{x_1, \dots, x_n\} / J_f$（ここで $J_f$ はヤコビアンイデアル）を利用する。群 $G$ は $Q_f$ に作用し、等変ミルナー数 $\mu_G(f)$ はこの代数上の $G$ の表現として定義される。
• 安定性基準: 著者は、germ が等変安定であるための必要十分条件が、$Q_f$ 内の不変元の空間の次元（$\nu(f)$ と表記）が 1 に等しいことであるという特徴付けに依存している。
• 分割補題: 解析には分割補題を用いて、安定な germ $f$ を非退化な二次部分（ランク $\text{rk}(\tau)$ のもの）と $j^2(h)=0$ を満たす残余部分 $h$ に分解する。これにより、問題は $h$ のコランクの解析に還元される。
• 数論的構成: 高コランクの例の存在を証明するために、著者は特定の多項式（ループ型の可逆多項式）を構成し、$p-1$ の素因数の分布に関するエルドシュの定理を利用する。これにより、大きな素数に対して $p-1$ を多数の整数の積に因数分解できることを示す。

3. 主要な貢献と定理

A. 存在条件の精緻化（定理 1.2）

論文は、等変単純 germ が存在し得る条件を改善している。

• 先行結果: 単純 germ は $\det(\tau) \neq 1$ の場合（上限 $\log_2(p+1)$）または $\det(\tau) = 1$ の場合（上限 $\log_2(2p-1)$）に存在し得るとされていた。
• 新たな結果: 著者は、$\det(\tau) = 1$ である場合、作用が実群作用（ランク $n$ の不変二次形式を許容するもの）でない限り、単純 germ は存在し得ないことを証明する。
• 含意: これは群作用の可能な範囲を大幅に狭める。$\det(\tau)=1$ である複素作用に対しては、単純特異点は不可能である。

B. 無界なコランクの証明（定理 1.3）

これが論文の主要な貢献である。

• 主張: 任意の整数 $N$ に対して、$j^2(f)=0$ かつコランク $n > N$ となる $\mathbb{Z}_p$-不変な単純 germ $f: (\mathbb{C}^n, 0) \to (\mathbb{C}, 0)$ を持つ素数 $p$ が存在する。
• 重要性: これは、単純特異点のコランクに対する定数上限への希望を否定する。最大コランクは $p$ が増加するにつれて無限大に発散する。

C. 等変ミルナー数の分類（定理 3.3 および 4.1）

著者は、安定な germ に対する等変ミルナー数 $\mu_{\mathbb{Z}_p}(f)$ の可能な同型類を分類する。

• 安定な germ に対して、類 $\tilde{\mathbb{C}} \oplus 2W$（ここで $W$ は正則表現の制限）は現れ得ないことが示される。
• この排除は定理 1.2 の証明において決定的であり、ヤコビアン代数の次元を制限することで、特定の場合にはコランクを有界にし、他の場合には無界にする。

4. 結果と構成

高コランクの例の構成:
定理 1.3 を証明するために、著者は特定の多項式の族を構成する：
$$f = x_1^{d_1}x_2 + x_2^{d_2}x_3 + \dots + x_{n-1}^{d_{n-1}}x_n + x_n^{d_n}x_1$$

• 群作用: $\mathbb{Z}_p$（ここで $p = d_1 \dots d_n + 1$）の生成元 $g$ は、原始単位根を含む特定の重みで座標に作用する。
• 性質: この多項式は「ループ型」の可逆多項式であり、孤立した臨界点を持つことが知られている。これが等変安定であることが証明される。
• コランク: コランクは変数の数 $n$ によって決定される。
• 数論的関連: 著者はエルドシュの定理を援用する。この定理は、「ほとんどすべての」素数 $p$ に対して、$p-1$ の異なる素因数の個数が $\log(\log(p))$ として増加することを述べている。$p-1$ が多くの因数を持つように $p$ を選ぶことで、任意に大きな $n$ を持つ分解 $p-1 = d_1 \dots d_n$ を構成できる。
• 漸近的挙動: 素数 $p$ に対する最大コランクは少なくとも $O(\log(\log(p)))$ である。

5. 重要性

1. 分類限界の解決: 本論文は、コランクの一様上限を持つすべての $\mathbb{Z}_p$-不変単純特異点の「穏やかな」分類が不可能であることを決定的に回答する。分類の複雑さは群の素数位数とともに増大する。
2. 安定性理論の精緻化: $\det(\tau)=1$ が（実作用を除いて）一般的に単純特異点を排除することを証明することで、等変設定における安定性に必要な幾何学的制約を明確にした。
3. 学際的接続: この研究は、特異点理論と解析的数論を成功裡に橋渡しし、有界性予想に対する幾何学的な反例を構成するために素因数の分布を利用している。
4. 将来の研究の基盤: 存在条件を絞り込み（定理 1.2）、コランクの増大率を確立（定理 1.3）することで、コランクが素数 $p$ に依存することを考慮した、よりニュアンスのある分類への道筋を示している。

要約すると、プロスクルニンは、小さな素数や特定の行列式条件に対しては単純特異点が稀である一方で、素数 $p$ が成長するにつれてそれらがより複雑（より高いコランク）になり、等変特異点の分類に対する期待を根本的に変えることを示している。