Milnor numarası - Milnor number

Matematikte ve özellikle tekillik teorisi, Milnor numarası, adını John Milnor, bir işlev mikropunun değişmezidir.

Eğer f karmaşık değerli bir holomorfiktir fonksiyon mikrop sonra Milnor sayısı f, belirtilen μ(f), ya negatif değildir tamsayı veya sonsuz. Hem bir geometrik değişmez ve bir cebirsel değişmez. Bu nedenle önemli bir rol oynar cebirsel geometri ve tekillik teorisi.

Tanım

Bir holomorfik düşünün karmaşık fonksiyon mikrop

${ displaystyle f: ( mathbb {C} ^ {n}, 0) - ( mathbb {C}, 0) }$

ve şununla belirt ${ displaystyle { mathcal {O}} _ {n}}$ yüzük tüm işlev mikroplarının ${ displaystyle ( mathbb {C} ^ {n}, 0) - ( mathbb {C}, 0)}$. Bir fonksiyonun her seviyesi, karmaşık bir hiper yüzeydir. ${ displaystyle mathbb {C} ^ {n}}$bu yüzden arayacağız ${ displaystyle f}$ bir hiper yüzey tekillik.

Bunun bir olduğunu varsayın izole tekillik: holomorfik haritalama durumunda, hiper yüzey tekilliğinin olduğunu söylüyoruz ${ displaystyle f}$ tekildir ${ displaystyle 0 in mathbb {C} ^ {n}}$ eğer onun gradyan ${ displaystyle nabla f}$ sıfır ${ displaystyle 0}$. Yeterince küçük bir tekil nokta ise bir tekil nokta izole edilmiştir. Semt. Özellikle degradenin çokluğu

${ displaystyle mu (f) = dim _ { mathbb {C}} { mathcal {O}} _ {n} / nabla f}$

sonludur. Bu numara ${ displaystyle mu (f)}$ Milnor tekilliğin sayısıdır ${ displaystyle f}$ -de ${ displaystyle 0}$.

Geometrik yorumlama

Aslen Milnor^[1] tanıtıldı ${ displaystyle mu (f)}$ geometrik terimlerle aşağıdaki şekilde. Tüm lifler ${ displaystyle f ^ {- 1} (c)}$ değerler için ${ displaystyle c}$ yakın ${ displaystyle 0}$ gerçek boyutun tekil olmayan manifoldlarıdır ${ displaystyle 2 (n-1)}$. Küçük bir açık diskle kesişimleri ${ displaystyle D _ { epsilon}}$ merkezli ${ displaystyle 0}$ pürüzsüz bir manifolddur ${ displaystyle F}$ Milnor lifi denir. Diffeomorfizme kadar ${ displaystyle F}$ bağlı değil ${ displaystyle c}$ veya ${ displaystyle epsilon}$ yeterince küçüklerse. Aynı zamanda liflere diffeomorfiktir. Milnor fibrasyon haritası.

Milnor lifi ${ displaystyle F}$ pürüzsüz bir boyut manifoldu ${ displaystyle 2 (n-1)}$ ve aynısı var homotopi türü olarak buket nın-nin ${ displaystyle mu (f)}$ küreler ${ displaystyle S ^ {n-1}}$. Bu, ortasının Betti numarası ${ displaystyle b_ {n-1} (F)}$ Milnor sayısına eşittir ve homoloji daha küçük boyutta bir noktanın ${ displaystyle n-1}$. Örneğin, her tekil noktanın yakınında karmaşık bir düzlem eğrisi ${ displaystyle z_ {0}}$ Milnor fiber homotopuna sahiptir bir dilim ${ displaystyle mu _ {z_ {0}} (f)}$ daireler (Milnor numarası yerel bir özelliktir, bu nedenle farklı tekil noktalarda farklı değerlere sahip olabilir).

Böylece eşitliklerimiz var

Milnor sayısı = içindeki küre sayısı kama = orta Betti numarası nın-nin ${ displaystyle F}$ = haritanın derecesi ${ displaystyle z ile { frac {{ nabla} f (z)} { | { nabla} f (z) |}}}$ açık ${ displaystyle S _ { epsilon}}$ = degradenin çokluğu ${ displaystyle nabla f}$

Milnor numarasına bakmanın başka bir yolu da tedirginlik. Bir noktanın dejenere tekil bir nokta olduğunu veya f dejenere bir tekilliğe sahip ${ displaystyle z_ {0} in mathbb {C} ^ {n}}$ Eğer ${ displaystyle z_ {0}}$ tekil bir noktadır ve Hessen matrisi tüm ikinci dereceden kısmi türevlerin içinde sıfır vardır belirleyici -de ${ displaystyle z_ {0}}$:

