Kesitsel eğrilik - Sectional curvature

İçinde Riemann geometrisi, kesit eğriliği tanımlamanın yollarından biridir Riemann manifoldlarının eğriliği. Kesit eğriliği K(σ_p) iki boyutlu doğrusal bir alt uzaya bağlıdır σ_p of teğet uzay bir noktada p manifoldun. Geometrik olarak şu şekilde tanımlanabilir: Gauss eğriliği of yüzey σ düzlemine sahip olan_p teğet düzlem olarak p, şuradan alındı jeodezik hangisinde başlar p σ yönünde_p (başka bir deyişle, σ'nun görüntüsü_p altında üstel harita -de p). Kesitsel eğrilik, 2'de gerçek değerli bir fonksiyondur.Grassmanniyen paket manifold üzerinde.

Kesit eğriliği, eğrilik tensörü tamamen.

Tanım

Verilen bir Riemann manifoldu ve iki Doğrusal bağımsız teğet vektörler aynı noktada sen ve v, tanımlayabiliriz

${ displaystyle K (u, v) = { langle R (u, v) v, u rangle u, u rangle langle v, v rangle - açı u, v rangle ^ { 2}}}$

Buraya R ... Riemann eğrilik tensörü, burada sözleşmeyle tanımlanmıştır ${ displaystyle R (u, v) w = nabla _ {u} nabla _ {v} w- nabla _ {v} nabla _ {u} w- nabla _ {[u, v]} w .}$ Bazı kaynaklar zıt kuralı kullanır ${ displaystyle R (u, v) w = nabla _ {v} nabla _ {u} w- nabla _ {u} nabla _ {v} w- nabla _ {[v, u]} w ,}$ bu durumda K (u, v) ile tanımlanmalıdır ${ displaystyle langle R (u, v) u, v rangle}$ yerine payda ${ displaystyle langle R (u, v) v, u rangle.}$

Doğrusal bağımsızlığının sen ve v yukarıdaki ifadedeki paydayı sıfırdan farklı olmaya zorlar, böylece K (u, v) iyi tanımlanmıştır. Özellikle, eğer sen ve v vardır ortonormal, daha sonra tanım basit biçimini alır

${ displaystyle K (u, v) = langle R (u, v) v, u rangle.}$

Bunu kontrol etmek kolaydır. ${ displaystyle u, v T_ {p} M} 'de$ doğrusal olarak bağımsızdır ve aynı iki boyutlu doğrusal alt uzay ${ displaystyle T_ {p} M}$ gibi ${ displaystyle x, y T_ {p} M}$, sonra ${ displaystyle K (u, v) = K (x, y).}$ Dolayısıyla, kesit eğriliği, girdisi bir teğet uzayın iki boyutlu doğrusal bir alt uzayı olan gerçek değerli bir fonksiyon olarak düşünülebilir.

Sabit kesit eğrili manifoldlar

Biri, bir Riemann manifoldunun "sabit eğriliğe sahip olduğunu söylüyor ${ displaystyle kappa}$" Eğer ${ displaystyle operatöradı {saniye} (P) = kappa}$ tüm iki boyutlu doğrusal alt uzaylar için ${ displaystyle P alt küme T_ {p} M}$ ve herkes için $M'de { displaystyle p }$

Schur lemma belirtir ki (Mg) en az üç boyutlu bağlı bir Riemann manifoldu ve bir fonksiyon varsa ${ displaystyle f: M - mathbb {R}}$ öyle ki ${ displaystyle operatöradı {saniye} (P) = f (p)}$ tüm iki boyutlu doğrusal alt uzaylar için ${ displaystyle P alt küme T_ {p} M}$ ve herkes için ${ displaystyle p M,}$ sonra f sabit olmalı ve dolayısıyla (Mg) sabit eğriliğe sahiptir.

Sabit kesit eğriliğine sahip bir Riemann manifoldu, uzay formu. Eğer ${ displaystyle kappa}$ kesit eğriliğinin sabit değerini gösterir, daha sonra eğrilik tensörü şu şekilde yazılabilir:

${ displaystyle R (u, v) w = kappa { büyük (} langle v, w rangle u- langle u, w rangle v { büyük)}}$

herhangi ${ displaystyle u, v, w T_ {p} M.}$

Kanıt.

Kısaca: bir polarizasyon argümanı, ${ displaystyle R (u, v) v,}$ ikinci (eşdeğer) bir polarizasyon argümanı, ${ displaystyle R (u, v) w + R (u, w) v,}$ ve ilk Bianchi kimliği ile bir kombinasyon, verilen formülü kurtarır ${ displaystyle R (u, v) w.}$ Kesitsel eğrilik tanımından bunu biliyoruz ${ displaystyle langle R (u, v) v, u rangle = kappa (| u | ^ {2} | v | ^ {2} - u, v rangle ^ {2})}$ her ne zaman ${ displaystyle u, v}$ doğrusal olarak bağımsızdır ve bu kolayca şu duruma kadar uzanır: ${ displaystyle u, v}$ her iki taraf da sıfır olduğundan doğrusal olarak bağımlıdır. Şimdi, keyfi verildiğinde u, v, w, hesaplamak ${ displaystyle langle R (u + w, v) v, u + w rangle}$ iki şekilde. İlk olarak, yukarıdaki formüle göre eşittir ${ displaystyle kappa { Büyük (} | v | ^ {2} (| u | ^ {2} + | w | ^ {2} +2 langle u, w rangle) - langle u, v rangle ^ {2} - langle w, v rangle ^ {2} -2 langle u, v rangle langle w, v rangle { Big)}.}$ İkinci olarak, çok doğrusallıkla eşittir ${ displaystyle langle R (u, v) v, u rangle + langle R (w, v) v, w rangle + langle R (u, v) v, w rangle + langle R (w , v) v, u rangle,}$Riemann simetrisini hatırlatan ${ displaystyle langle R (u, v) v, w rangle = langle R (w, v) v, u rangle,}$ basitleştirilebilir ${ displaystyle kappa { Büyük (} | u | ^ {2} | v | ^ {2} - langle u, v rangle ^ {2} { Büyük)} + kappa { Büyük (} | w | ^ {2} | v | ^ {2} - langle w, v rangle ^ {2} { Big)} + 2 langle R (u, v) v, w rangle.}$ Bu iki hesaplamayı birbirine eşitlemek ve terimleri iptal etmek, biri ${ displaystyle langle R (u, v) v, w rangle = kappa { Büyük (} | v | ^ {2} langle u, w rangle - langle u, v rangle langle w, v rangle { Büyük)}.}$ Dan beri w keyfi bu gösteriyor ki ${ displaystyle R (u, v) v = kappa { Büyük (} | v | ^ {2} u- langle u, v rangle v { Büyük)}}$ herhangi u, v. Şimdi izin ver u, v, w keyfi ol ve hesapla ${ displaystyle R (u, v + w) (v + w)}$ iki şekilde. İlk olarak, bu yeni formülle eşittir ${ displaystyle kappa { Büyük (} { büyük (} | v | ^ {2} + | w | ^ {2} +2 langle v, w rangle { büyük)} u- langle u, v rangle v- langle u, w rangle v- langle u, v rangle w- langle u, w rangle w { Big)}.}$ İkinci olarak, çok doğrusallıkla eşittir ${ displaystyle R (u, v) v + R (u, w) w + R (u, v) w + R (u, w) v}$ yeni formülle eşittir ${ displaystyle kappa { Büyük (} | v | ^ {2} u- langle u, v rangle v { Büyük)} + kappa { Büyük (} | w | ^ {2} u- u, w rangle w { Büyük)} + R (u, v) w + R (u, w) v.}$ Bu iki hesaplamayı birbirine eşitlemek, ${ displaystyle R (u, v) w + R (u, w) v = kappa { Büyük (} 2 langle v, w rangle u- langle u, w rangle v- langle u, v rangle w { Büyük)}.}$ Takas ${ displaystyle u}$ ve ${ displaystyle v}$, sonra bunu Bianchi kimliğine ekleyin ${ displaystyle R (v, u) w + R (u, w) v + R (w, v) u = 0}$ almak ${ displaystyle 2R (v, u) w + R (u, w) v = kappa { Büyük (} 2 langle u, w rangle v- langle v, w rangle u- langle u, v rangle w { Büyük)}.}$ Simetriyi kullanarak bu iki denklemi çıkarın ${ displaystyle R (u, v) w = -R (v, u) w,}$ almak ${ displaystyle 3R (u, v) w = 3 kappa { Büyük (} langle v, w rangle u- langle u, w rangle v { Big)}$

Herhangi bir Riemann metriği, Levi-Civita bağlantısına göre paralel olduğundan, bu, herhangi bir sabit eğrilik uzayının Riemann tensörünün de paralel olduğunu gösterir. Ricci tensörü daha sonra şu şekilde verilir: ${ displaystyle operatöradı {Ric} = (n-1) kappa g}$ ve skaler eğrilik ${ displaystyle n (n-1) kappa.}$ Özellikle, herhangi bir sabit eğrili uzay Einstein'dır ve sabit skaler eğriliğe sahiptir.

Model örnekleri

Pozitif bir sayı verildiğinde ${ displaystyle a}$ tanımlamak

• ${ displaystyle ( mathbb {R} ^ {n}, g _ { mathbb {R} ^ {n}})}$ standart Riemann yapısı olmak
• ${ displaystyle (S ^ {n} (a), g_ {S ^ {n} (a)})}$ küre olmak ${ displaystyle S ^ {n} (a) equiv {x in mathbb {R} ^ {n + 1}: | x | = a }}$ ile ${ displaystyle g_ {S ^ {n} (a)}}$ standart Riemann yapısının geri çekilmesiyle verilen ${ displaystyle mathbb {R} ^ {n + 1}}$ dahil etme haritasına göre ${ displaystyle S ^ {n} (a) ila mathbb {R} ^ {n + 1}}$
• ${ displaystyle (H ^ {n} (a), g_ {H ^ {n} (a)})}$ top olmak ${ displaystyle H ^ {n} (a) equiv {x in mathbb {R} ^ {n}: | x |$ ile ${ displaystyle g_ {H ^ {n} (a)} = a ^ {2} { frac {(a ^ {2} - | x | ^ {2}) (dx_ {1} ^ {2} + cdots + dx_ {n} ^ {2}) - (x_ {1} , dx_ {1} + cdots + x_ {n} , dx_ {n}) ^ {2}} {(a ^ {2} - | x | ^ {2}) ^ {2}}}.}$

Genel terminolojide, bu Riemann manifoldları şu şekilde anılır: Öklid uzayı, n-küre, ve hiperbolik boşluk. Burada önemli olan nokta, her birinin sabit eğriliğe sahip, tam bağlı düz Riemann manifoldu olmasıdır. Kesin olarak, Riemann metriği ${ displaystyle g _ { mathbb {R} ^ {n}}}$ 0 sabit eğriliğe sahiptir, Riemann metriği ${ displaystyle g_ {S ^ {n} (a)}}$ sabit eğriliğe sahiptir ${ displaystyle a ^ {- 2},}$ ve Riemann metriği ${ displaystyle g_ {H ^ {n} (a)}}$ sabit eğriliğe sahiptir ${ displaystyle -a ^ {- 2}.}$

Dahası, bunlar şu anlamda 'evrensel' örneklerdir: ${ displaystyle (M, g)}$ sabit eğriliğe sahip düzgün, bağlantılı ve basitçe bağlanmış tam bir Riemann manifoldudur, bu durumda yukarıdaki örneklerden birine göre izometriktir; belirli bir örnek, sabit eğriliğin değeri tarafından belirlenir. ${ displaystyle g,}$ yukarıdaki örneklerin sabit eğriliklerine göre.

Eğer ${ displaystyle (M, g)}$ sabit eğriliğe sahip pürüzsüz ve bağlantılı tam bir Riemann manifoldudur, ancak değil basitçe bağlantılı olduğu varsayılırsa, evrensel kaplama alanını düşünün ${ displaystyle pi: { widetilde {M}} - M}$ geri çekilme Riemann metriği ile ${ displaystyle pi ^ { ast} g.}$ Dan beri ${ displaystyle pi}$ topolojik ilkelere göre bir kaplama haritasıdır, Riemann manifoldu ${ displaystyle ({ widetilde {M}}, pi ^ { ast} g)}$ yerel olarak izometrik ${ displaystyle (M, g)}$ve bu nedenle, aynı sabit eğriliğe sahip, pürüzsüz, bağlantılı ve basitçe bağlanmış tam bir Riemann manifoldudur. ${ displaystyle g.}$ Daha sonra yukarıdaki model örneklerinden biri izometrik olmalıdır. Evrensel kapağın güverte dönüşümlerinin izometriler metriğe göre ${ displaystyle pi ^ { ast} g.}$

Sabit negatif eğriliğe sahip Riemann manifoldlarının incelenmesi hiperbolik geometri, birçok dikkate değer fenomeni sergilediği için özellikle dikkat çekicidir.

Ölçeklendirme

İzin Vermek ${ displaystyle (M, g)}$ pürüzsüz bir manifold olsun ve ${ displaystyle lambda}$ pozitif bir sayı olun. Riemann manifoldunu düşünün ${ displaystyle (M, lambda g).}$ Çok çizgili bir harita olarak eğrilik tensörü ${ displaystyle T_ {p} M times T_ {p} M times T_ {p} M ila T_ {p} M,}$ bu değişiklik ile değişmez. İzin Vermek ${ displaystyle v, w}$ doğrusal bağımsız vektörler olmak ${ displaystyle T_ {p} M}$. Sonra

${ displaystyle K _ { lambda g} (v, w) = { frac { lambda g (R ^ { lambda g} (v, w) w, v)} {| v | _ { lambda g} ^ {2} | w | _ { lambda g} ^ {2} - langle v, w rangle _ { lambda g} ^ {2}}} = { frac {1} { lambda}} { frac {g (R ^ {g} (v, w) w, v)} {| v | _ {g} ^ {2} | w | _ {g} ^ {2} - langle v, w rangle _ {g} ^ {2}}} = { frac {1} { lambda}} K_ {g} (v, w).}$

Yani metriğin çarpımı ${ displaystyle lambda}$ tüm kesit eğrilerini şununla çarpar: ${ displaystyle lambda ^ {- 1}.}$

Toponogov teoremi

Toponogov teoremi "şişman" jeodezik üçgenlerin Öklid muadillerine kıyasla nasıl göründükleri açısından kesitsel eğriliğin bir karakterizasyonunu sağlar. Temel sezgiye göre, eğer bir boşluk pozitif olarak kavisli ise, o zaman belirli bir tepe noktasının karşısındaki bir üçgenin kenarının bu tepe noktasından uzağa eğilme eğiliminde olacağı, oysa bir boşluk negatif olarak kavisliyse, üçgenin zıt kenarının eğilme eğiliminde olacağıdır. tepe noktasına doğru bükün.

Daha doğrusu M olmak tamamlayınız Riemann manifoldu ve izin ver xyz jeodezik üçgen olmak M (her biri uzunluğu en aza indiren jeodezik olan bir üçgen). Sonunda izin ver m jeodeziğin orta noktası olmak xy. Eğer M negatif olmayan bir eğriliğe sahiptir, o zaman tüm yeterince küçük üçgenler için

${ displaystyle d (z, m) ^ {2} geq { tfrac {1} {2}} d (z, x) ^ {2} + { tfrac {1} {2}} d (z, y) ^ {2} - { tfrac {1} {4}} d (x, y) ^ {2}}$

nerede d ... mesafe fonksiyonu açık M. Eşitlik durumu tam olarak M kaybolur ve sağ taraf, üçgen ile aynı kenar uzunluklarına sahip Öklid uzayında bir jeodezik üçgenin bir tepe noktasından diğer tarafına olan mesafeyi temsil eder. xyz. Bu, pozitif eğimli alanlarda üçgenlerin "daha şişman" olduğu anlamını kesinleştirir. Pozitif eğimli olmayan alanlarda, eşitsizlik tam tersi olur:

${ displaystyle d (z, m) ^ {2} leq { tfrac {1} {2}} d (z, x) ^ {2} + { tfrac {1} {2}} d (z, y) ^ {2} - { tfrac {1} {4}} d (x, y) ^ {2}.}$

Kesit eğriliği üzerinde daha sıkı sınırlar biliniyorsa, bu özellik bir karşılaştırma teoremi jeodezik üçgenler arasında M ve uygun bir basit bağlantılı uzay formunda olanlar; görmek Toponogov teoremi. Burada belirtilen sürümün basit sonuçları şunlardır:

• Tam bir Riemann manifoldu negatif olmayan kesit eğriliğine sahiptir, ancak ve ancak fonksiyon ${ displaystyle f_ {p} (x) = operatöradı {dist} ^ {2} (p, x)}$ 1-içbükey tüm noktalar için p.
• Tamamen basit bir şekilde bağlanmış bir Riemann manifoldu pozitif olmayan kesit eğriliğine sahiptir, ancak ve ancak fonksiyon ${ displaystyle f_ {p} (x) = operatöradı {dist} ^ {2} (p, x)}$ 1-dışbükey.

Pozitif olmayan kesit eğrili manifoldlar

1928'de, Élie Cartan kanıtladı Cartan-Hadamard teoremi: Eğer M bir tamamlayınız pozitif olmayan kesit eğrili manifold, sonra evrensel kapak dır-dir diffeomorfik bir Öklid uzayı. Özellikle, küresel olmayan: homotopi grupları ${ displaystyle pi _ {i} (M)}$ için ben ≥ 2 önemsizdir. Bu nedenle, tam pozitif olmayan eğimli bir manifoldun topolojik yapısı, onun tarafından belirlenir. temel grup. Preissman teoremi negatif eğimli kompakt manifoldların temel grubunu sınırlar. Cartan-Hadamard varsayımı klasik izoperimetrik eşitsizlik olarak adlandırılan pozitif olmayan eğriliğin basitçe bağlantılı tüm boşluklarında tutulmalıdır Cartan-Hadamard manifoldları.

Pozitif kesit eğrili manifoldlar

Pozitif eğimli manifoldların yapısı hakkında çok az şey bilinmektedir. ruh teoremi (Cheeger ve Gromoll 1972; Gromoll ve Meyer 1969 ), tam, kompakt olmayan, negatif olarak eğimli olmayan bir manifoldun, kompakt, negatif olmayan bir şekilde eğimli bir manifold üzerinde normal bir demete diffeomorfik olduğunu ima eder. Kompakt pozitif eğimli manifoldlara gelince, iki klasik sonuç vardır:

• Takip eder Myers teoremi böyle bir manifoldun temel grubu sonludur.
• Takip eder Synge teoremi Çift boyutlarda böyle bir manifoldun temel grubunun yönlendirilebilir ise 0 olduğu ve ${ displaystyle mathbb {Z} _ {2}}$ aksi takdirde. Garip boyutlarda pozitif eğimli bir manifold her zaman yönlendirilebilir.

Dahası, pek çok varsayım bırakan kompakt pozitif eğimli manifoldların nispeten birkaç örneği vardır (örneğin, Hopf varsayımı üzerinde pozitif kesitsel eğrilik ölçüsü olup olmadığı ${ displaystyle mathbb {S} ^ {2} times mathbb {S} ^ {2}}$). Yeni örnekler oluşturmanın en tipik yolu, O'Neill eğrilik formüllerinden elde edilen şu sonuçtur: ${ displaystyle (M, g)}$ bir Lie grubunun serbest izometrik eylemini kabul eden bir Riemann manifoldudur ve M, G'nin yörüngelerine ortogonal olan tüm 2 düzlemlerde pozitif kesitsel eğriliğe sahiptir, ardından manifold ${ displaystyle M / G}$ bölüm metriği ile pozitif kesit eğriliği vardır. Bu gerçek, klasik pozitif eğimli uzaylar olan küreler ve yansıtmalı uzaylar ile bu örneklerin inşa edilmesini sağlar (Ziller 2007 ):

• Berger uzayları ${ displaystyle B ^ {7} = SO (5) / SO (3)}$ ve ${ displaystyle B ^ {13} = SU (5) / operatöradı {Sp} (2) cdot mathbb {S} ^ {1}}$.
• Wallach uzayları (veya homojen bayrak manifoldları): ${ displaystyle W ^ {6} = SU (3) / T ^ {2}}$, ${ displaystyle W ^ {12} = operatöradı {Sp} (3) / operatöradı {Sp} (1) ^ {3}}$ ve ${ displaystyle W ^ {24} = F_ {4} / operatöradı {Döndür} (8)}$.
• Aloff – Wallach boşlukları ${ displaystyle W_ {p, q} ^ {7} = SU (3) / operatöradı {diag} (z ^ {p}, z ^ {q}, { overline {z}} ^ {p + q} )}$.
• Eschenburg uzayları ${ displaystyle E_ {k, l} = operatöradı {diag} (z ^ {k_ {1}}, z ^ {k_ {2}}, z ^ {k_ {3}}) ters eğik çizgi SU (3) / operatöradı {diag} (z ^ {l_ {1}}, z ^ {l_ {2}}, z ^ {l_ {3}}) ^ {- 1}.}$
• Bazaikin alanları ${ displaystyle B_ {p} ^ {13} = operatöradı {diag} (z_ {1} ^ {p_ {1}}, noktalar, z_ {1} ^ {p_ {5}}) ters eğik çizgi U (5 ) / operatöradı {diag} (z_ {2} A, 1) ^ {- 1}}$, nerede ${ displaystyle A in operatorname {Sp} (2) subset SU (4)}$.

Negatif olmayan kesit eğrili manifoldlar

Cheeger ve Gromoll, herhangi bir negatif olmayan eğri tam kompakt olmayan manifoldun olduğunu belirten ruh teoremini kanıtladı. ${ displaystyle M}$ tamamen dışbükey kompakt bir altmanifolda sahiptir ${ displaystyle S}$ öyle ki ${ displaystyle M}$ normal demetine diffeomorfiktir ${ displaystyle S}$. Bu tür bir ${ displaystyle S}$ ruhu denir ${ displaystyle M}$Özellikle, bu teorem şunu ima eder: ${ displaystyle M}$ ruhuna homotopik ${ displaystyle S}$ boyuttan daha küçük olan ${ displaystyle M}$.

Neredeyse düz eğriliğe sahip kollektörler

Bu bölüm boş. Yardımcı olabilirsiniz ona eklemek. (Aralık 2017)

Neredeyse negatif olmayan eğriliğe sahip manifoldlar

Bu bölüm boş. Yardımcı olabilirsiniz ona eklemek. (Aralık 2017)

Referanslar

• Cheeger, Jeff; Gromoll, Detlef (1972), "Negatif olmayan eğriliğin tam manifoldlarının yapısı hakkında", Matematik Yıllıkları, İkinci Seri, Matematik Yıllıkları, 96 (3): 413–443, doi:10.2307/1970819, JSTOR  1970819, BAY  0309010.
• Gromoll, Detlef; Meyer, Wolfgang (1969), "Pozitif eğriliğin tamamen açık manifoldlarında", Matematik Yıllıkları, İkinci Seri, Matematik Yıllıkları, 90 (1): 75–90, doi:10.2307/1970682, JSTOR  1970682, BAY  0247590.
• Milnor, John Willard (1963), Mors teorisi, M. Spivak ve R. Wells'in ders notlarına dayanmaktadır. Matematik Çalışmaları Annals, No 51, Princeton University Press, BAY  0163331.
• Petersen, Peter (2006), Riemann geometrisiMatematik Yüksek Lisans Metinleri, 171 (2. baskı), Berlin, New York: Springer-Verlag, ISBN  978-0-387-29246-5, BAY  2243772.
• Ziller, Wolfgang (2007). "Negatif olmayan kesit eğriliğine sahip manifold örnekleri". arXiv:matematik / 0701389..

Ayrıca bakınız

• Riemann eğrilik tensörü
• Riemann manifoldlarının eğriliği
• Eğrilik