Karmaşık diferansiyel form - Complex differential form

İçinde matematik, bir karmaşık diferansiyel form bir farklı form bir manifold (genellikle bir karmaşık manifold ) sahip olmasına izin verilen karmaşık katsayılar.

Karmaşık formların geniş uygulamaları vardır diferansiyel geometri. Karmaşık manifoldlarda, temeldirler ve çoğunun temeli olarak hizmet ederler. cebirsel geometri, Kähler geometrisi, ve Hodge teorisi. Karmaşık olmayan manifoldlar üzerinde, aynı zamanda çalışılmasında da rol oynarlar. neredeyse karmaşık yapılar teorisi Spinors, ve CR yapıları.

Tipik olarak, karmaşık formlar, formların kabul ettiği bazı arzu edilen ayrışmalar nedeniyle kabul edilir. Karmaşık bir manifoldda, örneğin herhangi bir kompleks k-form benzersiz bir şekilde sözde toplamına ayrıştırılabilir (p,q)-formlar: kabaca, dilimleri p farklılıklar holomorfik koordinatların q karmaşık eşleniklerinin diferansiyelleri. Topluluğu (p,q) -formlar, çalışmanın ilkel nesnesi haline gelir ve manifold üzerinde daha ince bir geometrik yapı belirler. k-formlar. Örneğin, daha ince yapılar bile mevcuttur. Hodge teorisi geçerlidir.

Karmaşık bir manifold üzerindeki diferansiyel formlar

Farz et ki M bir karmaşık manifold karmaşık boyut n. Sonra bir yerel var koordinat sistemi oluşan n karmaşık değerli işlevler z¹, ..., zⁿ öyle ki bir yamadan diğerine koordinat geçişleri holomorf fonksiyonlar bu değişkenlerin. Karmaşık formların mekanı, temelde bu geçiş işlevlerinin sadece holomorfik değil, holomorfik olduğu gerçeğine bağlı olarak zengin bir yapı taşır. pürüzsüz.

Tek formlar

Tek form durumuyla başlıyoruz. Önce karmaşık koordinatları gerçek ve hayali kısımlarına ayırın: z^j=x^j+iy^j her biri için j. İzin vermek

{ displaystyle dz ^ {j} = dx ^ {j} + idy ^ {j}, quad d { bar {z}} ^ {j} = dx ^ {j} -idy ^ {j},}

karmaşık katsayılara sahip herhangi bir farklı formun benzersiz bir şekilde toplam olarak yazılabileceğini görür.

{ displaystyle sum _ {j = 1} ^ {n} left (f_ {j} dz ^ {j} + g_ {j} d { bar {z}} ^ {j} sağ).}

Hadi Ω^1,0 sadece içeren karmaşık farklı formların uzayı olabilir ${ displaystyle dz}$ 's ve Ω^0,1 sadece içeren formların alanı ol ${ displaystyle d { bar {z}}}$ 's. Tarafından gösterilebilir Cauchy-Riemann denklemleri, boşluklar Ω^1,0 ve Ω^0,1 holomorfik koordinat değişiklikleri altında kararlıdır. Başka bir deyişle, biri farklı bir seçim yaparsa w_ben holomorfik koordinat sistemi, daha sonra Ω^1,0 dönüştürmek gergin olarak Ω öğesinin öğeleri gibi^0,1. Böylece boşluklar Ω^0,1 ve Ω^1,0 karmaşık belirlemek vektör demetleri karmaşık manifoldda.

Daha yüksek dereceli formlar

Karmaşık diferansiyel formların kama çarpımı, gerçek formlarla aynı şekilde tanımlanır. İzin Vermek p ve q bir çift negatif olmayan tam sayı olmak ≤ n. Uzay Ω^{p, q} nın-nin (p,q) -formlar, kama ürünlerinin doğrusal kombinasyonları alınarak tanımlanır. p öğelerden Ω^1,0 ve q öğelerden Ω^0,1. Sembolik,

{ displaystyle Omega ^ {p, q} = underbrace { Omega ^ {1,0} wedge dotsb wedge Omega ^ {1,0}} _ {p { text {times}}} kama underbrace { Omega ^ {0,1} wedge dotsb wedge Omega ^ {0,1}} _ {q { text {times}}}}

neredeler p faktörleri Ω^1,0 ve q faktörleri Ω^0,1. 1-formların iki uzayında olduğu gibi, bunlar holomorfik koordinat değişiklikleri altında kararlıdır ve bu nedenle vektör demetlerini belirler.