${ displaystyle det sol ({ frac { kısmi ^ {2} f} { kısmi z_ {i} kısmi z_ {j}}} sağ) _ {1 leq i leq j leq n } ^ {z = z_ {0}} = 0.}$

Varsayıyoruz ki f 0'da dejenere bir tekilliğe sahiptir. Kaç nokta olduğunu düşünerek bu dejenere tekilliğin çokluğu hakkında konuşabiliriz. sonsuz ölçüde yapıştırılmış. Eğer şimdi biz üzmek resmi f 0'daki izole edilmiş dejenere tekillik, belirli bir kararlı şekilde, dejenere olmayan diğer izole edilmiş tekilliklere bölünecektir! Bu tür izole edilmiş dejenere olmayan tekilliklerin sayısı, sonsuz şekilde yapıştırılmış olan noktaların sayısı olacaktır.

Kesin olarak, başka bir işlev mikropu alıyoruz g kökeninde tekil olmayan ve yeni işlev tohumunu dikkate alan h: = f + εg nerede ε çok küçük. Ne zaman ε = 0 sonra h = f. İşlev h denir morsifikasyon nın-nin f. Tekilliklerini hesaplamak çok zor hve gerçekten de hesaplama açısından imkansız olabilir. Bu puanların sayısı sonsuz derecede yapıştırılmış, bu yerel çokluk ftam olarak Milnor sayısıdır f.

Diğer katkılar^[2] Milnor sayısına uzayın boyutu açısından anlam verir. versal deformasyonlar yani Milnor sayısı, ilk tekillik hakkındaki tüm bilgileri taşıyan deformasyonların parametre uzayının minimum boyutudur.

Cebirsel yorumlama

Bazılarını kullanarak cebirsel Milnor sayısını hesaplayabileceğimiz teknikler f zahmetsizce. Tarafından ${ displaystyle { mathcal {O}}}$ belirtmek yüzük fonksiyon mikropları ${ displaystyle ( mathbb {C} ^ {n}, 0) - ( mathbb {C}, 0)}$. Tarafından ${ displaystyle J_ {f}}$ belirtmek Jacobian ideal nın-nin f:

${ displaystyle J_ {f}: = sol langle { frac { kısmi f} { kısmi z_ {i}}}: 1 leq i leq n sağ dikdörtgen.}$

Yerel cebir f tarafından verilir bölüm cebir

${ displaystyle { mathcal {A}} _ {f}: = { mathcal {O}} / J_ {f}.}$

Bu bölüm uzayının aslında bir vektör alanı sonlu boyutlu olmasa da. Milnor sayısı bu durumda yerel cebirin karmaşık boyutuna eşittir:

${ displaystyle mu (f) = dim _ { mathbb {C}} { mathcal {A}} _ {f} .}$

Hilbert'in Nullstellensatz o ${ displaystyle mu (f)}$ sonludur ancak ve ancak başlangıç ​​noktası bir yalıtılmış kritik nokta f; yani 0 mahalle var ${ displaystyle mathbb {C} ^ {n}}$ öyle ki tek kritik nokta f o mahallenin içi 0'da.

Örnekler

Burada iki değişkende bazı çalışılmış örnekler veriyoruz. Sadece biriyle çalışmak çok basittir ve teknikler için bir fikir vermez, oysa üç değişkenle çalışmak oldukça zor olabilir. İki güzel bir sayıdır. Ayrıca polinomlara bağlı kalıyoruz. Eğer f sadece holomorf ve bir polinom değil, o zaman ile çalışabilirdik güç serisi genişlemesi f.

1

0'da dejenere olmayan tekilliğe sahip bir işlev mikropu düşünün. ${ displaystyle f (x, y) = x ^ {2} + y ^ {2}}$. Jacobian ideali sadece ${ displaystyle langle 2x, 2y rangle = langle x, y rangle}$. Daha sonra yerel cebiri hesaplayacağız:

${ displaystyle { mathcal {A}} _ {f} = { mathcal {O}} / langle x, y rangle = langle 1 rangle.}$

