ミルナー数

数学では、特にでは、ジョン・ウィラード・ミルナー(John Willard Milnor)の名前にちなんだ**ミルナー数**(Milner number)は、函数の芽(germ)の不変量である。

f を複素数に値をとる正則函数の芽とすると、f のミルナー数は μ(f) と書いてゼロかまたは正の整数であるか無限大の値をとる。ミルナー数は微分幾何学的な不変量とも考えられるし、代数幾何学的な不変量とも考えられる。これが何故、代数幾何学やで重要な役割を果たすのであろうか？

## 幾何学的解釈
正則な複素数値函数 f の芽を考えると、
: f : (\mathbb{C}^n,0) \to (\mathbb{C},0) \ . 
このようにすると、複素数 z_1,\ldots,z_n の n-個の組をとり、複素数の値 f(z_1,\ldots,z_n) ととる。これを z := (z_1,\ldots,z_n) と書くことにする。

第一階数(order)の偏微分 \partial f / \partial z_1, \ldots, \partial f / \partial z_n が z = z_0 ですべてゼロとなるときに、f は z_0 \in \mathbb{C}^n で**特異**であるという。名称が示唆しているように、z_0 の充分に小さな近傍 U \subset \mathbb{C}^n が存在して、z_0 が U の中で唯一の特異点となるときに、特異点 z_0 \in \mathbb{C}^n は**孤立している**と言う。z_0 が特異点であり、かつ、次の式の第二階数(order)のすべての偏微分のヘッシアン（ヘッセ行列ともいう）が z_0 でゼロ行列式であるときに、その点を**退化している**、あるいは f は退化特異点を持つと言う。
:  \det\left( \frac{\partial^2 f}{\partial z_i \partial z_j} \right)_{1 \le i \le j \le n}^{z = z_0} =0. 

f が原点 0 で退化した特異点を持っていると仮定する。この退化特異点の多重度は、いくつの数の点が無限小に張り合わされているかと考えることにより得られる。ここである安定な方法での f の像を摂動させて、0 での孤立した退化特異点は非退化な孤立特異点に分離することができる！そのような孤立した非退化な特異点の数を、無限小に張り合わせた点の数である。

詳しくは、もうひとつ別の函数の芽 g を原点で非特異として、新しい函数の芽 h := f + εg を考える。ここで ε は充分に小さくとる。ε = 0 であれば、h = f である。函数 h のことを f の(morsification)と言う。h の特異点の計算は非常に難しく、実際、計算が無可能かもしれない。この無限小に貼り合わせることができるときの点の数、f の局所多重度は、正確に f のミルナー数に一致する。

## 代数的解釈
ある代数的なテクニックを使い、f のミルナー数を容易に計算することができる。\mathcal{O} により の函数の芽 (\mathbb{C}^n,0) \to (\mathbb{C},0) の環を表すことにする。J_f によりを表すとすると、
: J_f := \left\langle \frac{\partial f}{\partial z_i} : 1 \le i \le n \right\rangle. 
が成り立つ。すると、f の局所代数は次の式の商空間の代数によって与えられる。
: \mathcal{A}_f := \mathcal{O} / J_f. 
この商空間は有限次元ではないかもしれないが、ベクトル空間であることに注意する。するとミルナー数は次の式の局所代数の複素次元に等しくなる。
: \mu(f) = \dim_{\mathbb{C}} \mathcal{A}_f \ . 
このことは、ヒルベルトの零点定理(Nullstellensatz)から従う。ヒルベルトの零点定理とは、\mu(f) が有限であることと、原点が f の**孤立**した特異点である、つまり、0 のある近傍が \mathbb{C}^n の中に存在し、f の唯一の特異点が 0 の近傍の中にあることとは同値であるという定理である。

