De Rham kohomolojisi - De Rham cohomology - Wikipedia

Bir diferansiyel forma karşılık gelen vektör alanı delinmiş uçak Bu kapalı ama kesin değil, bu da bu alanın de Rham kohomolojisinin önemsiz olmadığını gösteriyor.

İçinde matematik, de Rham kohomolojisi (sonra Georges de Rham ) her ikisine de ait bir araçtır. cebirsel topoloji ve diferansiyel topoloji hakkında temel topolojik bilgileri ifade edebilme pürüzsüz manifoldlar özellikle hesaplamaya ve somut temsiline uyarlanmış bir biçimde kohomoloji dersleri. Bu bir kohomoloji teorisi varlığına dayanarak diferansiyel formlar öngörülen özelliklere sahip.

Form kavramı üzerindeki entegrasyon diferansiyel topoloji, geometri ve fizikte temel bir öneme sahiptir ve aynı zamanda en önemli örneklerinden birini verir. kohomoloji, yani de Rham kohomolojisi, (kabaca konuşursak) tam olarak ne ölçüde analizin temel teoremi daha yüksek boyutlarda ve genel manifoldlarda başarısız olur. — Terence Tao, Diferansiyel Formlar ve Entegrasyon^[1]

Tanım

de Rham kompleksi ... cochain kompleksi nın-nin diferansiyel formlar bazı pürüzsüz manifold M, ile dış türev diferansiyel olarak:

${ displaystyle 0 to Omega ^ {0} (M) { stackrel {d} { to}} Omega ^ {1} (M) { stackrel {d} { to}} Omega ^ {2} (M) { stackrel {d} { to}} Omega ^ {3} (M) to cdots,}$

nerede Ω⁰(M) alanı pürüzsüz fonksiyonlar açık M, Ω¹(M) alanı 1-formlar vb. Diğer formların görüntüsü olan formlar, dış türev artı sabit 0 işlev Ω⁰(M), arandı tam ve dış türevi olan formlar 0 arandı kapalı (görmek Kapalı ve tam diferansiyel formlar ); ilişki d² = 0 sonra tam formların kapalı olduğunu söylüyor.

Aksine, kapalı formlar mutlaka kesin değildir. Açıklayıcı bir durum, bir manifold olarak bir çemberdir ve 1-Ortadaki bir referans noktasından açı türevine karşılık gelen biçim, tipik olarak şöyle yazılır dθ (açıklandığı gibi Kapalı ve tam diferansiyel formlar ). Hiçbir işlevi yok θ bütün daire üzerinde öyle tanımlanmıştır ki dθ türevidir; artış 2π çemberin etrafında pozitif yönde bir kez dolanmak, çok değerli işlev θ. Dairenin bir noktasının kaldırılması bunu ortadan kaldırır, aynı zamanda manifoldun topolojisini değiştirir.

De Rham kohomolojisinin arkasındaki fikir, denklik sınıfları manifold üzerinde kapalı formlar. Biri iki kapalı formu sınıflandırır α, β ∈ Ω^k(M) gibi kohomolog tam bir biçime göre farklılık gösteriyorlarsa, yani α − β kesin. Bu sınıflandırma, kapalı formların uzayında bir denklik ilişkisine neden olur. Ω^k(M). Biri sonra tanımlar k-nci de Rham kohomoloji grubu ${ displaystyle H _ { mathrm {dR}} ^ {k} (M)}$ denklik sınıfları kümesi, yani kapalı formlar kümesi Ω^k(M) tam formları modulo.

Herhangi bir manifold için unutmayın M oluşan m bağlantısı kesilmiş bileşenlerin her biri bağlı bizde var

${ displaystyle H _ { mathrm {dR}} ^ {0} (M) cong mathbb {R} ^ {m}.}$

Bu, herhangi bir düzgün işlevin M sıfır türev her yerde ayrı ayrı sabittir, bağlı bileşenlerin her birinde M.

De Rham kohomolojisi hesaplandı