Bunun neden doğru olduğunu görmek için kullanabiliriz Hadamard lemması herhangi bir işlevi yazabileceğimizi söyleyen ${ mathcal {O}}} içinde { displaystyle h$ gibi

${ displaystyle h (x, y) = k + xh_ {1} (x, y) + yh_ {2} (x, y)}$

bazı sabitler için k ve fonksiyonlar ${ displaystyle h_ {1}}$ ve ${ displaystyle h_ {2}}$ içinde ${ displaystyle { mathcal {O}}}$ (nerede ${ displaystyle h_ {1}}$ veya ${ displaystyle h_ {2}}$ veya her ikisi de tam olarak sıfır olabilir). Yani, modulo fonksiyonel katları x ve y, yazabiliriz h sabit olarak. Sabit işlevlerin alanı 1'e yayılır, dolayısıyla ${ displaystyle { mathcal {A}} _ {f} = langle 1 rangle}$

Bunu takip eder μ(f) = 1. Herhangi bir mikrop işlevi olup olmadığını kontrol etmek kolaydır. g 0'da dejenere olmayan bir tekillik ile μ(g) = 1.

Bu yöntemi tekil olmayan bir işlev mikropuna uygulamanın g biz alırız μ(g) = 0.

2

İzin Vermek ${ displaystyle f (x, y) = x ^ {3} + xy ^ {2}}$, sonra

${ displaystyle { mathcal {A}} _ {f} = { mathcal {O}} / langle 3x ^ {2} + y ^ {2}, xy rangle = langle 1, x, y, x ^ {2} rangle.}$

Yani bu durumda ${ displaystyle mu (f) = 4}$.

3

Bunu gösterebiliriz eğer ${ displaystyle f (x, y) = x ^ {2} y ^ {2} + y ^ {3}}$ sonra ${ displaystyle mu (f) = infty.}$

Bu olabilir açıkladı Bu gerçekle birlikte f her noktasında tekildir xeksen.

Versal Deformasyonlar

İzin Vermek f sonlu Milnor sayısına sahip μve izin ver ${ displaystyle g_ {1}, ldots, g _ { mu}}$ olmak temel yerel cebir için vektör uzayı olarak kabul edilir. Sonra küçük boyutlu bir deformasyon f tarafından verilir

${ displaystyle F: ( mathbb {C} ^ {n} times mathbb {C} ^ { mu}, 0) ila ( mathbb {C}, 0),}$

${ displaystyle F (z, a): = f (z) + a_ {1} g_ {1} (z) + cdots + a _ { mu} g _ { mu} (z),}$

nerede ${ displaystyle (a_ {1}, noktalar, a _ { mu}) mathbb {C} ^ { mu}} içinde$Bu deformasyonlar (veya açılımlar ) bilimin çoğunda büyük ilgi görüyor.^{[kaynak belirtilmeli ]}

Değişmezlik

Oluşturmak için işlev mikroplarını bir araya toplayabiliriz denklik sınıfları. Bir standart eşdeğerlik Bir-eşdeğerlik. İki işlevli mikrop olduğunu söylüyoruz ${ displaystyle f, g: ( mathbb {C} ^ {n}, 0) ila ( mathbb {C}, 0)}$ vardır Bir-varsa eşdeğer diffeomorfizm mikroplar ${ displaystyle phi: ( mathbb {C} ^ {n}, 0) ile ( mathbb {C} ^ {n}, 0)}$ ve ${ displaystyle psi: ( mathbb {C}, 0) - ( mathbb {C}, 0)}$ öyle ki ${ displaystyle f circ phi = psi circ g}$: her ikisinde de diffeomorfik değişken değişikliği var alan adı ve Aralık Hangisi alır f -e g.

Milnor sayısı, işlev mikropları için tam bir değişmezlik sunmaz. Buna sahibiz eğer f ve g vardır Bireşdeğer o zaman μ(f) = μ(gTersi yanlış: işlev mikropları var f ve g ile μ(f) = μ(g) Bunlar değil Bir-eşdeğer. Bunu görmek için düşünün ${ displaystyle f (x, y) = x ^ {3} + y ^ {3}}$ ve ${ displaystyle g (x, y) = x ^ {2} + y ^ {5}}$. Sahibiz ${ displaystyle mu (f) = mu (g) ​​= 4}$ fakat f ve g açıkça değil Bir- beri eşdeğer Hessen matrisi nın-nin f sıfıra eşittir g değil (ve Hessian'ın rütbesi bir Bir-görülmesi kolay olduğu gibi değişmez).

Referanslar

• Arnold, V.I.; Gusein-Zade, S.M .; Varchenko, A.N. (1985). Türevlenebilir haritaların tekillikleri. Ses seviyesi 1. Birkhäuser.
• Gibson, Christopher G. (1979). Düzgün Eşlemelerin Tekil Noktaları. Matematikte Araştırma Notları. Pitman.
• Milnor, John (1963). Mors Teorisi. Matematik Çalışmaları Annals. Princeton University Press.
• Milnor, John (1969). Karmaşık HiperYüzeylerin tekil noktaları. Matematik Çalışmaları Annals. Princeton University Press.