S-MANİFOLDLARDA ÇEYREK SİMETRİK KONEKSİYONLAR Ayşegül GÖÇMEN YÜKSEK LİSANS TEZİ MATEMATİK GAZİ ÜNİVERSİTESİ FEN BİLİMLERİ ENSTİTÜSÜ Mart 2013 ANKARA Ayşegül GÖÇMEN tarafından hazırlanan S-MANİFOLDLARDA ÇEYREK SİMETRİK KONEKSİYONLAR adlı bu tezin Yüksek Lisans tezi olarak uygun olduğunu onaylarım. Prof. Dr. Aysel TURGUT VANLI ………………………….. Tez Danışmanı, Matematik Anabilim Dalı Bu çalışma, jürimiz tarafından oy birliği Yüksek Lisans tezi olarak kabul edilmiştir. ile Matematik Anabilim Dalında Prof. Dr. Mustafa ÇALIŞKAN ………………………………… Matematik Anabilim Dalı, Gazi Üniversitesi Prof. Dr. Aysel TURGUT VANLI ………………………………… Matematik Anabilim Dalı, Gazi Üniversitesi Doç. Dr. Hesna KABADAYI ………………………………… Matematik Anabilim Dalı, Ankara Üniversitesi Tez Savunma Tarih : 01/03/2013 Bu tez ile G.Ü. Fen Bilimleri Enstitüsü Yönetim Kurulu Yüksek Lisans derecesini onamıştır. Prof. Dr. Şeref SAĞIROĞLU Fen Bilimleri Enstitüsü Müdürü ………………………………… TEZ BİLDİRİMİ Tez içindeki bütün bilgilerin etik davranış ve akademik kurallar çerçevesinde elde edilerek sunulduğunu, ayrıca tez yazım kurallarına uygun olarak hazırlanan bu çalışmada bana ait olmayan her türlü ifade ve bilginin kaynağına eksiksiz atıf yapıldığını bildiririm. Ayşegül GÖÇMEN iv S-MANİFOLDLARDA ÇEYREK SİMETRİK KONEKSİYONLAR (Yüksek Lisans Tezi) Ayşegül GÖÇMEN GAZİ ÜNİVERSİTESİ FEN BİLİMLERİ ENSTİTÜSÜ Mart 2013 ÖZET Bu çalışmada S-manifold üzerinde çeyrek simetrik metrik olmayan koneksiyon ve çeyrek simetrik metrik koneksiyonun tanımları verilerek bazı teoremler ispatlanıp örnekler verildi. Ayrıca, bu koneksiyonların eğrilikleri ve Ricci eğrilikleri hesaplanıp koneksiyonlarla ilgili yarı simetrik, Ricci yarı simetrik, Ricci projektif yarı simetrik ve projektif yarı simetrik şartları incelendi. Bilim Kodu Anahtar Kelimeler Sayfa Adedi Tez Yöneticisi : 204.1.049 : S- manifoldlar, Çeyrek simetrik Koneksiyon : 125 : Prof. Dr. Aysel TURGUT VANLI v QUARTER SYMMETRIC CONNECTIONS ON S-MANIFOLDS (M.Sc. Thesis) Ayşegül GÖÇMEN GAZİ UNIVERSITY INSTITUTE OF SCIENCE AND TECHNOLOGY March 2013 ABSTRACT In this thesis, quarter symmetric non-metric connection and quarter symmetric metric connection are defined on S-manifolds. In addition, some theorems and examples are given about these connections on S-manifolds. Moreover, the curvatures and Ricci curvature of such connections are obtain, and the conditions of semi-symmetry, Ricci semi symmetric, Ricci projectif semi symmetry and projectif semi symmetry are investigated. Science Code Key Word Page Number Adviser : 204.1.049 : S-manifolds, Çeyrek symmetric connection : 125 : Prof. Dr. Aysel TURGUT VANLI vi TEŞEKKÜR Bu tezin hazırlanması sırasında bana araştırma olanağı sağlayan ve çalışmanın her safhasında büyük yardımlarını ve desteklerini gördüğüm değerli danışman hocam sayın Prof. Dr. Aysel TURGUT VANLI’ ya teşekkürlerimi sunarım. Çalışmalarım esnasında bana anlayış gösteren sevgili ailem ve dostlarıma teşekkürlerimi sunarım. vii İÇİNDEKİLER Sayfa ÖZET .................................................................................................................. iv ABSTRACT ................................................................................................................. v TEŞEKKÜR ................................................................................................................ vi İÇİNDEKİLER .......................................................................................................... vii SİMGELER VE KISALTMALAR ............................................................................. ix 1. GİRİŞ ................................................................................................................... 1 2. TEMEL KAVRAMLAR ......................................................................................... 3 2.1. Riemann Manifoldlar ....................................................................................... 3 2.2. Bir Riemann Manifoldu üzerinde Çeyrek-Simetrik Metrik Olmayan Koneksiyon..................................................................................................... 11 2.3. Bir Riemann Manifoldu üzerinde Çeyrek-Simetrik Metrik Koneksiyon ....... 12 2.4. Hemen Hemen Kompleks ve Hemen Hemen Kontakt Manifoldlar ............. 14 3. HEMEN HEMEN S-MANİFOLDLAR VE S-MANİFOLDLAR ........................ 21 3.1. f -Yapı ........................................................................................................... 21 3.2. Torsiyon Tensör ............................................................................................. 26 3.3. Hemen Hemen S-Manifoldlar ........................................................................ 30 3.4. S-Manifoldlar ................................................................................................. 40 4. ÇEYREK SİMETRİK METRİK OLMAYAN KONEKSİYONLU SMANİFOLDLAR.................................................................................................. 57 4.1.Çeyrek Simetrik Metrik Olmayan Koneksiyon ............................................... 57 4.2. Eğrilik Tensörü ............................................................................................... 68 4.3.Ricci Eğriliği ................................................................................................... 78 viii Sayfa 5. QUARTER SİMETRİK METRİK OLMAYAN KONEKSİYONLU SMANİFOLDLAR İÇİN BAZI EĞRİLİK ŞARTLARI ....................................... 85 6. ÇEYREK SİMETRİK METRİK KONEKSİYONLU S-MANİFOLDLAR......... 91 6.1.Yarı Simetrik Metrik Koneksiyon ................................................................... 91 6.2.Eğrilik Tensörü .............................................................................................. 100 6.3.Ricci Eğriliği ................................................................................................. 111 7. ÇEYREK SİMETRİK METRİK KONEKSİYONLU S-MANİFOLDLAR İÇİN BAZI EĞRİLİK ŞARTLARI..................................................................... 117 KAYNAKLAR.................................................................................................... 123 ÖZGEÇMİŞ......................................................................................................... 125 ix SİMGELER VE KISALTMALAR Bu çalışmada kullanılmış bazı simgeler açıklamalarıyla birlikte aşağıda sunulmuştur. Simgeler , Açıklama M de ye diferensiyellenebilir fonksiyonlar Metrik Tensörü noktasındaki tanjant uzay Vektör alanlarının uzayı M Manifoldunun Tanjant Demeti -yapı karakteristik vektör alanları 1-formlar vektör alanına göre türev Diferensiyellenebilir manifold nin Nijenhuis tensör alanı , Lie Parantez Operatörü Tensör Çarpımı Levi-Civita koneksiyon Çeyrek-Simetrik Metrik Olmayan Koneksiyon Çeyrek-Simetrik Metrik Koneksiyon Riemann Cristoffel Eğrilik Tensörü Çeyrek-Simetrik Metrik Olmayan Koneksiyonun Eğrilik tensörü x Simgeler Açıklama Çeyrek-Simetrik Metrik Koneksiyonun Eğrilik Tensörü Riemann Koneksiyonunun Ricci Tensörü Çeyrek-Simetrik Metrik Olmayan Koneksiyonun Ricci tensörü Çeyrek-Simetrik Metrik Koneksiyonun Ricci Tensörü Riemann Koneksiyonunun Weyl Projektif Eğrilik Tensörü Çeyrek-Simetrik Metrik Olmayan Koneksiyonun Weyl Projektif Eğrilik tensörü Çeyrek-Simetrik Metrik Koneksiyonun WeylProjektif Eğrilik Tensörü Riemann Koneksiyonunun Kesit Eğriliği Çeyrek-Simetrik Metrik Olmayan Koneksiyonunun Kesit Eğriliği Çeyrek-Simetrik Metrik Koneksiyonunun Kesit Eğriliği Riemann Koneksiyonuna Göre Torsiyon Tensörü Çeyrek-Simetrik Metrik Olmayan Koneksiyona Göre Torsiyon Tensörü xi Simgeler Açıklama Çeyrek-Simetrik Metrik Koneksiyona Göre Torsiyon Tensörü 1 1.GİRİŞ Hemen hemen kontakt metrik yapıların ve hemen hemen kompleks yapıların bir genelleştirilmesi olan metrik çatılı yapılar ilk kez Yano (1963) tarafından ortaya atılmış ve günümüze kadar bu alanda bir çok çalışma yapılmıştır. Bunlardan bazıları Nakagava (1966), Ishahara (1966), Kobayashi ve Tsuchiya (1972), Mihai (1983) ve Kobayashi (1990) dır. 1970 yılında Goldberg ve Yano, metrik çatılı manifoldlar üzerindeki f -yapı yardımı ile bir kompleks yapı tanımlayıp metrik çatılı yapıların normallik koşullarını inceleyerek bu alanda yapılacak olan çalışmalara ışık tutmuşlardır. 1970 yılında Blair, normal metrik çatılı yapılara, normal metrik çatılı yapıların sağlamış olduğu bazı yeni koşulları ilave ederek, hemen hemen Hermit durumunda Kaehler yapıların ve hemen hemen kontakt durumunda Sasakian yapıların bir genelleştirilmişi olan S-manifoldları tanıtmıştır. 1990 lı yıllarda İspanyol matematikçilerden Cabrerizo, Fernandez, Luis.M. Fernandez, S-manifoldlara ait ciddi çalışmalar yapmışlardır.1990 lı yıllarda yapılan çalışmaların yanı sıra günümüze kadar S-manifoldlar ile ilgili Kobayashi (1990), Lotta ve Pastore (2004), Dileo ve Lotta (2005), Terlizzi (2006) gibi çeşitli çalışmalarda yapmıştır. D. Sağbaş (2010) yüksek lisans tezinde hemen hemen S-manifoldları çalıştı. M. A. Akyol (2011) yüksek lisans tezinde S-manifoldlar üzerinde yarı simetrik metrik ve yarı simetrik metrik olmayan koneksiyonlar üzerinde çalıştı. Ayrıca M. A. Akyol, A. Turgut Vanlı ve L. M. Fernandez (2013) “Curvature Properties of a SemiSymmetric Metric Connection on S-Manifolds” ve “Semi-Symmetric Properties of S-Manifolds Endowed with a Semi-Symmetric Non-Metric Connection” adlı çalışmalar ile bu konuya katkı sağlamışlardır. 2 Bir Riemann manifoldu üzerinde çeyrek simetrik metrik koneksiyon ilk kez S. Globe (1975) tarafından tanımlanmış ve çalışılmıştır. Bir Riemann manifoldu üzerinde çeyrek simetrik metrik olmayan koneksiyon tanımı Agashe ve Chafle (1992) tarafından verilmiştir. Bu yüksek lisans çalışmasında çeyrek simetrik metrik olmayan koneksiyon ve çeyrek simetrik metrik koneksiyonların S- manifoldlarda tanımı verilerek bunlara ait bazı örnekler verilmektedir. Ayrıca, bazı teoremler ispatlanıp bu koneksiyonlar üzerindeki eğriliklerin semi-simetrik şartları da incelenmektedir. 3 2.TEMEL KAVRAMLAR 2.1. Riemann Manifoldlar 2.1.1 Tanım M diferensiyellenebilir bir manifold olsun. M üzerindeki uzayı ve M den ye : fonksiyonlarının uzayı vektör alanlarının (M, ) olmak üzere dönüşümü bilineer, simetrik ve pozitif tanımlı ise ye M üzerinde bir Riemann metriği (veya metrik tensör ) ve (M, ) ikilisine de bir Riemann manifoldu adı verilir [Hacısalihoğlu, 1983]. 2.1.2 Tanım M diferensiyellenebilir bir manifold ve bir verilsin. , , Z Z Y (M) ve , Y Z (M, ) için, fZ Z, f özelliklerini sağlıyorsa Z ya M manifoldu üzerinde bir lineer koneksiyon denir [Hacısalihoğlu, 1983]. 2.1.3 Tanım U bir K cismi üzerinde vektör uzayı ve , : dönüşümü dönüşümü Z, fZ , : , 4 2-lineer , Anti-simetrik , , için ç , , , , , , , , 0 şartlarını sağlıyorsa , dönüşümüne, U üstünde bir Lie operatörü (Lie parantez operatörü) denir [Hacısalihoğlu, 1983]. 2.1.1 Teorem M diferensiyellenebilir bir manifold olsun. M üzerindeki vektör alanlarının uzayı olsun. , : , dönüşümü , (M, ) için , şeklinde tanımlanırsa , operatörü üzerinde bir Lie operatörüdür [Yano ve Kon, 1984]. 2.1.4 Tanım , bir Riemann manifoldu ve olsun. Eğer , vektör alanına göre Lie türev operatörü için 0 ise e Killing vektör alanı denir Yano ve Kon, 1984 . 5 2.1.5 Tanım , bir Riemann manifoldu olsun. , , (M, ) ) için , , , , , , , , , dir [Yano ve Kon, 1984, Duggal ve Bejancu, 1996]. 2.1.6 Tanım (M, ) bir Riemann manifold olsun. M üzerinde verilen her bir diferensiyel s1 -form karşılık getiren diferensiyel operatörü dış formuna bir diferensiyel türev operatörü olarak adlandırılır ve form Ω için ile gösterilir. Özel olarak bir 1-form operatörü , , ve Ω 1 3 , , Ω Ω , , , Ω Ω , , Ω , Ω , , , olarak tanımlanır [Yano ve Kon, 1984]. 2.1.2 Teorem (M, ) bir Riemann manifoldu ve , , olsun. 2 , da M üzerinde bir lineer koneksiyon için Riemann koneksiyonu, , , , , , , , ve 2- 6 , , 2.1 Kozsul formülü ile tek türlü belirtilir [Yano ve Kon, 1984]. 2.1.7 Tanım M diferensiyellenebilir bir manifold ve olsun. , , Y X , da M üzerinde bir lineer koneksiyon için , (Sıfır torsiyon özelliği) Y, şartlarını sağlıyorsa, , ya M Z (Metrik ile bağdaşabilme özelliği) üzerinde Riemann koneksiyonu veya Levi-Civita koneksiyonu denir [Hacısalihoğlu, 1983]. 2.1.8 Tanım ( , ) bir Riemann manifoldu ve , , üzerinde Riemann koneksiyonu olsun. için, : , , , , , 2.2 şeklinde tanımlanan 1,3 tipinden tensör alanı R ye M üzerinde Riemann eğrilik tensör alanı ve , , , , , tensörüne M nin Riemann- Christofel eğrilik tensörü veya kısaca Riemann eğriliği denir. 2.1.9 Tanım 7 ( , ) bir Riemann manifoldu ve R de M üzerinde Riemann eğrilik tensör alanı olsun. , , için , , , , , , , , , , , , , 2.3 , 2.4 , 2.5 dir [O`Neill, 1983]. 2.1.10 Tanım ( , ) bir Riemann manifoldu ve olsun. , , de M üzerinde Riemann eğrilik tensör alanı için , , , 0 eşitliği I.Bianchi özdeşliği olarak adlandırılır [Yano ve Kon, 1984]. 2.1.11 Tanım ( , ) bir Riemann manifoldu olsun. Bir , noktasındaki tanjant uzayının, tanjant vektörleri tarafından gerilen 2-boyutlu bir uzay Π olmak üzere Π , , şeklinde tanımlanan 2.1.12 Tanım , , , 2.6 Π reel sayısına Π nin kesit eğriliği denir [Yano ve Kon, 1984]. 8 n-boyutlu bir Riemann manifoldu ( , ), M üzerinde eğrilik tensörü ,…, bir ortonormal bazı ve nin olsun. : , şeklinde tanımlı operatörüne M nin Ricci operatörü, : olmak üzere , , , şeklinde tanımlı 0,2 tipindeki 2.7 tensör alanına, M üzerinde Ricci eğrilik tensörü adı verilir [Yano ve Kon, 1984]. 2.1.13 Tanım n-boyutlu bir Riemann manifoldu M ve M üzerinde ortonormal vektör alanları sistemi ,…, olmak üzere M nin skalar eğriliği, , şeklinde tanımlanır [Yano ve Kon, 1984]. 2.1.14 Tanım 2 olmak üzere -boyutlu bir Riemann manifoldu ( , ) olsun. için nin Weyl projektif eğrilik tensör alanı; , , 9 , 1 , , 1 , 2.8 ile tanımlanır. 2.1.15 Tanım 2 olmak üzere -boyutlu bir Riemann manifoldu tanımlı 0,2 tipinde bir simetrik tensör alanı , olsun. üzerinde endomorfizmi olmak üzere : , , , şeklinde tanımlanır. Eğer alınırsa; , , olur. Bundan sonra üzerinde 0, yerine ,…, ve ; , kullanılacaktır. tensör alanı ve 0,2 tipinde bir simetrik tipinde bir alanı verildiğinde . . , . tensörleri sırasıyla; , ,…, ,…, ve . ,…, ; , ,…, şeklinde tanımlanır. O halde , . , , ve ; , , , , , ; , alınırsa, , , ,…, , , , , , , , , , , tensör 10 , ve . , alınırsa, , , , ; , , , , , , , ve , , , , , ; , , , , , , , , , , , Ayrıca , , , , , için , , ; , , , olarak elde edilir. Riemann manifoldu için . 0 ise ye yarı simetriktir, . 0 ise ye Ricci yarı-simetriktir, . 0 ise ye Wely-yarı simetriktir, . 0 ise M ye Projektif yarı-simetrik 2.1.16 Tanım , , , , denir. , , ; , , , , , , , , alınırsa, , , , , ; , , . , , , , 11 boyutlu bir Riemann manifoldu uzayındaki boyutlu bir nin her alt uzayı bağlayan olan bir dağılım denir. dağılımına aittir denir. olsun. ve noktasındaki dönüşümüne için ise teğet üzerinde rankı vektör alanına dağılımına ait olan vektör alanlarının uzayı Γ ile gösterilir. 2.2. Bir Riemann Manifoldu Üzerinde Çeyrek Simetrik Metrik Olmayan Koneksiyon 2.2.1 Tanım Bir , Riemann manifoldu ve , M üzerinde Levi-Civita koneksiyonu olsun. : , ∇ şeklinde tanımlansın. Burada 2.9 bir 1-form ve olmak üzere , 2.10 ile tanımlıdır. 2.2.1 Teorem Bir , Riemann manifoldu olsun. Eş. 2.9 da tanımlı koneksiyondur [Agashe ve Chafle, 1992]. 2.2.2 Tanım , M üzerinde bir lineer 12 , Bir olsun. Riemann manifoldu üzerinde Eş. 2.9 ile tanımlı bir lineer koneksiyon nın torsiyon tensörü olmak üzere , için; , ise 2.11 ya çeyrek simetrik koneksiyon adı verilir [Agashe ve Chafle, 1992]. 2.2.3 Tanım , Bir Riemann manifoldu üzerinde Eş. 2.9 ile tanımlı bir çeyrek simetrik koneksiyon ∇ olsun. , 0 , , için; 2.12 ise ∇ koneksiyonuna çeyrek simetrik metrik olmayan koneksiyon denir [Agashe ve Chafle, 1992]. 2.2.2 Teorem Bir , Riemann manifoldu üzerinde Eş. 2.9 ile tanımlı bir lineer koneksiyon olsun. , M üzerinde bir çeyrek simetrik metrik olmayan koneksiyondur [Agashe ve Chafle, 1992]. 2.3. Bir Riemann Manifoldu Üzerinde Çeyrek Simetrik Metrik Koneksiyon 2.3.1 Tanım Bir , Riemann manifoldu ve , M üzerinde Levi-Civita koneksiyonu olsun. : , ∇ 2.13 13 şeklinde tanımlansın. Burada bir 1-form ve olmak üzere , 2.14 ile tanımlıdır. 2.3.1 Teorem , Bir Riemann manifoldu olsun. Eş. 2.13 de tanımlı , M üzerinde bir lineer koneksiyondur [Friedman ve Shouten, 1924]. 2.3.2 Tanım , Bir olsun. Riemann manifoldu üzerinde Eş. 2.13 ile tanımlı bir lineer koneksiyon nın torsiyon tensörü olmak üzere , için; , ise 2.15 ya çeyrek simetrik koneksiyon adı verilir [Agashe ve Chafle, 1992]. 2.3.3 Tanım , Bir Riemann manifoldu üzerinde Eş. 2.13 ile tanımlı bir çeyrek simetrik koneksiyon , ise olsun. 0 , , için; 2.16 koneksiyonuna çeyrek simetrik metrik koneksiyon denir [Friedman ve Shouten, 1924]. 2.3.2 Teorem 14 Bir olsun. , Riemann manifoldu üzerinde Eş. 2.13 ile tanımlı bir lineer koneksiyon , M üzerinde bir çeyrek simetrik metrik koneksiyondur [Friedman ve Shouten, 1924]. 2.4. Hemen Hemen Kompleks ve Hemen Hemen Kontakt Manifoldlar 2.4.1 Tanım M diferensiyellenebilir bir reel manifold olsun. M nin her q noktasındaki Tq M tanjant uzayı üzerinde tanımlı bir J : Tq M → Tq M lineer dönüşümü J 2 = − I koşulunu sağlıyor ise J ye M üzerinde hemen hemen kompleks yapı, M manifolduna da hemen hemen kompleks manifold denir. Her hemen hemen kompleks manifold çift boyutludur [Yano ve Kon, 1984]. 2.4.2 Tanım M bir hemen hemen kompleks manifold ve M üzerinde hemen hemen kompleks yapı J olsun. g , M üzerinde bir Riemann metrik olmak üzere ∀X , Y ∈ χ ( M ) için g ( J ( X ) , J (Y ) ) = g ( X , Y ) özelliği sağlanıyor ise g ye M üzerinde Hermit metrik denir. M manifolduna da hemen hemen Hermityan manifold denir [Yano ve Kon, 1984]. 2.4.3 Tanım M bir ( 2n + 1) boyutlu manifold, ϕ , ξ ve η da M üzerinde sırasıyla, (1,1) tipinde tensör alanı, vektör alanı ve 1-form olsun. Herhangi bir vektör alanı X için; ϕ 2 ( X ) = − X + η ( X ) ξ ve η (ξ ) = 1 (2.17) 15 özellikleri sağlanıyorsa o zaman (ϕ , ξ ,η ) ya M üzerinde bir hemen hemen kontakt yapı ve M manifolduna da hemen hemen kontakt manifold denir [Yano ve Kon, 1984]. 2.4.4 Tanım ( 2n + 1) -boyutlu bir hemen hemen kontakt manifold M olsun. ∀X , Y ∈ χ ( M ) ve ξ ∈ χ ( M ) için η ( X ) = g ( X ,ξ ) (2.18) ve g ( ϕ ( X ) , ϕ ( Y ) ) = g ( X , Y ) − η ( X )η ( Y ) (2.19) koşullarını sağlayan bir g Riemann metriği varsa (ϕ , ξ ,η , g ) dörtlüsüne bir hemen hemen kontakt metrik yapı, ( M , ϕ , ξ ,η , g ) beşlisine de bir hemen hemen kontakt metrik manifold denir [Yano ve Kon, 1984]. 2.4.1 Teorem M bir hemen hemen kontakt metrik manifold olsun. ∀X , Y ∈ χ ( M ) için g ( ϕ ( X ) , ϕ ( Y ) ) = g ( X , Y ) − η ( X )η ( Y ) olacak şekilde bir g Riemann metriği daima vardır [Blair, 1976]. 2.4.5 Tanım ( 2n + 1) -boyutlu bir manifold η ∧ ( dη ) ≠ 0 n , η da M üzerinde bir 1-form olsun. Eğer, 16 koşulu sağlanıyor ise M ye bir kontakt yapıya sahiptir denir. M manifolduna da, kontakt manifold denir [Yano ve Kon, 1984]. 2.4.2 Teorem ( M , ϕ , ξ ,η ) bir hemen hemen kontakt manifold olsun. X , ξ ∈ χ ( M ) , X ≠ ξ ve ϕ : χ ( M ) → χ ( M ) için ( i ) ϕ (ξ ) = 0 , ( ii ) η D ϕ = 0 , ( iii ) rankϕ = 2n (2.20) dir [Yano ve Kon, 1984]. 2.4.6 Tanım M bir hemen hemen kontakt metrik manifold olsun. ∀X , Y ∈ χ ( M ) için Φ ( X , Y ) = − g ( X , ϕ (Y ) ) = dη ( X , Y ) (2.21) şeklinde tanımlı Φ dönüşümüne (ϕ , ξ ,η , g ) hemen hemen kontakt metrik yapının 2 denir. Burada η kontak formu için yazılan η ∧ ( dη ) ≠ 0 koşulu n η ∧ ( Φ ) ≠ 0 halini alır [Yano ve Kon, 1984]. n 2.4.7 Tanım ( 2n + 1) -boyutlu bir hemen hemen kontakt metrik manifold dη ( X , Y ) = g ( X , ϕ (Y ) ) = Φ ( X , Y ) M olsun. Eğer, 17 oluyorsa (ϕ , ξ ,η , g ) dörtlüsüne kontakt metrik yapı ve ( M , ϕ , ξ ,η , g ) beşlisine de kontakt metrik manifold denir [Yano ve Kon, 1984]. 2.4.1 Sonuç Her hemen hemen kontakt metrik manifold aynı zamanda kontakt manifoldtur [Yano ve Kon, 1984]. 2.4.3 Teorem M bir hemen hemen kontakt metrik manifold olsun. , M üzerinde Riemann koneksiyon olmak üzere ∀X , Y ∈ χ ( M ) için , , , , (2.22) dır [Yano ve Kon, 1984]. 2.4.4 Teorem ( 2n + 1) -boyutlu bir hemen hemen kontakt metrik manifold M olsun. ∀X , Y ∈ χ ( M ) için dη ( X , ξ ) = 0 (2.23) ve dη (ϕ ( X ) , Y ) + dη ( X , ϕ (Y ) ) = 0 dır [Yano ve Kon, 1984]. (2.24) 18 ( 2n + 1) -boyutlu bir hemen hemen kontakt manifold M ve M üzerinde hemen hemen kontakt yapı (ϕ , ξ ,η ) olsun. Reel doğru IR ile gösterilirse M × IR manifoldu ( 2n + 2 ) boyutlu bir çarpım manifoldu olur. Burada X , M × IR üzerinde herhangi bir vektör alanı, t , IR nin bir koordinatı ve f de M × IR üzerinde tanımlı diferensiyellenebilir bir fonksiyondur. M × IR üzerinde bir hemen hemen kompleks yapıyı veren M × IR nin tanjant uzayındaki bir J lineer dönüşümü; J : χ ( M × IR ) → χ ( M × IR ) d ⎞ d ⎞ ⎛ d ⎞ ⎛ ⎛ ⎜ X , f ⎟ → J ⎜ X , f ⎟ = ⎜ ϕ ( X ) − f ξ ,η ( X ) ⎟ dt ⎠ dt ⎠ ⎝ dt ⎠ ⎝ ⎝ (2.25) şeklinde tanımlıdır. 2.4.8 Tanım M bir diferensiyellenebilir manifold ve ϕ , M üzerinde bir (1,1) tipinde bir tensör alanı olmak üzere, ∀X , Y ∈ χ ( M ) için Nϕ ( X , Y ) = ϕ 2 [ X , Y ] + ⎡⎣ϕ ( X ) , ϕ (Y ) ⎤⎦ − ϕ ⎡⎣ϕ ( X ) , Y ⎤⎦ − ϕ ⎡⎣ X , ϕ (Y ) ⎤⎦ şeklinde tanımlanan (1, 2 ) tipindeki tensör alanına ϕ nin Nijenhuis tensör alanı denir [Yano ve Kon, 1984]. 2.4.9 Tanım Bir hemen hemen kompleks metrik manifold M , M üzerindeki hemen hemen kompleks yapı J olsun. J nin Nijenhuis tensör alanı N J olmak üzere N J = 0 ise J dönüşümüne integrallenebilirdir denir [Yano ve Kon, 1984]. 19 2.4.10 Tanım Bir ( 2n + 1) -boyutlu hemen hemen kontakt manifold M ve (ϕ , ξ ,η ) de M üzerinde hemen hemen kontakt yapı olsun. Reel doğru IR olmak üzere M × IR çarpım manifoldu göz önüne alınsın. Eğer M × IR üzerindeki (2.25) ile verilen hemen hemen kompleks yapısı integrallenebilir ise (ϕ , ξ ,η ) hemen hemen kontakt yapısı normaldir denir [Yano ve Kon, 1984]. 2.4.11 Tanım Bir ( 2n + 1) -boyutlu hemen hemen kontakt manifold M olsun. M × IR çarpım manifoldu üzerinde [ ,] : χ ( M × R ) × χ ( M × R ) → χ ( M × R ) ⎛⎛ d⎞ ⎛ d ⎞ ⎞ ⎡⎛ d ⎞ ⎛ d ⎞⎤ ⎛ d ⎞ ⎜ ⎜ X , f dt ⎟ , ⎜ Y , g dt ⎟ ⎟ → ⎢⎜ X , f dt ⎟ , ⎜ Y , g dt ⎟ ⎥ = ⎜ [ X , Y ] , ( X ( g ) − Y ( f ) ) dt ⎟ ⎠ ⎠ ⎝ ⎠ ⎠ ⎣⎝ ⎠ ⎝ ⎠⎦ ⎝ ⎝⎝ şeklinde tanımlanan operatör ( i ) Anti-simetriktir, ( ii ) Jacobi özdeşliğini sağlar. Bu şekilde tanımlanan [,] operatörüne Lie braketi denir [Blair, 2002]. 2.4.12 Tanım ( 2n + 1) -boyutlu bir hemen hemen kontakt manifold ⎛ ⎛ d ⎞⎞ N J ⎜ ( X , 0 ) , ⎜ 0, ⎟ ⎟ değerleri sırasıyla hesaplanarak ⎝ dt ⎠ ⎠ ⎝ M olsun. N J ( ( X , 0 ) , (Y , 0 ) ) ve 20 N 1 ( X , Y ) = Nϕ ( X , Y ) + 2dη ( X , Y ) ξ , ( ) ( (2.26) N 2 ( X , Y ) = Lϕ ( X )η Y − Lϕ (Y )η X , ) (2.27) N 3 ( X ) = ⎡⎣ξ , ϕ ( X ) ⎤⎦ − ϕ [ X , ξ ] , (2.28) N 4 ( X ) = ξη ( X ) − η [ X , ξ ] , (2.29) eşitlikleri elde edilir. Bu eşitliklerle N 1 , N 2 , N 3 ve N 4 tensörleri tanımlanır. 2.4.5 Teorem ( 2n + 1) -boyutlu bir hemen hemen kontakt manifold M olsun. Bu yapının normal olabilmesi için gerek ve yeter şart N 1 , N 2 , N 3 ve N 4 tensörlerinin sıfır olmasıdır [Yano ve Kon, 1984]. 2.4.6 Teorem ( 2n + 1) -boyutlu bir hemen hemen kontakt manifold M olsun. N 1 = 0 ise N 2 = N 3 = N 4 = 0 dır [Yano ve Kon, 1984]. 2.4.13 Tanım ( 2n + 1) -boyutlu bir hemen hemen kontakt metrik manifold M olsun. Eğer M nin kontakt yapısı normal ise M bir Sasaki yapıya ya da normal kontakt metrik yapıya sahiptir denir. Sasaki yapıya sahip M manifolduna ise Sasakian manifold denir ve ( M , ϕ , g , ξ ,η ) ile gösterilir [Yano ve Kon, 1984]. 21 3. HEMEN HEMEN S-MANİFOLDLAR VE S-MANİFOLDLAR 3.1. f-yapı 3.1.1 Tanım (2n+s)-boyutlu diferensiyellenebilir bir manifold M olsun. M’ nin tanjant demeti TM olmak üzere f 3 + f =0, rankϕ = 2n (3.1) koşulunu sağlayan (1,1) tipindeki diferensiyellenebilir ϕ tensör alanına f -yapı ve üzerinde bir f -yapı tanımlı M manifolduna da f -manifold denir [Goldberg ve Yano,1970]. s=0 ise f -yapı hemen hemen kompleks yapıdır. s=1 ise f -yapı hemen hemen kontakt yapıdır. f ’ nin hemen hemen kontakt yapı olması durumunda M manifoldu yönlendirilebilirdir. (i ) P = −ϕ 2 , (ii ) Q = ϕ + I 2 (3.2) ile tanımlanan iki bütünleyen izdüşüm operatörlerine karşılık sırasıyla D ve D ⊥ bütünleyen dağılımlar vardır. Burada boy( D )= 2n ve boy( D ⊥ )= s ’dir. 3.1.1 Lemma (2n+s) boyutlu bir diferensiyellenebilir manifold M olsun. ϕ , M üzerinde bir f yapı, P ve Q ise Eş. 3.2 ile tanımlı bütünleyen izdüşüm fonksiyonları olmak üzere (i ) ϕ P = Pϕ = ϕ (ii ) ϕ Q = Qϕ = 0 (iii ) ϕ 2 P = − P (iv ) ϕ 2Q = 0 (3.3) 22 dir [Ishihara ve Yano, 1964]. Eş. 3.3 koşulunu sağlayan P ve Q izdüşüm fonksiyonları yardımı ile M’ nin tanjant demeti TM, biri 2n diğeri s - boyutlu olan iki dağılımın direkt toplamı olarak yazılır. Yani; TM = D ⊕ D ⊥ , D ∩ D ⊥ = {0} (3.4) dir. 3.1.2 Tanım (2n+s)-boyutlu bir diferensiyellenebilir manifold M olsun. M üzerinde, s ϕ 2 = − I + ∑η i ⊗ ξi , η i (ξ j ) = δ ij (3.5) i =1 olacak şekilde (1,1) tipinden bir ϕ tensör alanı, s -tane ξi vektör alanları ve s tane η i 1-formları var ise M’ ye bir global çatılandırılan manifold ya da kısaca çatılandırılan manifold denir ve ( M , ϕ , ξ i ,η i ) ile gösterilir [Goldberg ve Yano,1970]. 3.1.2 Lemma ( M , ϕ , ξ ,η ) bir çatılandırılan manifold olsun. Bu durumda i i (i ) ϕ ( ξ i ) = 0 , ( ii ) η i Dϕ = 0 , ( iii ) dir [Yano ve Kon, 1984, Sağbaş, 2010]. rankϕ = 2n (3.6) 23 3.1.3 Lemma ϕ ’ nin Im ϕ ’ye kısıtlanması Im ϕ üzerinde bir hemen hemen kompleks yapı belirler [Yano ve Kon, 1984, Sağbaş, 2010]. 3.1.1 Sonuç ( Im ϕ ,ϕ 2 ) bir hemen hemen kompleks manifoldtur. Im ϕ 3.1.3 Tanım ( M , ϕ , ξ ,η ) çatılandırılan manifold olsun. ϕ ’nin Nijenhuis tensör alanı N i i ϕ olmak üzere s Sϕ = Nϕ + 2∑ dη i ⊗ ξ i (3.7) i =1 ile belirtilen (1,2) tipindeki Sϕ tensör alanına torsiyon tensör alanı denir. Burada Nϕ Nijenhuis tensör alanı ∀V , W ∈ χ ( M ) için Nϕ (V , W ) = ϕ 2 [V ,W ] + [ϕV , ϕW ] − ϕ [ϕV , W ] − ϕ [V , ϕW ] (3.8) eşitliği ile tanımlıdır. 3.1.4 Lemma (2n+s)-boyutlu bir diferensiyellenebilir manifold M ve M üzerinde f -yapı ϕ olsun. ϕ ’ye karşılık gelen matris 24 ⎡[ 0]n×n ⎢ ϕ = ⎢ In ⎢[ 0 ] ⎣ n×s −In [0]n×n [0]n×s [0]s×n ⎤ [0]s×n ⎥⎥ [0]s×s ⎥⎦ ( 2 n+ s )×( 2 n+ s ) dir [Ishihara ve Yano, 1964]. 3.1.5 Lemma ( M ,ϕ , ξ ,η ) çatılandırılan manifold olsun. M üzerinde ∀X , Y ∈ χ ( M ) için i i s g (ϕ X , ϕ Y ) = g ( X , Y ) − ∑ η i ( X )η i ( Y ) (3.9) i =1 g ( X , ξi ) = η i ( X ) (3.10) koşullarını sağlayan bir g Riemann metriği vardır [Yano ve Kon, 1984]. 3.1.6 Lemma ( M , ϕ , ξ ,η ) çatılandırılan manifold üzerindeki g Riemann metriği i i g (ϕ X , Y ) + g ( X , ϕY ) = 0 koşulunu sağlar, yani g anti-simetriktir [Yano ve Kon, 1984, Sağbaş, 2010]. (3.11) 25 3.1.2 Sonuç ( M , ϕ , ξ ,η ) i i bir çatılandırılan manifold olsun. Eş. 3.9 ve Eş. 3.10 koşullarını sağlayan keyfi bir Riemann metriği her zaman bulunabilir [Duggal ve Bejancu, 1996]. 3.1.4 Tanım ( M , ϕ , ξ ,η ) i i çatılandırılan manifoldu üzerinde Eş. 3.9 ve Eş. 3.10 şartlarını sağlayan bir g Riemann metriğiyle birlikte ( M , ϕ , ξ ,η , g ) i i ye bir çatılandırılan metrik manifold yada metrik f-manifold denir. 3.1.5 Tanım ( M , ϕ , ξ ,η , g ) bir çatılandırılan metrik manifold olsun. ∀ X , Y ∈ χ ( M ) için; i i Φ ( X , Y ) = g ( X , ϕY ) (3.12) ile tanımlı Φ ’ye M üzerinde, temel 2-form denir [Yano ve Kon, 1984]. 3.1.3 Sonuç ( M , ϕ , ξ ,η , g ) bir çatılandırılan metrik manifold olsun. Bu durumda i i ∀ V ∈ χ (M ) ve ∀i ∈ {1,..., s} için Φ ( X , ξi ) = 0 dır [Yano ve Kon, 1984, Sağbaş, 2010]. 26 3.2. Torsiyon Tensörü ( 2n + s ) -boyutlu bir çatılandırılan metrik manifold ( M , ϕ , ξi ,η i , g ) olsun. M × IR s ( 2n + 2s ) -boyutlu bir çarpım manifoldtur. IR s ⎧ s χ ( IR s ) = ⎨∑ fi ⎩ i =1 üzerindeki vektör alanları ⎫ ∂ : fi ∈ C ∞ ( IR s , IR ) ,1 ≤ i ≤ s ⎬ ∂ti ⎭ şeklindedir. ⎛ ∂ ∂ ⎞ s ⎜ X , f1 ,..., f s ⎟ ile M × IR ’deki vektör alanları gösterilmektedir. Burada X, ∂t1 ∂ts ⎠ ⎝ M 2n + s ’de bir tanjant vektör alanı, ( t1 ,..., ts ) ile IR s ’deki dik koordinat sistemi, lerle M 2n + s × R s üzerinde C ∞ fonksiyonları gösterilmektedir. Ayrıca IR s üzerinde hemen hemen kompleks yapı; J : χ ( M × IR s ) → χ ( M × IR s ) s ⎛ ∂ X , ⎜ ∑ fi ⎝ i =1 ∂ti s s s ⎞ ⎛ ∂ ⎞ ∂ ⎞ ⎛ i J X , f = ϕ X − f ξ , → ⎟ ⎟ ⎜ ∑ i ⎟ ⎜ ∑ i i ∑η ( X ) ∂ti ⎠ i =1 i =1 ⎠ ⎝ i =1 ∂ti ⎠ ⎝ olarak tanımlanır. 3.2.1 Lemma J dönüşümü ( i ) Lineerdir, ( ii ) J 2 = − I dir [Yano ve Kon, 1984, Sağbaş, 2010]. (3.13) 27 3.2.2 Lemma ( 2n + s ) -boyutlu bir çatılandırılan metrik manifold ( M , ϕ , ξ ,η , g ) i i olsun. Bu durumda ( M × IR s , J ) bir hemen hemen kompleks manifoldtur. 3.2.1 Tanım ( 2n + s ) -boyutlu bir çatılandırılan manifold ( M , ϕ , ξi ,η i ) ve ( M × R s , J ) bir hemen hemen kompleks manifold olsun. Hemen hemen kompleks yapı J nin Nijenhuis s s ⎛ ∂ ⎞ ⎛ ∂ ⎞ s , Y , tensörü Eş. 3.8 den ∀ ⎜ X , ∑ fi ⎟ ⎜ ∑ gi ⎟ ∈ χ ( M × R ) için t t ∂ ∂ i =1 i ⎠ ⎝ i ⎠ ⎝ i =1 s s s s ⎛⎛ ⎛ ∂ ⎞ ⎛ ∂ ⎞⎞ ∂ ⎞ ⎛ ∂ ⎞⎞ 2 ⎛ N J ⎜⎜ ⎜ X , ∑ f i ⎟ , ⎜ Y , ∑ gi ⎟ ⎟⎟ = J ⎜⎜ ⎜ X , ∑ f i ⎟ , ⎜ Y , ∑ gi ⎟⎟ ∂ti ⎠ ⎝ i =1 ∂ti ⎠ ⎠ ∂ti ⎠ ⎝ i =1 ∂ti ⎠ ⎟⎠ i =1 i =1 ⎝⎝ ⎝⎝ s ⎛ ⎛ ∂ + ⎜⎜ J ⎜ X , ∑ fi ∂ti i =1 ⎝ ⎝ s ⎞ ⎛ ∂ ⎞⎞ , J Y , ⎟ ⎜ ∑ gi ⎟ ⎟⎟ ⎠ ⎝ i =1 ∂ti ⎠ ⎠ s s ⎛ ⎛ ∂ ⎞ ⎛ ∂ ⎞⎞ , Y , − J ⎜⎜ J ⎜ X , ∑ fi ⎟ ⎜ ∑ gi ⎟⎟ ∂ti ⎠ ⎝ i =1 ∂ti ⎠ ⎟⎠ i =1 ⎝ ⎝ s s ⎛⎛ ∂ ⎞ ⎛ ∂ ⎞⎞ − J ⎜⎜ ⎜ X , ∑ fi ⎟ , J ⎜ Y , ∑ gi ⎟⎟ ∂ti ⎠ ⎝ i =1 ∂ti ⎠ ⎟⎠ i =1 ⎝⎝ dir. 3.2.2 Tanım ( M × IR , J ) bir hemen hemen kompleks manifold olsun. M × IR s [,] : χ ( M × IR s ) × χ ( M × IR s ) → χ ( M × IR s ) s üzerinde 28 s s s s ⎛⎛ ⎡⎛ ∂ ⎞ ⎛ ∂ ⎞⎞ ∂ ⎞ ⎛ ∂ ⎞⎤ ⎜⎜ ⎜ X , ∑ f i ⎟ , ⎜ Y , ∑ gi ⎟ ⎟⎟ → ⎢⎜ X , ∑ f i ⎟ , ⎜ Y , ∑ fi ⎟⎥ ∂ti ⎠ ⎝ i =1 ∂ti ⎠ ⎦ ∂ti ⎠ ⎝ i =1 ∂ti ⎠ ⎠ i =1 i =1 ⎣⎝ ⎝⎝ olmak üzere s s s ⎡⎛ ∂ ⎞ ∂ ⎞ ⎛ ∂ ⎞⎤ ⎛ ⎢⎜ X , ∑ f i ⎟ , ⎜ Y , ∑ fi ⎟ ⎥ = ⎜ [ X , Y ] , ∑ ( X ( gi ) − Y ( fi ) ) ⎟ ∂ti ⎠ ∂ti ⎠ ⎝ i =1 ∂ti ⎠ ⎦ ⎝ i =1 i =1 ⎣⎝ (3.14) şeklinde tanımlanan operatöre braklet operatörü denir. 3.2.3 Lemma Eş. 3.14 ile tanımlı [,] operatör ( i ) Anti-simetriktir, ( ii ) Jacobi özdeşliğini sağlar [Yano ve Kon, 1984, Sağbaş, 2010]. 3.2.3 Tanım Lemma 3.2.3. de tanımlanan operatöre Lie braketi operatörü denir. 3.2.4 Lemma ( M × IR , J ) s bir hemen hemen kompleks manifold ve J hemen hemen kompleks yapının Nijenhuis torsiyon tensörü N J olmak üzere ⎧ ∂ ⎫ N J ( ( X , 0,..., 0 ) , (Y , 0,..., 0 ) ) = ⎨ N 1 ( X , Y ) , N 2 ( X , Y ) ⎬ ∂ti ⎭ ⎩ ve 29 ⎛ ⎛ ⎞⎞ ∂ N J ⎜⎜ ( X , 0,..., 0 ) , ⎜ 0, 0,...0, , 0..., 0 ⎟ ⎟⎟ = ( N 3 ( X ) , N 4 ( X ) ) ∂ti ⎝ ⎠⎠ ⎝ dir [Blair, 2002, Sağbaş, 2010]. 3.2.2 Tanım ( M , ϕ , ξ ,η , g ) i i bir çatılandırılan metrik manifold ve ϕ nin Nijenhuis tensör alanı Nϕ olsun. ( M × IR s , J ) hemen hemen kompleks manifoldun Nijenhuis tensör alanı N J = 0 ise ( M , ϕ , ξi ,η i , g ) ye normaldir denir [Yano ve Kon, 1984]. 3.2.1 Teorem ( M , ϕ , ξ ,η , g ) i bir çatılandırılan metrik manifold olsun. Bu yapının normal i olabilmesi için gerek ve yeter koşul N 1 , N 2 , N 3 ve N 4 tensörlerinin sıfır olmasıdır [Yano ve Kon, 1984, Sağbaş, 2010]. 3.2.2 Teorem ( 2n + s ) -boyutlu M manifoldu (ϕ , ξi ,η i , g ) çatılandırılan metrik yapısıyla verilsin. Eğer N 1 = 0 ise N 2 = N 3 = N 4 = 0 dir [Blair, 2002, Sağbaş, 2010]. 3.2.3 Teorem ( M , ϕ , ξ ,η , g ) i i koneksiyonu 2 , bir çatılandırılan metrik manifold olsun. M nin Levi-Civita olmak üzere ∀X , Y , Z ∈ χ ( M ) için 3 Ф , , 3 Ф , , , , 30 s { + ∑ N 2 (Y , Z )η i ( X ) + 2dη i (ϕ (Y ) , X )η i ( X ) i =1 } −2dη i (ϕ ( Z ) , X )η i (Y ) (3.15) dir [Blair, 2002, Sağbaş, 2010]. 3.3. Hemen Hemen S-Manifoldlar 3.3.1 Tanım ( M , ϕ , ξ ,η , g ) i i bir çatılandırılan metrik manifold olsun. Eğer ∀i ∈ {1,..., s} için dη i = Φ ise M ye hemen hemen S-manifold denir. 3.3.1 Sonuç ( 2n + s ) -boyutlu bir hemen hemen S-manifold M olsun. s = 1 ise M bir hemen hemen kontakt manifoldtur. 3.3.1 Lemma ( M , ϕ , ξ ,η , g ) i i bir hemen hemen S-manifold ve X ∈ Γ ( D ) olsun. O halde, ∀i ∈ {1,..., s} için [ X , ξi ] ∈ Γ ( D ) dir. İspat: ∀i, j ∈ {1,..., s} ve X ∈ Γ ( D ) için η j ([ X , ξi ]) = −2dη j ( X , ξ i ) + X (η j (ξi ) ) − ξi (η j ( X ) ) = −2Φg ( X , ξ i ) + X (δ ij ) − ξi (η j ( X ) ) =0 31 dir. O halde [ X , ξi ] ∈ Γ ( D ) dir. 3.3.2 Lemma Hemen hemen S-manifoldlarda ∀i ∈ {1,..., s} ve ∀X , Y ∈ χ ( M ) için (i ) N 2 ve N 4 tensör alanları sıfırdır, ( ii ) N 3 =0 ⇔ ξi lar Killing vektör alanıdır. İspat: ( i ) N 2 nin tanımından N 2 ( X , Y ) = 2dη i (ϕ ( X ) , Y ) − 2dη i (ϕ (Y ) , X ) = 2Φ (ϕ ( X ) , Y ) − 2Φ (ϕ (Y ) , X ) = 2 g ( ϕ ( X ) , ϕ ( Y ) ) − 2 g (ϕ ( Y ) , ϕ ( X ) ) =0 bulunur. ∀i ∈ {1,..., s} için Lξiη i = ( d D iξi + iξi D d ) (η j ) olur. Bu nedenle N 4 = 0 dır. ( ii ) Lξi Φ = Lξi dη j = d D iξi D dη j + iξi D d 2η j = 0 dır. Buradan, ∀X , Y ∈ χ ( M ) için ( ) 0 = Lξi Φ ( X , Y ) ( ) = ξi g ( X , ϕ (Y ) ) − g ([ξi , X ] , ϕ ( X ) ) − g ( X , ϕ [ξi , Y ]) ( ) ( X , ϕ (Y ) ) + g ( L ϕ (Y ) , X ) ( ) ( X , ϕ (Y ) ) + g ( N (Y ) , X ) = Lξi g = Lξi g ξi 3 32 bulunur. Bu eşitlikten ispat açıktır. 3.3.2 Sonuç Hemen hemen S-manifoldlarda ∀i ∈ {1,..., s} ve ∀X , Y ∈ Γ ( D ) için η i ( ⎡⎣ϕ ( X ) , Y ⎤⎦ ) = η i ( ⎡⎣ϕ (Y ) , X ⎤⎦ ) dir. İspat: ∀X , Y ∈ Γ ( D ) için N 2 = 0 olduğundan ( ) ( 0 = N 2 ( X , Y ) = Lϕ ( X )η i (Y ) − Lϕ (Y )η i ( )( X ) ) ( = ϕ ( X ) (η i (Y ) ) − η i ⎡⎣ϕ ( X ) , Y ⎤⎦ − ϕ (Y ) (η i ( X ) ) + η i ⎡⎣ϕ (Y ) , X ⎤⎦ ( ) ( = −η i ⎡⎣ϕ ( X ) , Y ⎤⎦ + η i ⎡⎣ϕ (Y ) , X ⎤⎦ ) olur, dη i (ϕ ( X ) , Y ) + dη i ( X , ϕ (Y ) ) = 0 olduğundan η i ( ⎡⎣ϕ ( X ) , Y ⎤⎦ ) = η i ( ⎡⎣ϕ (Y ) , X ⎤⎦ ) dir. 3.3.1 Önerme Hemen hemen S-manifoldlarda ∀i ∈ {1,..., s} ve ∀X , Y , Z ∈ χ ( M ) için ) 33 ( ) 2 g ( ∇ * X ϕ ) Y , Z = g ( N 1 ( Y , Z ) , ϕ ( X ) ) + 2 g (ϕ ( X ) , ϕ ( Y ) )η i ( Z ) (i ) −2 g (ϕ ( X ) , ϕ ( Z ) )η i (Y ) , ( ii ) ∇*ξi ϕ = 0 , ( iii ) ∇*ξi ξ j = 0 . dır. İspat: ( i ) 3.2.3 Teorem ve 3.3.2 Lemma’ dan ispat kolayca yapılır. ( ii ) ( i ) de (( X = ξi yazılırsa ) ) 2 g ∇*ξi ϕ Y , Z = g ( N 1 (Y , Z ) , ϕ (ξi ) ) + 2 g (ϕ (ξi ) , ϕ (Y ) )η i ( Z ) −2 g (ϕ (ξi ) , ϕ ( Z ) )η i (Y ) =0 elde edilir. Buradan ∇*ξi ϕ = 0 dir. ( iii ) ( ii ) ( de Y = ξ j yazılırsa ) ( ) ( 0 = ∇*ξi ϕ ξ j = ∇*ξi ϕ (ξ j ) − ϕ ∇*ξi ξ j = − φ ∇*ξi ξ j ) bulunur. Buradan ∇*ξi ξ j ∈ D ⊥ böylece ∀i ∈ {1,..., s} için ( ) η i ⎡⎣ξi , ξ j ⎤⎦ = −2dη γ (ξi , ξ j ) = −2Φ (ξi , ξ j ) = 0 olup ⎡⎣ξi , ξ j ⎤⎦ = 0 olur. Ancak , g (ξi , ξ j ) = δ ij = sabit olduğundan 34 ( ) ) ( ( ) ( + g ( ⎡⎣ξ , ξ ⎤⎦ , ξ ) g ( ⎡⎣ξ , ξ ⎤⎦ , ξ ) ) ( 2 g ∇*ξi ξ j , ξγ = ξi g (ξ j , ξγ ) + ξ j g (ξγ , ξi ) − ξγ g (ξi , ξ j ) − g ⎡⎣ξ j , ξγ ⎤⎦ , ξi γ i j i j ) γ =0 elde edilir. Buradan ∇*ξi ξ j ∈ Γ ( D ) olacağından ∇*ξi ξ j = 0 dır. 3.3.2 Tanım ( M , ϕ , ξ ,η , g ) bir hemen hemen S-manifold olsun. ∀i ∈{1,..., s} ve ∀X ∈ χ ( M ) i i için, hi tensör alanı hi : χ (TM ) → χ (TM ) X → hi ( X ) = 1 1 Lξi ϕ ( X ) = N 3 ( X ) 2 2 ile tanımlıdır. 3.3.3 Lemma ( M , ϕ , ξ ,η , g ) bir hemen hemen S-manifold olsun. M de ∀X , Y ∈ χ ( M ) ve i i ∀i ∈ {1,..., s} için aşağıdakiler sağlanır: (i ) ( ii ) ϕ ( N ( X , Y ) + N (ϕ ( X ) , Y ) ) = 2η i (Y ) hi (Y ) , ( ) g N (ϕ ( X ) , Y ) , ξ i = 0 . 35 3.3.2 Önerme ( M , ϕ , ξ ,η , g ) bir hemen hemen S-manifold olsun. ∀X , Y , Z ∈ χ ( M ) ve i i ∀i ∈ {1,..., s} için , hi tensör alanı olmak üzere ∇* X ξi = −ϕ ( X ) − ϕ ( hi ( X ) ) dir. İspat: 3.3.3 Lemma da X = ξi konulursa, ∀Y , Z ∈ χ ( M ) için ( g ( N (ξi , Y ) , ϕ ( Z ) ) = − g ϕ ( N (ξi , Z ) ) , Y ) s = −2∑η i (ξi )g ( hγ ( Z ) , Y ) γ =1 = −2 g ( hi ( Z ) , Y ) dır. Önerme 3.3.1’ den ( ) g ( N (ξi , Z ) , ϕ (Y ) ) = 2 g ( ∇*Y ϕ ) ξi , Z − 2 g (ϕ (ξi ) , ϕ (Y ) )η i ( Z ) +2 g (ϕ ( Z ) , ϕ (Y ) )η i (ξi ) ( ) s = −2 g ϕ ( ∇*Y ξi ) , Z + 2 g ( Z , Y ) − 2∑η γ ( Z )η γ (Y ) γ =1 bulunur. Böylece ( ) s g ϕ ( ∇*Y ξi ) , Z = g ( hi ( Z ) , Y ) + g ( Z , Y ) − ∑η γ ( Z )η γ (Y ) γ =1 s = g ( hi (Y ) , Z ) + g (Y , Z ) − ∑η γ (Y )η γ ( Z ) γ =1 36 elde edilir. Buradan s ϕ ( ∇*Y ξi ) = hi (Y ) + Y − ∑η γ (Y ) ξγ γ =1 olur. Eşitliğin her iki tarafınının ϕ altında görüntüsü alınırsa s ϕ 2 ( ∇*Y ξi ) = ϕ ( hi (Y ) ) + ϕ (Y ) − ∑η γ (Y ) ϕ (ξγ ) γ =1 bulunur. ϕ 2 nin değeri yerine yazılırsa ∇*Y ξi = −ϕ ( hi (Y ) ) − ϕ (Y ) ∑η ( ∇ s elde edilir. Burada j j =1 * Y ) ξi ξ j = 0 dır. Gerçekten; 2η j ( ∇*Y ξi ) = 2 g ( ∇*Y ξi , ξ j ) ( ( ) ( ) − g (ξ , ⎡⎣Y , ξ ⎤⎦ ) + g (ξ , [Y , ξ ]) = ξ (η (Y ) ) − ξ (η (Y ) ) − η ( ⎡⎣Y , ξ ⎤⎦ ) + η ([Y , ξ ]) = Y g (ξi , ξ j ) + ξi g (ξ j , Y ) − ξ j ( g (Y , ξi ) ) − g Y , ⎡⎣ξi , ξ j ⎤⎦ i j j j i i j = dη j (ξi , Y ) + dη i (Y , ξ j ) =0 dır. i i j j i ) 37 3.3.3 Önerme ( M , ϕ , ξ ,η , g ) bir hemen hemen S-manifold olsun. M üzerinde ∀i ∈{1,..., s} için, i i hi tensör alanı aşağıdakileri sağlar: (i ) hi simetrik tensör alanıdır, ( ii ) hi (ξ j ) = 0 , ( iii ) hi , ϕ ile anti-değişimlidir. İspat: ( i ) Önerme 3.3.1 den ∇*ξi ϕ = 0 dır. ∀X , Y ∈ χ ( M ) için (( ) ) ) ( = g ( ∇ ϕ ( X ) − ∇ ( )ξ − ϕ ( ∇ X ) + ϕ ( ∇ ξ ) , Y ) = g ( ( ∇ ϕ ) X − ∇ ( )ξ + ϕ ( ∇ ξ ) , Y ) = g ( − ( ∇ ( )ξ ) + ϕ ( ∇ ξ ) , Y ) g Lξi ϕ X , Y = g ⎡⎣ξi , ϕ ( X ) ⎤⎦ − ϕ [ξi , X ] , Y * * ξi * ϕ X * * ξi * ξi i X i * ϕ X * i X i * ϕ X i X i dır. Burada ∀i ∈ {1,..., s} için X = ξ j ya da Y = ξ j yazılırsa sonuç özdeş sıfır olacaktır. ∀X , Y ∈ χ ( M ) için, 3.3.2 Sonuç yardımı ile (( ) ) (( ) ) ( = −ξ ( g (ϕ ( X ) , Y ) ) + g (ξ , ∇ g Lξi ϕ X , Y = − g ∇*ϕ ( X )ξi , Y − g ( ∇* X ξi ) , ϕ (Y ) i ) ( Y − ξi g ( X , ϕ (Y ) ) * i ) ϕ( X ) + g (ξ i , ∇* X ϕ (Y ) ) ( ) = η i ∇*ϕ ( X )Y + η i ( ∇* X ϕ (Y ) ) ( ) ( = η i ( ∇*Y ϕ ( X ) ) + η i ⎡⎣ϕ ( X ) , Y ⎤⎦ + η i ∇*ϕ (Y ) X ) ) 38 ( +η i ⎡⎣ X , ϕ (Y ) ⎤⎦ ) ( = η i ( ∇*Y ϕ ( X ) ) + η i ∇*ϕ (Y ) X (( ) = g Lξi ϕ Y , X ) ) bulunur. Buradan hi , simetrik operatördür. ( ii ) hi (ξ j ) = ( 1 1 Lξi ϕ (ξ j ) = Lξi ϕ (ξ j ) − ϕ Lξi ξ j 2 2 ( ) ( ) ) = 0 dır. ( iii ) 2 g ( X , ϕ (Y ) ) = 2Φ ( X , Y ) = 2dη i ( X , Y ) = g ( ∇* X ξi , Y ) − g ( ∇*Y ξi , X ) ( ) ( = g −ϕ ( X ) − ϕ ( hi ( X ) ) , Y − g −ϕ (Y ) − ϕ ( hi (Y ) ) , X ( ) ) = g ( X , ϕ (Y ) ) + g −ϕ ( hi ( X ) ) , Y + g ( X , ϕ (Y ) ) ( + g Y , − hi (ϕ ( X ) ) ( ) ) ( ) dır. O halde; g −ϕ ( hi ( X ) ) , Y + g − hi (ϕ ( X ) ) , Y = 0 dır. ∀Y ∈ χ ( M ) için sağlandığından ve g non-dejenere olduğundan ϕ ( hi ( X ) ) + hi (ϕ ( X ) ) = 0 olup buradan ϕ D hi + hi D ϕ = 0 dır. 3.3.4 Önerme ( M , ϕ , ξ ,η , g ) bir hemen hemen S-manifold olsun. ∀X , Y ∈ χ ( M ) için i i (∇ ϕ ) Y + (∇ * X dir. ) s s i =1 γ =1 2 γ i ϕ ( X )ϕ ϕ ( Y ) = 2 g (ϕ ( X ) , ϕ ( Y ) ) ξi + ∑η ( Y )ϕ ( X ) − ∑η ( Y ) hγ ( X ) * 39 İspat: ∀X , Y , Z ∈ χ ( M ) ve ∀γ , i ∈ {1,..., s} için ) (( ( ) ( ) 2 g ( ∇* X ϕ ) Y , Z + g ∇*ϕ ( X )ϕ ϕ (Y ) , Z = 2 g ( Z , −η γ (Y ) hγ ( X ) ) + 2 g ( X , Y ) ξi −2η γ ( X )η γ (Y ) ξγ − η i (Y ) X −η γ ( X )η γ (Y ) ξγ ) dır. O halde; (∇ ϕ ) Y + (∇ * X ) s γ γ γ ϕ ( X )ϕ ϕ ( Y ) = − ∑η ( Y ) hγ ( X ) + 2 g ( X , Y ) ξγ − 2η ( X )η ( Y ) ξγ * γ =1 s − ∑η i ( Y ) ( X − η i ( X ) ξ i ) i =1 s s i =1 γ =1 = 2 g (ϕ ( X ) , ϕ (Y ) ) ξi + ∑η i (Y ) ϕ 2 ( X ) − ∑η γ (Y ) hγ (Y ) dir. 3.3.3 Sonuç ∀X , Y ∈ χ ( M ) için ( i ) ( ∇* X ϕ ) Y + ( ∇*ϕ ( X )ϕ ) ϕ (Y ) = 2∑ g ( X , Y )ξi s i =1 ( ii ) ( ∇* X ϕ ) ϕ (Y ) = ( ∇*ϕ ( X )ϕ ) Y ( iii ) Eğer s = 1 alınırsa (∇ ϕ )Y + (∇ * X dir. * ) ϕ ϕ (Y ) = 2 g ( X , Y ) ξ − η (Y ) ( X + h ( X ) + η ( X ) ξ ) ϕ( X ) 40 İspat: ( i ) 3.3.4 Önerme de 3.3.2 Tanım kullanılır ve denklem düzenlenirse istenilen sonuç elde edilir. ( ii ) ( i ) de Y = ϕ ( X ) alınırsa ( ∇ ϕ ) (ϕ ( X ) ) + ( ∇ ) * X s 2 ϕ ( X )ϕ (ϕ ( X ) ) = 2∑ g ( X , ϕ ( X ) ) ξ i = 0 * i =1 ( olur, burada ϕ 2 ( X ) = − X olduğundan ( ∇* X ϕ ) (ϕ ( X ) ) = ∇*ϕ ( X )ϕ ( iii ) ) ( X ) dir. s = 1 alınırsa 3.3.4 Önerme den kolayca görülür. 3.4. S-Manifoldlar 3.4.1 Tanım ( M , ϕ , ξ ,η , g ) i i bir çatılandırılan metrik manifold ve Φ bir temel 2-form olsun. Eğer M normal, ξ1 ,..., ξ s vektör alanları birer Killing vektör alanı ve Φ , 2-formu kapalıysa, yani dΦ = 0 ise M normal çatılandırılan metrik manifold veya Kmanifold olarak adlandırılır. 3.4.2 Tanım ( M , ϕ , ξ ,η , g ) bir K-manifold olsun. ∀i ∈{1,..., s} için ξ i i i nin duali η i olmak üzere η 1 ∧ ... ∧ η s ∧ ( dη i ) ≠ 0 ise K-manifolduna yönlendirilebilirdir denir n [Terlizzi ve Pastore, 2002]. 41 3.4.3 Tanım ( M , ϕ , ξ ,η , g ) bir K-manifold olsun. Eğer i i Φ ( X , Y ) = dη i ( X , Y ) oluyorsa ( M , φ , ξ ,η , g ) ye S-manifold denir [Terlizzi ve Pastore, 2002]. i i 3.4.1 Örnek E 2n + s öklid uzayının dik koordinat sistemi ( x1 , x2 ,..., xn , y1 , y2 ,..., yn , z1 , z2 ,..., zs ) olsun. ξi = 2 ∂ , i = 1, 2,..., s ∂zi 1⎛ 2⎝ n ⎞ j =1 ⎠ η i = ⎜ dzi − ∑ y j dx j ⎟ , n ϕ X = ∑Y j j =1 n ∂ ∂ ⎛ n j j ⎞⎛ s ∂ −∑X j + ⎜ ∑ Y y ⎟⎜ ∑ ∂x j j =1 ∂y j ⎝ j =1 ⎠ ⎝ i =1 ∂zi s g = ∑η i ⊗ η i + i =1 1 n ∑ ( dx j ⊗ dx j + dy j ⊗ dy j ) 4 j =1 olarak alınırsa η 1 ∧ ... ∧ η s ∧ Φ n ≠ 0 ve s dη 1 = ... = dη s = ∑ dxi ∧ dyi i =1 dır. Ayrıca E 2n + s de herhangi bir vektör alanı ⎞ ⎟, ⎠ 42 n ⎛ ∂ ∂ ⎞ s i ∂ X = ∑⎜ X j +Y j ⎟+∑Z ⎜ ∂x j ∂y j ⎟⎠ i =1 ∂zi j =1 ⎝ dır. Sonuç olarak (φ , g , ξi ) yapısıyla birlikte E 2n + s bir S-manifoldtur. 3.4.1 Lemma ( M , ϕ , ξ ,η , g ) bir S-manifold olsun. ( M ,ϕ , ξ ,η , g ) üzerinde ∇ , Levi-Civita i * i i i koneksiyonu, ϕ , f-yapı, ξi , 1 ≤ i ≤ s , vektör alanları olmak üzere ∀X ∈ χ ( M ) için ∇*X ξi = −ϕ X (3.16) dir. İspat: ∀X , Y ∈ χ ( M ) için ( 0 = Lξi g ) ( X , Y ) = ξ g ( X , Y ) − g ([ξ , X ] , Y ) − g ( X , [ξ , Y ]) i i ( ) ( ( ) i ) ( ) = g ∇*ξi X , Y + g X , ∇ξ*i Y − g ∇ξ*i X , Y + g ( ∇*X ξi , Y ) − g X , ∇*ξi Y + g ( X , ∇*Y ξi ) = g ( ∇*X ξi , Y ) + g ( X , ∇*Y ξi ) dır. Buradan; g ( ∇*X ξi , Y ) = − g ( X , ∇*Y ξi ) olup g anti-simetriktir. Temel 2-formun ve S-manifoldun tanımından; (3.17) 43 Φ ( X , Y ) = g ( X , ϕ (Y ) ) = dη i ( X , Y ) = − g (ϕ ( X ) , Y ) dir. 2dη i ( X , Y ) = X η i (Y ) − Yη i ( X ) − η i ([ X , Y ]) = Xg (Y , ξi ) − Yg ( X , ξi ) − g ([ X , Y ] , ξi ) = g (Y , ∇*X ξi ) − g ( X , ∇*Y ξα ) (3.18) olur. Eş. 3.17 ve Eş. 3.18 den 2dη i ( X , Y ) = 2 g ( ∇*X ξi , Y ) ⇒ dη i ( X , Y ) = g ( ∇*X ξi , Y ) = − g (ϕ ( X ) , Y ) dir. ∀Y ∈ χ ( M ) için g non-dejenere olduğundan ∇*X ξi = −ϕ ( X ) olur. 3.4.1 Önerme ( M , ϕ , ξ ,η , g ) bir S-manifold ve ∇ , Levi-Civita koneksiyonu olsun. * i i ∀X , Y ∈ χ ( M ) için, s ( ∇ ϕ ) Y = ∑ ( g (ϕ X , ϕ Y ) ξ * X i =1 i + η i (Y ) ϕ 2 ( X ) ) (3.19) dir. İspat: 3.2.3 Teorem de dϕ = 0 ve N 1 = N 2 = 0 olduğu yerine yazılır ve gerekli işlemler yapılırsa; ( ) s g ( ∇*X ϕ ) Y , Z = ∑ {dη i (ϕ X , Y )η i ( Z ) − dη i (ϕ Z , X )η i (Y )} i =1 s = ∑ {Φ (ϕ X , Y )η i ( Z ) − Φ (ϕ Z , X )η i (Y )} i =1 44 s = ∑ { g (ϕ X , ϕY )η i ( Z ) − g (ϕ Z , ϕ X )η i (Y )} i =1 s { } = ∑ g ( g ( ϕ X , ϕ Y ) ξ i + ϕ 2 ( X )η i ( Y ) , Z ) i =1 bulunur. ∀Z ∈ χ ( M ) için g non-dejenere olduğundan s ( ∇ ϕ ) Y = ∑ ( g (ϕ X , ϕ Y ) ξ * X i =1 i + η i (Y ) ϕ 2 ( X ) ) dir. 3.4.2 Önerme ( M , ϕ , ξ ,η , g ) bir S-manifold olsun. L , M i i üzerinde Lie türevi olmak üzere, ∀X , Y ∈ χ ( M ) için, (L ϕX η i ) (Y ) = ( LϕYη i ) ( X ) (3.20) dir. İspat: ( Lϕ X η i ) (Y ) = ϕ X η i (Y ) − η i ([ϕ X , Y ]) = ϕ Xg (Y , ξi ) − g ([ϕ X , Y ] , ξi ) = g ( ∇ϕ* X Y , ξi ) + g (Y , ∇ϕ* X ξi ) − g ( ∇ϕ* X Y , ξi ) + g ( ∇*Y ϕ X , ξi ) = g (Y , ∇ϕ* X ξi ) + g ( ∇*Y ϕ X , ξi ) bulunur. Diğer taraftan 2dη i (ϕ X , Y ) = ϕ X η i (Y ) − Yη i (ϕ X ) − g ([ϕ X , Y ] , ξi ) = g ( ∇ϕ* X Y , ξi ) + g (Y , ∇ϕ* X ξi ) − g ( ∇*Y ϕ X , ξi ) − g (ϕ X , ∇*Y ξi ) − g ( ∇ϕ* X Y , ξi ) + g ( ∇*Y ϕ X , ξi ) (3.21) 45 = g (Y , ∇ϕ* X ξi ) − g (ϕ X , ∇*X ξi ) = g (Y , ∇ϕ* X ξi ) + g ( ∇*Y ϕ X , ξi ) (3.22) olur. Eş. 3.21 ve Eş. 3.22 den (L η i ) (Y ) = 2dη i (ϕ X , Y ) = 2Φ (ϕ X , Y ) (L η i ) ( X ) = 2dη i (ϕY , X ) = 2Φ (ϕY , X ) ϕX ϕY olduğu görülür. Buradan, ( Lϕ Xη i ) (Y ) = ( LϕYη i ) ( X ) dir. 3.4.3 Önerme ( M , ϕ , ξ ,η , g ) bir S-manifold olsun. i ∈{1,.., s} için h i i i tensör alanı aşağıdaki eşitlikleri sağlar; (i ) hi , simetrik tensör alanıdır, ( ii ) hiξ j = 0, j ∈ {1,..., s} , dır. İspat: ∀X , Y ∈ χ ( M ) için, hi : χ ( M ) → χ ( M ) X → hi ( X ) = ( i ) hi ( X ) = 1 Lξ ϕ 2 i ( ) ( X ) = 12 ( L ϕ ( X ) − ϕ L X ) dir. 1 Lξ ϕ ( X ) − ϕ Lξi X 2 i ( ξi ) ξi 46 ( = 1 * ∇ξi ϕ X − ∇ϕ* X ξi − ϕ ∇ξ*i X − φ ( ∇*X ξ i ) 2 = 1 * ∇ξi ϕ X + ϕ 2 ( X ) − ϕ∇ξ*i X − ϕ 2 ( X ) 2 = 1 * ∇ξi ϕ X − ϕ∇ξ*i X 2 ( ) ( ( ) ) ) (3.23) dir. Buradan g ( hi ( X ) , Y ) = 1 g ∇*ξi ϕ X − ϕ∇ξ*i X , Y 2 ( = {( ) 1 g ∇*ξi ϕ X , Y − g −ϕ∇ξ*i X , Y 2 ) ( )} olur. Burada ∀i {1,..., s} için X = ξ j ya da Y = ξ j yazıldığında özdeş sıfır olur. Diğer taraftan, η i ([ϕ X , Y ]) + η i ([ X , ϕY ]) = g ( ∇ϕ* X Y , ξi ) − g ( ∇*Y ϕ X , ξi ) + g ( ∇*X ϕY , ξi ) − g ( ∇ϕ* Y X , ξi ) = g ( ∇ϕ* X ξi , Y ) − g ( ∇*Y ξi , ϕ X ) + g ( ∇*X ξi , ϕY ) − g ( ∇ϕ* Y ξi , X ) = − g (ϕ 2 X , Y ) + g (ϕY , ϕ X ) − g (ϕ X , ϕY ) + g (ϕ 2Y , X ) =0 dır. Eş. 3.23 de X ve Y ξi ya dik ise; (L ϕX η i ) (Y ) = ( LϕYη i ) ( X ) dir. g ( hi ( X ) , Y ) = 1 g 2 (( L ϕ ) X , Y ) ξi (3.24) 47 {( = 1 g ∇*ξi ϕ X , Y − g ϕ∇ξ*i X , Y 2 = 1 i * η ( ∇ϕ X Y ) + η i ( ∇*X ϕY ) 2 = 1 i * η ( ∇Y ϕ X ) + η i ( ∇ϕ* Y X ) 2 = 1 g 2 ) ( { } { } )} (( L ϕ )Y , X ) ξi = g ( hi (Y ) , X ) olup hi simetriktir. ( ii ) 1 Lξ ϕ ξ j 2 i ( hiξ j = = ) 1 Lξ ϕξ j − ϕ Lξi ξ j 2 i ( ) =0 dir. 3.4.4 Önerme ( M , ϕ , ξ ,η , g ) bir S-manifold olsun. O halde ∀X ∈ χ ( M ) ve ∀i ∈{1,..., s} için i i (i ) ( ii ) s ∇*X ξi − ∑η j ( ∇*X ξi ) ξ j = −ϕ hi ( X ) − ϕ ( X ) (3.25) j =1 hi ( X ) = { 1 ϕ ( ∇*X ξi ) − ∇ϕ* ( X )ξi 2 } dir. İspat: 3.3.1 Önerme den ∀X , Z ∈ χ ( M ) ve ∀i ∈ {1,..., s} için (3.26) 48 ( ) ( ( ) ) 2 g ( ∇*X ϕ ) ξi , Z = − g ϕ Lξi ϕ Z , ϕ ( X ) − 2 g (ϕ ( X ) , ϕ ( Z ) ) (( ) ) s = − g Lξi ϕ ( Z ) , X − 2 g ( X , Z ) + 2∑η j ( X )η j ( Z ) j =1 dir. hi simetrik olduğundan ( ) (( ) ) s 2 g ( ∇*X ϕ ) ξi , Z = − g Lξi ϕ X , Z − 2 g ( X , Z ) + 2∑η j ( X ) g (ξ j , Z ) j =1 olur. ∀Z ∈ χ ( M ) için g non-dejenere olduğundan; ( s ) 2 ( ∇*X ϕ (ξi ) − ϕ∇*X ξi ) = − Lξi ϕ X − 2 X + 2∑η j ( X ) ξ j j =1 −2ϕ ( ∇*X ξi ) = −2hi ( X ) + 2ϕ 2 ( X ) −ϕ ( ∇*X ξi ) = −hi ( X ) + ϕ 2 ( X ) bulunur. Her iki tarafa ϕ uygulanırsa −ϕ 2 ( ∇*X ξi ) = −ϕ ( hi ( X ) ) + ϕ 3 ( X ) s ∇*X ξi − ∑η j ( ∇*X ξi )ξ j = −ϕ ( hi ( X ) ) − ϕ ( X ) j =1 dır. Gerçektende; ( ( ) ) (( ) ) (( ) ) s g ϕ Lξi ϕ Z , ϕ ( X ) = g Lξi ϕ Z , X − ∑η j j =1 s (( L ϕ ) ( Z ) )η ξi ( ( j (X ) ) ( = g Lξi ϕ Z , X − ∑η j ( X ) η j Lξi ϕ ( Z ) − η j ϕ Lξi Z j =1 )) 49 (( ) ) s ( ( ) ( ( ) ( = g Lξi ϕ Z , X − ∑η j ( X ) η j ∇ξi ϕ ( Z ) − η j ∇ϕ* ( Z )ξi ( j =1 ) −η j ϕ∇*ξi Z + η j (ϕ∇*Z ξi ) (( ) ) ) ) s = g Lξi ϕ Z , X − ∑η j ( X ) η j ∇ξ*i ϕ ( Z ) − η j (ϕ 2 ( Z ) ) ( j =1 ) −η j ϕ∇*ξi Z + η j (ϕ 2 ( Z ) ) (( ) ) (( ) ) ( )) (( ) ) s ) ( ( ) = g Lξi ϕ Z , X − ∑η j ( X ) η j ∇ξ*i ϕ ( Z ) +η j (ϕ 2 ( Z ) ) j =1 s ( ( = g Lξi ϕ Z , X − ∑η j ( X ) − g ∇ξ*i ξ j , ϕ ( Z ) + g ϕ∇*ξi ξ j , Z = g Lξi ϕ Z , X j =1 dir. ( ii ) dir. 1 Lξ ϕ 2 i ( ) ( X ) = 12 ( L ϕ ( X ) − ϕ ( L X ) ) ξi ξi ( ) = 1 * ∇ξi ϕ ( X ) − ∇ϕ* ( X )ξi − ϕ∇ξ*i X + ϕ∇*X ξ i 2 = 1 * ∇ξi ϕ ( X ) − ϕ 2 ( X ) − ϕ∇ξ*i X + ϕ 2 ( X ) 2 = 1 * ∇ξi ϕ ( X ) − ϕ∇ξ*i X 2 ( ( ) ) ) ) 50 3.4.1 Teorem ( M , ϕ , ξ ,η , g ) bir S-manifold olsun. Bu durumda i ∈{1, 2,..., s} için ξ i i i vektör alanı bir Killing vektör alanıdır ⇔ hi = 0 dır. İspat: Lξi Φ = diξi Φ + iξi d Φ = 0 dır. ∀X , Y ∈ χ ( M ) için; ( L Φ ) ( X ,Y ) = ξ Φ ( X ,Y ) − Φ ( L ξi ξi i ( ) ( X , Y − Φ X , Lξi Y ) ) ( = ξi Φ ( X , Y ) − dη i Lξi X , Y − dη i X , Lξi Y ( ) ( ( ) ( ( ) = ξi Φ ( X , Y ) − g Lξi X , ϕ (Y ) − g X , ϕ Lξi Y )) ) ( ( ) ) = ξi Φ ( X , Y ) − g Lξi ϕ (Y ) , X − g X , Lξi ϕ (Y ) + g X , Lξi ϕ Y ( ( ) ) = ξi Φ ( X , Y ) + g X , Lξi ϕ Y (3.27) olur. ⇒ ξi bir Killing vektör alanı olsun. Yani Lξi g = 0 olduğundan ( ( ) ) ( ) g X , Lξi ϕ Y = Lξi Φ ( X , Y ) = 0 dir. ∀X ∈ χ ( M ) için g non-dejenere olduğundan Lξi ϕ = 1 hi = 0 ⇒ hi = 0 bulunur. 2 ⇐ Karşıt olarak hi = 0 ise ∀j ∈ {1, 2,..., s} için Eş. 3.27 den; ( L g ) ( X , ϕ (Y ) ) = ( L Φ ) ( X , Y ) = 0 olur. ξi ξi 51 ( Lξi g ) s ⎛ ⎞ 2 X , ϕ Y L g X , Y η j (Y ) ξ j ⎟ = 0 = − + ( ) ) ξi ⎜ ( ∑ j =1 ⎝ ⎠ ( ) ( 0 = − Lξi g s s ) ( X , Y ) + ∑η j (Y ) ( Lξ η j ) ( X ) j =1 i ( L g ) ( X , Y ) = ∑η (Y ) ( L η ) ( X ) ξi j j =1 ξi j =0 dır. Ayrıca (L η ) = (d D i j ξi ξi ( ) + iξ i D d (η j ) ) = d iξiη j + iξi ( dη j ) = d (η j (ξi ) ) + 2dη j (ξi , Y ) ) ( ( ( = −2 g ( Y , ∇ ξ ) = 2 g ∇*ξi ξ j , Y + g ξ i , ∇ξ*i Y )) * ξj i =0 dır. ∀X , Y ∈ χ ( M ) için Lξi g = 0 olduğundan ξi bir Killing vektör alanıdır. 3.4.5 Önerme (M 2n+ s , ϕ , ξ i ,η i , g ) bir K-manifold olsun. O halde ∀X , Y ∈ χ ( M ) ve ∀i, j ∈ {1, 2,..., s} için (i ) R* ( X , ξi ) Y = ∇*X ∇*Y ξi − ∇*∇* Y ξi (3.28) ( ii ) R* (ξi , X , ξ j , Y ) = − g ( ∇*X ξ j , ∇*Y ξi ) (3.29) ( iii ) K * (ξi , X ) = ∇*X ξi (3.30) X 2 52 ( iv ) R * ( ξ i , ϕ ( X ) , ξ j , ϕ ( Y ) ) = R * (ξ i , X , ξ j , Y ) (3.31) ( v ) R* ( X , ξi ) ξ j = −ϕ 2 X (3.32) dir. İspat: ( i ) ξi bir Killing vektör alanı olduğundan; Lξi ∇*X Y − ∇*X Lξi Y = ∇*Lξ X Y i ⎡⎣ξ i , ∇*X Y ⎤⎦ − ∇*X [ξ i , Y ] = ∇ *[ξ , X ]Y α ∇*ξα ∇*X Y − ∇*∇* Y ξi − ∇*X ∇ξ*i Y + ∇*X ∇*Y ξi = ∇[*ξi , X ]Y X [ξi , X ]Y − ∇*[ξ , X ]Y = −∇*X ∇*Y ξi + ∇*∇ Y ξi * X i dır. 2.1.2 Teorem’ den; R* ( X , ξi ) Y = ∇*X ∇*Y ξi − ∇*∇* Y ξi olur. X ( ii ) 2.1.2 Teorem ve ( i ) ’ den R * (ξ i , X , ξ j , Y ) = g ( R * ( ξ i , X ) ξ j , Y ) ( = g R* ( ξ j , Y ) ξ i , X ) ( = − g R* (ξ j , Y ) X , ξi ( = g R* ( Y , ξ j ) X , ξ i ( ) ) ) = − g ∇*∇* X ξ j , ξ i + g ( ∇*Y ∇*X ξ j , ξ i ) ( Y ) = g ∇*ξi ξ j , ∇*Y X + g ( ∇*Y ∇*X ξ j , ξi ) dır. ξi Killing vektör alanı olduğundan; 53 R* (ξi , X , ξ j , Y ) = g ( ∇*Y ∇*X ξ j , ξ i ) = − g ( ∇*Y ξi , ∇*X ξ j ) = − g ( ∇*X ξ j , ∇*Y ξ i ) dir. ( iii ) ( i ) ’ den; K * ( ξ i , X ) = R* ( ξ i , X , X , ξ i ) = g ( R* ( ξ i , X ) X , ξ i ) = − g ( R* ( ξ i , X ) ξ i , X ) = − g ( ξi , X , ξi , X ) = g ( ∇*X ξi , ∇*X ξi ) = ∇*X ξi 2 dir. ( iv ) ( R * ( ξ i , ϕ ( X ) , ξ j , ϕ ( Y ) ) = g R* ( ξ i , ϕ ( X ) ) ξ j , ϕ ( Y ) s ) = g ( R* (ξi , X ) ξ j , Y ) − ∑η γ ( R* (ξi , X ) ξ j )η γ (Y ) γ =1 = g ( R* (ξ i , X ) ξ j , Y ) = R* (ξi , X , ξ j , Y ) dir. Gerçektende; ( η γ ( R* (ξi , X ) ξ j ) = η γ ∇ξ* ∇*X ξ j − ∇*∇ X ξ j i * ξi ) 54 ( ) ( = g ∇*ξi ∇*X ξ j , ξγ − g ∇*∇* X ξ j , ξγ ξi ) ( ( ) = − g ∇*ξi ξγ , ∇*X ξ β + g ∇ξ*γ ξ j , ∇ξ*i X ) =0 dır. ( v ) ( i ) de Y = ξ j alınıp 3.3.1 Önerme ve Eş. 3.16 kullanılırsa R* ( X , ξi ) ξ j = ∇*X ∇ξ* j ξi − ∇*∇* ξ ξi X j = −∇*−ϕ X ξi = −ϕ 2 X elde edilir. 3.4.6 Önerme (M 2n+ s , ϕ , ξi ,η i , g ) bir K-manifold olsun. ( M 2 n + s , ϕ , ξi ,η i , g ) bir S-manifold ise s R* ( X , Y ) ξi = ∑ {η j ( X ) ϕ 2 (Y ) − η j (Y ) ϕ 2 ( X )} j =1 dır. İspat: Eş. 3.16 dan; R* ( X , Y ) ξi = ∇*X ∇*Y ξi − ∇*Y ∇*X ξi − ∇*[ X ,Y ]ξi = −∇*X ϕ (Y ) + ∇*Y ϕ ( X ) + ϕ ([ X , Y ]) = − ( ∇*X ϕ ) Y − ϕ ( ∇*X Y ) + ( ∇*Y ϕ ) X + ϕ ( ∇*Y X ) + ϕ ( ∇*X Y ) − ϕ ( ∇*Y X ) (3.33) 55 = − ( ∇*X ϕ ) Y + ( ∇*Y ϕ ) X dir. 3.4.1 Önerme den s { } R * ( X , Y ) ξ i = ∑ g (ϕ ( Y ) , ϕ ( X ) ) ξ j + η j ( X ) ϕ 2 ( Y ) − g (ϕ ( X ) , ϕ ( Y ) ) ξ j − η j ( Y ) ϕ 2 ( X ) j =1 s = ∑ {η j ( X ) ϕ 2 (Y ) − η j (Y ) ϕ 2 ( X )} j =1 dir. 3.4.1 Sonuç (M 2n+ s , ϕ , ξi ,η i , g ) bir K-manifold olsun. ( M 2 n + s , ϕ , ξi ,η i , g ) bir S-manifold ise ( ) (i ) R* ( X , ξi ) Y = − ∇*X ϕ Y (3.34) (ii ) R* (ξ k , X ) ξi = ϕ 2 X (3.35) (iii ) R* (ξ k , ξ h ) ξi = 0 (3.36) dir. İspat: (i ) R* ( X , ξi ) Y = ∇*X ∇ξ*i Y − ∇ξ*i ∇*X Y − ∇[*X ,ξα ]Y olup Eş. 3.16 ve Eş. 3.28 den R* ( X , ξi ) Y = ∇*X ϕ (Y ) − ϕ ( ∇*X Y ) = − ( ∇*X ϕ ) Y elde edilir. (ii ) Eş. 3.33 de X = ξ k ve Y = X yazılırsa 56 s R* (ξ k , X ) ξi = ∑ {η j (ξ k ) ϕ 2 ( X ) − η j ( X ) ϕ 2 (ξ k )} j =1 = ϕ2X bulunur. (iii ) Eş. 3.33 de X = ξ k ve Y = ξ h alınırsa s R* (ξ k , ξ h ) ξi = ∑ {η j (ξ k ) ϕ 2 (ξ h ) − η j (ξ h ) ϕ 2 (ξ k )} j =1 =0 bulunur. 3.4.7 Önerme (M 2n+ s , , ϕ , ξi ,η i , g ) bir K-manifold olsun. ( M 2 n + s , ϕ , ξi ,η i , g ) bir S-manifold ise 2 dir [Kobayashi, M. ve Tsuchiya, S. 1972]. 3.37 57 4. ÇEYREK SİMETRİK METRİK OLMAYAN KONEKSİYONLU S-MANİFOLDLAR 4.1. Çeyrek Simetrik Metrik Olmayan Koneksiyon 4.1.1 Tanım (2n+s)-boyutlu bir S-manifold Civita koneksiyon , , , , olsun. S-manifold üzerinde Levi- olmak üzere; : , 4.1 dönüşümü tanımlansın. 4.1.1 Teorem (2n+s)-boyutlu bir S-manifold , , , , ve , şeklinde tanımlı , M üzerinde bir lineer koneksiyon dur. İspat: , , ve , için, için 58 Z Z elde edilir. bulunur. Y Y elde edilir. Son olarak ∇ fY Y bulunur. Buradan , M üzerinde bir lineer koneksiyondur. 59 4.1.2 Teorem , , , (2n+s) boyutlu bir S-manifold , olsun. Eş. 4.1 de tanımlanan lineer koneksiyon , M üzerinde çeyrek simetrik metrik olmayan koneksiyondur. İspat: lineer koneksiyonun torsiyon tensör alanı alanları , için, , Y X olmak üzere, herhangi iki vektör X, Y 4.2 η Y φX η X φY X, Y , elde edilir. Burada , M üzerinde Levi-Civita koneksiyonun torsiyon tensör alanıdır. Bu durumda lineer koneksiyon koneksiyondur. Şimdi, , M üzerinde çeyrek simetrik bir lineer koneksiyonunun M üzerinde tanımlı g Riemann metrik tensörüyle bağdaşabilir olmadığı gösterilecektir. Metrikle bağdaşabilir olmayan koneksiyona kısaca , için kullanılacaktır. , , metrik , olmayan koneksiyon , , 4.3 , , , η Y g , ifadesi η Z g , 60 , , elde edilir. Bu durumda lineer koneksiyon , M üzerinde bir metrik olmayan koneksiyondur. O halde Eş. 4.2 ve Eş. 4.3 den lineer koneksiyon , M üzerinde çeyrek simetrik metrik olmayan bir koneksiyondur. 4.1.1 Örnek E2n+s Öklid uzayının dik koordinat sistemi , ,…, , , ,…, , , ,…, olsun. ∂ , i = 1, 2,..., s ∂zi ξi = 2 1⎛ 2⎝ n ⎞ j =1 ⎠ η i = ⎜ dzi − ∑ y j dx j ⎟ , s g = ∑η i ⊗η i + i =1 1 n ∑ ( dx j ⊗ dx j + dy j ⊗ dy j ) 4 j =1 veya metriği matris olarak ifade edersek 0 ´ 0 ´ ´ ´ , burada ´ 2 1 ´ ´ , 1 0 4.4 0 , 2 dir. Bu matrisin ters matrisi 1 ve 61 0 ´ ´ ´ ´ 0 4 0 4.5 0 ´ ´ olup bu matris yardımıyla Riemann koneksiyonunun bileşenlerinin ifadesi; Γ Γ , Γ 2 1 2 ´ ´ ,Γ , Γ 2 1 2 ´ ´ 1 2 ,Γ ´ 1 2 4.6 olup geriye kalan bileşenleri sıfırdır [Hasegawa, Okuyama, Abe, 1986]. Buradan Eş. 4.4, Eş. 4.5 ve Eş. 4.6 yi kullanarak Eş. 4.1 de tanımlanan yeni koneksiyonu bileşenlerine göre ifade edelim. Γ Γ , 1 , 2 0, 1 , 2 1, … , 1, … ,2 2 1, … , olup buradan Γ Γ ; Γ Γ ∑ olup geriye kalan bileşenleri Riemann koneksiyonunun bileşenleri ile aynıdır. 62 4.1.1. Sonuç (2n+s)-boyutlu çeyrek simetrik metrik olmayan koneksiyonlu bir S-manifold , , , , olsun. Bu taktirde , için 0 4.7 ve ,φ 4.8 dir. İspat: Eş. 4.1 de alınır ve Eş. 3.16 kullanılırsa 0 bulunur. Diğer taraftan Eş. 4.1 ve Eş. 3.16 kullanılırsa , , elde edilir. , , , , 63 4.1.3 Teorem (2n+s)-boyutlu çeyrek simetrik metrik olmayan koneksiyonlu bir S-manifold , , , , , olsun. Bu taktirde için , 4.9 ∑ dir. Burada dir. İspat: Eş. 4.1 ve Eş. 3.19 kullanılırsa , elde edilir. 4.1.2 Sonuç (2n+s)-boyutlu çeyrek simetrik metrik olmayan koneksiyonlu bir S-manifold , , , , 0 olsun. Bu taktirde , için 4.10 ve 0 4.11 64 dir. İspat: Eş. 4.9 da alınırsa , 0 bulunur. Diğer taraftan ve elde edilir. Diğer taraftan Eş. 4.9 da alınırsa 0 bulunur. Buradan elde edilir. 4.1.2 Sonuç (2n+s)-boyutlu yarı simetrik metrik olmayan koneksiyonlu bir S-manifold , , , , olsun. Bu taktirde ∑ dir. , için 65 İspat: dir. Şimdi, metrik f-manifoldların genel bir hali olan ve S-manifoldla normallik şartı dışında aynı şartları taşıyan ve Eş. 4.1 de tanımlanan lineer koneksiyonunu üzerinde bulunduran hemen hemen S-manifoldlar ele alınacaktır. Hemen hemen Smanifold da : 1 2 , , 1, … , 4.12 şeklinde tanımlanır. 4.1.1 Lemma (2n+s)-boyutlu çeyrek simetrik metrik olmayan koneksiyonlu bir hemen hemen Smanifold , , , , olsun. Bu taktirde 1, … , için alanıdır. İspat: Eş. 4.12 deki ifadenin Y vektör alanı ile iç çarpımı alınırsa , 1 2 , simetrik tensör 66 1 2 1 2 , , , bulunur. Burada Eş. 4.1 ve Eş. 4.11 kullanılırsa , 1 2 1 2 1 2 1 2 , , , ξ, , , elde edilir. Buradan simetrik tensör alanıdır. 4.1.4 Teorem (2n+s)-boyutlu yarı simetrik metrik olmayan koneksiyonlu bir hemen hemen Smanifold , , , , olsun. Bu taktirde için 4.13 ve 1 2 dir. İspat: 3.3.1 Önerme ve Eş. 4.1 kullanılırsa 4.14 67 2 , 2 , 2 2 , φ , 2 2 , , bulunur. Buradan 2 , , , elde edilir. Şimdi 2 , 2 2 , , 2 2 2 , için Eş. 4.12 kullanılırsa , 2 , 2 olur. O zaman dir. Burada her iki tarafın , dönüşümü altında görüntüsü alınırsa elde edilir. Diğer taraftan Eş. 3.16 ve Eş. 4.1 kullanılırsa 2 , 68 bulunur. Ayrıca olup, buradan elde edilir. 4.2. Eğrilik Tensörü 4.2.1 Teorem (2n+s)-boyutlu çeyrek simetrik metrik olmayan koneksiyonlu bir S-manifold , , , , olsun. Bu taktirde , , , , , için , , dir. Burada , Levi-Civita koneksiyon İspat: Eş. 2.2 ve Eş. 4.1 kullanılırsa ın eğrilik tensör alanıdır. 4.15 69 , , dir. Benzer olarak ve ifadelerinin yerleri değiştirilirse elde edilir. dir. Ayrıca , , , , olup, bulunan sonuçlar Eş. 2.2 de yazılır ve gerekli işlemler yapılırsa , , , 70 , , , , , , elde edilir. 4.2.1 Sonuç (2n+s)-boyutlu çeyrek simetrik metrik olmayan koneksiyonlu bir S-manifold , , , , olsun. Bu taktirde , , için 0 , 4.16 , , , 0 4.18 , 0 4.19 0 4.20 , dir. İspat: 4.17 Eş. 4.15 de yazılır ve Eş. 3.33 ve Eş. 3.6 kullanılırsa 71 , bulunur. Bu son denklemeden , 0 elde edilir. Eş. 4.15 de yazılır ve Eş. 3.28 ve Eş. 3.6 kullanılırsa , , elde edilir.Bu son denklem düzenlenirse, , , elde edilir. Eş. 4.15 de ve yazılır ve Eş. 3.32 ve Eş. 3.6 kullanılırsa , , olur. Bu son denklemi düzenlersek 72 , 0 elde edilir. , Eş. 4.15 de ve yazılır, Eş. 3.35 ve Eş. 3.6 kullanılırsa , , olur. Bu son denklemi düzenlersek , 0 elde edilir. , Eş. 4.15 de , , ve yazılırsa , , , elde edilir. Bu son denklemde Eş. 3.36 ve Eş. 3.6 kullanılır ve gerekli düzenlemeler yapılırsa , elde edilir. 0 73 4.2.2 Teorem (2n+s)-boyutlu çeyrek simetrik metrik olmayan koneksiyonlu bir S-manifold , , , , olsun. Bu taktirde , , , , için 0 dir. İspat: Eş. 4.7 ve Eş. 4.16 kullanılırsa , , , , , , 0 elde edilir. 4.2.3 Teorem (2n+s)-boyutlu çeyrek simetrik metrik olmayan koneksiyonlu bir S-manifold , , , , olsun. Bu taktirde , , , , , , , , , için , , , , , , 4.21 , dir. İspat: Eş. 4.15 den , , , , , , , , 74 , , , bulunur. Bulunan denklem düzenlenirse Eş. 4.21 elde edilir. 4.2.4 Teorem (2n+s)-boyutlu çeyrek simetrik metrik olmayan koneksiyonlu bir S-manifold , , , , , , olsun. Bu taktirde , , , , , , , için , , , , , , 4.22 , dir. İspat: Eş. 4.15 den , , , , , , , , , , , bulunur. Bulunan denklemde ile nin yerleri değiştirilirse Eş. 4.22 elde edilir. 4.2.5 Teorem (2n+s)-boyutlu çeyrek simetrik metrik olmayan koneksiyonlu bir S-manifold , , , , olsun. Bu taktirde , , , için 75 , , , , , , , , , , , 4.23 , dir. İspat: Eş. 4.21 ve Eş. 4.22 taraf tarafa toplanırsa , , , , , , , , , , , , , , , , , , , , , , , , , , bulunur. Bu son denklemde Eş. 2.4 kullanılıp denklem düzenlenirse Eş. 4.23 elde edilir. 4.2.6 Teorem (2n+s)-boyutlu çeyrek simetrik metrik olmayan koneksiyonlu bir S-manifold , , , , olsun. Bu taktirde , , , , , , , , , , , dir. için , 4.24 76 İspat: Eş. 4.21 yardımıyla , , , , , , , , , , , , , Bu eşitlik ve Eş. 4.21 taraf tarafa çıkartılırsa , , , , , , , , , , , , , , , , , , , , , , , , , , bulunur. Bu son denklemde Eş. 2.5 kullanılıp denklem düzenlenirse ifade elde edilir. 4.2.2 Sonuç (2n+s)-boyutlu çeyrek simetrik metrik olmayan koneksiyonlu bir S-manifold , , , , olsun. Bu taktirde , , , , , , , , , dir. , , , , , , , , , , , , , , için 77 4.2.7 Teorem (2n+s)-boyutlu çeyrek simetrik metrik olmayan koneksiyonlu bir S-manifold , , , , , , , , , olsun. Bu taktirde , , , , için , 4.25 dir. ve İspat: Eş. 4.21 de , , , , , alınırsa , , , , , , , , bulunur. Bu son eşitlikte Eş. 3.29 kullanılırsa Eş. 4.25 elde edilir. 4.2.1 Önerme (2n+s)-boyutlu çeyrek simetrik metrik olmayan koneksiyonlu bir S-manifold , , , , , olsun. Bu taktirde , , , , , , , , , , dir. alınıp , , , , İspat: Eş. 4.15 de için ile çarpılırsa , 4.26 78 , , , , , , , , , , , bulunur. Bu son denklem düzenlenirse Eş. 4.26 elde edilir. 4.2.3 Sonuç (2n+s)-boyutlu çeyrek simetrik metrik olmayan koneksiyonlu bir S-manifold , , , , olsun. Bu taktirde , , , , , için 0 4.27 dir. İspat: Eş. 4.25 de , ve alınırsa , , , , , , , , , , , bulunur. Bu son eşitlikte Eş. 3.30 kullanılırsa Eş. 4.27 elde edilir. 4.3. Ricci Eğrilik Tensörü 4.3.1 Tanım (2n+s)-boyutlu çeyrek-simetrik metrik olmayan koneksiyonlu bir S-manifold , , , , ve nin ortonormal bir bazı ,…, , ,…, olsun. Çeyrek simetrik metrik olmayan koneksiyonlu M manifoldunun Ricci eğrilik tensörü 79 , , , , , 4.28 olarak tanımlanır. 4.3.1 Teorem (2n+s)-boyutlu çeyrek simetrik metrik olmayan koneksiyonlu bir S-manifold , , , , , , olsun. Bu taktirde , Φ , Φ için , 2 4.29 , dir. İspat: Eş. 4.28 de Eş. 4.17 kullanılırsa , , , , , , , , , , , , , olup her iki taraftan toplam alınırsa, , , , , , , 2 , , 4.30 , elde edilir. Diğer taraftan, 80 , , , , , , , , , , , , , , , , olup her iki taraftan toplam alınırsa, , , , , , , 4.31 olup Eş. 4.30 ve Eş. 4.31 ifadeleri taraf tarafa toplanır ve gerekli düzenlemeler yapılırsa Eş. 4.29 elde edilir. 4.3.1 Sonuç (2n+s)-boyutlu çeyrek simetrik metrik olmayan koneksiyonlu bir S-manifold , , , , , olsun. Bu taktirde , için 0 4.32 0, , , 0 4.33 dir. İspat: Eş. 4.29 de , alınır ve Eş. 3.37 kullanılırsa , , , 2 , 2 2 81 0 bulunur. Burada Eş. 4.33 için Eş. 4.32 de , yazılırsa 0 yazılırsa bulunur. Benzer şekilde Eş. 4.32 de , yerine 0 elde edilir. 4.3.3 Teorem (2n+s)-boyutlu çeyrek simetrik metrik olmayan koneksiyonlu bir S-manifold , , , , , , olsun. Bu taktirde için , 4.34 dir. İspat: Eş. 4.29 de , ile vektör alanlarının yerleri değiştirilirse , , , 2 , bulunur. Eş. 4.29 ile bu ifadenin farkı alınırsa , , , , 82 , , , φY, E 2 , elde edilir. Burada gerekli işlemler yapılıp denklem düzenlenirse , , , , 0 bulunur. 4.3.2 Sonuç (2n+s)-boyutlu çeyrek simetrik metrik olmayan koneksiyonlu bir S-manifold , , , , , , olsun. Bu taktirde için , 4.35 dir. İspat: Eş. 4.34 de yazılırsa Eş. 4.35 elde edilir. 4.3.4 Teorem (2n+s)-boyutlu çeyrek simetrik metrik olmayan koneksiyonlu bir S-manifold , , , , , , olsun. Bu taktirde , 4 1 için 4.36 83 dir. İspat: , , , ç alanlarının uzayı sırasıyla Γ ve Γ , D ve dağılımının vektör , olmak üzere için , , olacak şekilde Γ , 4 4 , elde edilir. şeklinde yazılır. , , 0 olup buradan 4 , 1 1 0, olur. , Γ , , bulunur. , ve 1 olduğundan , 4 1 , , yazabiliriz. Buradan 84 4.3.5 Teorem (2n+s)-boyutlu çeyrek simetrik metrik olmayan koneksiyonlu bir S-manifold , , , , , , olsun. Bu taktirde için 0 4.37 dir. İspat: Eş. 4.7 ve Eş. 4.35 kullanılırsa , , 0 elde edilir. ∇ , ,∇ 85 5. BAZI EĞRİLİK ŞARTLARI 5.1.1 Teorem (2n+s)-boyutlu çeyrek simetrik metrik olmayan koneksiyonlu bir S-manifold , , , , yarı-simetrik değildir. İspat: , , Farzedelim ki . , , , , , , için ; , , , , , , , , , , , , , , , , , 0 olsun. Burada , ve , , özel vektör alanı alınırsa, . , , , , , , , , , , , , , , , , , 5.1 , olup , , , , , , , elde edilir. Burada Eş. 4.17 ve Eş. 4.18 kullanılırsa, Eş. 5.1 in birinci ifadesi , , , , , 86 , , , , , , , , bulunur. Eş. 5.1 in ikinci ifadesi , , olup , , , , , , , , , , , , , , bulunur. Eş. 5.1 in üçüncü ifadesi Eş. 4.16 den , 0 olup , , , , , , , , , 87 , , , 0 bulunur. Son olarak Eş. 5.1 in dördüncü ifadesi Eş. 4.18 den , 0 olup , , , , 0 bulunur. Bu ifadeler Eş. 5.1 de yerlerine yazılır ve gerekli düzenlemeler yapılırsa , . , , , elde edilir. O halde . 0 0 olup ispat tamamlanır. 5.1.2 Teorem (2n+s)- boyutlu çeyrek simetrik metrik olmayan koneksiyonlu bir S-manifold , , , , . , olsun. Bu durumda , . , , , , , , , , , , , için , , , , , , , , , , , 88 , , , , , 5.2 dir. İspat: Farzedelim ki , . , , , için , , , , olup Eş. 4.15 kullanılırsa , . , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , 89 elde edilir. Bu eşitlikte gerekli düzenlemeler yapıldığında Eş. 5.2 elde edilir. 5.1.1 Sonuç (2n+s)- boyutlu çeyrek simetrik metrik olmayan koneksiyonlu bir S-manifold , , , , , olsun. Bu durumda . , , . , , 0 , 0 . , 0 . , 0 dır. , İspat: Eş. 5.2 de sırasyla , ve alınıp gerekli düzenlemeler yapıldığında her bir sonuç ispatlanmış olur. 5.1.3 Teorem (2n+s)-boyutlu çeyrek simetrik metrik olmayan koneksiyonlu bir S-manifold , , , , , olsun. M manifoldu Ricci Projektif yarı-simetrik ise . , , , , , , , , , , , , , , , , , , , , , , , , 90 dir. , , , İspat: Farzedelim ki , . , , , , . , , , için , . , , 0 olsun. Bu durumda , , , 0 olur. , , , olup 2n+s-1= m alınırsa özel vektör alanı için 1 , , , , , , , , 1 0 , , , , 1 , , , 1 , , , , , , , 1 , 1 , , , 1 , , , 0 , , , 0 bulunur. Bu eşitlikte Eş. 4.34 kullanılırsa , , , 0 , 0 olur. Buradan 5.1.2 Teorem ile aynı işlemler yapılarak istene sonuca ulaşılır. 91 6. ÇEYREK SİMETRİK METRİK KONEKSİYONLU S-MANİFOLDLAR 6.1. Çeyrek Simetrik Metrik Koneksiyon 6.1.1 Tanım (2n+s)-boyutlu bir S-manifold koneksiyon , , , , olsun. M üzerinde Levi-Civita olmak üzere : , 6.1 dönüşümü tanımlansın. 6.1.1 Teorem (2n+s)-boyutlu bir S-manifold , , , , olsun. , şeklinde tanımlı , M üzerinde bir lineer koneksiyon dur. İspat: , , ve , için, için 92 Z Z elde edilir. bulunur. Y Y elde edilir. fY Y bulunur. Buradan , M üzerinde lineer koneksiyondur. 93 6.1.2 Teorem (2n+s)-boyutlu bir S-manifold , , , , olsun. Eş. 6.1 de tanımlanan lineer koneksiyon , M üzerinde çeyrek simetrik metrik koneksiyondur. İspat: lineer koneksiyonun torsiyon tensör alanı alanları , için , Y X olmak üzere, herhangi iki vektör X, Y 6.2 η X φY η Y φX X, Y , , M elde edilir. Burada üzerinde Levi-Civita koneksiyonun torsiyon tensör alanıdır. Bu durumda lineer koneksiyon koneksiyondur. Şimdi, , M üzerinde çeyrek simetrik bir lineer koneksiyonunun M üzerinde tanımlı g Riemann metrik tensörüyle bağdaşabilir olduğu gösterilecektir. Metrikle bağdaşabilir koneksiyona kısaca metrik koneksiyon ifadesi kullanılacaktır. , , , , , için 6.3 , , 0 , , 94 elde edilir. Bu durumda lineer koneksiyon , M üzerinde bir metrik koneksiyondur. O halde Eş. 6.2 ve Eş. 6.3 den lineer koneksiyon , M üzerinde bir çeyrek simetrik metrik koneksiyondur. 6.1.1 Örnek E 2n + s Öklid uzayının dik koordinat sistemi ( x1 , x2 ,..., xn , y1 , y2 ,..., yn , z1 , z2 ,..., zs ) olsun. ξi = 2 ∂ , i = 1, 2,..., s ∂zi 1⎛ 2⎝ n ⎞ j =1 ⎠ η i = ⎜ dzi − ∑ y j dx j ⎟ , n ϕ X = ∑Y j j =1 n ∂ ∂ ⎛ n j j ⎞⎛ s ∂ −∑X j + ⎜ ∑ Y y ⎟⎜ ∑ ∂x j j =1 ∂y j ⎝ j =1 ⎠ ⎝ i =1 ∂zi s g = ∑η i ⊗ η i + i =1 ⎞ ⎟, ⎠ 1 n ∑ ( dx j ⊗ dx j + dy j ⊗ dy j ) 4 j =1 olup burada Eş. 4.4, Eş. 4.5 ve Eş. 4.6 yi kullanarak Eş. 6.1 de tanımlanan yeni koneksiyonu bileşenlerine göre ifade edelim. Γ Γ 1 , 2 0, 1 , 2 olup buradan 1, … , 1, … ,2 2 1, … , 95 Γ Γ ; Γ Γ ve Γ Γ olup geriye kalan bileşenleri Riemann koneksiyonunun bileşenleriyle aynıdır. 6.1.1. Sonuç (2n+s)-boyutlu çeyrek simetrik metrik koneksiyonlu bir S-manifold , olsun. Bu taktirde , , , , için 6.4 ve , 6.5 dir. alınır ve Eş. 3.6 ile Eş 3.16 kullanılırsa İspat: Eş. 6.1 de bulunur. Diğer taraftan Eş. 6.1 ve Eş. 3.16 kullanılırsa , , , , , 96 , elde edilir. 6.1.3 Teorem (2n+s)-boyutlu çeyrek simetrik metrik koneksiyonlu bir S-manifold olsun. Bu taktirde , , , , , için , 6.6 dir. İspat: Eş. 6.1 ve Eş. 3.19 kullanılırsa , elde edilir. 6.1.2 Sonuç (2n+s)-boyutlu çeyrek simetrik metrik koneksiyonlu bir S-manifold olsun. Bu taktirde , , , , , için 6.7 97 ve 0 6.8 dir. İspat: Eş. 6.6 da alınırsa bulunur. Diğer taraftan elde edilir. Diğer taraftan Eş. 6.6 da 0 bulunur. ve alınırsa Şimdi, metrik f-manifoldların genel bir hali olan ve S-manifoldla normallik şartı dışında aynı şartları taşıyan ve Eş. 6.1 de tanımlanan lineer koneksiyonunu üzerinde bulunduran hemen hemen S-manifoldlara bakalım. Hemen hemen Smanifold da, : 1, … , için , 1 2 6.9 şeklinde tanımlanır. 6.1.1 Lemma (2n+s)-boyutlu çeyrek simetrik metrik koneksiyonlu bir hemen hemen S-manifold , , , , olsun. Bu taktirde 1, … , için simetrik tensör alanıdır. 98 İspat: Eş. 6.9 daki ifade Y vektör alanı ile iç çarpımı alınırsa 1 2 1 2 1 2 , , , , , bulunur. Burada Eş. 6.1 ve Eş. 6.8 kullanılırsa 1 2 1 2 1 2 1 2 , , , , , , , elde edilir. Buradan simetrik tensör alanıdır. 6.1.4 Teorem (2n+s)-boyutlu çeyrek simetrik metrik koneksiyonlu bir hemen hemen S-manifold , , , , olsun. Bu taktirde için 6.10 ve 1 2 dir. 6.11 99 İspat: 3.3.1 Önerme, Eş. 6.1 ve Eş.6.4 kullanılırsa elde edilir. Eş. 6.6 da ve , bulunur. Ayrıca; olduğundan 1 2 alnırsa 100 1 2 bulunur. 6.2. Eğrilik Tensörü 6.2.1 Teorem (2n+s)-boyutlu çeyrek simetrik metrik koneksiyonlu bir S-manifold olsun. Bu taktirde , , , , 2 , , , , için , 6.12 dir. Burada , Levi-Civita koneksiyon nın eğrilik tensör alanıdır. İspat: Eş. 2.2 ve Eş. 6.1. kullanılırsa , Z 101 Z , , dir. Benzer olarak ve ifadelerinin yerleri değiştirilirse ifadesi elde edilir. Ayrıca , Z , Z , olup, bulunan sonuçlar Eş. 2.2 de yazılır ve gerekli işlemler yapılırsa Eş. 6.12 elde edilir. 6.2.1 Sonuç (2n+s)-boyutlu çeyrek simetrik metrik koneksiyonlu bir S-manifold , , olsun. Bu taktirde , 2 2 , , 2 , , 2 0 Eş. 6.12 de , , 6.13 6.14 6.15 6.16 dir. İspat: , için 2 , , , , yazılırsa 102 , 2 , bulunur. Burada Eş 6.7 kullanılırsa , 2 elde edilir. Eş. 6.12 de yazılırsa , , 2 , elde edilir. Eş. 6.6 da , alınıp gerekli düzenlemeler yapılırsa 2 , bulunur. Eş. 6.12 de ve yazılırsa 103 , , 2 , bulunur. Burada Eş. 3.32 kullanılırsa , 2 elde edilir. Benzer şekilde , 2 elde edilir. , Eş. 6.12 de , ve yazılır ve Eş. 3.36 kullanılırsa 0 elde edilir. 6.2.2 Teorem (2n+s)-boyutlu çeyrek simetrik metrik koneksiyonlu bir S-manifold olsun. Bu taktirde , , , , , , , , , için 2 , , , , , , , , , 104 , , 6.17 , dir. İspat: Eş. 6.12 den , , , , , , 2 , , bulunur. Bulunan denklem düzenlenirse Eş. 6.17 elde edilir. 6.2.3 Teorem (2n+s)-boyutlu çeyrek simetrik metrik koneksiyonlu bir S-manifold olsun. Bu taktirde , , , , , , , , , , , , için , 2 , , , , , , , , dir. İspat: Eş. 6.12 den , , , , , , 2 , , 6.18 105 , , , , , , bulunur. Bulunan denklemde ile nın yerleri değiştirilirse Eş.6.18 elde edilir. 6.2.4 Teorem (2n+s)-boyutlu çeyrek simetrik metrik koneksiyonlu bir S-manifold , , , olsun. Bu taktirde , , , , , , , , için , , 2 , , , , , , , 6.19 , elde edilir. İspat: Eş. 6.12 den , , , , , , , 2 , , , , bulunur. Bulunan denklemde ve alınırsa Eş. 6.19 elde edilir. 106 6.2.5 Teorem (2n+s)-boyutlu çeyrek simetrik metrik koneksiyonlu bir S-manifold , , , olsun. Bu taktirde , , , , , , , için , , , 2 , , , , , , , 6.20 , dir. İspat: Eş. 6.12 den , , , , , , 2 , , , , , bulunur. Bulunan denklemde ile nin yerleri değiştirilirse Eş. 6.20 elde edilir. 6.2.6 Teorem (2n+s)-boyutlu çeyrek simetrik metrik koneksiyonlu bir S-manifold olsun. Bu taktirde , , , , , , , , , , , , , , için , , , 6.21 , , 6.22 107 , , , , , , 6.23 dir. İspat: Eş. 6.17 ve Eş. 6.20 taraf tarafa toplanırsa , , , , , , , , , , , , , , , , , , , , , , , bulunur. Bu son denklemde Eş. 2.3 kullanılıp gerekli düzenlemeler yapılırsa , , , , , , elde edilir. Eş. 6.17 ve Eş. 6.19 taraf tarafa toplanırsa , , , , , , , , , , , , , , , , , , , 108 , , , , , bulunur. Bu son denklemde Eş. 2.4 kullanılıp gerekli düzenlemeler yapılırsa , , , , , , elde edilir. Eş. 6.17 ve Eş. 6.18 taraf tarafa toplanırsa , , , , , , , , , , , , , , , , , , , , gerekli işlemler yapıldıktan sonra , , , , , , , , , , elde edilir. 6.2.7 Teorem (2n+s)-boyutlu çeyrek simetrik metrik koneksiyonlu bir S-manifold olsun. Bu taktirde , , dir. , , , , , , , , , için , 6.24 109 İspat: Eş. 6.17 da ve , , alınırsa , , , , 2 , , , , , , , , bulunur. Bu son eşitlikte Eş. 3.29 kullanılırsa Eş. 6.24 elde edilir. 6.2.1 Önerme , , , (2n+s)-boyutlu çeyrek simetrik metrik koneksiyonlu bir S-manifold , , , olsun. Bu taktirde , , , , , için , , , , , , , , , 2 , , , 2 2 , 6.25 , , dir. İspat: Eş. 6.12 de alınır ve buradan , , , , 2 , φY , 110 bulunur. Bu son denklem düzenlenirse Eş. 6.25 elde edilir. 6.2.3 Sonuç (2n+s)-boyutlu çeyrek simetrik metrik koneksiyonlu bir S-manifold , olsun. Bu taktirde , , , , , , , , , , için 2 , dir. 6.2.4 Sonuç (2n+s)-boyutlu çeyrek simetrik metrik koneksiyonlu bir S-manifold , , , olsun. Bu taktirde , 2 , 0 için , 6.26 6.27 dir. İspat: Eş. 6.25 de , ve alınırsa , , , , , , , , 111 2 , , , , 2 2 , , , bulunur. Bu son eşitlikte Eş. 3.30 kullanılırsa Eş. 6.26 elde edilir. Eş. 6.26 de alınırsa Eş. 6.27 elde edilir. 6.3 Ricci Eğrilik Tensörü 6.3.1 Teorem (2n+s)-boyutlu çeyrek simetrik metrik koneksiyonlu bir S-manifold olsun. Bu taktirde , , ve , , 2 , , , 2 , , İspat: Eş. 6.17 kullanılırsa , , , , , , , , , , , 2 , için dir. , , , , , , , olur. Her iki taraftan toplam alınırsa, , 6.28 112 , , , , , , 2 , , 6.29 elde edilir. Diğer taraftan , , , , , , 2 , , , , , , , , , , , olup her iki taraftan toplam alınırsa, , , , , , , , 6.30 olup Eş. 6.29 ve Eş. 6.30 ifadeleri taraf tarafa toplanır ve gerekli düzenlemeler yapılırsa Eş. 6.28 elde edilir. 6.3.2 Teorem (2n+s)-boyutlu çeyrek simetrik metrik koneksiyonlu bir S-manifold olsun. Bu taktirde , , , dir. 0, , , , , , için 2 6.31 , 2 6.32 113 İspat: Eş. 6.28 de alınırsa ve Eş. 3.37 kullanılırsa , , 2 , , 2 , , , elde edilir. Eş. 6.32 için Eş. 6.31 denkleminde , 0 elde edilir. Benzer şekilde Eş. 6.31 de , alınırsa alınırsa 2 dir. 6.3.3 Teorem (2n+s)-boyutlu çeyrek simetrik metrik koneksiyonlu bir S-manifold olsun. Bu taktirde , , 6.33 dir. , , , için , İspat: Eş. 6.28 de , , , ile vektör alanlarının yerleri değiştirilirse , 2 , , 114 bulunur. Eş. 6.28 ile bu ifadenin farkı alınırsa , , , 2 , , , , , , , elde edilir. Burada gerekli işlemler yapılıp denklem düzenlenirse , , bulunur. 6.3.2 Sonuç (2n+s)-boyutlu çeyrek simetrik metrik koneksiyonlu bir S-manifold olsun. Bu taktirde , , , , , , için , 6.34 dir. alınırsa Eş. 6.34 elde edilir. İspat: Eş. 6.33 de 6.3.4 Teorem (2n+s)-boyutlu çeyrek simetrik metrik koneksiyonlu bir S-manifold olsun. Bu taktirde , dir. , , , , , , için 2 6.35 115 , İspat: , , ç dağılımının vektör alanlarının uzayı sırasıyla Γ ve , olmak üzere ve Γ için D olmak üzere , , olacak şekilde Γ , ve Γ şeklinde yazılır. Bu denklemde Eş. 6.31 kullanılırsa , , , , , , , 2 2 , , 2 0, olur. , , bulunur. , 0 olup buradan 2 , Ι , olduğundan 2 ∑ , , elde edilir. yazabiliriz. Buradan 116 6.3.3 Teorem (2n+s)-boyutlu çeyrek simetrik metrik koneksiyonlu bir S-manifold olsun. Bu taktirde , , (6.36) dir. İspat: Eş. 6.4 ve Eş. 6.32 kullanılırsa , , , , , elde edilir. , için 0 0 , , , , , , 117 7. BAZI EĞRİLİK ŞARTLARI 7.1.1 Teorem , , , (2n+s)-boyutlu çeyrek simetrik metrik koneksiyonlu bir S-manifold olsun. M üzerinde . , , , 0 yani manifold yarı simetrik ise kesitsel eğrilik , 2 dir. İspat: , , . , , , , , , , için , , , , . , , 0 olsun. O halde , , , , , , , , , , , , 0 olur. Burada , ve , , özel vektör alanı alınırsa, , , , , , , , , , , , , , , , , 0 elde edilir. Burada Eş. 6.14 ve Eş. 6.15 kullanılırsa Eş. 7.1 in birinci ifadesi , 2 2 olup, , , 7.1 118 , , , 2 , , 2 4 , , , 2 , , , , , elde edilir. Diğer taraftan Eş. 7.1 in ikinci ifadesi , 2 , 2 , olup, , , , , 2 , , 2 , 2 2 , , 2 , 4 , , , , , elde edilir. Eş. 7.1 in üçüncü ifadesi , , , , 0 2 , , , 119 elde edilir. Son olarak Eş. 7.1 in dördüncü ifadesi Eş. 6.15 den , , , , , , , 2 2 , , , 2 , , , 2 , , , elde edilir. Bulunan sonuçlar Eş. 7.1 de yerine yazılırsa , , , 2 , 2 , , 2 , , elde edilir. Burada gerekli düzenlemeler yapılırsa , , , 2 elde edilir. 7.1.2 Teorem (2n+s)-boyutlu çeyrek simetrik metrik koneksiyonlu bir S-manifold , , , , olsun. Bu durumda, . 2 , , 7.2 dir. İspat: , , , için 120 , . , dir. Bu eşitlikte , , , ve . , , alınırsa , , , 7.3 olur. Burada Eş. 6.15 kullanılırsa , , 2 , 2 , 2 , , 2 , 2 2 , 4 2 7.4 elde edilir. Diğer taraftan Eş. 6.14 kullanılırsa , , ,2 , 2 4 , , 2 , , 7.5 bulunur. Son olarak Eş. 7.4 ve Eş. 7.5 ifadelerini Eş. 7.3 denkleminde yerlerine yazıp gerekli , düzenlemeler . 2 , , yapılırsa 121 elde edilir. 7.1.1 Sonuç , , , (2n+s)-boyutlu çeyrek simetrik metrik koneksiyonlu bir S-manifold olsun. üzerinde . 0, yani manifold Ricci yarı simetrik ise , , , , için , , dir. , , , İspat: , için . 0 ise 7.1.1 Teoreminden , elde edilir. 7.1.2 Teorem , , , (2n+s)-boyutlu çeyrek simetrik metrik koneksiyonlu bir S-manifold olsun. M üzerinde . , , , , 0, yani manifold Ricci projektif yarı simetrik ise için , , İspat: , , , dir. , . , , için , . , . 0 ise , , , , 0 122 , , , , , 0 olur. , , , olup 2n+s-1= m alırsak özel vektör alanı için 1 , , , , , , , , 1 , 1 , , 1 , , 1 , , 0 , 1 , , , , 0 bulunur. Bu eşitlikte Eş. 6.3.6 kullanılırsa , olur. , , , elde edilir. 0 alınıp gerekli işlemler yapıldığında 7.1.2 Teorem ile aynı sonuç elde edilir. Yani, , , , 123 KAYNAKLAR Ageshe, N.S., Chafle, M.R., “ A semi-symmetric non-metric connection on a Riemann manifold”, Indian J. Pure Appl. Math., 23(6): 399-409 (1992). Akyol, M.A., Turgut Vanlı, A., Fernandez, L.M., “Curvature Properties of a SemiSymmetric Metric Connection on S-Manifolds”, Ann. Polon. Math., 107: 71-86 (2013). Akyol M.A., “Semi-Symmetric Connectins on S-Manifolds”, Gazi Uni. Fen Bilimleri Enst. Yüksek Lisans Tezi, 3-18 (2011). Bejancu, A., Duggal, K.L., “Lightlike Submanifolds of Semi-Riemannian Manifolds and Application”, Kluwer Academic Publishers, Dordrecht Boston London, 211223 (1996). Blair D.E., “Contact Manifolds in Riemannian Geomatry”, Lecture Notes in Math., Springer, Berlin, 509 (1976). Blair, D.E., “Riemannian Geometry of Contact and Symplectic Manifolds”, Progess in Math., 203: 31-115 (2001). Cabrerizo, J.L., Fernandez, L.M., “The Curvature Tensor Fields on ݂-Manifolds with Complemented Frames”, An. Sti. Uni. “Al. I. Cuza”, Iasi, 36: 150-161 (1990). Friedman, J.A.S, “Über die Geometrie der halbsymmetrischen Math. Z., 21: 211-223 (1994). Übertragungen”, Goldberg, S.I., Yano, K., “On Normal Globally Framed f-Manifolds”, Tohoku Math. Jour., 22: 362-370 (1970). Hacısalihoğlu, H.H., “Diferensiyel Geometri”, İnönü Ünv. Fen Edebiyat Fak. Yayınları, 2: 75-97 (1983). Hasegawa, I., Okuyama, Y., Abe, T., “ On P-th Sasakian Manifolds’’, Journal of Hokkaido Universty of Education (Section II A), 1: 202-213 (1986). Ishihara, S., Yano, K., “On Integrability Conditions of a Structure f Satisfying f 3 + f = 0 ”, Quart, J, Math, Oxford (2), 15: 217-222 (1964). Kobayashi M., Tsuchiya, S., “Invariant submanifolds of an f-manifold with complemented frames”, Kodai Math. Sem. Rep., 24: 430-450 (1972). Lotta, A., Pastore, A.M., “The Tanaka-Webster Connection for Almost S-Manifolds and Cartan Geometry”, Arch. Math., 40: 47-61 (2004). 124 Lotta, A., Dileo, G., “On The Structure and Symmetry Properties of Almost SManifolds”, Geom. Dedic., 110(1): 191-211 (2005). Nakagawa, H., “On Framed ݂-Manifolds”, Kodai Math. Sem. Rep., 18(4): 293-306 (1966). O’Neill, B., “Semi-Riemannian Geometry With Applications to Relativity, Academic Pres”, New York London, 215-257 (1983). Sagbaş, D., "ߝఈ Almost S-manifolds", Gazi Uni. Fen Bilimleri Enst., Yüksek Lisans Tezi, 3-27 (2010). Terlizzi, L.D., Pastore, A.M., “Some results on K-manifolds”, Balkan Journal of Geometry ant Its Applications, 7: 43-62 (2002). Terlizzi, L.D., “On The Curvature of a Generalization of Contact Metric Manifolds”, Acta. Math. Hung., 110(3): 225-239 (2006). Yano, K., Kon, M., “Structure on Manifolds”, World Scientific Publishing Co. Pte. Ltd., 3: 252-286 (1984). 125 ÖZGEÇMİŞ Kişisel Bilgiler Soyadı, adı : GÖÇMEN, Ayşegül Uyruğu : T.C. Doğum tarihi ve yeri : 03.06.1984 Ankara Medeni hali : Evli Telefon : 0 (539) 371 26 19 e-mail : [email protected] Eğitim Derece Eğitim Birimi Mezuniyet Tarihi Lisans Ankara Üni. /Matematik 2006 Lise Kocatepe Mimar Kemal Lisesi 2002 İş Deneyimi Yıl Yer 2009-2011 Açı Dershanesi Matematik Öğretmeni 2011-2012 Simetri Dershanesi Matematik Öğretmeni 2012-halen Sınav Dershanesi Matematik Öğretmeni Yabancı Dil İngilizce Hobiler Kitap okumak,film izlemek Görev