Sıfır kohomoloji hakkında yukarıdaki gerçeği kullanarak bir manifoldun genel de Rham kohomolojilerini sıklıkla bulabilirsiniz. Mayer – Vietoris dizisi. Bir başka yararlı gerçek de Rham kohomolojisinin bir homotopi değişmez. Hesaplama verilmemiş olsa da, aşağıdakiler bazı yaygınlar için hesaplanan de Rham kohomolojileridir. topolojik nesneler:

nküre

İçin nküre, ${ displaystyle S ^ {n}}$ve ayrıca açık aralıklı bir ürünle birlikte alındığında aşağıdakilere sahibiz. İzin Vermek n > 0, m ≥ 0, ve ben açık bir gerçek aralık. Sonra

${ displaystyle H _ { mathrm {dR}} ^ {k} (S ^ {n} times I ^ {m}) simeq { begin {case} mathbb {R} & k = 0 { text {veya }} k = n, 0 & k neq 0 { text {ve}} k neq n. end {vakalar}}}$

n-torus

${ displaystyle n}$-torus, Kartezyen ürünüdür: ${ displaystyle T ^ {n} = underbrace {S ^ {1} times cdots times S ^ {1}} _ {n}}$. Benzer şekilde, izin vermek ${ displaystyle n geq 1}$ burada elde ederiz

${ displaystyle H _ { mathrm {dR}} ^ {k} (T ^ {n}) simeq mathbb {R} ^ {n k seçin}.}$

Doğrudan diferansiyel formları kullanarak simidin de Rham kohomolojisi için açık üreteçler de bulabiliriz. Bölüm manifoldu verildiğinde ${ displaystyle pi: X - X / G}$ ve farklı bir form ${ displaystyle omega içinde Omega ^ {k} (X)}$ bunu söyleyebiliriz ${ displaystyle omega}$ dır-dir ${ displaystyle G}$değişken neden olduğu herhangi bir diffeomorfizm verilirse ${ displaystyle G}$, ${ displaystyle cdot g: X ila X}$ sahibiz ${ displaystyle ( cdot g) ^ {*} ( omega) = omega}$. Özellikle, herhangi bir formun geri çekilmesi ${ displaystyle X / G}$ dır-dir ${ displaystyle G}$-değişmeyen. Ayrıca, geri çekilme, enjekte edici bir morfizmdir. Bizim durumumuzda ${ displaystyle mathbb {R} ^ {n} / mathbb {Z} ^ {n}}$ diferansiyel formlar ${ displaystyle dx_ {i}}$ vardır ${ displaystyle mathbb {Z} ^ {n}}$-den beri değişmez ${ displaystyle d (x_ {i} + k) = dx_ {i}}$. Ama dikkat edin ${ displaystyle x_ {i} + alpha}$ için ${ displaystyle alpha in mathbb {R}}$ değişmez değil ${ displaystyle 0}$-form. Bu, enjektivite ile şunu ima eder:

${ displaystyle [dx_ {i}] H_ {dR} ^ {1} (T ^ {n})} içinde$

Bir simidin kohomoloji halkası, ${ displaystyle H ^ {1}}$, bu formların dış ürünlerini almak, bir torusun de Rham kohomolojisinin tüm açık temsilcilerini verir.

Delinmiş Öklid alanı

Delinmiş Öklid uzayı basitçe ${ displaystyle mathbb {R} ^ {n}}$ kökeni kaldırılmış olarak.

${ displaystyle H _ { text {dR}} ^ {k} ( mathbb {R} ^ {n} setminus {0 }) cong { begin {case} mathbb {R} ^ {2} & n = 1, k = 0 mathbb {R} & n> 1, k = 0, n-1 0 & { text {aksi halde}} end {case}}.}$

Möbius şeridi

Gerçeğinden çıkarabiliriz Mobius şeridi, M, olabilir deformasyon geri çekildi için 1-sfer (yani gerçek birim çember):

${ displaystyle H _ { mathrm {dR}} ^ {k} (M) simeq H _ { mathrm {dR}} ^ {k} (S ^ {1}).}$

