Lefschetz sabit nokta teoremi - Lefschetz fixed-point theorem - Wikipedia

İçinde matematik, Lefschetz sabit nokta teoremi sayan bir formüldür sabit noktalar bir sürekli haritalama bir kompakt topolojik uzay ${ displaystyle X}$ aracılığıyla kendisine izler üzerinde indüklenen eşlemelerin homoloji grupları nın-nin ${ displaystyle X}$ . Adını almıştır Solomon Lefschetz, bunu ilk kez 1926'da belirten.

Sayım, emsal bir çokluk denen sabit bir noktada sabit nokta indeksi. Teoremin zayıf bir versiyonu, hiç sabit nokta, oldukça özel topolojik özelliklere sahip olmalıdır (bir dairenin dönüşü gibi).

Resmi açıklama

Teoremin resmi bir ifadesi için,

{ displaystyle f iki nokta üst üste X sağ X ,}

olmak sürekli harita kompakttan üçgen uzay ${ displaystyle X}$ kendisine. Tanımla Lefschetz numarası ${ displaystyle Lambda _ {f}}$ nın-nin ${ displaystyle f}$ tarafından

{ displaystyle Lambda _ {f}: = toplam _ {k geq 0} (- 1) ^ {k} mathrm {tr} (f _ {*} | H_ {k} (X, mathbb {Q })),}

değişken (sonlu) toplamı matris izleri doğrusal haritaların indüklenmiş tarafından ${ displaystyle f}$ açık ${ displaystyle H_ {k} (X, mathbb {Q})}$ , tekil homoloji Grupları ${ displaystyle X}$ ile akılcı katsayılar.

Lefschetz sabit nokta teoreminin basit bir versiyonu şöyle der:

{ displaystyle Lambda _ {f} neq 0 ,}

sonra ${ displaystyle f}$ en az bir sabit noktaya sahiptir, yani en az bir ${ displaystyle x}$ içinde ${ displaystyle X}$ öyle ki ${ displaystyle f (x) = x}$ . Aslında, Lefschetz numarası homoloji düzeyinde tanımlandığından, sonuç herhangi bir haritanın homotopik -e ${ displaystyle f}$ aynı zamanda sabit bir noktaya sahiptir.

Bununla birlikte, sohbetin genel olarak doğru olmadığını unutmayın: ${ displaystyle Lambda _ {f}}$ sıfır bile olabilir ${ displaystyle f}$ sabit noktaları vardır.

Bir kanıtın taslağı

İlk olarak, basit yaklaşım teoremi, biri gösteriyor ki ${ displaystyle f}$ sabit noktaları yoktur, bu durumda (muhtemelen alt bölümlere ayırdıktan sonra ${ displaystyle X}$ ) ${ displaystyle f}$ sabit nokta içermeyen homotopiktir basit harita (yani, her bir simpleksi farklı bir teklekse gönderir). Bu, doğrusal haritaların matrislerinin köşegen değerlerinin, basit zincir kompleksi nın-nin ${ displaystyle X}$ tümü sıfır olmalıdır. Daha sonra, genel olarak, Lefschetz sayısının, yukarıda bahsedilen doğrusal haritaların matris izlerinin alternatif toplamı kullanılarak da hesaplanabileceğini not edin (bu, neredeyse tamamen aynı nedenle doğrudur. Euler karakteristiği homoloji grupları açısından bir tanıma sahiptir; görmek altında Euler karakteristiği ile ilişkisi için). Sabit noktasız basit harita durumunda, tüm diyagonal değerler sıfırdır ve bu nedenle izlerin hepsi sıfırdır.

Lefschetz-Hopf teoremi

Teoremin daha güçlü bir formu, aynı zamanda Lefschetz-Hopf teoremi, eğer ${ displaystyle f}$ yalnızca sonlu sayıda sabit noktaya sahipse

{ displaystyle toplamı _ {x in mathrm {Düzelt} (f)} i (f, x) = Lambda _ {f},}

nerede ${ displaystyle mathrm {Düzelt} (f)}$ sabit noktalar kümesidir ${ displaystyle f}$ , ve ${ displaystyle i (f, x)}$ gösterir indeks sabit noktanın ${ displaystyle x}$ .^[1] Bu teoremden biri çıkarılır Poincaré-Hopf teoremi vektör alanları için.

Euler karakteristiği ile ilişkisi

Lefschetz sayısı kimlik haritası sonlu CW kompleksi her birinin farkına vararak kolayca hesaplanabilir ${ displaystyle f _ { ast}}$ bir özdeşlik matrisi olarak düşünülebilir ve bu nedenle her izleme terimi, uygun homoloji grubunun boyutudur. Böylece kimlik haritasının Lefschetz sayısı, değişken toplamına eşittir. Betti numaraları boşluğun, sırayla eşittir Euler karakteristiği ${ displaystyle chi (X)}$ . Böylece sahibiz

{ displaystyle Lambda _ { mathrm {id}} = chi (X). }

Brouwer sabit nokta teoremi ile ilişki

Lefschetz sabit nokta teoremi, Brouwer sabit nokta teoremi, bu da her kesintisiz haritanın ${ displaystyle n}$ -boyutlu kapalı birim disk ${ displaystyle D ^ {n}}$ -e ${ displaystyle D ^ {n}}$ en az bir sabit noktaya sahip olmalıdır.