## 例
ここに 2 変数のいくつかの例を挙げる。変数がひとつだけだとあまりにも単純すぎ、テクニックに関する感覚を持つことができないのに対し、3 変数ではあまりにトリッキーになってしまう可能を持っている。2 は素晴らしい例となっている。また多項式にこだわることとする。f が正則であるだけで多項式でない場合は、f のべき級数展開を用いることになる。

### 例１
0 で非退化な特異点を持つ函数の芽を考える、云わば、f(x,y) = x^2 + y^2 とする。ヤコビイデアルは、ちょうど  \langle 2x, 2y \rangle = \langle x, y \rangle  となる。局所代数を次のように計算する。
: \mathcal{A}_f = \mathcal{O} / \langle x, y \rangle = \langle 1 \rangle . 
これが正しい理由を知るために、(Hadamard's lemma)を使うことができる。この補題は任意の函数 h\in\mathcal{O} を
: h(x,y) = k + xh_1(x,y) + yh_2(x,y) 
と書くことができるという補題で、定数 k と函数 h_1 と h_2 が \mathcal{O} の中に存在するという補題である（ここに h_1 あるいは h_2 あるいはその両方は定数のゼロかもしれない）。それで x と y の剰余での函数的な多重度を h として定数と書くことができる。定数函数の空間は、1 で張られるので、\mathcal{A}_f = \langle 1 \rangle となる。

このことからは μ(f) = 1 であることが従う。0 で非退化な特異点を持つ任意の函数の芽 g に対し、μ(g) = 1 であることを評価することは容易である。

非特異な函数の芽 g に対しこの方法を適用し、μ(g) = 0 を得ることができることに注意すること。

### 例２
f(x,y) = x^3 + xy^2 とすると、
: \mathcal{A}_f = \mathcal{O} / \langle 3x^2 - y^2, xy \rangle = \langle 1, x, y, x^2 \rangle . 
が成り立つので、この場合は、\mu(f) = 4 となる。

### 例３
f(x,y) = x^2y^2 + y^3 ならば、\mu(f) = \infty であることを示す。

このことは、f がx-軸の任意の点で特異であるという事実によって説明することができる。

## バーサルな変形
f が有限のミルナー数 μ を持っているとし、g_1,\ldots, g_{\mu} をベクトル空間と考えて局所代数の基底とすると、f のミニバーサルな変形は次で与えられる。
: F : (\mathbb{C}^n \times \mathbb{C}^{\mu},0) \to (\mathbb{C},0) ,
: F(z,a) := f(z) + a_1g_1(z) + \cdots + a_{\mu}g_{\mu}(z) ,
ここに、 (a_1,\dots,a_{\mu})\in \mathbb{C}^{\mu} である。
これらの変形（あるいはアンフォールディング(unfolding)）は多くの科学で非常に興味を持たれている。

## 不変性
函数の芽を集めて、同値類を構成することができる。ひとつの標準的な同値は、である。2 つの函数の芽 f,g : (\mathbb{C}^n,0) \to (\mathbb{C},0) が A-同値とは、微分同相な函数の芽  \phi : (\mathbb{C}^n,0) \to (\mathbb{C}^n,0) と \psi : (\mathbb{C},0) \to (\mathbb{C},0) が存在し、f \circ \phi = \psi \circ g となる、つまり、f を g とする函数の定義域も値域の両方の微分同相な変数変換が存在することを言う。

ミルナー数は、函数の芽に対して完全な不変量を提示はしない。f と g が A-同値であれば、 μ(f) = μ(g) であるが、逆は正しくない。μ(f) = μ(g) である函数の芽 f と g が A-同値でないことがある。このことを見るためには、f(x,y) = x^3+y^3 と g(x,y) = x^2+y^5 を考える。すると \mu(f) = \mu(g) = 4 であるが、f と g は明らかに A-同値ではない。なぜならば、f のヘッシアンはゼロであり、一方、g のヘッシアンはゼロではない（ヘッシアンのランクはA-同値であることは容易にわかる）。

## 参考文献
* 
* 
* 
*