De Rham teoremi

Stokes teoremi bir ifadesidir ikilik de Rham kohomolojisi ile homoloji nın-nin zincirler. Diferansiyel formların ve zincirlerin entegrasyon yoluyla eşleştirilmesinin bir homomorfizm de Rham cohomology'den ${ displaystyle H _ { mathrm {dR}} ^ {k} (M)}$ -e tekil kohomoloji grupları ${ displaystyle H ^ {k} (M; mathbb {R}).}$ De Rham teoremitarafından kanıtlandı Georges de Rham 1931'de, pürüzsüz bir manifold için M, bu harita aslında bir izomorfizm.

Daha doğrusu, haritayı düşünün

${ displaystyle I: H _ { mathrm {dR}} ^ {p} (M) - H ^ {p} (M; mathbb {R}),}$

aşağıdaki gibi tanımlanmıştır: herhangi biri için ${ displaystyle [ omega] in H _ { mathrm {dR}} ^ {p} (M)}$, İzin Vermek ben(ω) unsuru olmak ${ displaystyle { text {Hom}} (H_ {p} (M), mathbb {R}) simeq H ^ {p} (M; mathbb {R})}$ aşağıdaki gibi davranır:

${ displaystyle H_ {p} (M) ni [c] longmapsto int _ {c} omega.}$

De Rham teoremi, bunun de Rham kohomolojisi ile tekil kohomoloji arasında bir izomorfizm olduğunu ileri sürer.

dış ürün bahşeder doğrudan toplam bu grupların yüzük yapı. Teoremin bir başka sonucu da iki kohomoloji halkaları izomorfik (as dereceli halkalar ), tekil kohomolojideki benzer ürün, fincan ürünü.

Sheaf-theoretic de Rham izomorfizmi

De Rham kohomolojisi, izomorf için Čech kohomolojisi ${ displaystyle H ^ {*} ({ mathcal {U}}, { underline { mathbb {R}}})}$, nerede ${ displaystyle F}$ ... demet nın-nin değişmeli gruplar tarafından karar verildi ${ displaystyle F (U) = mathbb {R}}$ tüm bağlı açık setler için ${ displaystyle U alt küme M}$ve açık setler için ${ displaystyle U, V}$ öyle ki ${ displaystyle U alt küme V}$grup morfizmi ${ displaystyle { text {res}} _ {V, U}: { underline { mathbb {R}}} (V) to { underline { mathbb {R}}} (U)}$ kimlik haritası ile verilir ${ displaystyle mathbb {R},}$ ve nerede ${ displaystyle { mathcal {U}}}$ iyi mi açık kapak nın-nin ${ displaystyle M}$ (yani açık kapaktaki tüm açık setler ${ displaystyle { mathcal {U}}}$ vardır kasılabilir bir noktaya ve kümelerin tüm sonlu kesişimleri ${ displaystyle { mathcal {U}}}$ ya boştur ya da bir noktaya kadar daralabilir). Diğer bir deyişle ${ displaystyle F}$ ... sabit demet sabit ön kafalı atamanın demetlendirmesi ile verilir ${ displaystyle F (U) = mathbb {R}}$.

Başka bir şekilde belirtilirse ${ displaystyle M}$ kompakt C^m+1 boyut manifoldu ${ displaystyle m}$sonra her biri için ${ displaystyle k leq m}$bir izomorfizm var

${ displaystyle H _ { mathrm {dR}} ^ {k} (M) cong { check {H}} ^ {k} (M, { underline { mathbb {R}}})}$

sol taraf nerede ${ displaystyle k}$-th de Rham kohomoloji grubu ve sağ taraf, sabit demet lifli ${ displaystyle mathbb {R}.}$

Kanıt

İzin Vermek ${ displaystyle Omega ^ {k}}$ belirtmek mikrop demeti nın-nin ${ displaystyle k}$-de oluşur ${ displaystyle M}$ (ile ${ displaystyle Omega ^ {0}}$ demet ${ displaystyle C ^ {m + 1}}$ fonksiyonlar açık ${ displaystyle M}$). Tarafından Poincaré lemma, aşağıdaki kasnak sırası tamdır ( kategori kasnak sayısı):

