ATATÜRK ÜNİVERSİTESİ FEN BİLİMLERİ ENSTİTÜSÜ DOKTORA TEZİ B-MANİFOLDLARIN GEOMETRİSİ Murat İŞCAN MATEMATİK ANABİLİM DALI ERZURUM 2008 Her hakkı saklıdır ÖZET Doktora Tezi B-MANİFOLDLARIN GEOMETRİSİ Murat İŞCAN Atatürk Üniversitesi Fen Bilimleri Enstitüsü Matematik Anabilim Dalı Danışman: Doç. Dr. Abdullah MAĞDEN Ortak-Danışman: Prof. Dr. Arif SALİMOV Bu tezde, pür Riemannian metrik tensörlerinin uygulanabildiği Tachibana operatörler teorisi kullanılmış ve paraholomorfik B-manifold incelenmiştir. Bu amaçla ilk olarak hemen hemen B-manifoldun paraholomorfik B-manifold olması için gerek ve yeter şart ispatlandı. Sonra paraholomorfik B-manifoldlar için eğrilik tensörüne bakıldı. İlk önce eğrilik tensörünün pür olduğu gösterildi. Pür olan Riemannian eğrilik tensörüne Tachibana operatörü uygulanarak Riemannian eğrilik tensör alanının paraholomorfik tensör alanı olduğu ispatlandı. Ayrıca paraholomorfik B-manifoldun R skaler eğriliğinin lokal holomorfik fonksiyon olduğu gösterildi. Son olarak tanjant demette (1,1) tipli I birim tensör alanının D I diagonal liftinin ve S g Sasakian metriğinin vasıtasıyla (T (Vn ), D I , S g ) üçlüsünün bir hemen hemen B-manifold olduğu ve (T (Vn ), D I , S g ) hemen hemen Bmanifoldunun paraholomorfik olması için baz manifoldun lokal Euclidean olması gerektiği ispatlandı. 2008, 63 sayfa Anahtar Kelimeler: Pür tensör, Tachibana operatörü, diagonal lift, Sasakian metrik i ABSTRACT Ph. D. Thesis GEOMETRY OF B-MANIFOLDS Murat İŞCAN Atatürk University Graduate School of Natural and Applied Sciences Department of Mathematics Supervisor: Assoc. Prof. Dr. Abdullah MAĞDEN Co-Supervisor: Prof. Dr. Arif SALİMOV In this thesis, The theory of Tachibana operators, which pure Riemannian metric tensors can be implemented, has been used and paraholomorphic B-manifold has been investigated. For this reason, firstly, it has been proved that almost B-manifold is paraholomorphic Bmanifold on which necessary and sufficient conditions. Then, curvature tensor for paraholomorphic B-manifold has been investigated. As a first, it has been shown that curvature tensor is pure. It has been proved that Riemannian curvature tensor field is paraholomorphic tensor field by means of Tachibana operator by being implemented to Riemannian curvature tensor which is pure. Moreover, it has been shown that R curvature scalar of paraholomorphic B-manifold is locally holomorphic function. Finally, it has been proved that (T (Vn ), D I , S g ) is almost B-manifold by means of diagonal lift of identity tensor field with (1,1) type , D D I , in tangent bundle and S g Sasakian metric and that S (T (Vn ), I , g ) almost B-manifold is palaholomorphic if the manifold is locally euclidean. 2008, 63 pages Keywords : Pure tensor, Tachibana operator, diagonal lift, Sasakian metric ii TEŞEKKÜR Doktora tezi olarak sunduğum bu çalışma Atatürk Üniversitesi Fen-Edebiyat Fakültesi Matematik Bölümünde yapılmıştır. Bu tez konusunu çalışmamı sağlayan, her adımda bilgilerini esirgemeyen, Hocalarım Sayın Doç. Dr. Abdullah MAĞDEN’e, Sayın Prof. Dr. Arif SALİMOV’a teşekkür eder şükranlarımı ifade etmek isterim. Ayrıca çalışmalarımda ve tezin hazırlanışında yakın ilgi ve yardımlarını esirgemeyen Hocam Sayın Yrd. Doç. Dr. Nejmi CENGİZ’e, Sayın Yrd. Doç. Dr. Ömer TARAKÇI’ya şükranlarımı sunarım. Çalışmalarım boyunca kendisinden görmüş olduğum destekten ve sonsuz güveninden dolayı eşime teşekkür etmeyi bir borç bilirim. Murat İŞCAN Ocak 2008 iii İÇİNDEKİLER ÖZET……………….………………………………………………………………………..i ABSTRACT............................................................................................................................ii TEŞEKKÜR….………………………..................................................................................iii SİMGELER DİZİNİ……...…………………………………………………….................. vi ŞEKİLLER DİZİNİ .............................................................................................................vii 1.GİRİŞ…...……………………………………….……………………….…….……...1 2. KURAMSAL TEMELLER…………..…........……………………………..………3 2.1. Diferensiyellenebilir Manifoldlar……...………………………………………….. 3 2.2. Tensör Alanları…………….…………………..………………........…………....…5 2.3. Diferensiyellenebilir Manifold Üzerinde Afin (Levi-Civita) Konneksiyon…...……9 2.3.1. Afin konneksiyonlu uzaylar………………….…………..…………..……….....14 2.3.2. Eğrilik ve burulma tensörleri………………………….....………………..…….17 2.3.3. Konneksiyonların dönüşümü…………………….....………………………..….19 2.3.4. Burulması sıfır olan uzaylar……….………..………………..…………….........21 2.3.5. Riemannian manifoldu………….……………..……..……………….................26 3. MATERYAL ve YÖNTEM………….………..……...………………....................27 3.1. Tanjant Demet……………..………..………….………………………………….27 3.1 Diferensiyel Geometrik Cebirsel Yapılar.……..………..……………..……......…29 3.2.1. m-boyutlu cebir………………………………………….………….....……..…..29 3.2.2. Cebirsel yapılara göre holomorfluk …..………………………..……………..…34 3.3. Nijenhuis Tensörü………………...………………………..……………………....38 3.4. Skaler Eğrilik……………………………………………..………………………..40 3.5. Hermitian ve Kahlerian Manifoldlar…….…………….…………………………..41 4. ARAŞTIRMA BULGULARI ve TARTIŞMA………………..…......……….…...44 4.1. Parakompleks yapı ve φ -operatör..…………….....………..……………………...44 4.2. Holomorfik B-Manifold…...………………..……………..…………………….…46 4.3. Paraholomorfik B-manifoldlarında Eğrilik Tensörleri……..……...……..……......52 iv 4.4. Paraholomorfik B-manifoldlarında Skaler Eğrilikler………..…..………......…….55 5. SONUÇ………………………..…..…………….…………..………..……………..61 KAYNAKLAR.....................................................................................................................62 ÖZGEÇMİŞ………………....……………………………………………………………..64 v SİMGELER DİZİNİ T (M n ) M n Manifoldunun Tanjant Demeti Tx ( M n ) x ∈ M n Noktasındaki Tanjant Uzay Tqp ( M n ) M n Manifoldu Üzerinde (p,q) tipli Tensör Demeti LX X Vektör Alanına Göre Lie Türevi ∇X X Vektör Alanına Göre Kovaryant Türev Γij h Cristoffel Sembolü Rijkh Eğrilik Tensörü S ijh Burulma Tensörü Tkmi Afin deformasyon (gerilme) tensörü Am m − boyutlu cebir γ Cαβ Cebirin yapı sabitleri φ Tachibana operatörü D Diagonal Lift V Dikey Lift H Yatay Lift Nϕ ϕ ’in Nijenhuis Tensörü S Sasakian metriği g vi ŞEKİLLER DİZİNİ Şekil 4.1. Hemen hemen Hermitian manifold ve hemen hemen para B-manifold arasındaki benzerlikler diagramı………………..………………………….49 vii 1 1. GİRİŞ Manifoldlar üzerindeki yapılar teorisi, modern diferensiyel geometrinin çok ilginç bir konusu olmuştur. Hemen hemen product uzaylar Walker (1955) tarafından çalışılmaya başlanmıştır. Fukami (1959) hemen hemen product manifoldlarda bazı yapılara göre afin konneksiyonlarını araştırmış ve aynı yıl Yano hemen hemen product uzayda afin konneksiyonlarını çalışmıştır. Tachibana (1960) lokal product Riemannian manifoldları üzerine bazı teoremler ortaya atmıştır. Norden (1960) M n diferensiyellenebilir Riemannian manifoldunda ϕ hemen hemen product yapısına göre g metrik tensörü g (ϕ X , Y ) = g ( X , ϕY ) , X , Y ∈ ℑ10 ( M n ) , n = 2k , şartını sağladığında g ’yi B-tensör olarak adlandırmıştır. g Riemannian metrik tensörü yukarıdaki şartı sağlarsa g ye pür tensör de denir. Vishnevskii (1970) hemen hemen product yapıya göre pür olan g Riemannian metriğini, Norden’in (1960) çalışması doğrultusunda, B-metrik olarak adlandırmıştır. ( M n , ϕ ) B-metriğine sahip hemen hemen product manifold ise ( M n , ϕ , g ) ye hemen hemen B-manifold denir. ( M n , ϕ , g ) hemen hemen B-manifoldunda (1,1) tipli ϕ tensör alanı integrallenebilirse ( M n , ϕ , g ) ’ye B-manifold denir. Kruchkovich (1972) manifoldlar üzerinde hiperkompleks yapıları ve özel durum gibi paracomplex yapıları incelerken, ( M n , ϕ , g ) B-manifoldu üzerinde (φϕ g )( X , Y , Z ) = ( Lϕ X g − LX ( g ϕ ))(Y , Z ) + g (Y , ϕ LX Z ) − g (ϕY , LX Z ) şartını sağlayan g pür tensör alanına uygulanan 2 φϕ : g → ℑ30 ( M n ) operatörü için B-manifoldunda g B-metriğinin φϕ g = 0 şartını sağlarsa paraholomorfik (analitik) olduğunu görmüştür. Adati (1981) hemen hemen product Riemannian manifoldlarının alt manifoldlarını incelerken Mihai ve Nicolau (1982) hemen hemen paracontact manifoldlarının tanjant demeti üzerinde hemen hemen product yapılarını incelemiştir. Ivanavo (1989) hemen hemen B-manifoldlar üzerine örnekler sunmuştur. Cruceanu, Fornuty ve Gadea (1996) Parakompleks geometri üzerine bir derleme çalışması yapmışlardır. Sunulan bu tezde holomorfik B-manifoldların üzerine çalışılmış, eğrilik tensörünün ve skaler eğriliklerinin holomorfluğu incelenmiştir. Bu amaçla ikinci ve üçüncü bölümlerde çalışmamızın anlaşılabilmesi için diferensiyellenebilir manifoldlar, cebirsel yapılar ve yapıların özellikleri hakkında genel bilgiler verilmiştir. Dördüncü bölümde ise sırasıyla paraholomorfik B-manifold ile Kahlerian manifoldları arasındaki benzerlik incelenmiş, bununla ilgili bir diyagram verilmiştir. Daha sonra eğrilik tensörünün pür ve holomorfik olma şartı araştırılmıştır. Ayrıca skaler eğriliğinin de holomorfluğu araştırılmış ve son olarak B-manifoldlarla ilgili örnekler sunulmuştur. 3 2. KURAMSAL TEMELLER 2.1. Diferensiyellenebilir Manifoldlar 2.1.1. Tanım: X Hausdorff uzay olmak üzere herhangi bir U ⊂ X açık kümesinden V⊂ n kümesine tanımlanan ϕ :U → V homeomorfizmine X de n boyutlu koordinat sistemi veya harita, U haritasının koordinat komşuluğu veya koordinat bölgesi denir ve ya ise ϕ (U , ϕ ) şeklinde gösterilir. Eğer x ∈ U ise ϕ ( x ) = ( x1 , x 2 ,..., x n ) ∈ n olur. Burada x1 ,..., x n reel sayılarına ϕ haritasında x noktasının koordinatları denir. 2.1.2. Tanım: Eğer X Hausdorff uzayının n-boyutlu ϕα haritalarının U α bölgeleri bu uzayı örterse, yani X = ∪ Uα , ( A-indisler kümesi ) α ∈A ise X ’e n-boyutlu topolojik manifold veya sadece n-boyutlu manifold denir. 2.1.3. Tanım: X Hausdorff uzay ve k ise 0 ≤ k şartını sağlayan tam sayı olsun. Aşağıdaki şartları sağlayan {(U α , ϕα ) : α ∈ A,U α ⊂ X } lokal koordinatlar ailesine X üzerinde C k sınıfından n-boyutlu atlas adı verilir: 1. Lokal haritaların U α bölgesi X i örter, yani X , n-boyutlu topolojik manifolddur. 2. Keyfi α , β ∈ A için Uα ∩ U β ≠ ∅ ise ϕ β ϕα −1 : ϕα (U α ∩ U β ) → ϕ β (U α ∩ U β ) dönüşümü C k sınıfındandır. Bu şarta bazen (U α , ϕα ) ve uzlaşması şartı da denir. (U β , ϕ β ) haritalarının C k 4 ϕ β ϕ α−1 dönüşümüne ise koordinatların dönüşümü (u i β ( ) ) = u βi uαj , i, j = 1,..., n denir. Burada u βi , (U β , ϕ β ) haritasındaki x ∈ U α ∩ U β noktasının koordinatları, uαj ise (U α , ϕα ) haritasındaki x noktasının koordinatlarıdır. U α ∩ U β = ∅ ise bu durumda ϕ β ϕ α−1 dönüşümü tanımlanamaz. Ancak, bu durumda ϕ β ϕ α−1 dönüşümünün C k sınıfından olduğu kabul edilecektir. 2. şart, ϕ β ϕ α−1 dönüşümlerinin C k sınıfından difeomorfizmler olmasına denktir. Bu ise, ϕ β ϕ α−1 koordinat dönüşümünün Jakobian matrisinin determinantının sıfırdan farklı olması demektir. 2.1.4. Tanım: {(U α , ϕα )} ve {(U β , ϕ β )}, C k sınıfından herhangi iki atlas olsun. Bu atlasların keyfi (U α , ϕα ) ve (U β , ϕ β ) haritaları C k uzlaşmış ise yani, {(U β {(U α , ϕα )} ve , ϕ β )} atlaslarının birleşimi C k sınıfından atlas ise verilen atlaslara denk atlaslar denir. 2.1.5. Tanım: X Hausdorff uzayı üzerinde C k atlaslarının denklik sınıfına C k -yapı denir. C k -yapısının tüm C k atlaslarının birleşiminin oluşturduğu C k atlasına maksimal C k atlas adı verilir. X üzerindeki C k atlaslarının her bir denklik sınıfı, kendisinin bir elemanı ile ifade edilir. Yani, C k -yapısı, onun keyfi C k atlası yardımıyla oluşturulabilir. Buradan da, X üzerindeki her bir C k -yapısının bu yapıdan olan bir C k atlas ile verilebileceği sonucu çıkar. C 0 -yapıya topolojik yapı, C k (1 ≤ k ≤ ∞ ) yapıya ise düzgün (smooth) yapı denir. Bundan sonra yalnız C ∞ -yapılara bakılacaktır. 5 2.1.6. Tanım: M, sayılabilir baza sahip Hausdorff uzay olsun. Eğer, M üzerinde n- boyutlu C ∞ atlaslarının C ∞ yapısı verilmişse M uzayına n-boyutlu C ∞ sınıfından diferensiyellenebilir manifold veya düzgün manifold denir ve M n ile gösterilir. 2.2.Tensör Alanları 2.2.1. Tanım: Bn , n − boyutlu reel vektör uzayı, Bn* ise onun dual uzayı olsun. i x j ∈ Bn , j = 1,..., q ve ξ ∈ Bn∗ , i = 1,..., p kovektör değişkenlerinin 1 p 2 ω = t ( x1 , x 2 ,..., x q , ξ , ξ , ..., ξ ) reel değerli fonksiyonunu göz önüne alalım. Eğer bu fonksiyon her bir değişkene göre lineerlik şartını sağlarsa, fonksiyona multilineer fonksiyon denir. Mesela birinci vektör değişkenine göre lineerlik şartı λ , μ ∈ 1 2 p 1 2 olmak üzere p 1 2 p ω = t (λ x + μ y, x2 ,..., xq , ξ , ξ ,..., ξ ) = λt (x , x2 ,..., xq , ξ , ξ ,..., ξ ) + μ t ( y, x2 ,..., xq , ξ , ξ ,..., ξ ) biçiminde gösterilebilir. Bu multilineer fonksiyona karşılık gelen p ∗ n t : Bn × Bn × ... × Bn × B × ... × Bn∗ → q operatörüne Bn uzayında p dereceden kontravaryant, q dereceden kovaryant tensör adı verilir ve bu şekildeki tüm tensörlerin uzayı Tqp (Bn ) ile gösterilir. p ≥ 0, q ≥ 0 olmak üzere s = p+q sayısına ise tensörün valentliği, (p,q) sembolüne ise tensörün tipi denir. (p,0) tipli tensöre kontravaryant tensörler, (0,q) tipli tensörlere ise kovaryant tensörler denir. S 2 (Bn ) , T20 (Bn ) uzayının bütün simetrik tensörlerinin alt uzayı olmak üzere herhangi bir g ∈ S 2 (Bn ) tensörünü alalım; g ( x , y ) = 0, ∀y ∈ Bn şartında x = 0 olursa, bu taktirde g tensörüne regüler tensör denir. (2.1) 6 (2.1) eşitliği koordinatlarla g ij x i y j = 0 biçiminde yazılır. Bu eşitlik her y j için sağlandığından gij xi = 0 , j = 1,..., n bulunur. Bu denklem sisteminin x i = 0 çözümüne sahip olması için Det (g ij ) ≠ 0 olması gerekir. Burada (g ij ), g tensörüne karşılık gelen matristir. g ∈ S 2 (Bn ) tensörü regüler tensör ise g tensörüne Bn uzayında esas tensör adı verilir. ( ) Esas tensöre karşılık gelen (g ij ) matrisinin tersini g~ ij ile gösterelim. Bu taktirde g~ kj g ji = δ ik (2.2) yazılır. Bn ve Bn∗ uzayları arasında ξi = gik x k , (ηi = gik y k ) (2.3) dönüşümü, (2.2) eşitliğine göre x k = g kiξi , ( y k = g kiηi ) (2.4) olur. g ∈ S 2 (Bn ) tensörüne karşılık gelen invaryant bilineer formu ω = g (x , y ) = g ij x i y j şeklinde yazalım. Burada (2.3) ve (2.4) eşitliklerini dikkate alırsak ω = g (x , y ) = g x i y j = x iη = g~ ijη ξ ij i i j olur. Yani, g esas tensörü verildiğinde biz kovektör değişkenlerinin ω = g~ ijη i ξ j invaryant bilineer formunu buluruz. Buna göre de g~ ij , (2,0) tipli tensörün koordinatlarıdır. Bu tensöre g tensörünün ters tensörü denir. Ayrıca g~ (η , ξ ) = g~ (ξ ,η ) = g~ ijη i ξ j = η i x i = g ik y k x i , g~ ji ξ jη i = ξ j y j = g jk x k y j = g ki x i y k = g ki y k x i = g~ (η , ξ ) olduğundan g~ ij tensörü simetriktir. 7 Böylece Bn uzayında g tensörü verildiğinde Bn ’den Bn∗ ’a bir izomorfizm bulunur. Buna göre vektör ve kovektörler aynılaştırılır ve aynı x sembolü ile gösterilir. Yani, xk = g ki x i , x i = g ik xk yazılır. Bu işlemlere indisin indirilmesi (x i → xk ) ve yükseltilmesi (x k → xi ) işlemleri denir. Buna göre, S (x , y ) tensörü göz önüne alınırsa S .pj = g pi Sij , Si .p = g pj Sij , S .pq. = g pi g pj Sij ifadelerinin herbiri S ij tensöründen indislerin yükseltilmesi işlemi, S .p j = g pi S ij , S ip. = g pj S ij , S .pq. = g pi g qj S ij ifadelerinin herbiri ise verilmiş S ij tensöründen indislerin indirilmesi işlemidir. Eğer g ( x , y ) , Bn uzayında (0,2) tipli tensör ise, her x , y ∈ Bn vektörlerinin skaler çarpımı denildiğinde g tensörünün x ve y vektörleri üzerindeki izi anlaşılır ve xy veya (x , y ) biçiminde gösterilir. Yani, xy = g ( x , y ) = gij xi y j = x j y j (2.5) biçiminde tanımlanır. Eğer Det (g ij ) ≠ 0 olursa bu taktirde (2.5) skaler çarpımına regüler çarpım denir. 2.2.2. Tanım: M n , C ∞ sınıfından bir manifold ve Tp , her p ∈ M n noktasındaki tanjant uzayı olsun. M n manifoldunun her p ∈ M n noktasına T p uzayından bir X p vektörü karşılık getiren X vektör değerli fonksiyonuna vektör alanı denir (Salimov ve Mağden 1999). f , M n manifoldunda bir dönüşüm ise Xf de M n manifoldunda ( Xf )( p ) = X p f ile tanımlanan bir dönüşümdür. U ⊂ M n komşuluktaki bir vektör alanı koordinat komşuluğunu alalım. Bu 8 X = ξ i∂i olarak yazılır. ξ i ler U daki lokal koordinatlara bağlıdır. Yani, ξ i = ξ i (x i ,..., x n ) , i = 1,..., n olur. M n , C ∞ sınıfından bir manifold olmak üzere her m ∈ M n noktasındaki her bir (p,q) tipli tensör için uygun bir Tqp (m ) tensör uzayı vardır. 2.2.3. Tanım: M n , C ∞ sınıfından bir manifold ve Tqp ( m ) , her m ∈ M n noktasındaki (p,q) tipli tensör uzayı olsun. M n manifoldunun her m ∈ M n noktasına Tqp (m ) tensör uzayından bir t qp (m ) tensörü karşılık getiren T fonksiyonuna (p,q) tipli tensör alanı denir (Bishop ve Goldberg 1968). Eğer p = 1, q = 0 ise vektör alanı elde edilir. Yani, (1, 0) tipli tensör alanı bir vektör alanıdır. Eğer p = q = 0 ise her m ∈ M n noktasına bir skaler değer karşılık gelir. Bu yüzden (0, 0) tipli tensör alanı reel değerli bir fonksiyondur. Eğer U ⊂ M n bölgesinde f fonksiyonu C ∞ sınıfından ise her x ∈ U için df x ∈ T10 (x ) olur. Böylece f fonksiyonunun diferensiyeli olan df operatörü (0,1) tipli bir tensör alanıdır. Herhangi bir m noktasındaki Tm tensörü simetrik tensör ise T tensör alanına simetrik tensör alanı denir. Eğer herhangi bir m noktasındaki Tm tensörü antisimetrik tensör ise T tensör alanına antisimetrik tensör alanı denir. 9 T, ( p,q ) tipli tensör alanı olsun. θ1 ,...,θ p (0,1) tipli tensör alanları ve X 1 ,..., X q vektör alanları olmak üzere T (θ1 ,...,θ p , X 1 ,..., X q )(m ) = Tm (θ1 (m ),...,θ p (m ), X 1 (m ),..., X q (m )) ifadesi reel değerli fonksiyon tanımlar. Özelikle x i koordinatlarına göre T tensör alanının bileşenleri i ...i ( i T j11... jpq = T dxi1 ,..., dx q , ∂ j1 ,..., ∂ j p ) biçiminde reel değerli fonksiyonlardır (Bishop ve Goldberg 1968). T tensör alanının bileşenleri C ∞ sınıfından fonksiyonlar ise T tensör alanına C ∞ sınıfındandır denir. C ∞ sınıfından olan (0,1) tipli tensör alanına 1-form (Pfaffian form) denir. (p,q) tipli T tensör alanının C ∞ sınıfından olması için gerek ve yeter şart her bir θ1 ,...,θ p 1-formları ve her bir C ∞ sınıfından X 1 ,..., X q vektör alanları için T (θ1 ,..., θ p , X 1 ,..., X q ) fonksiyonunun C ∞ sınıfından olmasıdır. 2.2.4. Tanım: ω = (ωij ) , (0,2) tipli bir tensör olsun. ω = (ωij ) tensöründe i ve j indislerine göre antisimetriklik varsa ω = (ωij ) tensörüne 2-form veya dış form denir. Bir k-forma dış diferensiyel uygulanırsa sonuçta k+1-form elde edilir. Yani ω , k-form ise dω ∈ Tk +1 ( M n ) olup k+1-form oluşur. Böyle k+1 formlara tam form denir. d 2ω = d (d ω ) = 0 olması tam formların en önemli özelliğidir. Yani tam formlara dış diferensiyel uygulanırsa sonuç sıfır olur. 2.3. Diferensiyellenebilir Manifold Üzerinde Afin (Levi-Civita) Konneksiyon M n diferensiyellenebilir manifoldunun γ : u i = u i (t ) eğrisi boyunca konneksiyon tanımlanması eğrinin noktalarına uygulanan vektörler arasında bağlantı oluşturma 10 kuralıdır. Eğer γ eğrisinin herhangi bir noktasındaki v i vektörü t parametresine bağlı olarak değiştikçe verilen konneksiyona göre başlangıçtaki ile uygun kalırsa, bu durumda bu vektör verilen konneksiyona göre γ eğrisi boyunca paralel kaydırılmış olur. Eğer konneksiyon diferensiyellenebilirse, o zaman paralel kaydırmayı ifade eden v i = v i (t ) fonksiyonları da diferensiyellenebilir fonksiyonlar olur. Eğer vektörlerin paralel kaydırılması halinde lineer bağımlılık korunursa verilen konneksiyona afin veya lineer konneksiyon adı verilir. Afin konneksiyonun γ eğrisinin çeşitli noktalarına uygulanan vektörler arasında uygunluğu ifade eden şartı, yani vektörün eğri boyunca verilmiş afin konneksiyona göre paralel kaydırılması şartını bulalım. γ eğrisinin başlangıç noktasındaki a , k = 1,...n i k lokal bazını alalım ve farz edelim ki a (t ) ’nin lineer bağımlılığı, baz vektörlerin verilen i k eğri boyunca paralel kaydırılma kuralını ifade etmiş olsun. Keyfi v i = λk a vektörünün i k verilen afin konneksiyona göre γ eğrisi boyunca paralel kaydırılması için gerek ve yeter şart λk katsayılarının sabit olmasıdır. Bu nedenden istifade edilerek dv i = λk d a i (2.6) k ifadesi yazılabilir. v i = λk a eşitliğinden i k k λk = a i v i (2.7) k i eşitliği yazılır. Burada a baz vektörü olduğundan buna karşılık gelen kobaz vektörü ai k s ile gösterilir. Dolayısıyla a a i = δ ks olur. (2.7) ifadesi (2.6) eşitliğinde kullanılırsa, i k dv i + ω ki v k = 0 (2.8) eşitliği elde edilir. (2.8) denkleminde ωik , s ω ik = − a i d a k s (2.9) 11 biçimindedir. (2.8) şartı v i vektörünün verilen afin konneksiyona göre paralel kaydırılması şartıdır. (2.9) biçiminde tanımlanan ω ik objelerine konneksiyon formları (bağlantı objeleri) denir. {a } , i 2.3.1. Teorem: 1. Konneksiyon formları k k = 1,..., n bazının seçilişinden bağımsızdırlar. 2. Konneksiyon formları, eğrisel koordinatların dönüştürülmesi durumunda tensör dönüşüm kuralına göre dönüşmezler. İspat: 1. ω ik ve ω i k farklı iki baza karşılık gelen konneksiyon formları olsun. Paralel kaydırılan v i vektörü için, dv i + ω ki v k = 0 , (2.10) dv i + ω ki v k = 0 (2.11) şartlarını yazabiliriz. (2.10) ve (2.11) şartlarından ve v i vektörünün başlangıç değerinin keyfiliği şartından ω ki = ω ki bulunur. 2. M n manifoldunda u i eğrisel koordinatların değişmesi halinde baz vektörlerinin ve kovektörlerinin dönüşüm kuralı k k i i' (2.12) ∂u i ' ∂u i biçimindedir. (2.12) deki ikinci a i = Aii ' a i ' , a = Aii' a k Aii' = şeklinde yazılabilir. Burada ∂u i ∂u i ' k Aii ' = , eşitliğin diferensiyelini alırsak, i i' da = dAii' a + Aii' d a k k i' (2.13) k elde edilir. (2.9) denkleminde (2.12) nin birinci eşitliği ve (2.13) eşitliği göz önüne alınırsa, k k ( ω ij = − a j d a i = − A jj ' a j ' dAii' a i ' + Aii' d a i ' k k k ) 12 ve gerekli işlemlerden sonra ω ij = A jj ' Aii'ω ij'' − A jj ' dA ij ' (2.14) bulunur. (2.14) eşitliği, ω ij konneksiyon formlarının, tensörün koordinatları olamadığını gösterir. Şimdi ise kovektörün γ eğrisi boyunca verilen afin konneksiyona göre paralel kaydırılması şartını inceleyelim. 2.3.1. Tanım: ω i kovektörünün γ eğrisi boyunca paralel kaydırılan keyfi v i vektörü üzerindeki izi bu eğri boyunca sabit kalırsa, ω i kovektörüne γ eğrisi boyunca verilen afin konneksiyonuna göre paralel kaydırılmıştır denir. Bu tanıma göre ( ) d v i ω i = dv i ω i + v i dω i = 0 (2.15) eşitliği yazılabilir. v i vektörünün paralel kaydırılması şartından dv i = −ω ki v k (2.16) yazılır. (2.16) eşitliğini (2.15) ifadesinde kullanılırsa, (dω i ) − ω ik ω k v i = 0 eşitliği bulunur. v i vektörünün keyfiliğinden dolayı ω i kovektörün γ eğrisi boyunca verilen afin konneksiyona göre paralel kaydırılma şartı dω i − ω ik ω k = 0 (2.17) biçiminde olur. Vektörün ve kovektörün (1-form) γ eğrisi boyunca paralel kaydırılması şartını kullanarak, eğrinin çeşitli noktalarına uygulanmış keyfi tipli tensörün de paralel kaydırılmasını verebiliriz. γ eğrisi boyunca i ...i ( p, q ) tipli keyfi tensörün izi 1 p Z = t j11 ... jpq v 1 ... v q ω i1 ...ω i p j 1 j q şeklinde verilmiş olsun. Z fonksiyonunun vektör ve kovektör değişkenlerinin γ eğrisi boyunca paralel kaydırılması şartları dahilinde diferensiyeli 13 i ...i p 1 i ...i p 1 dZ = dt j11 ... jpq v 1 ... v q ω i1 ...ω i p + t j11 ... jpq d v 1 ... v q ω i1 ...ω i p j j 1 i ...i j 1 jq q p 1 ω i ...d ω i 1 q i ...i j 1 q + ... + t j11 ... jpq v 1 ... v ( j i ...i (2.18) p i ...i si ...i ) i 1 p = dt j11 ... jpq − ω sj1 t sj1 2 ...pjq − ... − ω sjq t sj1 2 ...ps + ω si1 t sj22... jpq + ω s p t ij11......sjq v 1 ... v q ω i1 ...ω i p j j q 1 olarak yazılır. Bu eşitlikte i1 ...i p i1 ...i p i1 ...i p i1 ...i p si2 ...i p ip δt j ... j = dt j ... j − ω sj t sj ... j − ... − ω sj t sj ...s + ω si t j ... j + ω s t ij ......sj 1 q 1 q 1 2 q q 1 2 1 q 1 1 q (2.19) olarak alınırsa i ...i p 1 dZ = δt j11 ... jpq v 1 ... v q ω i1 ...ω i p j j q 1 (2.20) elde edilir. γ eğrisi boyunca verilen afin konneksiyona göre paralel kaydırılan vektör ve kovektör değişkenlerinin multilineer fonksiyonunun diferensiyeli de değişkenlerin multilineer fonksiyonu olur. O halde dZ multilineer fonksiyonuna belirli bir tensör i ...i karşılık gelecektir. Bu tensörün tipi t j11 ... jpq tensörünün tipi ile aynı olur. Koordinatları ise i ...i i ...i (2.19) eşitliği ile verilmiştir. δt j11 ... jpq tensörüne t j11 ... jpq tensörünün mutlak diferensiyeli denir. Tensörün mutlak diferensiyelinin tanımından çıkartılan sonuçlar şöyle ifade edilebilir: a. Vektörün ve kovektörün paralel kaydırılması şartları δv i = 0 , δωi = 0 şeklinde olur. Dolayısıyla keyfi tipli bir tensörün paralel kaydırılması şartı i1 ...i p δt j ... j = 0 1 q olarak verilir. b. Birim tensörün mutlak diferensiyeli sıfıra eşittir, yani δ (δ i j ) = 0 olur. 14 (2.19) eşitliğinden dolayı tensörlerin mutlak diferensiyelleri için aşağıdaki özellikleri yazabiliriz: 1. δ (t1 + t 2 ) = δt1 + δt 2 , t1 ve t 2 aynı tipli tensörlerdir, 2. δ (λt ) = (dλ )t + λ (δt ) , λ -skalerdir, 3. δ ( A ⊗ B ) = (δA) ⊗ B + A ⊗ (δB ) , A ve B keyfi tipli tensörlerdir, ⊗ - tensör çarpımını gösterir. 4. Tensörlerin simetrikleştirme, alterneleştirme ve kontraksiyon işlemleri mutlak diferensiyelleme işlemi ile işlem öncelik sırası değişebilir. 2.3.1. Afin konneksiyonlu uzaylar 2.3.2. Tanım: X n diferensiyellenebilir manifoldunun her bir eğrisi boyunca afin konneksiyonu verilmiş olsun. Lineerlik şartını sağlayan X n diferensiyellenebilir manifolduna n- boyutlu afin konneksiyonlu uzay denir. Bu tanımdaki lineerlik şartı şu şekilde ifade edilir: X n manifoldunun keyfi M noktası ve bu noktanın komşuluğunda keyfi vektör alanları verilmiş olsun. Keyfi v i vektör alanının M noktasından geçen keyfi bir eğri için hesaplanmış mutlak diferensiyeli, bu eğri boyunca elementer yer değişme du i vektörünün lineer fonksiyonudur, yani δv i = v ki du k (2.21) olarak yazılır. Burada v ki , v i ’ye ve noktaya bağlı fonksiyon, du k ise her bir vektöre teğet vektörün koordinatlarıdır. Diğer taraftan dv i = ∂ k v i du k olduğundan δv i = dv i + ω ki v k = ∂ k v i du k + ω ki v k (2.22) olur. (2.21) ve (2.22) eşitliklerinden ω ki v k = (v si − ∂ s v i )du s (2.23) 15 ifadesi bulunur. v k , ∂ s vi ’nin ve v si ’ler ise u i ’lerin fonksiyonlarıdır. ω ki formları v i vektör alanlarının seçilişine bağlı olmadığından ω ki formları du k nın lineer fonksiyonu olur, yani ω ki = Γ isk du s (2.24) olarak yazılır. Burada Γ isk katsayıları afin uzayın bir noktasının fonksiyonlarıdır. Bunlara afin konneksiyonun katsayıları denir. Katsayıların verilmesi X n de afin konneksiyonunu tayin eder. Şimdi Γ isk afin konneksiyon katsayılarının dönüşüm kuralını verelim. (2.24) eşitliği kullanılarak ω ij'' = Γ ik' ' j ' du k ' = Γ ik' ' j ' Akk ' du k eşitliği yazılabilir. Ayrıca ( ) A jj ' dA ij ' = A jj ' ∂ k A ij ' du k A jj ' A ij ' = δ ij olduğundan ve diğer taraftan (2.25) eşitliğin her iki tarafının ∂ k kısmi diferensiyeli alındığında ∂ k ( Ajj ' Aij ' ) = ∂ k (δ ij ) = 0 (∂ k Ajj ' ) Aij ' + Ajj ' ( ∂ k Aij ' ) = 0 Ajj ' ( ∂ k Aij ' ) = − ( ∂ k Ajj ' ) Aij ' olur. Bu son eşitlik (2.25) denkleminde kullanılırsa ( ) A jj ' dA ij ' = − A ij ' ∂ k A jj ' du k (2.26) elde edilir. (2.26) , (2.24) ve (2.14) eşitlikleri kullanılarak konneksiyon katsayılarının dönüşüm kuralı Γ ikj = Aii' A jj ' Akk ' Γ ik' ' j ' + Aii' Akji ' (2.27) olarak verilir. Burada Akji ' = ∂ k A ij' biçimindedir. (2.24) denklemini kullanarak afin konneksiyonlu uzayda verilen keyfi vektör alanı için mutlak diferensiyel 16 δv i = ( ∂ k v i + Γ iks v s ) du k (2.28) du k vektör olduğundan biçiminde olur. (2.28) denkleminin sol tarafı bir tensör ve parantezin içindeki ifade bir tensörün koordinatları olur. Bu tensöre verilen vi tensörünün kovaryant türevi denir ve ∇ k v i = ∂ k v i + Γ iks v s (2.29) olarak gösterilir. Bu türevin sonucu (1,1) tipinde bir tensördür. Benzer şekilde ω j kovektör alanının kovaryant türevi ∇ k ω j = ∂ k ω j − Γ kjs ω s (2.30) olur ve sonuç (0,2) tipli bir tensördür. i ...i (2.24) eşitliğinden, (p,q) tipli t j11 ... jpq tensörünün mutlak diferensiyeli p δt j ... j = (∂ k t j ... j + ∑ Γ iksλ t j ... j q − ∑ Γ kjs μ t j11 ...sp... jq )du k i ...i (2.31) biçiminde olur. (2.31) denkleminin sol tarafı bir tensör ve du k vektör olduğundan i1 ...i p i1 ...i p 1 q 1 q i1 ... s ...i p 1 λ =1 q μ =1 parantezin içindeki ifade bir tensörün koordinatlarıdır. Bu tensöre verilen i ...i t j11 ... jpq tensörünün kovaryant türevi denir ve p q ∇ k t j11 ... jpq = ∂ k t j11 ... jpq + ∑ Γ iksλ t j11 ... jq p − ∑ Γ kjs μ t j11 ...sp... jq i ...i i ...i i ... s ...i λ =1 i ...i biçiminde gösterilir. Tensörün kovaryant türevi tanımından, (p,q) tipli kovaryant türevi (p,q+1) tipli Kovaryant türevin tanımından yararlanılarak aşağıdaki özelikleri yazabiliriz: i ...i i ...i i ...i i ...i 1. ∇ k (t j11 ... jpq ∓ t j11 ... jpq ) = ∇ k t j11 ... pjq ∓ ∇ k t j11 ... pjq 2 1 2 2. ∇ k (λ t j11 ... jpq ) = ( ∂ k λ ) t j11 ... jpq ∓ λ∇ k t j11 ... jpq , λ ∈ F ( M n ) i ...i i ...i tensörün bir tensör olduğu görülür. Yani kovaryant türev, uygulanan tensörün kovaryantlık mertebesini bir artırır. 1 (2.32) μ =1 i ...i 17 i ...i l ...l i ...i l ...l i ...i l ...l 3. ∇ k (t j11 ... jpq ⊗ g s11 ...spq ) = ∇ k t j11 ... jpq ⊗ g s11 ...spq + t j11 ... jpq ⊗ ∇ k g s11 ...spq 4. Tensörlerin simetrikleştirme, alterneleştirme ve kontraksiyon işlemleri mutlak diferensiyelleme işlemi ile işlem öncelik sırası değişebilir. Afin (lineer) konneksiyonun invaryant tanımı aşağıdaki gibi verilir: 2.3.3. Tanım: M n manifoldu üzerinde T01 ( M n ) vektör alanlarının modülü olmak üzere ∇ X Y = ∇( X ,Y ) : T01 ( M n ) × T01 ( M n ) → T01 ( M n ) dönüşümü i. ∇ fX + gY Z = f∇ X Z + g∇ Y Z , ii. ∇ Z ( fX + gY ) = (Zf )X + f∇ Z X + (Zg )Y + g∇ Z Y şartlarını sağlıyorsa ∇ ’ya afin konneksiyon denir. Burada ∇ X : T01 ( M n ) → T01 ( M n ) dönüşümüne de X vektör alanı boyunca kovaryant diferensiyellenme denir (Bishop ve Goldberg 1968). 2.3.2. Eğrilik ve burulma tensörleri An afin konneksiyonlu uzayında ( f = f u 1 ,..., u n ) diferensiyellenebilir fonksiyonu verilmiş olsun. Bu fonksiyonun tam diferensiyeli, yani df = ∂ k fdu i koordinatların dönüşümü halinde invaryant kalır ve df fonksiyonu ifadesi, du i vektörünün lineer fonksiyonu olur. Bu lineer fonksiyona karşılık gelen kovektörün koordinatları Vi = ∂ i f (2.33) ile gösterilir. Bu kovektöre f fonksiyonunun gradienti, f fonksiyonuna ise bu kovektör alanın potansiyel fonksiyonu denir. Keyfi Vi kovektörünün herhangi bir skaler alanın gradienti olması için gerek ve yeter şart ∂ [ jVi ] = 0 olmasıdır (Yano 1968). (2.34) 18 Vi gradient kovektörünün kovaryant türevi ∇ jVi = ∂ jVi − Γ kji Vk (2.35) biçimindedir. (2.35) denkleminde j ve i indislerine göre alterneleştirme işlemi yapılır ve (2.34) eşitliği kullanılırsa ∇ [ jVi ] = S ijk Vk (2.36) S ijk = Γ [kij ] (2.37) elde edilir. Burada olarak verilmiştir. (2.36) denkleminin sol tarafındaki kovaryant türev (0,2) tipli tensör olduğundan S ijk kemiyetleri aşağı indislerine göre antisimetrik olan (1,2) tipli tensörün bileşenlerini ifade eder. Bu tensöre An uzayının burulma (torsion) tensörü denir. An manifoldundan alınmış keyfi X, Y vektör alanları için burulma tensörünün invariyant formda yazılışı ise S ( X , Y ) = ∇ X Y − ∇ Y X − [X , Y ] (2.38) biçimindedir (Kobayashi and Nomizu 1963). Burada [X , Y ] , X ve Y vektör alanlarının Lie parantezi olup [X , Y ] f = X (Yf ) − Y ( Xf ) şeklindedir. Keyfi vi vektörünün ∇ s v i = ∂ s v i + Γ ism v m kovaryant türevi (1,1) tipli tensör belirtir. Bu tensörün kovaryant türevi ise ∇ r ∇ s v i = ∂ r ∇ s v i + Γ irm ∇ s v m − Γ mrs ∇ m v i = ∂ r (∂ s v i + Γ isk v k ) + Γ irm (∂ s v m + Γ msk v k ) − Γ mrs ∇ m v i = ∂ rs2 v i + ∂ r Γ isk v k + Γ isk ∂ r v k + Γ irm ∂ s v m + Γ irm Γ msk v k − Γ mrs ∇ m v i biçiminde bulunur. Bu eşitlikte r, s indislerine göre alterneleştirme işlemi uygulanırsa, i 2∇ [r ∇ s ]v i = Rrsk v k − 2 S rsk ∇ k v i (2.39) denklemi elde edilir. (2.39) denkleminde i Rrsk = ∂ r Γ isk − ∂ s Γ irk + Γ irm Γ msk − Γ ism Γ mrk (2.40) 19 = 2(∂ [r Γ is ]k + Γ i[r m Γ ms ]k ) olarak alınmıştır. (2.39) denkleminin sol tarafındaki terim ve sağ tarafındaki ikinci terim i tensör ve v i keyfi vektör olduğundan Rrsk ifadesi (1,3) tipli tensördür. Bu tensöre An uzayının Eğrilik tensörü veya Riemannian- Christoffel tensörü denir. (2.39) formülüne benzer olarak aşağıdaki formüller yazılabilir: m 2∇ [r ∇ s ]ω k = − Rrsk ω m − 2S rsm ∇ mω k , (2.41) j m 2∇ [r ∇ s ]ϕ i j = Rrsm ϕ im − Rrsi ϕ mj − 2S rsk ∇ k ϕ i j , (2.42) i ...i mi ...i i i1 p 2∇ [r ∇ s ]t j11 ... jpq = Rrsm t j1 ...2 jq p + ... + Rrsm t ij11......mjq i ...i i ...i (2.43) i ...i m m − Rrsj t 1 p − ... − Rrsj t 1 p − 2S rsk ∇ k t j11 ... jpq . 1 mj 2 ... j q q j1 ... m (2.42) formülüne ϕ i j afinorunun Ricci özdeşliği denir. Keyfi X , Y , Z ∈ An vektör alanları için eğrilik tensörünün invaryant formda yazılışı ise R( X , Y )Z = ∇ X ∇ Y Z − ∇ Y ∇ X Z − ∇ [ X ,Y ] Z (2.44) biçimindedir (Kobayashi and Nomizu 1963). 2.3.3. Konneksiyonların dönüşümü Keyfi iki afin konneksiyonlu uzayların difeomorfizmine bakalım. Bu durumda, bu uzayların karşılıklı noktalarının koordinatları aynı olacak şekilde uygun eğrisel koordinat sistemi verilebilir. Bu tür karşılık getirme, aynı bir X n differensiyellenebilir manifoldunda iki keyfi afin konneksiyonun verilmesiyle de oluşturulabilir. Bu duruma, konneksiyonların birinden diğerine geçmeye, konneksiyonların dönüştürülmesi veya paralel kaydırma kuralının dönüştürülmesi olarak bakılabilir. Aynı manifold üzerinde çeşitli konneksiyonlar dahil etmek mümkündür. M n manifoldu üzerinde Γ ijk ve Γijk konneksiyon katsayılarına sahip ∇ ve ∇ konneksiyonları verilmiş olsun. Keyfi vektör alanının bu konneksiyonlara göre kovaryant türevleri i ∇ k v i = ∂ k v i + Γkm vm , i ∇ k v i = ∂ k v i + Γkm vm biçiminde olur. Bu iki eşitliği taraf tarafa çıkarırsak vi 20 ∇ k v i − ∇ k v i = Tkmi v m (2.45) eşitliği elde edilir. Burada i i Tkmi = Γkm − Γkm (2.46) biçimindedir. (2.45) eşitliği ile verilen Tkmi , (1,2) tipli tensör meydana getirir. Bu tensöre afin deformasyon (gerilme) tensörü denir. i 2.3.2. Teorem: Tkmi , (1,2) tipli tensör ve Γkm ise ∇ afin konneksiyonunun katsayıları i olmak üzere (2.46) eşitliği ile verilen Γkm katsayıları da diğer bir afin konneksiyonun katsayıları olur. İspat: (2.46) eşitliğinden Γijk = Γijk − Tijk yazılır. Γijk için konneksiyon katsayılarının dönüştürülmesi halinde ( ) Γijk − Tijk = Akk' Aii ' A jj ' Γi k' j'' − Ti 'kj'' + Akk' Aijk ' (2.47) olur. Burada Tijk tensör olduğundan, Tijk = Akk' Aii ' A jj 'Ti 'kj'' (2.48) eşitliğini yazabiliriz. (2.48) eşitliği (2.47) eşitliğinde kullanılırsa Γijk = Akk' Aii ' A jj ' Γi k' j'' + Akk' Aijk ' olduğu bulunur. Bu ise, Γijk katsayılarının, konneksiyonların dönüştürülmesi kuralına göre dönüştüğünü ifade eder. Dolayısıyla bir afin konneksiyondur. Bu teoremin bazı sonuçlarını ifade edelim; 1 Sonuç 1. Γ k ij 2 ve Γ k ij afin konneksiyon katsayıları olmak üzere her λ skaleri için 1 Γ = k ij 2 Γ ijk + λ Γ ijk 1+ λ değeri de bir afin konneksiyonun katsayılarıdır. (2.49) 21 İspat: (2.49) eşitliği λ 1 Γijk = Γ ijk + 2 1+ λ 1 (Γ ijk − Γ ijk ) (2.50) biçiminde yazılabilir. (2.50) eşitliğinin sağ tarafındaki ikinci terim tensör olduğundan 2.3.2.Teoremine göre Γ ijk afin konneksiyon olur. Yani iki farklı konneksiyon kullanılarak yeni bir konneksiyon oluşturulmuş olur. Özel halde λ = 1 alırsak, 1 Γ ijk = bulunur. Γ ijk 1 2 Γ ijk + Γ ijk (2.51) 2 2 konneksiyonuna Γ ijk ve Γ ijk konneksiyonlarına göre orta konneksiyon denir. ~ Sonuç 2. Γijk afin konneksiyonu verilmiş olsun. Bu taktirde, Γijk = Γijk katsayıları da afin konneksiyon tayin eder. İspat: Burulma tensörünün ifadesi ( S ijk = Γ[kij ] = 1 k Γij − Γ jik 2 ~ Γ jik = Γ jik + 2S ijk , ~ Γ jik = Γ jik ) olduğundan (2.52) ~ ~ yazılır. 2.3.2. Teorem’den dolayı Γ jik katsayıları bir afin konneksiyon belirtir. Γ jik ve Γ jik konneksiyonlarına karşılıklı konneksiyon denir. 2.3.4. Burulması sıfır olan uzaylar Burulmasız afin konneksiyonlu uzayların burulma tensörü sıfıra eşit olduğundan bu uzayların konneksiyon katsayıları alt indislerine göre simetriktir, yani 22 Γ kji = Γijk = Γijk olur. Burulmasız afin konneksiyonlu uzayın herhangi eğrisel koordinat sistemine göre koordinatları u 1,..., u n olan O (u i ) noktasını alalım ve konneksiyon katsayılarının verilmiş olduğu koordinat sistemine göre bu noktadaki değerlerinin Γ ijk katsayıları ile verildiğini kabul edelim. δ ki ' kronecker sembolü olmak üzere 1 u i ' = δ ki ' {(u k − u k ) + Γ kpq (u p − u p )(u q − u q )} 2 (2.53) biçiminde yeni koordinatları tanımlayalım. Bu ifade u i den u i′ ne bir dönüşümdür. (2.53) dönüşümü difereniyellenebilirdir ve u i ' koordinatlarının u i koordinatlarına göre kısmi türevleri Aii ' = δ ii ' + δ ki ' Γ ipk (u p − u p ) , Aiji ' = δ ki ' Γ ijk (2.54) ( ) biçiminde yazılır. (2.54) eşitliği O noktasında ve civarında det Aii ' ≠ 0 şartını sağlar. Yani, (2.53) dönüşümü diferensiyellenebilir manifoldun tanımındaki mümkün olan dönüşümler sınıfındandır. (2.54) türev fonksiyonları O noktasında yazılırsa, Aii ' = δ ii ' , Aiji ' = δ ki ' Γ ijk (2.55) olur. Şimdi ise konneksiyon katsayılarının yeni koordinat sistemine göre O noktasındaki değerlerini hesaplayalım. Bunun için (2.55) ve (2.27) eşitlikleri kullanılarak Γ ijk = δ jj 'δ kk 'δ ii' Γ ij' 'k ' + δ ii'δ li ' Γ lkj veya Γ ij' 'k ' = 0 bulunur. Böylece burulmasız afin uzayın her bir noktasında öyle bir koordinat sistemi verilebilir ki, konneksiyon katsayıları bu sisteme göre bu noktadaki bütün değerleri sıfır olur. (2.53) ile verilen koordinatlara normal koordinat sistemi denir. Burulmasız afin konneksiyonlu uzaylarda 23 i 1. R(rs )k = 0, i 2. R[rsk ] = 0, i 3. ∇ [t Rrs ]k = 0 (Bianchi-Padov eşitliği), (Bianchi’nin 2. özdeşliği) eşitlikleri geçerlidir. Bu eşitliklerin her üçünün de invaryant (tensör) karakter taşıdığını dikkate alırsak, bunların ispatını normal koordinat sisteminde incelemek yeterli ve daha kolaydır. Burulmasız afin konneksiyonlu uzayda simetrik ve regüler aij tensörü verilmiş olsun. Bu tensörün tersi a~ ij olmak üzere, aij tensörünün kovaryant türevi ∇ k aij = a kij (2.56) şeklinde olsun. (2.56) eşitliğinde indislerin yeri dairesel olarak değiştirilerek ∂ k aij − Γkim a mj − Γkjm a mi = ∇ k aij , ∂ i a jk − Γijm a mk − Γikm a jm = ∇ i a jk , ∂ j a ki − Γ jkm a mi − Γ jim a km = ∇ j a ki . eşitlikleri yazılır. Sonuncu iki eşitlikten birinci eşitlik çıkartılırsa, 2Γijm a mk = ∂ i a jk + ∂ j aik − ∂ k a ij − (aijk + a jik − a kij ) (2.57) eşitliği bulunur. (2.57) eşitliğinin her iki tarafı a~ rk tensörü ile çarpılırsa 1 Γijr = {ijr }− a~ rk (aijk + a jik − a kij ) 2 (2.58) { } = 12 a~ (∂ a (2.59) olur. Burada r ij rk i biçimindedir. (2.59) ifadesine Levi-Civita konneksiyonu aij veya jk + ∂ j aik − ∂ k aij ) tensörünün Riemannian konneksiyon katsayıları, Christoffel sembolü denir. Burulmasız konneksiyonlu uzayın konneksiyon katsayıları regüler ve simetrik aij Christoffel sembolü ve kovaryant türevleri yardımıyla ifade edilir. afin tensörünün 24 2.3.4. Tanım : Burulmasız afin konneksiyonlu n-vektörü olmak üzere v, v,..., v 1 2 An uzayında ⎧∓ 1 ei1i2 ...in = ⎨ , e = e12...n ⎩0 lineer bağımsız vektörleri üzerine kurulan n paralelyüzün hacmi i i i V = ei1i2 ...in v 1 v 2 ... v n 1 olsun. v, v,..., v vektörlerinin paralel taşınması sonucunda 1 2 (2.60) n 2 n V hacmi korunursa, burulmasız An uzayına eş afin (denk afin) uzay denir. (2.60) denkleminden δ ei ...i = 0 veya ∇ k ei ...i = 0 1 n 1 n (2.61) olur. Eş afin uzayın konneksiyonu (2.61) denklemiyle belirlenir. (2.61) şartı ∂ k ei1 ...in − Γ kis 1 esi2 ...in − ... − Γ kis n ei1 ...s = 0 biçiminde yazılabilir. n-vektörün (2.62) antisimetrikliğine göre (2.62) sisteminin bütün denklemleri ∂ k e12...n − Γks1es 2...n − ... − Γkns e12...s = 0 (2.63) denklemine denk olur. e12...n = e olarak yazılırsa bu durumda (2.63) eşitliğinden Γkss = ∂ k ln e (2.64) yazılır. Eş afin uzay bu şart ile de karakterize edilebilir. (2.64) eşitliğindeki eş afin konneksiyonun katsayıları ile belirlenen Γkss toplamı gradiyentdir. Bu gradiyentin potansiyel fonksiyonu ise ln e olur. k Rij = Rkij = ∂ k Γijk − ∂ i Γkjk + Γklk Γijl − Γkil Γljk (2.65) tensörüne Ricci tensörü denir. Eş afin konneksiyonu Rij = R ji (2.66) şartı ile de karakterize edilebilir. i Burulmasız afin konneksiyonlu uzaylarda eğrilik tensörünün R[rsk ]i = 0 ve R(rs )k = 0 şartlarını sağladığını göz önüne alırsak 25 k Rrsk = Rrs − Rsr (2.67) eşitliğini yazabiliriz. (2.66) ve (2.67) eşitlikleri eş afin konneksiyonunun k Rrsk = 0 şartı ile de karakterize edilebileceğini gösterir. 2.3.5. Tanım: Burulmasız afin konneksiyonlu uzayın her bir noktasındaki tanjant uzayında verilen simetrik, (0,2) tipli g tensörü, tanjant uzayın paralel kaydırılması durumunda korunuyorsa böyle uzaya metrik uzay denir. Burada simetrik, (0,2) tipli g ij tensörüne metrik tensör denir. 2.3.6. Tanım: Metrik uzayın g metrik tensörü regüler ise yani det (g ij ) ≠ 0 ise uzaya Weyl uzayı denir ve Wn ile gösterilir. 2.3.7. Tanım: Eğer Weyl uzayı eş-afin uzay olursa, bu uzaya Riemannian uzayı denir ve Vn ile gösterilir. Riemannian uzayı burulmasız konneksiyona sahip olan uzaydır ve bu uzayın Riemannian konneksiyonu ∇ k g ij = 0 (2.68) şartı ile karekterize edilir. Vn Riemannian uzayının konneksiyon katsayıları Γijk = {ijk } = 1 kr g (∂ i g rj + ∂ j g ir − ∂ r g ij ) 2 (2.69) biçiminde verilir. Yani, Vn uzayının konneksiyon katsayıları g tensörünün Christoffel sembolleriyle çakışır. (2.69) katsayılarıyla verilen konneksiyona Riemannian konneksiyonu veya Levi-Civita konneksiyonu denir. Diğer taraftan Riemannian manifoldu üzerinde ∇g = 0 şartını sağlayan ama burulması olan konneksiyonlar da vardır. Bu tür konneksiyonlara ise metrik konneksiyon denir. 26 s Riemannian uzayında R jkl g si = Rijkl olmak üzere 1. R(ij )kl = 0 2. R[ijk ]l = 0 3. ∇ [s Rij ]kl = 0 4. Rij (kl ) = 0 5. Rijkl = Rklij eşitlikleri geçerlidir. 2.3.5. Riemannian manifoldu Her bir x ∈ M n noktasında her Y ∈ Tx ( M n ) ve (0,2) tipli simetrik g tensörü için g ( X , Y ) = 0 eşitliğinde X = 0 olursa g ’ye M n üzerinde Riemannian metriği denir. Lokal koordinatlarda bu şart Det (g ij ) ≠ 0 şartına denktir. g ’nin bileşenleri g ij olmak üzere g için ds 2 = g ij du i du j ifadesi de kullanılır (Kobayashi and Nomizu, 1963). Eğer M n üzerinde Riemannian metriği verilmişse, o zaman (M n , g ) çiftine Riemannian manifoldu denir. Burulmasız Γijk = 1 ks g (∂ i g sj + ∂ j g is − ∂ s g ij ) 2 konneksiyonuna ise Riemannian manifoldunun Riemannian veya Levi-Civita konneksiyonu denir. 27 3. MATERYAL ve YÖNTEM 3.1. Tanjant Demet M n , C ∞ sınıfından n- boyutlu diferensiyellenebilir bir manifold ve M n manifoldunun p noktasındaki tanjant uzay T p (M n ) olmak üzere T (M n ) = ∪ T (M ) p (3.1) n p∈M n ile tanımlanan T (M n ) kümesine tanjant demet denir. T (M n ) ’ nin herhangi bir ~ p noktası, yani ~ p ∈ T p (M n ) için M n manifoldu üzerindeki T (M n ) tabii demet yapısını tanımlayan π : T (M n ) → M n demet projeksiyonu ~p p p ) = p olur. π −1 ( p ) = Tp ( M n ) kümesine M n baz uzayının p karşılık getirir. Yani π ( ~ noktasındaki fibre denir. M n baz uzayının {U ; x h } koordinat komşuluklar sistemiyle örtüldüğünü kabul edelim. (x ), U h Burada açık kümesi U × komşuluğunda tanımlı lokal koordinat sistemidir. π −1 (U ) ⊂ T (M n ) n direk çarpımına diferensiyellenebilir homeomorfizmdir. n , reel sayılar alanı üzerindeki n- boyutlu vektör uzayı olur. ~ p ∈ T p (M n ) ( p ∈ U ) noktası ( p, X ) sıralı çifti ile gösterilir ve X ∈ uzayında {∂ h } (∂ h = ∂ ∂x h ) n T p (M n ) tanjant vektörünün bileşenleri doğal bazına göre ~ p nın (y ) = (x ) h h h = n + 1,...,2n p ) nin koordinatları kartezyen koordinatları ile verilir. U komşuluğunda p = π ( ~ ( ) h ( ) ~p ∈ π (U ) ile verilmiş olur. Biz (x , x ) lokal koordinatlar sistemini elde ederiz. h = 1,.., n ile gösterilirse ~ p noktası uygun x h , x h π −1 (U ) ⊂ T (M n ) açık kümesinde (x ) h −1 h Burada x h , x h ’ye (x h ) ’dan indirgenmiş (elde edilmiş) π −1 (U ) da koordinatlar denir. 28 M n manifoldunun {U , x } ise ' h' p = π (~ p ) noktasını ihtiva eden diğer bir koordinat komşuluğu π −1 (U ' ) koordinat komşuluğu ( ~ p ’yı ihtiva eder ve π −1 (U ' ) ’ne göre ) ~ p ’nın indirgenmiş koordinatları x h ' , y h ' ile verilecektir. Burada ⎧ xh ' = xh ' ( x ) , ⎪ ⎨ h ' ∂x h ' h ⎪y = h y ∂x ⎩ (3.2) olarak verilir. x h ' (x ) , p noktasındaki x 1 , x 2 ,..., x n değişkenlerinin C ∞ sınıfından olan diferensiyellenebilir fonksiyonlarıdır. x h = y h , x h ' = y h ' ile gösterirsek (3.2) denklemi x p ' = x p ' ( x ) , p ' = 1,..., 2n (3.3) olarak yazılır. (3.2) denkleminin Jacobian matrisi ⎛ ∂x h ' ⎜ ∂x ∂x h ⎜ = ∂x p ⎜ ∂ 2 x h ' i ⎜ h i y ⎝ ∂x ∂x ⎞ 0 ⎟ ⎟ ∂x h ' ⎟ ⎟ ∂x h ⎠ p' (3.4) matrisi ile verilir. (3.2) denkleminin tersi ise ⎧ x h = x h ( x ') , ⎪ ⎨ h ∂x h h ' ⎪ y = h' y ∂x ⎩ (3.5) veya x p = x p (x') , p = 1,..., 2n (3.6) olarak yazılır. (3.5) denkleminin Jacobian matrisi ise ⎛ ∂x h ∂x p ⎜ ∂x h ' =⎜ ∂x p ' ⎜ ∂ 2 x h i ' ⎜ h' i' y ⎝ ∂x ∂x ⎞ 0 ⎟ ⎟ ∂x h ⎟ ⎟ ∂x h ' ⎠ (3.7) matrisi ile verilir. (3.4) ve (3.7) denklemleri T (M n ) tanjant demetin daima yönlendirilebilir şeklindedir. olduğunu gösterir, çünkü, ⎛ ∂x p ' ⎞ Det ⎜ p ⎟ > 0 ⎝ ∂x ⎠ ⎛ ⎞ ⎛ ∂x p ⎞ ⎜ Det ⎜ p ' ⎟ > 0 ⎟ ⎝ ∂x ⎠ ⎝ ⎠ 29 M n manifoldu üzerindeki C ∞ sınıfında ( r,s ) tipli tensör alanını Tsr ( M n ) ve M n deki tüm tensör alanlarının direkt toplam kümesini ise göstereceğiz. Benzer olarak T (Mn ) = ∞ ∑ T (M ) r ,s =0 r s n ile T (M n ) tanjant demetindeki tensör alanını ve tensör alanlarının direkt toplam kümelerini ise sırasıyla Tsr (T ( M n ) ) ve T (T ( M n )) olarak göstereceğiz . 3.2. Diferensiyel Geometrik Cebirsel Yapılar M n n − boyutlu diferensiyellenebilir bir manifold olsun (n = 2m) . ϕ ∈ T11 ( M n ) olmak üzere, ψ = {1, ϕ } , ϕ 2 = − I kümesine M n üzerinde bir kompleks yapı denir. 3.2.1. m-boyutlu cebir Am , m − boyutlu cebirini alalım. Bu cebirin birleşimli ve birimli olduğunu kabul edelim. Her a, b, c ∈ Am için (ab)c = a (bc) şartını sağlarsa Am cebirine birleşimli cebir, her a ∈ Am ve ∃e için ea = ae = a şartını sağlarsa e elemanına Am cebirinin birim elemanı, cebire ise birimli cebir denir. Am cebir olduğundan aynı zamanda bir vektör uzayıdır. Dolayısıyla eα ∈ Am , α = 1,..., n, {eα } şeklindeki baza sahiptir ve γ eα eβ = Cαβ eγ şeklinde yazılır. (3.8) 30 γ Cαβ ya cebirin yapı sabitleri denir. Yapı sabitlerinin en önemli özelliği (1,2) tipli tensörün koordinatları olmasıdır. γ yapı sabitlerinin tensör olduğunu gösterelim: Şimdi ise Cαβ γ γ Cαβ yapı sabitleri {eα } bazında, Cαγ ′′β ′ yapı sabitleri ise {eα ′ } bazında olsun. Cαβ yapı γ sabitinin tensör olduğunu göstermek için eα ′ = Aαα′eα kuralı verildiğinde Cαβ ve Cαγ ′′β ′ yapı sabitleri arasında γ şeklindeki bağıntının olduğunu ispat Cαγ ′′β ′ = Aγγ Aαα Aββ Cαβ etmemiz gerekir. Am cebirinin {eα ′ } bazının yardımıyla eα ′eβ ′ = Cαγ ′′β ′eγ ′ (3.9) eşitliğini yazabiliriz. Baz dönüşüm kuralından, eα ′ = Aαα′eα , eβ ′ = Aββ′eβ ve eγ ′ = Aγγ′eγ eşitliklerini yazabileceğimizden bu eşitlikleri (3.9) eşitliğinde yerine yazarsak ve (3.8) eşitliğini de kullanırsak γ Cαγ ′′β ′ = Aγγ Aαα Aββ Cαβ γ eşitliğini elde ederiz. Dolayısıyla Cαβ yapı sabitleri (1,2) tipli tensörün koordinatları olur. ∀a, b, c ∈ Am için (ab)c = a (bc) olduğundan, {eα } bazı için (eα eβ )eγ = eα (eβ eγ ), σ σ (Cαβ eσ )eγ = eα (Cβγ eσ ), σ σ ε Cαβ Cσγε eε = Cβγ Cασ eε eşitliğini yazabiliriz. Baza göre lineer terkibe ayrılma tek olduğundan dolayı son eşitlikteki katsayılar eşittir. Yani birleşimli olma şartı σ σ ε Cαβ Cσγε = Cβγ Cασ şeklindeki tensör eşitliğiyle ifade edilebilir. Bu kurala Am cebirinin birleşimli olma şartı denir. 31 En az bir e = 1 elemanı ( (e.a = a.e = a) ve her a ∈ Am için benzer işlemlerle Am cebirinin tensör ile yazılmış birimli olma şartı γ Cαβ ε α = δ βγ γ ve Cαβ ε β = δαγ eşitlikleri ile verilir. Burada 1 = ε α eα şeklindedir. Am cebirinin tensör ile yazılmış değişimli olma şartı ise γ γ Cαβ = Cβα eşitliği ile verilir. Son eşitlikten yapı sabitlerinin aşağı indislere göre simetrik olduğunu söyleyebiliriz. Şimdi de kompleks ve parakompleks cebir için yapı sabitlerinin hangi formda olduğuna bakalım. Kompleks cebir (2-boyutlu cebir) boyutu 2 ve bazı {1,i} olan cebirdir. Kompleks cebir birleşimli, değişimli ve birimli bir cebir olduğundan, 1.i = i.1 = i , i 2 = −1 ve 1.1 = 1 eşitliklerini sağlar. Kompleks cebir, 1.i = i.1 = i olmasından 1 C121 = C21 = 0, C122 = C212 = 1 , i 2 = −1 olmasından 1 C22 = −1, C222 = 0 ve 1.1 = 1 olmasından ise C111 = 1, C112 = 0 şeklindeki sekiz tane yapı sabitine sahiptir. Kompleks cebir değişmeli olduğundan aşağı indislere göre simetriktir. Kompleks cebirin birimi ise {ε α } = {1, 0} şeklinde ifade edilir. 32 Parakompleks cebir (iki kat sayılar cebiri) ise boyutu 2 ve bazı {1, e} olan cebir olduğundan, e2 = 1 , 1.1 = 1 ve 1.e = e.1 = e eşitliklerini sağlar. Parakompleks cebir için, e 2 = 1 eşitliğinden 1 C22 = 1, C222 = 0 , 1.1 = 1 eşitliğinden C111 = 1, C112 = 0 ve 1.e = e.1 = e eşitliğinden ise 1 C121 = C21 = 0, C122 = C212 = 1 şeklindeki sekiz tane yapı sabitine sahip olmuş olur. Parakompleks cebirin birimi ise {ε } = {1, 0} şeklinde ifade edilir. α Cebirimizin değişme özelliğinin olmadığını ve birimli olduğunu kabul edelim. Yapı sabitlerinin matris dilinde yazılımı γ Cα = ( Cαβ ) ve Cβ = ( Cαβγ ) şeklindedir. BoyAm = m , γ = 1,..., m olmak üzere Cα , m × m tipinde bir kare matris olur. m × m tipindeki tüm kare matrislerin kümesi (genelde) vektör uzayıdır. Kare matrislerde değişme özelliği dışındaki diğer tüm özellikler vardır ve boyutu da m 2 dir. a ∈ Am olmak üzere, a = aα eα → aα Cα = C ( A) a = aα eα → aα Cα′ = C ′( A) aα ∈ şeklindeki birebir örten dönüşümlerine bakalım. Bu gösterimlerden Cα ( A) ’уa 1. regüler tasvir veya regüler matris, Cα′ ( A) ’ya ise 2. regüler tasvir veya transpoz regüler matris denir. 33 Bu aşamadan sonra cebiri değişmeli ( eα .eβ = eβ .eα ) olarak alacağız. Değişme özelliği yapı sabitleri için, γ γ Cαβ = Cβα şeklinde olur. Son eşitlik matris dilinde, Cα = Cα şeklinde yazılır ve Cα = Cα eşitliğine cebirin değişmeli olma durumu denir. Şimdi kompleks cebir için sırasıyla regüler ve transpoz regüler matrislere bakalım. Cα , ⎛ Cα1 1 Cα1 2 ⎞ Cα = ⎜ 2 2 ⎟ ⎝ Cα 1 Cα 2 ⎠ şeklinde olduğundan C1 , ⎛ C1 C121 ⎞ ⎛ 1 0 ⎞ C1 = ⎜ 112 =⎜ ⎟=I 2 ⎟ 0 1 C C ⎝ ⎠ ⎝ 11 12 ⎠ şeklindeki birim matris, C2 ise 1 1 ⎛ C21 ⎞ ⎛ 0 −1⎞ C22 =⎜ C2 = ⎜ 2 ⎟ 2 ⎟ ⎝ C21 C22 ⎠ ⎝ 1 0 ⎠ şeklindeki bir matris olacaktır. Kompleks cebir için regüler tasvir {C1 , C2 } şeklinde gösterilir. 1. regüler matris bütün cebirlerde birim matristir. 2. regüler tasvirin elemanları ⎛1 0⎞ C1T = C1 = ⎜ ⎟=I ⎝0 1⎠ ⎛ 0 1⎞ C2T = C2 = ⎜ ⎟ ⎝ −1 0 ⎠ şeklindedir ve 2. regüler tasvir (transpoz regüler matris) {C1T , C2T } şeklinde gösterilir. Parakompleks cebir için regüler ve transpoz regüler matrislere bakalım. Cα matrisi ⎛ C1 Cα1 2 ⎞ Cα = ⎜ α21 2 ⎟ ⎝ Cα 1 Cα 2 ⎠ şeklinde olduğundan, C1 ve C2 matrisleri de sırasıyla, 34 ⎛ C1 C121 ⎞ ⎛ 1 0 ⎞ C1 = ⎜ 112 =⎜ ⎟ 2 ⎟ C C ⎝0 1⎠ ⎝ 11 12 ⎠ ve 1 1 ⎛ C21 ⎞ ⎛0 1⎞ C22 C2 = ⎜ 2 =⎜ ⎟ 2 ⎟ ⎝ C21 C22 ⎠ ⎝ 1 0 ⎠ {C1 , C2 } , şeklinde olacaktır. Parakompleks cebirin regüler tasviri matrisi de C1T = C1 , C2T = C2 olduğundan dolayı {C T 1 transpoz regüler , C2T } = {C1 , C2 } şeklinde yazılabilir. Dolayısı ile parakompleks cebir için 1. ve 2. regüler tasvirler birbirine denk olur. 3.2.2. Cebirsel yapılara göre holomorfluk Bundan sonra ki aşamalarda cebirimizin birimli, birleşimli ve değişmeli olduğunu kabul edeceğiz. Am , m − boyutlu cebir (hiperkompleks cebir) olsun. Cebirin bazını {e1 , e2 ,..., em } olarak alalım. e1 = 1 , yani e1 adi birim ile özdeşleşsin. x = xα eα , α ∈ ifadesine cebirsel değişken veya hiperkompleks değişken denir. f α ( x1 , x 2 ,..., x m ), xα ∈ , α = 1, 2,..., m için cebirsel fonksiyonumuzu F = f α eα şeklinde tanımlayalım. Bu fonksiyonun dF = df α eα diferensiyeli en az bir g ( x) = F ′( x ) olacak şekilde dF = F ′( x)dx şeklinde yazılabilirse, F fonksiyonuna x ’e göre diferensiyellenebilir (holomorf) fonksiyon denir. 2-boyutlu kompleks cebir için holomorfluk analitikliğe denktir. 2 den fazla boyutta analitiklik yerine holomorfluk ifadesi kullanılır. 3.2.1. Teorem: F fonksiyonunun x ’e göre holomorf olması için gerek ve yeter şart 35 Cα D = DCα (3.10) olmasıdır. İspat: F ′( x) = F α eα , df = df α eα , dx = dxα eα eşitliklerini dF = F ′( x)dx eşitliğinde yerine yazılırsa dF = F α eα dx β eβ = df α eα (3.11) eşitliği elde edilir. df α = (∂ β f α )dx β olduğundan bu ifadeyi (3.11) eşitliğinde yerine γ yazarsak ve eα eβ = Cαβ eγ eşitliğini de göz önünde bulundurursak, γ (∂ β f α )dx β eα = F α Cαβ eγ dx β (3.12) eşitliğini elde ederiz. Burada toplama indisini keyfi harfle işaretlememiz mümkün olduğundan (3.12) eşitliğinin sol tarafındaki α toplama indisi yerine γ harfini kullanırsak, γ ∂ β f γ = F α Cαβ = F α Cα (3.13) eşitliğini yazabiliriz. Burada ∂ β f γ matrisi, Cα ’nın lineer terkibi olarak yazılmıştır. (3.13) yazılımı holomorfluk şartının diğer denk yazılım şartıdır (Vishnevskii et al. 1985). Yani, (∂ β f γ )Cα = Cα (∂ β f γ ) Cα D = DCα şeklinde yazılmış olur. Şimdi ise tersini ispat etmeye çalışalım. (3.10) şartının açık şekilde yazılmış hali, σ Cαγβ ∂ β f σ = ∂ γ f β Cαβ (3.14) şeklinde olduğundan, (3.14) eşitliğinin her iki tarafını ε γ ile işleme tabi tutarsak ∂ β f σ , Cα ’nın lineer terkibi olarak, ∂ β f σ = ε γ ∂ γ f β Cα = F α Cσ ∂ β f σ = F α Cσ (3.15) 36 şeklinde yazılmış olur. Bu son eşitlik bizim için holomorfluk şartıdır. γ αβ Cα = C ⎛ ∂f α ⎞ D şeklindeki bir matrisler, ise D = ⎜ β ⎟ şeklindeki bir Jacobian matrisi ⎝ ∂x ⎠ olduğundan, kompleks cebir için Cα regüler matrisleri (α = 1, 2) ve D Jacobian matrisi sırasıyla ⎛ ∂f 1 ⎜ 1 ⎛1 0⎞ ⎛ 0 −1⎞ ⎜ ∂x C1 = ⎜ , C ve = = D 2 ⎟ ⎜ ⎟ ⎜ ∂f 2 ⎝0 1⎠ ⎝1 0 ⎠ ⎜ 1 ⎝ ∂x ∂f 1 ⎞ ⎟ ∂x 2 ⎟ şeklinde ifade edilir. Bu değerleri ∂f 2 ⎟ ⎟ ∂x 2 ⎠ (3.10) eşitliğinde yerine yazarsak ⎛ ∂f 1 ⎜ 1 ⎜ ∂x ⎜ ∂f 2 ⎜ 1 ⎝ ∂x ⎛ ∂f 1 ∂f 1 ⎞ ⎟ ⎜ ∂x 2 ⎟ ⎛ 0 −1⎞ ⎛ 0 −1⎞ ⎜ ∂x1 = ⎜ ⎟ ⎜ ⎟ ∂f 2 ⎟ ⎝ 1 0 ⎠ ⎝ 1 0 ⎠ ⎜ ∂f 2 ⎟ ⎜ 1 ∂x 2 ⎠ ⎝ ∂x ∂f 1 ⎞ ⎟ ∂x 2 ⎟ ∂f 2 ⎟ ⎟ ∂x 2 ⎠ eşitliğini elde ederiz. Kompleks cebirde ω = u ( x, y ) + i.v( x, y ) olduğundan, yukarıdaki son ifadenin kompleks dilindeki eşitliği ⎛ ∂u ⎜ ∂x ⎜ ⎜ ∂v ⎜ ∂x ⎝ ∂u ⎞ ∂y ⎟ ⎟ ∂v ⎟ ∂y ⎟⎠ ⎛ ∂u ⎜ ∂y ⎜ ⎜ ∂v ⎜ ∂y ⎝ ve buradan da ⎛ ∂u ⎛ 0 −1⎞ ⎛ 0 −1⎞ ⎜⎜ ∂x ⎜ ⎟=⎜ ⎟ ⎝ 1 0 ⎠ ⎝ 1 0 ⎠ ⎜ ∂v ⎜ ∂x ⎝ ∂u ⎞ ⎛ ∂v − ∂x ⎟ ⎜ ∂x ⎟ =⎜ ∂v ⎟ ⎜ ∂u − ⎟ ⎜ ∂x ⎠ ⎝ ∂x − ∂u ∂v ∂u ∂v = , =− ∂x ∂y ∂y ∂x ⇔ ∂u ⎞ ∂y ⎟ ⎟ ∂v ⎟ ∂y ⎟⎠ ∂v ⎞ ∂y ⎟ ⎟ ∂u ⎟ ∂y ⎟⎠ − U x = Vy , U y = −Vx şartları elde edilir. Bu ifadelere Cauchy-Riemannian şartları denir. Burada Cα D = DCα Cauchy-Riemannian şartı, yani holomorfluk şartıdır. (3.10) ile verilen şarta Scheffers şartı da denir. Scheffers şartının kompleks cebir için özelleştirilmesi yapılır ve sonuçta Cauchy-Riemannian şartı elde edilir. 37 Paracompleks cebir için Cauchy-Riemannian şartını bulalım. ⎛1 0⎞ C1 = ⎜ ⎟, ⎝0 1⎠ ⎛0 1⎞ C2 = ⎜ ⎟ olduğundan, bu ifadeleri (3.10) eşitliğinde yerine yazarsak ⎝1 0⎠ ⎛ ∂u ⎜ ∂x ⎜ ⎜ ∂v ⎜ ∂x ⎝ ∂u ⎞ ∂y ⎟ ⎟ ∂v ⎟ ∂y ⎟⎠ ⎛ ∂u ⎜ ∂y ⎜ ⎜ ∂v ⎜ ∂y ⎝ ⎛ ∂u ⎛ 0 1 ⎞ ⎛ 0 1 ⎞ ⎜⎜ ∂x ⎜ ⎟=⎜ ⎟ ⎝ 1 0 ⎠ ⎝ 1 0 ⎠ ⎜ ∂v ⎜ ∂x ⎝ ∂u ⎞ ⎛ ∂v ∂x ⎟ ⎜ ∂x ⎟ =⎜ ∂v ⎟ ⎜ ∂u ∂x ⎟⎠ ⎝⎜ ∂x eşitliği elde edilir. Bu son eşitlikten de ∂u ⎞ ∂y ⎟ ⎟ ∂v ⎟ ∂y ⎟⎠ ∂v ⎞ ∂y ⎟ ⎟ ∂u ⎟ ∂y ⎠⎟ ∂u ∂v ∂u ∂v eşitlikleri elde edilirki, bu = , = ∂x ∂y ∂y ∂x şarta ise, Parakompleks cebir için para-Cauchy –Riemannian şartı denir. Şimdi de holomorf bir fonksiyonun keyfi mertebeden türevinin de holomorf fonksiyon olduğunu göstermeye çalışalım. F ′( x) = ε γ ∂ γ f α eα eşitlini yazabildiğimizden, yani F ′( x) ’i eα ’nın lineer terkibi olarak yazabildiğimizden, F ′( x) de bir fonksiyondur. Bu F ′( x) fonksiyonunun “türev fonksiyonu var mı?”( Yani F ( x) fonksiyonunun 2. türevi var mı?) “şartları nelerdir?”onları araştıralım. F ( x) fonksiyonu için F ′( x) fonksiyonu var ise F ( x) fonksiyonuna holomorf fonksiyon demiştik. Eğer F ′( x) fonksiyonu için F ′′( x) fonksiyonu varsa F ′( x) fonksiyonu da holomorf fonksiyon olacaktır. ε β ∂ β f α nın Jacobian matrisini alalım. (3.14), yani γ σ Cαβ ∂ γ f σ = ∂ β f γ Cαγ eşitliğinin her iki tarafını ∂θ = ∂ ile işleme tabi tutulursa, ∂xθ γ Cαβ ∂2 f σ ∂2 f γ σ = Cαγ ∂xθ ∂xγ ∂xθ ∂x β 38 eşitliği elde edilir. Burada f ’ler reel fonksiyonlar, x ’ler ise reel değişkenler olduğundan, ∂x türevlerinin yerleri değiştirilebilir. Ayrıca, son eşitliğin her iki tarafını ε θ ile işleme tabi tutulursa, γ Cαβ ∂ ∂xγ ⎛ θ ∂f σ ⎞ ∂ = β ⎜ε θ ⎟ ⎝ ∂x ⎠ ∂x ⎛ θ ∂f γ ⎞ σ C , ⎜ε θ ⎟ αγ ⎝ ∂x ⎠ γ σ Cαβ ∂ γ ( ε θ ∂θ f σ ) = ∂ β ( ε θ ∂θ f γ ) Cαγ eşitliği, yani F ′( x) ’in ε θ ∂θ f σ ’nun Jacobian matrisinin Cα ile değişmeli olduğu bulmuş olur. Dolayısıyla F ′( x) fonksiyonu holomorftur. O halde bir fonksiyonun istenilen mertebeden diferensiyelleri (türevleri) vardır. Yani holomorf fonksiyonların keyfi mertebeden türevi de holomorftur. İki holomorf fonksiyonun toplamı, çarpımı ve çarpımının türevi holomorf fonksiyondur. Holomorf fonksiyonun skaler ile çarpımı holomorftur. Holomorf fonksiyonların bileşkelerinin neticesi de holomorftur. 3.3. Nijenhuis Tensörü Nijenhuis tensörü yapıların integrallenebilme şartlarının incelenmesinde gerekli olan tensördür. A ve B afinorlarının verildiğini kabul edelim ve X , Y ∈ T01 ( M n ) için N AB ( X , Y ) Nijenhuis tensörünü N AB ( X , Y ) = [ AX , BY ] + [ BX , AY ] + AB[ X , Y ] + BA[ X , Y ] − A[ X , BY ] − A[ BX , Y ] − B[ X , AY ] − B[ AX , Y ] (3.16) şeklinde tanımlanır (Yano, 1965). N AB ∈ T21 ( M n ) olduğu açıktır, yani N AB (1,2)-tipli bir tensör alanıdır. Bazı kaynaklarda Nijenhuis tensörüne A, B afinorlarının torsion’u denir. A = B alınırsa bir tek afinor için Nijenhuis tensörü ifadesi kullanılır. Bir afinor yapı için Nijenhuis tensörü, A = B = ϕ olmak üzere Nϕ ( X , Y ) = 2 N ( X , Y ) = [ϕ X , ϕY ] + [ϕ X , ϕY ] + ϕ 2 [ X , Y ] + ϕ 2 [ X , Y ] 39 −ϕ[ X , ϕY ] − ϕ[ϕ X , Y ] − ϕ[ X , ϕY ] − ϕ[ϕ X , Y ] = 2([ϕ X , ϕY ] + ϕ 2 [ X , Y ] − ϕ[ X , ϕY ] − ϕ[ϕ X , Y ]) şeklinde olup, Nϕ ( X , Y ) = N ( X , Y ) = [ϕ X , ϕY ] + ϕ 2 [ X , Y ] − ϕ[ X , ϕY ] − ϕ[ϕ X , Y ] (3.17) alarak alınır. Eğer ϕ afinoru için ϕ 2 = − I ise yapıya hemen hemen kompleks yapı, ϕ 2 = I ise hemen hemen product yapı, ϕ 2 = 0 ise dual yapı denir. Bu yapılar için N ( X , Y ) = 0 olması yapıların integrallenebilme şartıdır. Şimdi de Nijenhuis tensörünü lokal koordinatlarda yazmaya çalışalım: Bunun için Lie parantezinin [ fX , gY ] = fg[ X , Y ] + f ( Xg )Y − g (Yf ) X (3.18) özelliğinden faydalanacağız. X = ∂ i , Y = ∂ j eşitliklerini (3.17) ve (3.18) eşitliklerinde yerine yazalım. İlk önce (3.18) eşitliğinde yerine yazarsak, [ f ∂ i , g ∂ j ] = fg[∂ i , ∂ j ] + f (∂ i g )∂ j − g (∂ j f )∂ i eşitliği elde edilir. [∂ i , ∂ j ] = 0 olduğundan [ f ∂ i , g ∂ j ] = f (∂ i g )∂ j − g (∂ j f )∂ i olur. (3.17) eşitliğinde yerine yazarsak, Nϕ (∂ i , ∂ j ) = N (kϕ )ij ∂ k = N ijk ∂ k N ijk ∂ k = [ϕ∂ i , ϕ∂ j ] + ϕ 2 [∂ i , ∂ j ] − ϕ[∂ i , ϕ∂ j ] − ϕ[ϕ∂ i , ∂ j ] = [ϕis ∂ s , ϕ lj ∂ l ] − ϕ[∂ i , ϕ lj ∂ l ] − ϕ[ϕis ∂ s , ∂ j ] ve Lie parantezinin özelliğinden, yani (3.19) eşitliğinden N ijk ∂ k = ϕisϕ lj [∂ s , ∂ l ] + ϕis (∂ sϕ lj )∂ l − ϕ lj (∂ lϕis )∂ s −ϕ{ϕ lj [∂ i , ∂ l ] + (∂ iϕ lj )∂ l − ϕ lj (∂ l .1)∂ i } −ϕ{ϕis [∂ s , ∂ j ] + ϕis (∂ s .1)∂ j − (∂ jϕis )∂ s } (3.19) 40 N ijk ∂ k = ϕis ∂ sϕ lj ∂ l − ϕ lj ∂ lϕis ∂ s − ∂ iϕ ljϕlk ∂ k + ∂ jϕisϕ sk ∂ k = (ϕis ∂ sϕ kj − ϕ lj ∂ lϕik − ∂ iϕ ljϕlk + ∂ jϕisϕ sk )∂ k N ijk ∂ k = (ϕis ∂ sϕ kj − ϕ lj ∂ lϕik − ∂ iϕ ljϕlk + ∂ jϕisϕ sk )∂ k (3.20) eşitliği elde edilir. (3.20) eşitliği Nijenhuis tensörünün lokal koordinatlarla yazılımıdır. 3.4. Skaler Eğrilik M n , n -boyutlu C ∞ -sınıfından olan Riemannian manifoldu olsun. gij metriğimiz simetrik, regüler ve konneksiyonumuz da Levi-Civita konneksiyonu olsun. Riemannian manifoldunda Rijks eğrilik tensöründeki s indisini k indisinden sonraki yere indirdiğimizde Rijkt = g st Rijks ⇔ R ( X , Y , Z ,W ) = g ( R ( X , Y ) Z ,W ) şeklinde (0,4) tipli tensör elde edilir. Rij = Rsijs = g ts Rtijs = g ts Ritsj tensörüne Ricci tensörü denir (Yano, 1965). Ricci tensörü ve g ij tensörü ile tam kontraksiyon yapalım ve R = g ij Rij olsun. Bu R eğriliğine skaler eğrilik denir. Genelde R eğriliği manifoldun noktasına bağlı fonksiyondur. Şimdi skaler eğriliğinin yüzeyde neye karşılık geldiğini bulalım: Yüzeyin birinci esas formu (Riemannian metriği) I = g ij du i du j ve ikinci esas formu II = hij du i du j şeklinde olmak üzere, κ Gauss (veya tam) eğriliği κ = κ1.κ 2 = Det (hij ) Det ( gij ) 41 κ= h11h22 − h12 2 g11 g 22 − g12 2 şeklindedir (Salimov ve Mağden, 1999). Yüzeyler için eğrilik tensörü, κ =− R1212 g11 g 22 − g12 2 şeklinde olup bu son eşitlik Gauss eğriliği için önemli bir teoremdir. Skaler eğrilik yüzeyler için (n=2 için) Gauss eğriliğinin 2 katı olduğunu göstermeye çalışalım. Skaler eğriliği yüzeyde, R = g ij Rij = g ij Rsijs = g ij g ts Rsijt ⇒ R = g 21 g 21 R1212 + g 11 g 22 R2112 + g 22 g 11 R1221 + g 12 g 12 R2121 şeklindeki eşitliğe sahiptir. Burada, Riemannian uzayında Rijkl eğrilik tensörünün özelliğinden, ilk iki indis ve son iki indis aynı olanlar sıfır olur. R = g 12 g 12 R1212 − g 11 g 22 R1212 − g 11 g 22 R1221 + g 12 g 12 R1212 = (( g 12 ) 2 − g 11 g 22 − g 11 g 22 + ( g 12 ) 2 ) R1212 = (−2(−( g 12 ) 2 + g 11 g 22 )) R1212 , R = −2( Det ( g −1 )) R1212 , R = −2 R1212 , g11 g 22 − g12 2 R = 2κ . bulunmuş olur. Bu son eşitlik, yüzeyler için skaler eğriliğin, Gauss eğriliğinin 2 ile çarpılmış hali olduğunu gösterir. Yüzeyler bilinen 2-boyutlu Riemannian manifoldudur. 3.5. Hermitian ve Kahlerian Manifoldlar M 2 n diferensiyellenebilir bir manifold olsun. M 2 n üzerinde (1,1) tipli ϕ tensör alanı için ϕ 2 = − I olan tensör alanına hemen hemen kompleks yapı denir. ( M 2 n , ϕ ) ise hemen hemen kompleks manifold olarak adlandırılır. M 2 n üzerindeki Hermitian metrik, M 2 n üzerindeki her X , Y vektör alanları için 42 g (ϕ X , Y ) = − g ( X , ϕY ) (3.21) şartını sağlayan g Riemannian metriğidir. Bazen (3.21) şartını sağlayan g metriğine hybrid metrik de denir. Hermitian metriğe sahip hemen hemen kompleks manifolda hemen hemen Hermitian manifold, Hermitian metriğe sahip kompleks manifolda ise Hermitian manifold denir. 3.5.1. Teorem: M 2 n , ϕ hemen hemen kompleks yapısına sahip hemen hemen kompleks manifold olsun. M 2 n nin kompleks manifold olması için gerek ve yeter şart ∇ϕ = 0 ve S = 0 olacak şekilde ∇ afin konneksiyonunun olmasıdır. Burada S , ∇ ’nın burulma tensörüdür. M 2 n , ϕ hemen hemen kompleks yapısına ve g Hermitian metriğe sahip hemen hemen Hermitian manifold olsun. M 2 n üzerindeki Ω esas 2-formu Ω( X , Y ) = g ( X , ϕY ) = ( g ϕ )( X , Y ) (3.22) ile tanımlanır. 3.5.2. Teorem: M 2 n , ϕ hemen hemen kompleks yapısına ve g Hermitian metriğe sahip hemen hemen kompleks manifold olsun. ∇ , g ile tanımlanan Riemannian konneksiyonunun kovaryant türevlemesi olsun. Bu durumda aşağıdaki şartlar denktir: a) ∇ϕ = 0 b) ϕ hemen hemen kompleks yapının Nijenhuis tensörünün sıfır olması ve Ω esas 2- formunun kapalı olması, yani Nϕ = 0 ve dΩ = 0 . M 2 n hemen hemen kompleks manifoldu üzerindeki g Hermitian metriği için Ω esas 2formu kapalı ise g ’ye Kahlerian metrik denir. Kahlerian metriğine sahip M 2 n hemen hemen kompleks manifolduna hemen hemen Kahlerian manifold denir. Kahlerian metriğine sahip M 2 n kompleks manifolduna da Kahlerian manifold denir. Teorem 3.5.2 43 den, M 2 n Hermitian manifoldunun Kahlerian manifoldu olması için gerek ve yeter şart ∇ϕ = 0 olması gerektiği açıktır. 44 4. ARAŞTIRMA BULGULARI ve TARTIŞMA 4.1. Parakompleks yapı ve φ -operatör M n pozitif tanımlı olması gerekmeyen g metriğine sahip bir Riemannian manifoldu olsun. M n üzerindeki gösterilecektir. ( p, q ) tipli bütün tensör alanlarının kümesini ℑ qp ( M n ) ile Manifoldlar, tensör alanları ve konneksiyonlar her zaman diferensiyellenebilir ve C ∞ sınıfından olduğu kabul edilecektir. M n diferensiyellenebilir manifoldu üzerindeki ϕ hemen hemen product yapı, ϕ 2 = I olacak şekilde M n üzerinde (1,1) tipli tensör alanıdır. Burada ( M n , ϕ ) çiftine hemen hemen product manifold denir. Hemen hemen parakompleks manifold, sırasıyla, ϕ nin +I ve -I öz değerlerine karşılık gelen T + M n ve T − M n öz demetleri aynı rank’a sahip olduğunda hemen hemen product manifolddur (Cruceanu et al. 1995). Burada hemen hemen parakompleks manifoldun boyutu çifttir. ϕ parakompleks yapısı göz önünde bulundurulursa aşağıdaki afinorlar kümesi elde edilir: mertebesi 2 olan cebiri temsil ( j ) = {a0 + a1 j : j 2 = 1; a0 , a1 ∈ } eden bazlar reel sayılar cismi üzerinde {I , ϕ} , ϕ 2 = I formundadır. ile tanımlanan cebire parakompleks sayılar cebiri (veya iki kat sayılar cebiri) denir. Bu cebir birleşimli, değişimli ve birimli bir cebirdir. Ve cebir kanonik bazda {1, j} formuna sahiptir. Cebirin yapı sabitleri çarpım kuralıyla ei e j = Cijk ek şeklinde tanımlanır. Cijk bileşenleri ( j ) nin kanonik bazına göre 1 C111 = C122 = C212 = C22 = 1 ve diğer bileşenleri sıfır şeklindedir. ( j ) nin 2 nin alışılmış topolojisine sahip olduğu düşünülür. U ⊂ ( j ) bölgesinde bir değişken X = x1 + jx 2 45 olsun. Burada x i ler i = 1, 2 için U nun tanım kümesindeki belli bir noktanın reel koordinatlarıdır. İki tane reel değişkenli f i ( x1 , x 2 ), i = 1, 2 fonksiyonlarının vasıtasıyla X değişkeninin parakompleks fonksiyonu F = f 1 + jf 2 ile tanımlanır. dX = dx1 + jdx 2 , dF = df 1 + jdf 2 diferensiyelleri ve F ′( X ) türevi için dF = F ′( X )dX ifadesi yazılırsa fonksiyona paraholomorfik fonksiyon denir. X = x1 + jx 2 değişkenli F = f 1 + jf 2 fonksiyonun paraholomorfik olması, D = (∂ k f i ) Jacobian matrisinin ⎛0 1⎞ C2 = (C2k j ) = ⎜ ⎟ matrisiyle değişmeli olmasına denktir (Vishnevskii et al. 1985, s. ⎝1 0⎠ 87). F nin paraholomorfik olması için gerek ve yeter şart f 1 ve f 2 nin ∂f 1 ∂f 2 ∂f 1 ∂f 2 , = = ∂x1 ∂x 2 ∂x 2 ∂x1 para-Cauchy-Riemannian şartını sağlamasıdır. Aslında F nin paraholomorfik olması için gerek ve yeter şart Cα D = DCα eşitliğinin sağlanmasıdır. Bu eşitliğe Sheffers şartı denir. Paracompleks cebir için Sheffers şartının özelleştirilmesi yapılır ve sonuçta paraCauchy-Riemannian şartı oluşur. Hemen hemen parakompleks yapının integrallenebilmesi için gerek ve yeter şart N ϕ ( X , Y ) = [ϕX , ϕY ] − ϕ [ϕX , Y ] − ϕ [ X , ϕY ] + [ X , Y ] Nijenhuis tensörünün sıfıra eşit olmasıdır. Hemen hemen parakompleks yapının integrallenebilir olması için gerek ve yeter şartlardan biriside ∇ϕ = 0 olacak şekilde burulmasız bir lineer konneksiyonun olmasıdır. Ayrıca ϕ afinor alanı ile tanımlanan Gyapısı integrallenebilirse ( M 2 k ,ϕ ) parakompleks manifold denir. k hemen hemen parakompleks manifolduna ( j ) = {( X 1 ,..., X k ) / X i ∈ ( j ), i = 1,...k } uzayındaki lokal homeomorfizmlere göre de parakompleks manifoldunun benzer tanımı verilebilir.((Cruceanu et al., 1996), (Gadea P.M. et al., 2003), (Vishnevskii et al., ∗ 1985)). t , M k ( ( j )) manifoldu üzerinde parakompleks tensör alanı olsun. Böyle bir tensör alanı aynı zamanda M 2 k manifoldu üzerinde bir tensör alanıdır. Böyle tensör 46 alanların ϕ ye göre pür olduğu söylenilir. Bu durumlar birçok yazar tarafından çalışılmıştır ((Blažić and Bokan, 1996), (Borowiec et al. 2000), (Iscan and Salimov, 2005), (Kruchkovich, 1972), (Magden, 2004), (Salimov et al., 2007 ), (Vishnevskii et al., 1985), (Yano and Ako, 1968)). Her X 1 ,..., X q ∈ ℑ10 ( M 2 k ) için (0, q) tipli ω tensör alanının pürlük şartı, ω (ϕ X 1 , X 2 ,..., X q ) = ω ( X 1 , ϕ X 2 ,..., X q ) = ... = ω ( X 1 , X 2 ,..., ϕ X q ) şeklinde ifade edilir. φϕ ω (Yano and Ako, 1968) ile ω pür tensör alanına uygulanabilen φϕ : ℑ0q ( M 2 k ) → ℑ0q +1 ( M 2 k ) operatörü (φϕ ω )( X , Y1 , Y2 ,..., Yq ) = (ϕ X )(ω (Y1 , Y2 ,..., Yq )) − X (ω (ϕY1 , Y2 ,..., Yq )) +ω (( LY1ϕ ) X , Y2 ,..., Yq ) + ... + ω (Y1 , Y2 ,...,( LYqϕ ) X ) (4.1) şeklinde tanımlanır. Burada LY , Y ’ye göre Lie türevini gösterir. ϕ , M 2 k manifoldu üzerinde parakompleks yapı olsun. φϕ ω tensör alanı sıfıra eşit ise ∗ M k ( R ( j )) üzerindeki ω parakompleks tensör alanına paraholomorfik tensör alanı denir ∗ (Kruchkovich, 1972). Böylece M k ( R ( j )) üzerindeki ω paraholomorfik parakompleks tensör alanı, her X , Y1 ,..., Yq ∈ ℑ10 ( M 2 k ) için (φϕ ω )( X , Y1 , Y2 ,..., Yq ) = 0 olacak şekilde ω pür tensör alanı (4.2) formunda, M 2k manifoldu üzerinde gerçekleştirilmiştir. Bu yüzden M 2 k manifoldu üzerindeki böyle ω tensör alanına ayrıca paraholomorfik tensör alanıda denir. 4.2. Holomorfik B-Manifold Hemen hemen parakompleks yapısına göre bir g pür metriği, her için X , Y ∈ ℑ10 ( M n ) 47 g (ϕX , Y ) = g ( X , ϕY ) (4.3) şartını sağlayan bir Riemannian metriğidir. Böyle Riemannian metrikler (Vishnevskii, 2002)’da çalışılmış ve böyle metriklere B-metrik denilmiştir. Çünkü ϕ yapısına göre pür g metrik tensörü (Vishnevskii et al., 1985)’de kabul edilen terminolojiye göre Btensördür. Eğer ( M 2 k , ϕ ) , g B-metriğine sahip bir hemen hemen parakompleks manifold ise ( M 2 k , ϕ , g ) ’ye hemen hemen B-manifold denir. ϕ integrallenebilir ise ( M 2 k , ϕ , g ) ’ye B-manifold denir. Bir B-manifoldunda g B-metriği (φϕ g )( X , Y , Z ) = 0 şartını sağlarsa g ’ye paraholomorfiktir denir. Eğer ( M 2 k , ϕ , g ) , g B-metriği paraholomorfiğe sahip bir Bmanifold ise ( M 2 k , ϕ , g ) ’ye paraholomorfik B-manifold denir. Şimdi Hemen hemen para B-manifoldun g B-metriği için bir formül oluşturalım. 4.2.1. Teorem: g , hemen hemen para B-manifoldun B-metriği olsun. Bu durumda, g ( Z , (∇Y ϕ )( X )) = g ((∇Y ϕ )( Z ), X ) , olur. Burada ∇ , g ye göre Riemannian kovaryant türev operatörünü gösterir. İspat: (4.3) ve Yg ( Z , X ) = g (∇ Y Z , X ) + g ( Z , ∇ Y X ) eşitliğinden dolayı Yg (ϕ Z , X ) = Yg ( Z , ϕ X ) olup, g (∇Y ϕ Z , X ) + g (ϕ Z , ∇Y X ) = g (∇Y Z , ϕ X ) + g ( Z , ∇Y ϕ X ) veya g (ϕ Z , ∇Y X ) − g ( Z , ∇Y ϕ X ) = g (∇Y Z , ϕ X ) − g (∇Y ϕ Z , X ) eşitliğini yazabiliriz. Sonuç olarak, (∇ X K )( X 1 ,..., X s ) = (∇K )( X 1 ,..., X s , X ) = ∇ X ( K ( X 1 ,..., X s )) s −∑ K ( X 1 ,..., ∇ X X i ,..., X s ), i =1 K ∈ Ts1 ( M n ) (4.4) 48 formülünden dolayı da g ( Z , ϕ (∇Y X ) − ∇Y ϕ X ) = g (ϕ (∇Y Z ) − ∇Y ϕ Z , X ) eşitliği yazılır. 4.2.2. Teorem: Hemen hemen B-manifoldun paraholomorfik B-manifold olması için gerek ve yeter şart hemen hemen parakompleks yapının ∇ Levi-Civita konneksiyonuna göre paralel olmasıdır. İspat: ( L X g )(Y1 , Y2 ) = X ( g (Y1 , Y2 )) − g ([ X , Y1 ], Y2 ) − g (Y1 , [ X , Y2 ]) , LX Y = ∇ X Y − ∇ Y X − T ( X , Y ) = ∇ X Y − ∇ Y X eşitliklerinden ve (4.1) eşitliğinden dolayı (φϕ g )( X , Z1 , Z 2 ) = (ϕ X ) g ( Z1 , Z 2 ) − g (∇ϕ X Z1 − ∇ Z1ϕ X , Z 2 ) − g ( Z1 , ∇ϕ X Z 2 − ∇ Z2 ϕ X ) − Xg (ϕ Z1 , Z 2 ) + ( g ϕ )(∇ X Z1 − ∇ Z1 X , Z 2 ) + ( g ϕ )( Z1 , ∇ X Z 2 − ∇ Z2 X ) + g ( Z1 , ϕ (∇ X Z 2 − ∇ Z2 X )) − g (ϕ Z1 , ∇ X Z 2 − ∇ Z2 X ) = (ϕ X ) g ( Z1 , Z 2 ) − Xg (ϕ Z1 , Z 2 ) − g (∇ϕ X Z1 , Z 2 ) + g (∇ Z1ϕ X , Z 2 ) − g ( Z1 , ∇ϕ X Z 2 ) + g ( Z1 , ∇ Z2 ϕ X ) + g (ϕ (∇ X Z1 ), Z 2 ) − g (ϕ (∇ Z1 X ), Z 2 ) + g (ϕ Z1 , ∇ X Z 2 ) − g (ϕ Z1 , ∇ Z2 X ) + g ( Z1 , ϕ (∇ X Z 2 )) − g ( Z1 , ϕ (∇ Z2 X )) − g (ϕ Z1 , ∇ X Z 2 ) + g (ϕ Z1 , ∇ Z2 X ), (φϕ g )( X , Z1 , Z 2 ) = (ϕ X ) g ( Z1 , Z 2 ) − Xg (ϕ Z1 , Z 2 ) − g (∇ϕ X Z1 , Z 2 ) + g (∇ Z1ϕ X , Z 2 ) − g ( Z1 , ∇ϕ X Z 2 ) + g ( Z1 , ∇ Z2 ϕ X ) + g (ϕ (∇ X Z1 ), Z 2 ) − g (ϕ (∇ Z1 X ), Z 2 ) + g (ϕ Z1 , ∇ X Z 2 ) − g ( Z1 , ϕ (∇ Z2 X )) eşitliğini yazabiliriz. (4.5) 49 (4.4) eşitliği göz önüne alınırsa, g (∇ Z1ϕ X , Z 2 ) − g (ϕ (∇ Z1 X ), Z 2 ) + g ( Z1 , ∇ Z2 ϕ X ) − g ( Z1 , ϕ (∇ Z2 X )) = g ((∇ϕ )( X , Z1 ), Z 2 ) + g ( Z1 , (∇ϕ )( X , Z 2 )) (4.6) bulunur. (4.6) eşitliği (4.5) te yerine yazılırsa, (4.5) eşitliği (φϕ g )( X , Z1 , Z 2 ) = (ϕ X ) g ( Z1 , Z 2 ) − Xg (ϕ Z1 , Z 2 ) + g ((∇ϕ )( X , Z1 ), Z 2 ) + g ( Z1 , (∇ϕ )( X , Z 2 )) − g (∇ϕ X Z1 , Z 2 ) − g ( Z1 , ∇ϕ X Z 2 ) (4.7) + g (ϕ (∇ X Z1 ), Z 2 ) + g (ϕ Z1 , ∇ X Z 2 ) olarak yazılabilir. Diğer taraftan, ∇ Levi-Civita konneksiyonuna göre (ϕ X ) g ( Z1 , Z 2 ) − g (∇ϕ X Z1 , Z 2 ) − g ( Z1 , ∇ϕ X Z 2 ) = (∇ϕ X g )( Z1 , Z 2 ) = 0 (4.8) ve − Xg (ϕ Z1 , Z 2 ) + g (ϕ (∇ X Z1 ), Z 2 ) + g (ϕ Z1 , ∇ X Z 2 ) = − Xg (ϕ Z1 , Z 2 ) + g ((∇ X ϕ Z1 ), Z 2 ) + g (ϕ Z1 , ∇ X Z 2 ) − g ((∇ X ϕ ) Z1 , Z 2 ) (4.9) = −(∇ X g )(ϕ Z1 , Z 2 ) − g ((∇ X ϕ ) Z1 , Z 2 ) = − g ((∇ X ϕ ) Z1 , Z 2 ) yazabiliriz. (4.8) ve (4.9) eşitliklerinden dolayı, (4.7) eşitliğini (φϕ g )( X , Z1 , Z 2 ) = − g ((∇ X ϕ ) Z1 , Z 2 ) + g ((∇ Z1ϕ ) X , Z 2 ) + g ( Z1 , (∇ Z2 ϕ ) X ) (4.10) olarak yazabiliriz. Benzer şekilde, (φϕ g )( Z 2 , Z1 , X ) = − g ((∇ Z2 ϕ ) Z1 , X ) + g ((∇ Z1ϕ ) Z 2 , X ) + g ( Z1 , (∇ X ϕ ) Z 2 ) (4.11) eşitliğini yazabiliriz. (4.10) ve (4.11) eşitliğinden (φϕ g )( X , Z1 , Z 2 ) + (φϕ g )( Z 2 , Z1 , X ) = 2 g ( X , (∇ Z1ϕ ) Z 2 ) (4.12) 50 eşitliği kolayca elde edilebilir. (4.12) eşitliğinde φϕ g = 0 yazılırsa, ∇ϕ = 0 eşitliği bulunmuş olur. (4.10) veya (4.11) eşitliğinden ∇ϕ = 0 olduğunda φϕ g = 0 olduğu kolayca bulunur. 4.2.3. Sonuç: φϕ g = 0 ise hemen hemen para B-manifold üzerindeki ϕ hemen hemen parakompleks yapı integrallenebilirdir. Hemen hemen Hermitian manifold ve hemen hemen para B-manifold arasındaki bazı benzerlikleri çift diagramlarla göstereceğiz. ( M 2 k , ϕ , g ) hemen hemen Hermitian manifold olsun ve Ω ile esas 2-formu gösterelim. O halde yapıları aşağıdaki şematik sıraya koyabiliriz. Para B-manifold Hermitian Nϕ = 0 Nϕ = 0 φϕ g = 0 Paraholomorfik B-manifold dΩ = 0 Kahlerian ∇ϕ = 0 ⇔ φϕ g = 0 Nϕ = 0 Hemen hemen Para B-manifold Hemen hemen Hermitian ∇ϕ = 0 ⇔ d Ω = 0, Nϕ = 0 dΩ = 0 Hemen hemen Kahlerian Şekil 4.1. Hemen hemen Hermitian manifold ve hemen hemen para B-manifold arasındaki benzerlikler diagramı ( M 2 k , ϕ , g ) hemen hemen B-manifold olsun. Hemen hemen B-manifoldun birleşimli Bmetriği, M 2 k manifoldu üzerindeki her X ve Y vektör alanları için G ( X , Y ) = ( g ϕ )( X , Y ) (4.13) 51 şeklinde tanımlanır. Pür olan G Riemannian metriğine Tachibana operatörünü uyguladığımızda (φϕ G )( X , Y , Z ) = ( LϕX G − LX (G ϕ ))(Y , Z ) + G (Y , ϕLX Z ) − G (ϕY , LX Z ) = ( Lϕ X ( g ϕ ) − LX (( g ϕ ) ϕ ))(Y , Z ) + ( g ϕ )(Y , ϕ LX Z ) − ( g ϕ )(ϕY , LX Z ) = (( LϕX g ) ϕ + g LϕX ϕ − LX ( g ϕ ) ϕ − ( g ϕ ) LX ϕ )(Y , Z ) + ( g ϕ )(Y , ϕLX Z ) − ( g ϕ )(ϕY , LX Z ) = ( LϕX g − LX ( g ϕ ))(ϕY , Z ) + g (ϕY , ϕLX Z ) − g (ϕ (ϕY ), LX Z ) + ( g LϕX ϕ − ( g ϕ ) LX ϕ )(Y , Z ) (4.14) = (φϕ g )( X , ϕY , Z ) + g (( LϕX ϕ )Y , Z ) − g (ϕ (( LX ϕ )Y ), Z ) = (φϕ g )( X , ϕY , Z ) + g ([ϕ X , ϕY ] − ϕ[ϕ X , Y ], Z ) − g (ϕ[ X , ϕY ] − ϕ 2 [ X , Y ], Z ) = (φϕ g )( X , ϕY , Z ) + g ([ϕX , ϕY ] − ϕ [ϕX , Y ] − ϕ [ X , ϕY ] + ϕ 2 [ X , Y ], Z ) = (φϕ g )( X , ϕY , Z ) + g ( N ϕ ( X , Y ), Z ) eşitliğini elde etmiş oluruz. Böylece (4.14) ifadesinden aşağıdaki teoremi yazabiliriz. 4.2.4. Teorem: Bir hemen hemen B-manifoldunda φϕ G = (φϕ g ) ϕ + g ( N ϕ ) eşitliği doğru olur. Teorem 4.2.2 ve Teorem 4.2.4’ den aşağıdaki teoremi yazabiliriz. 4.2.5. Teorem: φϕ G = 0 , N ϕ ≠ 0 şartlarına sahip hemen hemen B-manifold, yani hemen hemen Kahlerian manifoldların benzerleri yoktur. 4.2.6. Sonuç: Aşağıdaki şartlar denktir: a) φϕ g = 0 52 b) φϕ G = 0 g B-metriğinin Levi-Civita konneksiyonunun kovaryant türevini ∇ g ile gösterelim. Bu durumda Teorem 4.2.2’den dolayı ∇ g G = 0 ifadesini ∇ g G = (∇ g g ) ϕ + g (∇ gϕ ) = g (∇ gϕ ) şeklinde ifade edebiliriz. Bu yüzden aşağıdaki teoremi yazabiliriz. 4.2.7. Teorem: ( M 2 k , ϕ , g ) paraholomorfik B-manifold olsun. Bu durumda g B- metriğinin Levi-Civita koneksiyonu birleşimli G B-metriğinin Levi-civita konneksiyonu ile çakışır. 4.3. Paraholomorfik B-manifoldlarında Eğrilik Tensörleri R ve S sırasıyla g ve G ile oluşturulmuş eğrilik tensörleri olsunlar. Bu durumda paraholomorfik B-manifold için Teorem 4.2.7’nin vasıtasıyla R = S yazılabilir. ϕ için Ricci’nin özdeşliğini uygulayarak, ∇ϕ = 0 eşitliğinden dolayı ϕ ( R( X , Y ) Z ) = R( X , Y )ϕZ (4.15) eşitliği yazılabilir. Bu yüzden R( X 1 , X 2 , X 3 , X 4 ) = g ( R( X 1 , X 2 ) X 3 , X 4 ) eşitliği ve R( X 1 , X 2 , ϕX 3 , X 4 ) = g ( R( X 1 , X 2 )ϕX 3 , X 4 ) = g (ϕ ( R( X 1 , X 2 ) X 3 ), X 4 ) = g ( R( X 1 , X 2 ) X 3 , ϕX 4 ) = R( X 1 , X 2 , X 3 , ϕX 4 ) eşitliğinden dolayı R eğrilik tönsörü X 3 ve X 4 göre ve ayrıca X 1 ve X 2 göre pürdür. Diğer taraftan S , birleşimli G B-metriği ile oluşturulmuş eğrilik tensörü olsun. Eğer S ( X 1 , X 2 , X 3 , X 4 ) = G ( S ( X 1 , X 2 ) X 3 , X 4 ) alınırsa o zaman S( X1, X 2 , X 3 , X 4 ) = S( X 3, X 4 , X1, X 2 ) (4.16) 53 yazılabilir. (4.1), (4.13), (4.15) ve R = S ifadelerini göz önünde bulundurarak S ( X 1 , X 2 , X 3 , X 4 ) = G( S ( X 1 , X 2 ) X 3 , X 4 ) = g (ϕ ( S ( X 1 , X 2 ) X 3 ), X 4 ) = g ( S ( X 1 , X 2 ) X 3 , ϕX 4 ) = g ( R( X 1 , X 2 ) X 3 , ϕX 4 ) = R( X 1 , X 2 , X 3 , ϕX 4 ) ve S ( X 3 , X 4 , X 1 , X 2 ) = G( S ( X 3 , X 4 ) X 1 , X 2 ) = g (ϕ ( S ( X 3 , X 4 ) X 1 ), X 2 ) = g ( S ( X 3 , X 4 ) X 1 , ϕX 2 ) = g ( R( X 3 , X 4 ) X 1 , ϕX 2 ) = R( X 3 , X 4 , X 1 , ϕX 2 ) = R( X 1 , ϕX 2 , X 3 , X 4 ) eşitliklerini yazabiliriz. Böylece (4.16) eşitliği R( X 1 , X 2 , X 3 , ϕX 4 ) = R( X 1 , ϕX 2 , X 3 , X 4 ) olur. Bu ise R( X 1 , X 2 , X 3 , X 4 ) ’nin X 2 ve X 4 ’e göre pür olduğunu gösterir. O halde R( X 1 , X 2 , X 3 , X 4 ) pürdür. Böylece aşağıdaki teoremi yazabiliriz. 4.3.1. Teorem: Paraholomorfik B-manifoldunda B-metriğinin Riemannian eğrilik tensörü pürdür. R Riemannian eğrilik tensörü pür olduğundan R ’ye φ -operatörünü uygulayabiliriz. Teorem 4.2.2’de kullandığımız yöntemlerin benzerleri ile (φϕ R )( X , Y1 , Y2 , Y3 , Y4 ) = (∇ϕX R )(Y1 , Y2 , Y3 , Y4 ) − (∇ X R )(ϕY1 , Y2 , Y3 , Y4 ) (4.17) olduğunu ispatlayabiliriz. (4.15)’i kullanarak ve (4.17)’ye Bianchi’nin 2. özdeşliğini uygulayarak (φϕ R )( X , Y1 , Y2 , Y3 , Y4 ) = g ((∇ϕX R )(Y1 , Y2 , Y3 ) − (∇ X R )(ϕY1 , Y2 , Y3 ), Y4 ) = g ((∇ϕX R )(Y1 , Y2 , Y3 ) − ϕ ((∇ X R )(Y1 , Y2 , Y3 )), Y4 ) (4.18) 54 = g ( −(∇Y1 R )(Y2 , ϕX , Y3 ) − (∇Y2 R )(ϕX , Y1 , Y3 ) −ϕ ((∇ X R )(Y1 , Y2 , Y3 )), Y4 ) eşitliğini elde edebiliriz. Diğer taraftan, ∇ϕ = 0 eşitliğini kullanarak (∇Y2 R )(ϕX , Y1 , Y3 ) = ∇Y2 ( R(ϕX , Y1 , Y3 )) − R(∇Y2 (ϕX ), Y1 , Y3 ) − R(ϕX , ∇Y2 Y1 , Y3 ) − R(ϕX , Y1 , ∇Y2 Y3 ) = (∇Y2 ϕ )( R( X , Y1 , Y3 )) + ϕ (∇Y2 R( X , Y1 , Y3 )) − R((∇Y2 ϕ ) X + ϕ (∇Y2 X ), Y1 , Y3 ) (4.19) − R(ϕX , ∇Y2 Y1 , Y3 ) − R(ϕX , Y1 , ∇Y2 Y3 ) = ϕ (∇Y2 R( X , Y1 , Y3 )) − ϕ ( R(∇Y2 X , Y1 , Y3 )) − ϕ ( R( X , ∇Y2 Y1 , Y3 )) − ϕ ( R( X , Y1 , ∇Y2 Y3 )) = ϕ ((∇Y2 R)( X , Y1 , Y3 )) eşitliğini bulabiliriz. Benzer şekilde (∇Y1 R )(Y2 , ϕX , Y3 ) = ϕ ((∇Y1 R )(Y2 , X , Y3 )) (4.20) eşitliğini bulabiliriz. (4.18) de (4.19) ve (4.20) eşitliklerini yerine yazarak ve tekrar Bianchi’nin 2. özdeşliğini kullanarak (φϕ R )( X , Y1 , Y2 , Y3 , Y4 ) = g ( −ϕ ((∇Y1 R )(Y2 , X , Y3 )) − ϕ ((∇Y2 R )( X , Y1 , Y3 )) − ϕ ((∇ X R )(Y1 , Y2 , Y3 )), Y4 ) = − g (ϕ (σ {( ∇ X R )(Y1 , Y2 } , Y3 )), Y4 ) = 0, eşitliğini elde edebiliriz. Burada σ , X , Y1 ve Y2 ye göre dairesel toplamı gösterir. Böylece aşağıdaki teoremi yazabiliriz. 4.3.2 Teorem: Paraholomorfik B-manifoldunda Riemannian eğrilik tensör alanı paraholomorfik tensör alanıdır. 55 4.4. Paraholomorfik B-manifoldlarında Skaler Eğrilikler ( M 2 n , ϕ ) parakompleks manifold olsun. 4.4.1. Yardımcı Teorem: f ∈ ℑ00 ( M 2 n ) , df tam 1-formunun holomorfik, yani φϕ (df ) = 0 olması için gerek ve yeter şart df ϕ birleşimli 1-form’unun kapalı, yani d (df ϕ ) = 0 olmasıdır. İspat: Her X , Y ∈ ℑ10 ( M 2 n ), ω ∈ ℑ10 ( M 2 n ) ve (ω ϕ )( X ) = ω (ϕ ( X )) için (dω )( X , Y ) = 1 { X (ω (Y )) − Y (ω ( X )) − ω ([ X , Y ])} 2 eşitliğini kullanarak (d ω )(Y , ϕ X ) = 1 {Y (ω (ϕ X )) − (ϕ X )(ω (Y )) − ω ([Y , ϕ X ])} 2 = 1 {Y (ω (ϕ X )) − (ϕ X )(ω (Y )) + ω ([ϕ X , Y ])} 2 = 1 {Y (ω (ϕ X )) − (ϕ X )(ω (Y )) + ω ([ϕ X , Y ] 2 (4.21) −ϕ[ X , Y ]) + ω (ϕ[ X , Y ])} yazabiliriz. (4.1) eşitliğinden de, (φϕ ω )( X , Y ) = (ϕ X )(ω (Y )) − X (ω (ϕY )) + ω (( LY ϕ )( X )) = (ϕ X )(ω (Y )) − X (ω (ϕY )) − ω ([ϕ X , Y ] − ϕ[ X , Y ]) eşitliğini yazabiliriz. (4.22) eşitliğini (4.21)’de yerine yazarsak, (d ω )(Y , ϕ X ) = 1 {−(φϕω )( X , Y ) + Y (ω (ϕ X )) − X (ω (ϕY )) + ω (ϕ[ X , Y ])} 2 (4.22) 56 =− 1 {(φϕω )( X , Y ) + Y ((ω ϕ )( X )) − X ((ω ϕ )(Y )) − (ω ϕ )([Y , X ])} 2 1 = − (φϕ ω )( X , Y ) + (d (ω ϕ )(Y , X )) 2 eşitliğini elde edebiliriz. Buradan da φϕ ω = 0 eşitliğinin (d (ω ϕ ))(Y , X ) = (d ω )(Y , ϕ X ) (4.23) eşitliğine denk olduğunu söyleyebiliriz. Bu durumda ω = df için (4.23) eşitliği (d (df ϕ ))(Y , X ) = (d 2 f )(Y , ϕ X ) = 0 , yani d (df ϕ ) = 0 (4.24) şeklinde sade bir eşitliğe dönüşmüş olur. Bir f fonksiyonu için df ϕ = dg olacak şekilde paraholomorfik B-manifoldunda g fonksiyonu var ise f fonksiyonuna holomorfik (analitik) fonksiyon ve g ’ye de f ’nin birleşimli fonksiyonu denir (Tachibana and Kotô, 1962). Böyle bir f fonksiyonu lokal olarak tanımlanırsa, f fonksiyona lokal olarak holomorfik fonksiyon denir. (4.24) eşitliği sadece lokal olarak df ϕ = dg eşitliğine denktir. Bu yüzden, f ’nin lokal holomorfik (ϕim ∂ m f = ∂ i g ) olması şartı (φϕ df )ij = ϕim ∂ m ∂ j f − ∂ i (ϕ mj ∂ m f ) + (∂ jϕim )∂ m f = 0 eşitliği ile verilir. ( M 2 n , ϕ , g ) , g pür metriğine sahip paraholomorfik B-manifold olsun. Teorem 4.3.1, Teorem 4.3.2 ve (4.17) eşitliğinden, paraholomorfik B-manifoldlarında ∇R eğrilik tensör alanının kovaryant türevinin pür olduğunu bulabiliriz. O halde R ji = Rsji s = g ts Rtjis Ricci tensörünün kovaryant türevi tüm indislere göre pür olur ve bu durumda ϕts ∇ s R ji = ϕ sj ∇t Rsi eşitliğini yazabiliriz. 57 g ji kontravaryant B-metriği ile bu son eşitlikten ∗ ϕts ∇ s R = g jiϕ sj ∇t Rsi = ∇ t (G si Rsi ) = ∇t R (4.25) ∗ eşitliğini bulabiliriz. Burada R = g ij Rij ve R = G ij Rij sırasıyla B-manifoldunun skaler eğriliği ve onun birleşimli fonksiyonudur. (4.25) eşitliğinden aşağıdaki teoremi yazabiliriz. 4.4.2. Teorem: Paraholomorfik B-manifoldunda R skaler eğriliği lokal holomorfik fonksiyondur. 4.4.3. Örnek: M 2 n manifoldunun, Vn Riemannian manifoldunun π : T (Vn ) → Vn tanjant demeti olduğunu kabul edelim. Eğer x i , Vn üzerinde lokal koordinatlar ise bu durumda x i , x i = y i , i = n + 1,..., 2n formundaki fibre koordinatlarla birlikte T (Vn ) üzerinde lokal koordinatlardır. T (Vn ) üzerindeki (0, q) tipli bir tensör alanı V V X = Xi ∂ , ∂x i H X = Xi ∂ ∂ − y s Γis h X h i i ∂x ∂x X (dikey lift) veya H X (yatay lift) (Yano and Ishihara, 1973) şeklinde olan tüm X i , i = 1, 2,..., q vektör alanları üzerindeki etkisiyle tanımlanır. Bu yüzden T (Vn ) üzerindeki S g Sasakian metriği, her X , Y ∈ ℑ10 (Vn ) için ⎧ S g ( H X , H Y ) = V ( g ( X , Y )), ⎪S V V V ⎨ g ( X , Y ) = ( g ( X , Y )), ⎪ S g ( V X , H Y ) = 0, ⎩ eşitlikleriyle tanımlanır. S (4.26) g Sasakian metriği, T (Vn ) tanjant demetindeki ( x i , x i ) indirgenmiş koordinatlara göre 58 S ⎛ g ji + gts y k y l Γtkj Γlis g =⎜ ⎜ y k Γ kis g js ⎝ lokal bileşenlerine sahiptir. Burada y k Γ kjs g si ⎞ ⎟ g ji ⎟⎠ Γ ijk , Vn ∇g manifoldundaki Levi-Civita konneksiyonunun bileşenleridir. T (Vn ) tanjant demetindeki Dϕ diagonal lifti her ϕ ∈ ℑ11 ( M n ) ve X ∈ ℑ10 (Vn ) için ⎧⎪ Dϕ H X = H (ϕ X ), ⎨D V V ⎪⎩ ϕ X = − (ϕ X ), (4.27) eşitlikleri ile tanımlanır. I ∈ ℑ11 ( M n ) birim tensör alanının D I diagonal lifti indirgenmiş koordinatlara göre D ⎛ δi j I =⎜ t j ⎝ −2 y Γ ti 0 ⎞ ⎟ −δ i j ⎠ bileşenlerine sahiptir ve ( D I ) 2 = I T (Vn ) şartını sağlar. Bu yüzden D I hemen hemen parakompleks yapıdır. A( X , Y ) = S g ( D IX , Y ) − S g ( X , D IY ) eşitliğini alalım. Eğer V X , V Y veya H X, H Y şeklinde olan tüm X ve Y vektör alanları için A( X , Y ) = 0 ise o zaman A = 0 olmuş olur. D I V X = − V X , (4.27) eşitlilerinden dolayı A( V X , V Y ) = S g ( − V X , V Y ) − S g ( V X , − V Y ) = 0 , A( V X , H Y ) = S g ( − V X , H Y ) − S g ( V X , H Y ) = 0 , A( H X , V Y ) = S g ( H X , V Y ) − S g ( H X , − V Y ) = 0 , A( H X , H Y ) = S g ( H X , H Y ) − S g ( H X , H Y ) = 0 eşitliklerini yazabiliriz. Yani S g , D I ’ye göre B-metriktir. Dolayısıyla aşağıdaki teoremi yazabiliriz. D I H X = H X , (4.26) ve 59 4.4.4. Teorem: (T (Vn ), D I , S g ) bir hemen hemen B-manifolddur. V X , H X ve γ R ( X , Y ) = y s Rijs k X iY j ∂ (Cengiz and Saimov , 2002) ifadelerinin ∂x k özelliklerini kullanarak (φ D I S g )( V X , H Y , H Z ) = −2( S g V (∇Y X ), H Z + S g ( H Y , V (∇ Z X )) = 0, (φ D I S g )( V X , H Y , V Z ) = −2 S g ( H Y ,[ V Z , V X ]) = 0, (φ D I S g )( V X , V Y , H Z ) = −2 S g ([ V Y , V X ], H Z ) = 0, (φ D I S g )( V X , V Y , V Z ) = 0, (φ D I S g )( H X , H Y , H Z ) = 0, (φ D I S g )( H X , V Y , V Z ) = 2 V ((∇ X g )(Y , Z )) = 0, (φ D I S g )( H X , H Y , V Z ) = −2 S g (γ R (Y , X ), V Z ), (φ D I S g )( H X , V Y , H Z ) = −2 S g ( V Y , γ R( Z , X )) eşitliklerini yazabiliriz. O halde aşağıdaki teoremi yazabiliriz. 4.4.5. Teorem: Bir (T (Vn ), D I , S g ) hemen hemen B-manifoldunun paraholomorfik olması için gerek ve yeter şart Vn ’ nin lokal Euclidean olmasıdır. 4.4.6. Örnek: Mn , ⎛ δ ij ϕ = ⎜⎜ ⎝0 0 ⎞ ⎟ , i, j = 1,..., k , i , j = k + 1,..., n , −δ ji ⎟⎠ n = 2k integrallenebilir hemen hemen product yapısına sahip lokal product Riemannian manifoldu olsun. O halde M 2 k parakompleks manifoldu ⎛ gij g =⎜ ⎝ 0 0 ⎞ t t t t ⎟ , gij = gij ( x , x ), g i j = g i j ( x , x ) gi j ⎠ şeklindeki B-manifoldunun bir yapısını içerir. 60 M 2k lokal product Riemannian manifoldunun metriğinin ds 2 = gij ( x t )dxi dx j + gi j ( x t )dx i dx j , i, j , t = 1,..., k , i, j, t=k+1,...,2k formda olduğunu kabul edelim. Yani gij ( x ) sadece x t nin fonksiyonları, gi j = 0 ve gi j ( x) de sadece x t nin fonksiyonlarıdır. Bu durumda manifolda lokal decomposable (ayrıştırılabilir) Riemannian manifoldu denir. Lokal product Riemannian manifoldunun lokal decomposable Riemannian manifoldu olması için gerek ve yeter şart ∇ gϕ = 0 olmasıdır (Yano and Kon, 1984). O halde Teorem 4.2.2 den aşağıdaki teoremi yazabiliriz. 4.4.7. Teorem: M 2k lokal decomposable Riemannian manifoldu paraholomorfik B- manifolddur. 61 5. SONUÇ Sunulan bu tezde amaç B-manifoldlar geometrisinin problemiyle ilgili olarak pür Riemannian metrik tensörlerinin uygulanabildiği Tachibana operatörler teorisini kullanmak ve paraholomorfik B-manifoldu çalışmalara uygulamaktır. Bu çalışmada ilk olarak hemen hemen B-manifoldun paraholomorfik B-manifold olması için gerek ve yeter şart ispatlandı. Ayrıca hemen hemen Hermitian manifold ve hemen hemen para B-manifold arasındaki bazı benzerlikler çift diagramlarla gösterildi. İkinci olarak, paraholomorfik B-manifoldlar için eğrilik tensörüne bakıldı. Bu amaçla eğrilik tensörünün pür olduğu gösterildi. Pürlük şartını sağlayan Riemannian eğrilik tensörüne, pür tensörlere uygulanabilen φ -Tachibana operatörünü uygulayarak Riemannian eğrilik tensör alanının paraholomorfik tensör alanı olduğu ispatlandı. Üçüncü olarak ise R = g ij Rij skaler eğriliğinin paraholomorfik B-manifoldunda lokal holomorfik fonksiyon olduğu ispatlandı. Son olarak Tanjant demette (1,1) tipli I birim tensör alanının indirgenmiş koordinatlardaki bileşenleri ile S D I diagonal liftinin g Sasakian metriğinin indirgenmiş koordinatlardaki bileşenlerinin vasıtasıyla (T (Vn ), D I , S g ) üçlüsünün bir hemen hemen B-manifold ve (T (Vn ), D I , S g ) hemen hemen B-manifoldunun paraholomorfik olması için gerek ve yeter şart baz manifoldun lokal Euclidean olması gerektiği ispatlandı. 62 KAYNAKLAR Adati T., 1981. Submanifolds of an almost product Riemannian manifold. Kodai Math. J., 4, 327-343. Bishop R.L. and Goldberg S.I., 1968. Tensor Analysis on Manifolds. The Mcmillan Company, New York, p.19-135. Blažić N. and Bokan N., 1996. Invariance theory and affine differential geometry. Differential geometry and applications (Brno, 1995), Masarky Univ., Brno, 249260. Borowiec A., Francaviglia M. and Volovich I., 2000. Anti-Kählerian manifolds. Differential Geom. Appl.,12 , no.3, 281-289. Cengiz N. and Saimov A.A., 2002. Complete lifts of Derivations to Tensor Bundles. Bol. Soc. Mat. Mexicana (3) vol. 8, 75-82. Cruceanu V., Fortuny P. and Gadea P.M., 1996. A survey on paracomplex Geometry. Rocky Mountain J. Math., 26, 83-115. Fukami T., 1959. Afine connections in almost product manifolds with some structure. Tohoku Math. J., 11, 430-446. Gadea P.M., Grifone J.and Munoz Masque J., 2003. Manifolds modelled over free modules over the double numbers. Acta Math. Hungar., 100 (3). Iscan M. and Salimov A. A., 2005. On a connection between the theory of Tachibana operators and the theory of B-manifolds. Hacettepe Journal of Mathematics and Statistics, 34 (2005), 47-53. Kobayashi S., and Nomızu K., 1963. Foundations of Differential Geometry. Interscience Publishers. Kruchkovich G.I., 1972. Hypercomplex structure on a manifold. I, Tr. Sem. Vect. Tens. Anal., Moscow Univ., 16, 174-201. Magden A., 2004. On applications of the Tachibana operator. Apply. Math. and Comp., 147, 45-55. Mihai I. and Nicolau C., 1982. Almost product structures on the tangent bundle of an almost paracontact manifold. Demonstratio Math., 15, 1045-1058. Norden A. P., 1960. On a certain class of four-dimensional A-spaces. Izv. Vuzov. Mat., no.4, 145-157. Salimov A.A., and Mağden A., 1999. Diferensiyel Geometriye Giriş. Atatürk Üniversitesi. Salimov A.A., Iscan M. and Etayo F., 2007. Paraholomorphic B-manifold and its properties. Topology and its Application, 154, 925-933. Tachibana S., 1960. Some theorems on locally product Riemannian spaces. Tohoku Math. J., 12, 281-292. Tachibana S. & Kotô S., 1962. On almost-analytic functions, tensors and invariant subspaces. Tôhoku Math. J., (2) 14, 177-186. Vishnevskii V.V., 1970. Affinor structures of affine connection spaces. Izv. Vuzov. Math., No 1, 12-23. Vishnevskii V.V., Shirokov A.P. and Shurygin V.V., 1985. Spaces over algebras. Kazan Gos. University, Kazan, Russian. 63 Vishnevskii V.V., 2002. Integrable affinor structures and their plural interpretations. J. of Math. Sciences, 108 , No.2, 151-187. Yano K., 1959. Affine connections in an almost product space. Kodai Math. Sem. Rep. 11, 1-24. Yano K., 1958. On Walker differentiation in almost product or almost complex spaces. Indag. Math., 20, 573-580. Yano K., 1965. Differential Geometry on Complex and Almost Complex Spaces, Pergamon Press, N.Y.. Yano K. and Ako M., 1968. On certain operators associated with tensor fields. Kodai Math. Sem. Rep., 20, 414-436. Yano K. and Ishihara S., 1973. Tangent and Cotangent Bundles. Marcel Dekker Inc., New York. Yano K. and Kon M., 1984. Structure on manifolds. World Scientific, Singapore. 64 ÖZGEÇMİŞ 1977 yılında Samsun’da doğdu. İlk, orta ve lise öğrenimini Erzurum’da tamamladı. 1996 yılında girdiği Ondokuz Mayıs Üniversitesi Eğitim Fakültesi Matematik Bölümü’nden 2000 yılında mezun oldu. Aynı yıl Atatürk Üniversitesi Fen-Edebiyat Fakültesi Matematik Bölümünde yülsek lisans öğrenimine başlayıp bunun yanında Erzurum ilindeki Özel Güneş Dersanesinde matematik öğretmeni olarak görev yaptı. 2002 yılında Atatürk Üniversitesi Fen Bilimleri Enstitüsüne bağlı olarak Fen-Edebiyat Fakültesi Matematik Bölümünde araştırma görevlisi olarak göreve başladı. Halen bu görevine devam etmektedir.