Eğer E^k toplam derecenin tüm karmaşık diferansiyel biçimlerinin alanıdır k, sonra her bir öğesi E^k boşluklar arasından elemanların doğrusal bir kombinasyonu olarak benzersiz bir şekilde ifade edilebilir Ω^{p, q} ile p+q=k. Daha kısaca, bir doğrudan toplam ayrışma

{ displaystyle E ^ {k} = Omega ^ {k, 0} oplus Omega ^ {k-1,1} oplus dotsb oplus Omega ^ {1, k-1} oplus Omega ^ {0, k} = bigoplus _ {p + q = k} Omega ^ {p, q}.}

Bu doğrudan toplam ayrışması holomorfik koordinat değişiklikleri altında kararlı olduğundan, bir vektör demeti ayrışmasını da belirler.

Özellikle her biri için k ve her biri p ve q ile p+q=kvektör demetlerinin kanonik bir izdüşümü var

{ displaystyle pi ^ {p, q}: E ^ {k} rightarrow Omega ^ {p, q}.}

Dolbeault operatörleri

Olağan dış türev, bölümlerin bir eşlemesini tanımlar ${ displaystyle d: Omega ^ {r} ila Omega ^ {r + 1}}$ üzerinden

{ displaystyle d ( Omega ^ {p, q}) subseteq bigoplus _ {r + s = p + q + 1} Omega ^ {r, s}}

Dış türev, kendi içinde manifoldun daha katı karmaşık yapısını yansıtmaz.

Kullanma d ve bir önceki alt bölümde tanımlanan projeksiyonları tanımlamak mümkündür. Dolbeault operatörleri:

{ displaystyle kısmi = pi ^ {p + 1, q} circ d: Omega ^ {p, q} rightarrow Omega ^ {p + 1, q}, quad { bar { kısmi} } = pi ^ {p, q + 1} circ d: Omega ^ {p, q} rightarrow Omega ^ {p, q + 1}}

Bu operatörleri yerel koordinatlarda tanımlamak için

{ displaystyle alpha = sum _ {| I | = p, | J | = q} f_ {IJ} , dz ^ {I} wedge d { bar {z}} ^ {J} Omega ^ {p, q}}

nerede ben ve J vardır çoklu endeksler. Sonra

{ displaystyle kısmi alfa = toplamı _ {| I |, | J |} toplamı _ { ell} { frac { kısmi f_ {IJ}} { kısmi z ^ { ell}}} , dz ^ { ell} wedge dz ^ {I} wedge d { bar {z}} ^ {J}}

{ displaystyle { bar { kısmi}} alpha = sum _ {| I |, | J |} sum _ { ell} { frac { kısmi f_ {IJ}} { kısmi { bar {z}} ^ { ell}}} d { bar {z}} ^ { ell} wedge dz ^ {I} wedge d { bar {z}} ^ {J}.}

Aşağıdaki özelliklerin tuttuğu görülüyor:

{ displaystyle d = kısmi + { bar { kısmi}}}

{ displaystyle kısmi ^ {2} = { çubuk { kısmi}} ^ {2} = kısmi { çubuk { kısmi}} + { çubuk { kısmi}} kısmi = 0.}

Bu operatörler ve özellikleri şunun temelini oluşturur: Dolbeault kohomolojisi ve birçok yönü Hodge teorisi.

Holomorfik formlar

Her biri için p, bir holomorf p-form demetin holomorfik bir kesiti Ω^{p, 0}. Yerel koordinatlarda bir holomorfik p-form şeklinde yazılabilir

{ displaystyle alpha = toplam _ {| I | = p} f_ {I} , dz ^ {I}}

nerede ${ displaystyle f_ {I}}$ holomorfik fonksiyonlardır. Eşdeğer olarak, (p, 0) -form α holomorfiktir ancak ve ancak

{ displaystyle { bar { kısmi}} alpha = 0.}

demet holomorfik p-formlar genellikle yazılır Ω^pBu bazen kafa karışıklığına yol açabilse de pek çok yazar alternatif bir gösterim benimseme eğilimindedir.

Ayrıca bakınız

Referanslar

P. Griffiths; J. Harris (1994). Cebirsel Geometrinin İlkeleri. Wiley Classics Kitaplığı. Wiley Interscience. s. 23-25. ISBN 0-471-05059-8.
Wells, R. O. (1973). Karmaşık manifoldlarda diferansiyel analiz. Springer-Verlag. ISBN 0-387-90419-0.
Voisin, Claire (2008). Hodge Teorisi ve Karmaşık Cebirsel Geometri I. Cambridge University Press. ISBN 0521718015.