Bu şu şekilde görülebilir: ${ displaystyle D ^ {n}}$ kompakt ve üçgenleştirilebilir, hariç tüm homoloji grupları ${ displaystyle H_ {0}}$ sıfırdır ve her sürekli harita ${ displaystyle f iki nokta üst üste D ^ {n} - D ^ {n}}$ kimlik haritasını çıkarır ${ displaystyle f _ {*} iki nokta üst üste H_ {0} (D ^ {n}, mathbb {Q}) - H_ {0} (D ^ {n}, mathbb {Q})}$ izi bir olan; tüm bunlar birlikte ima ediyor ${ displaystyle Lambda _ {f}}$ herhangi bir kesintisiz harita için sıfır değildir ${ displaystyle f iki nokta üst üste D ^ {n} - D ^ {n}}$ .

Tarihsel bağlam

Lefschetz sabit nokta teoremini (Lefschetz 1926 ). Lefschetz'in odak noktası sabit harita noktaları değil, daha çok şimdi tesadüf noktaları haritalar.

İki harita verildi ${ displaystyle f}$ ve ${ displaystyle g}$ yönlendirilebilir bir manifold ${ displaystyle X}$ yönlendirilebilir bir manifolda ${ displaystyle Y}$ aynı boyutta Lefschetz tesadüf numarası nın-nin ${ displaystyle f}$ ve ${ displaystyle g}$ olarak tanımlanır

{ displaystyle Lambda _ {f, g} = toplamı (-1) ^ {k} mathrm {tr} (D_ {X} circ g ^ {*} circ D_ {Y} ^ {- 1} circ f _ {*}),}

nerede ${ displaystyle f _ {*}}$ yukarıdaki gibidir ${ displaystyle g _ {*}}$ neden olduğu homomorfizm ${ displaystyle g}$ üzerinde kohomoloji rasyonel katsayılara sahip gruplar ve ${ displaystyle D_ {X}}$ ve ${ displaystyle D_ {X}}$ bunlar Poincaré ikiliği izomorfizmler ${ displaystyle X}$ ve ${ displaystyle Y}$ , sırasıyla.

Lefschetz, eğer tesadüf sayısı sıfır değilse, o zaman ${ displaystyle f}$ ve ${ displaystyle g}$ bir tesadüf noktası var. Yazısında, izin vermenin ${ displaystyle X = Y}$ ve izin vermek ${ displaystyle g}$ kimlik haritası, artık sabit nokta teoremi olarak bildiğimiz daha basit bir sonuç verir.

Frobenius

İzin Vermek ${ displaystyle X}$ sonlu alan üzerinde tanımlanmış bir çeşit olmak ${ displaystyle k}$ ile ${ displaystyle q}$ elemanlar ve izin ver ${ displaystyle { bar {X}}}$ asansörü olmak ${ displaystyle X}$ cebirsel kapanışına ${ displaystyle k}$ . Frobenius endomorfizmi nın-nin ${ displaystyle { bar {X}}}$ (genellikle geometrik Frobenius, ya da sadece Frobenius) ile gösterilir ${ displaystyle F_ {q}}$ , bir noktayı koordinatlarla eşler ${ displaystyle x_ {1}, ldots, x_ {n}}$ koordinatlı noktaya ${ displaystyle x_ {1} ^ {q}, ldots, x_ {n} ^ {q}}$ . Böylece sabit noktalar ${ displaystyle F_ {q}}$ tam olarak noktaları ${ displaystyle X}$ koordinatlarla ${ displaystyle k}$ ; bu tür noktaların kümesi ile gösterilir ${ displaystyle X (k)}$ . Lefschetz izleme formülü bu bağlamda tutulur ve okur:

{ displaystyle #X (k) = toplam _ {i} (- 1) ^ {i} mathrm {tr} (F_ {q} | H_ {c} ^ {i} ({ bar {X} }, mathbb {Q} _ { ell})).}

Bu formül, kompakt desteklerle birlikte Frobenius'un étale kohomolojisi üzerindeki izini içerir. ${ displaystyle { bar {X}}}$ alanındaki değerlerle ${ displaystyle ell}$ -adic sayılar, nerede ${ displaystyle ell}$ bir asaldır ${ displaystyle q}$ .

Eğer ${ displaystyle X}$ pürüzsüz ve eş boyutlu, bu formül şu terimlerle yeniden yazılabilir: aritmetik Frobenius ${ displaystyle Phi _ {q}}$ tersi olan ${ displaystyle F_ {q}}$ kohomoloji üzerine:

{ displaystyle #X (k) = q ^ { dim X} toplamı _ {i} (- 1) ^ {i} mathrm {tr} ( Phi _ {q} ^ {- 1} | H ^ {i} ({ bar {X}}, mathbb {Q} _ { ell})).}

Bu formül, kompakt destekli kohomolojiden ziyade olağan kohomolojiyi içerir.

Lefschetz izleme formülü ayrıca şu şekilde genelleştirilebilir: cebirsel yığınlar sonlu alanlar üzerinde.

Ayrıca bakınız

Notlar

^ Dold, Albrecht (1980). Cebirsel topoloji üzerine dersler. 200 (2. baskı). Berlin, New York: Springer-Verlag. ISBN 978-3-540-10369-1. BAY 0606196., Önerme VII.6.6.

Referanslar

Lefschetz, Süleyman (1926). "Komplekslerin ve manifoldların kesişimleri ve dönüşümleri". Amerikan Matematik Derneği İşlemleri. 28 (1): 1–49. doi:10.2307/1989171. BAY 1501331.
Lefschetz, Süleyman (1937). "Sabit nokta formülünde". Matematik Yıllıkları. 38 (4): 819–822. doi:10.2307/1968838. BAY 1503373.

Dış bağlantılar

"Lefschetz formülü", Matematik Ansiklopedisi, EMS Basın, 2001 [1994]

[1] Dold, Albrecht (1980). Cebirsel topoloji üzerine dersler. 200 (2. baskı). Berlin, New York: Springer-Verlag. ISBN 978-3-540-10369-1. BAY 0606196., Önerme VII.6.6.

[1]