${ displaystyle 0 - { altı çizili { mathbb {R}}} - Omega ^ {0} , xrightarrow {d} , Omega ^ {1} , xrightarrow {d} , Omega ^ {2} , xrightarrow {d} dots xrightarrow {d} , Omega ^ {m} - 0.}$

Bu dizi şimdi ayrılıyor kısa kesin diziler

${ displaystyle 0 d Omega ^ {k-1} , { xrightarrow { alt küme}} , Omega ^ {k} , { xrightarrow {d}} , d Omega ^ {k } - 0.}$

Bunların her biri bir uzun tam sıra kohomolojide. Demetinden beri ${ displaystyle C ^ {m + 1}}$ bir manifolddaki fonksiyonlar kabul eder birlik bölümleri demet-kohomolojisi ${ displaystyle H ^ {i} ( Omega ^ {k})}$ için kaybolur ${ displaystyle i> 0}$. Dolayısıyla, uzun kesin kohomoloji dizilerinin kendileri nihayetinde bir izomorfizm zincirine ayrılır. Zincirin bir ucunda ech kohomolojisi ve diğer ucunda de Rham kohomolojisi yer alır.

İlgili fikirler

De Rham kohomolojisi, aşağıdakiler de dahil olmak üzere birçok matematiksel fikre ilham vermiştir. Dolbeault kohomolojisi, Hodge teorisi, ve Atiyah-Singer indeksi teoremi. Bununla birlikte, daha klasik bağlamlarda bile teorem bir dizi gelişmeye ilham vermiştir. İlk olarak, Hodge teorisi harmonik biçimlerden oluşan kohomoloji ile kapalı biçimlerden oluşan de Rham kohomolojisi arasında bir izomorfizm olduğunu kanıtlamaktadır. Bu, harmonik formların ve Hodge teoreminin uygun bir tanımına dayanır. Daha fazla ayrıntı için bkz. Hodge teorisi.

Harmonik formlar

Eğer M bir kompakt Riemann manifoldu, sonra her eşdeğerlik sınıfı ${ displaystyle H _ { mathrm {dR}} ^ {k} (M)}$ tam olarak bir tane içerir harmonik form. Yani her üye ${ displaystyle omega}$ kapalı formların belirli bir denklik sınıfının

${ displaystyle omega = alpha + gamma}$

nerede ${ displaystyle alpha}$ kesin ve ${ displaystyle gamma}$ harmoniktir: ${ displaystyle Delta gamma = 0}$.

Hiç harmonik fonksiyon kompakt bağlı bir Riemann manifoldunda bir sabittir. Bu nedenle, bu özel temsili eleman, manifold üzerindeki tüm kohomolog olarak eşdeğer formların bir uç noktası (minimum) olarak anlaşılabilir. Örneğin, bir 2-simit bir sabit düşünülebilir 1-Tüm "saç" ın aynı yönde düzgün bir şekilde tarandığı (ve tüm "saçın" aynı uzunluğa sahip olduğu) bir biçim. Bu durumda, kohomolojik olarak farklı iki tarama vardır; diğerlerinin tümü doğrusal kombinasyonlardır. Özellikle bu, 1'inci Betti numarası bir 2-torus iki. Daha genel olarak, bir ${ displaystyle n}$boyutlu simit ${ displaystyle T ^ {n}}$çeşitli taramalar düşünülebilir. ${ displaystyle k}$simit üzerinde oluşur. Var ${ displaystyle n}$ Seç ${ displaystyle k}$ temel vektörleri oluşturmak için kullanılabilecek bu tür taraklar ${ displaystyle H _ { text {dR}} ^ {k} (T ^ {n})}$; ${ displaystyle k}$de Rham kohomoloji grubu için -th Betti numarası ${ displaystyle n}$-torus böyledir ${ displaystyle n}$ Seç ${ displaystyle k}$.

Daha doğrusu, bir diferansiyel manifold Mbazı yardımcı maddelerle donatılabilir Riemann metriği. Sonra Laplacian ${ displaystyle Delta}$ tarafından tanımlanır

${ displaystyle Delta = d delta + delta d}$

ile ${ displaystyle d}$ dış türev ve ${ displaystyle delta}$ kodlayıcı. Laplacian homojendir (in derecelendirme ) doğrusal diferansiyel operatör üzerine hareket etmek dış cebir nın-nin diferansiyel formlar: derecenin her bileşeni üzerindeki etkisine bakabiliriz ${ displaystyle k}$ ayrı ayrı.

Eğer ${ displaystyle M}$ dır-dir kompakt ve yönelimli, boyut of çekirdek Laplacian'ın k-formlar eşittir (ile Hodge teorisi ) de Rham kohomoloji grubunun derecesine göre ${ displaystyle k}$: Laplacian, benzersiz bir harmonik form her kohomoloji sınıfında kapalı formlar. Özellikle, tüm harmoniklerin alanı ${ displaystyle k}$-de oluşur ${ displaystyle M}$ izomorfiktir ${ displaystyle H ^ {k} (M; mathbb {R}).}$ Böyle her bir uzayın boyutu sonludur ve ${ displaystyle k}$-nci Betti numarası.

Hodge ayrışması

İzin Vermek ${ displaystyle M}$ olmak kompakt yönelimli Riemann manifoldu. Hodge ayrışması herhangi olduğunu belirtir ${ displaystyle k}$-form üzerinde ${ displaystyle M}$ benzersiz bir şekilde üçün toplamına bölünür L² bileşenler:

${ displaystyle omega = alpha + beta + gamma,}$

nerede ${ displaystyle alpha}$ kesin, ${ displaystyle beta}$ eş-kesin ve ${ displaystyle gamma}$ harmoniktir.

Biri bir form olduğunu söylüyor ${ displaystyle beta}$ eğer birlikte kapanır ${ displaystyle delta beta = 0}$ ve birlikte kesin eğer ${ displaystyle beta = delta eta}$ bir şekilde ${ displaystyle eta}$, ve şu ${ displaystyle gamma}$ Laplacian sıfır ise harmoniktir, ${ displaystyle Delta gamma = 0}$. Bunu, tam ve eş-kesin formların ortogonal olduğuna dikkat çekerek takip eder; ortogonal tamamlayıcı daha sonra hem kapalı hem de birlikte kapalı formlardan, yani harmonik formlardan oluşur. Burada diklik, L² iç çarpım ${ displaystyle Omega ^ {k} (M)}$:

${ displaystyle ( alpha, beta) = int _ {M} alpha wedge { star beta}.}$

Kullanımıyla Sobolev uzayları veya dağıtımlar ayrışma, örneğin tam (yönlendirilmiş veya yönlendirilmemiş) bir Riemann manifolduna genişletilebilir.^[2]

Ayrıca bakınız

• Hodge teorisi
• Lifler boyunca entegrasyon (de Rham kohomolojisi için, ilerletmek tarafından verilir entegrasyon )

Referanslar

• Bott, Raoul; Tu, Loring W. (1982), Cebirsel Topolojide Diferansiyel Formlar, Berlin, New York: Springer-Verlag, ISBN  978-0-387-90613-3
• Griffiths, Phillip; Harris, Joseph (1994), Cebirsel geometrinin ilkeleri, Wiley Classics Kütüphanesi, New York: John Wiley & Sons, ISBN  978-0-471-05059-9, BAY  1288523
• Warner, Frank (1983), Türevlenebilir Manifoldların ve Lie Gruplarının Temelleri, Berlin, New York: Springer-Verlag, ISBN  978-0-387-90894-6

Özel

Dış bağlantılar

• De Rham Kohomolojisi Fikri içinde Mathifold Projesi
• "De Rham kohomolojisi", Matematik Ansiklopedisi, EMS Basın, 2001 [1994]