İçeriğe atla

Calabi-Yau manifoldu

6D Calabi-Yau beşli manifoldunun 2 boyutlu bir dilimi.

Calabi–Yau Manifoldu veya Calabi–Yau space, cebirsel geometride, Ricci düzlüğü gibi özelliklere sahip olan ve teorik fizikte uygulamalara olanak sağlayan özel bir manifold türüdür. Özellikle süper sicim teorisinde, uzay-zamanın ekstra boyutlarının bazen 6 boyutlu Calabi–Yau manifoldu formunu alacağı varsayılır ve bu da ayna simetrisi fikrine yol açmaktadır. Manifoldun ismi, bu tür yüzeylerin var olabileceğini ilk tahmin eden Eugenio Calabi'den (1954, 1957) ve Calabi varsayımını kanıtlayan Shing-Tung Yau'dan (1978) sonra 1985 yılında Candelas ve arkadaşları tarafından icat edilmiştir.

Calabi–Yau manifoldları, K3 yüzeylerinin herhangi bir sayıda karmaşık boyutta (yani herhangi bir çift sayıda gerçek boyutta) genelleştirilmesi olan karmaşık manifoldlardandır. Başlangıçta, kaybolan birinci Chern sınıfına ve Ricci-düz metriğe sahip kompakt "Kähler manifoldları" olarak tanımlanmışlardır ve bazen diğer birçok benzer ancak eşdeğer olmayan tanım da kullanılmıştır.

Tanımlar

Shing-Tung Yau tarafından verilen motivasyonel tanım, aynı zamanda Ricci düz olan, kaybolan birinci Chern sınıfına sahip kompakt bir Kähler manifoldudur.[1][2][3]

Calabi–Yau manifoldunun farklı yazarlar tarafından kullanılan, bazıları eşdeğer olmayan birçok başka tanımı vardır. Bu bölümde en yaygın tanımlardan bazıları ve aralarındaki ilişkiler özetlenmektedir.

Bir Calabi–Yau -katlama veya Calabi –Yau (karmaşık) boyutun manifoldu bazen kompakt olarak tanımlanır. boyutlu Kähler manifoldu aşağıdaki eşdeğer koşullardan birini karşılayan:

  • Kanonik paket olan önemsizdir.
  • holomorf bir yapıya sahiptir -form hiçbir yerde kaybolmaz.
  • Teğet demetinin yapı grubu azaltılabilir ile .
  • , 'de yer alan küresel holonomiye sahip bir Kähler metriğine sahiptir.

Bu koşullar, birinci integral Chern sınıfının ile ilgili ortadan kayboluyor. Ancak bunun tersi doğru değildir. Bunun gerçekleştiği en basit örnekler, hipereliptik yüzeyler, karmaşık boyut 2'nin karmaşık bir torusunun sonlu bölümleridir; kaybolan birinci integral Chern sınıfına sahiptir, ancak önemsiz olmayan kanonik pakettir.

Kompakt bir cihaz için boyutlu Kähler manifoldu olan aşağıdaki koşullar birbirine eşdeğerdir, ancak bazen Calabi–Yau manifoldunun tanımı olarak kullanılsalar da yukarıdaki koşullardan daha zayıftırlar:

  • , kaybolan ilk gerçek sınıfına sahiptir.
  • yerel holonomiye sahip bir Kähler metriği 'dir.
  • Kanonik paketin pozitif gücü önemsizdir.
  • önemsiz kanonik pakete sahip sonlu bir kapağa sahiptir.
  • , bir torusun ve önemsiz kanonik demet ile basit bir şekilde bağlanmış bir manifoldun ürünü olan sonlu bir örtüye sahiptir.

Kompakt bir Kähler manifoldu basit bir şekilde bağlanırsa, yukarıdaki zayıf tanım, daha güçlü tanıma eşdeğerdir. Enriques yüzeyleri, Ricci-düz metriklere sahip karmaşık manifoldların örneklerini verir, ancak bunların kanonik demetleri önemsiz değildir, bu nedenle bunlar, yukarıdaki ilk tanıma göre değil, ikinciye göre Calabi-Yau manifoldlarıdır. Öte yandan, bunların çift örtüleri her iki tanım için de Calabi-Yau manifoldlarıdır (aslında K3 yüzeyleridir).

Yukarıdaki çeşitli özellikler arasındaki eşdeğerlikleri kanıtlamanın açık ara en zor kısmı, Ricci-düz metriklerinin varlığını kanıtlamaktır. Bu, Yau'nun, kaybolan birinci gerçek Chern sınıfına sahip kompakt bir Kähler manifoldunun, kaybolan Ricci eğriliği ile aynı sınıfta bir Kähler metriğine sahip olduğunu ima eden Calabi varsayımına ilişkin kanıtından kaynaklanmaktadır. (Bir Kähler metriğinin sınıfı, ilişkili 2-formunun kohomoloji sınıfıdır.)Calabi böyle bir metriğin benzersiz olduğunu gösterniştir.

Calabi-Yau manifoldlarının bazen kullanılan ve aşağıdaki şekillerde farklılık gösteren (diğerlerinin yanı sıra) birçok başka eşdeğer olmayan tanımı vardır:

  • İlk Chern sınıfı, tamamlayıcı bir sınıf veya gerçek bir sınıf olarak ortadan kaybolabilir.
  • Tanımların çoğu Calabi-Yau manifoldlarının kompakt olduğunu öne sürer, ancak bazıları bunların kompakt olmamasını sağlar. Kompakt olmayan manifoldlara genellemede, fark asimptotik olarak ortadan kaybolması gerekir. Burada, Kähler metriği ile ilişkili Kähler formudur.
  • Bazı tanımlar, bir Calabi-Yau manifoldunun temel grubuna, sonlu veya önemsiz olmasını talep etmek gibi kısıtlamalar getirir. Herhangi bir Calabi-Yau manifoldu, bir simit ile basit bağlantılı bir Calabi-Yau manifoldunun çarpımı olan sonlu bir örtüye sahiptir.
  • Bazı tanımlar holonominin tam olarak eşit olmasını gerektirir bunun bir alt grubu yerine, Hodge sayılarının olduğu anlamına gelir için kaybolmak . Abelian yüzeyleri, holonomiden kesinlikle daha küçük olan bir Ricci düz metriğine sahiptir. (aslında önemsizdir) bu tanımlara göre Calabi-Yau manifoldları değildir.
  • Tanımların çoğu, bir Calabi-Yau manifoldunun bir Riemann metriğine sahip olduğunu varsayar, ancak bazıları bunları bir metrik içermeyen karmaşık manifoldlar olarak ele alır.
  • Tanımların çoğu manifoldun tekil olmadığını varsayar, ancak bazıları hafif tekilliklere izin verir. Chern sınıfı tekil Calabi-Yau'lar için iyi tanımlanamasa da, tüm tekillikler Gorenstein şemasında kanonik paket ve kanonik sınıf hala tanımlanabilir ve bu nedenle pürüzsüz bir Calabi-Yau manifoldunun tanımı, şu şekilde genişletmek için kullanılabilir: "muhtemelen tekil bir Calabi-Yau çeşididir."

Kaynakça

  1. ^ Yau and Nadis (2010)
  2. ^ Propp, Oron Y. (22 Mayıs 2019), "Constructing explicit K3 spectra", math.AT 
  3. ^ Szymik, Markus (12 Şubat 2020). K3 spectra. Bulletin of the London Mathematical Society. ss. 137-148. doi:10.1112/blms/bdp106. 

İlgili Araştırma Makaleleri

<span class="mw-page-title-main">Maxwell denklemleri</span>

Maxwell denklemleri Lorentz kuvveti yasası ile birlikte klasik elektrodinamik, klasik optik ve elektrik devrelerine kaynak oluşturan bir dizi kısmi türevli (diferansiyel) denklemlerden oluşur. Bu alanlar modern elektrik ve haberleşme teknolojilerinin temelini oluşturmaktadır. Maxwell denklemleri elektrik ve manyetik alanların birbirileri, yükler ve akımlar tarafından nasıl değiştirildiği ve üretildiğini açıklamaktadır. Bu denklemler sonra İskoç fizikçi ve matematikçi olan ve 1861-1862 yıllarında bu denklemlerin ilk biçimini yayımlayan James Clerk Maxwell' in ismi ile adlandırılmıştır.

<span class="mw-page-title-main">Grup teorisi</span> simetrileri inceleyen matematik dalı

Grup teorisi veya Grup kuramı, simetrileri inceleyen matematik dalıdır. Simetri kuramı olarak da adlandırılabilir. Bir nesnenin simetrileri ile kast edilen, nesneye uygulandığında nesneye hiçbir etki olmamış gibi sonuç veren dönüşümlerdir. Her nesnenin en az bir simetrisi vardır: hiçbir şey yapmadan olduğu gibi bırakma dönüşümü. Bahsettiğimiz dönüşümlerin tersleri de vardır ve aradığımız özellikleri sağlarlar. Son olarak da dönüşümlerin art arda yapılması, birleşimli bir işlemdir. Bu üç koşula sırasıyla birim elemana sahip olma, elemenların tersi olma ve grup işleminin birleşmeli olması denir. Bu kavramların matematikte soyutlanması, üzerinde tersinebilir ve bileşme özelliğine sahip ikili bir işlemin tanımlı olduğu kümeler ile yapılır. Daha detaylı açıklamak gerekirse, grup nesnesi bir küme G ve onun üzerinde tanımlı bir işleminden oluşur. Bu operasyonun aşağıdaki şartları sağlaması gereklidir:

<span class="mw-page-title-main">Rasyonel sayılar</span>

Rasyonel sayılar, iki tam sayı arasındaki oranı temsil eden, bir pay p ve sıfırdan farklı bir payda q olmak üzere, bir bölme işlemi veya kesir formunda ifade edilebilen sayıları tanımlar. Örneğin, rasyonel bir sayı olarak kabul edilir, bu kapsamda her tam sayı da rasyonel sayılar kategorisindedir. Rasyonel sayılar kümesi, çoğunlukla kalın harf biçimindeki Q veya karatahta vurgusu kullanılarak şeklinde ifade edilir.

<span class="mw-page-title-main">Açısal momentum</span> Fiziksel nicelik

Açısal momentum, herhangi bir cismin dönüş hareketine devam etme isteğinin bir göstergesidir ve bu nicelik cismin kütlesine, şekline ve hızına bağlıdır. Açısal momentum bir vektör birimidir ve cismin belirli eksenler üzerinde sahip olduğu dönüş eylemsizliği ile dönüş hızını ifade eder.

Kapasite veya diğer adıyla sığa, bir cismin elektrik yükü depo etme yeteneğidir. Elektrikle yüklenebilen her cisim sığa barındırmaktadır. Enerji depolama aracının en yaygın formu paralel levhalı sığaçlardır. Paralel levhalı sığaçta, sığa iletken levhanın yüzey alanıyla doğru orantılıdır ve levhalar arasındaki uzaklığın ayrımıyla da ters orantılıdır. Eğer levhaların yükleri +q ve –q ise ve V levhalar arasındaki voltajı veriyorsa, sığa C şu şekildedir;

<span class="mw-page-title-main">Harmonik fonksiyon</span>

Matematiğin matematiksel fizik alanında ve rassal süreçler teorisinde bir harmonik fonksiyon, Rn'nin U gibi açık bir kümesi üzerinde f : UR şeklinde tanımlı, Laplace denklemini, yani

<span class="mw-page-title-main">Açıkorur gönderim</span>

Matematikte açıkorur gönderim ya da açıkorur dönüşüm tanımlı olduğu kümenin her noktasında yerel olarak açıları koruyan bir fonksiyona verilen addır. Bu tanımı haliyle, açıkorur gönderimlerin her zaman uzunlukları koruması ya da yönleri koruması beklenmez.

Matematik'te Lp uzayı, sonlu boyutlu vektör uzayı için p-norm'un doğal bir genelleme kullanarak tanımlı fonksiyon uzayı'dır.Bazen Lebesque uzayı denir.İlk Frigyes Riesz tarafından Bourbaki grubu Bourbaki 1987 olarak tanıtılmasına rağmen,Henri Lebesgue Dunford & Schwartz 1958, III.3, adına ithaf edilmiştir. fonksiyonal analiz'de Banach uzayı'nın ve topolojik vektör uzaylarının önemli bir sınıfını Lp uzayı formu oluşturur.Lebesgue uzayının fizik, istatistik, finans, mühendislik ve diğer disiplinlerde uygulamaları var.

Fizikte konuşlanma sistemi farklı zaman dilimlerinde nesnelerin konum ve yönelim gibi özelliklerini belirlemek ve ölçmek için kullanılan bir koordinat sistemini ifade etmektedir. Ayrıca bu özelliklerin temsilinde kullanılan kümelerini de içerebilmektedir. Daha zayıf bir anlamda, bir konuşlanma sistemi yalnızca koordinatları betimlememektedir, aynı zamanda bu sistemde hareket eden nesnelerin ayırt edilmesinde her zaman dilimi için aynı üç boyutlu alanları da tanımlamaktadır.

Bu diferansiyel geometri konuların bir listesidir. Ve aynı zamanda Lie grubu konularının listesi metrik geometri ve diferansiyelin sözlüğü bkz.

Kuramsal fizikte, süper kütleçekimi genel görelilik kuramı ve süpersimetriyi birleştiren bir alan kuramıdır. Süper kütleçekiminde, süper simetri bölgesel simetridir. Süper simetrinin üreteçleri Poincaré grubu ve süper-Poincaré cebiri ile sarılmıştır, süper kütleçekiminin süper simetriyi doğal olarak takip ettiği görülebilir.

Matematik ve kuramsal fizikte, ayna simetrisi Calabi-Yau dağıtımlar olarak adlandırılan geometrik cisimler arasındaki ilişkidir. Bu olay, şekilleri geometrik olarak farklı görünen altı boyutlu iki dağıtım için gerçekleşebilir ama yine de eğer bu boyutlar sicim kuramının gizli boyutları ise eşdeğerdirler. Bu durumda, altı boyutlu dağıtımlar için biri diğerinin aynası denir. Ayna simetrisi ilk olarak fizikçiler tarafından keşfedilmiştir. 1990'larda ne zaman ki Philip Candelas, Xenia de la Ossa, Paul Green ve Linda Parks ayna simetrisinin Calabi-Yau dağıtımında rasyonel dalgaların sayımında kullanılabileceğini, yani eskiden beri süre gelen problemlerin çözümünde kullanılabileceğini göstermiş; o zaman matematikçiler ayna simetrisiyle ilgilenmeye başlamışlardır. Ayna simetrisine orijinal yaklaşım kuramsal fizikteki kesin olmayan fikirlere dayansa da matematikçiler ayna simetrisindeki bazı matematiksel tahminlerde kesin ispat yapmışlardır. Bugün, ayna simetrisi soyut matematikte ana araştırma konusudur ve matematikçiler fizikçilerin görülerine dayanan ayna simetrisi için matematiksel bir anlayış geliştirmeye çalışmaktadırlar. Ayrıca, ayna simetrisi sicim kuramındaki hesaplamalar için temel bir araçtır. Ayna simetrisi için ana yaklaşımlar Maksim Kontseviç'in homolog ayna simetrisi programını ve Andrew Strominger, Shing-Tung Yau ve Eric Zaslow'un SYZ varsayımını içerir.

<span class="mw-page-title-main">Manyetik tek kutup</span>

Manyetik monopol, parçacık fiziğinde yalıtılmış tek bir manyetik kutbu olan kuramsal bir temel parçacıktır. Daha teknik terimlerle açıklanacak olursa, bir manyetik monopol net manyetik yükü olan bir parçacıktır. Bu teori köklerini manyetik monopollerin varlığını öngören parçacık teorileri, özellikle büyük birleşim ve süper sicim teorilerinden alır. Çubuk şeklindeki mıknatısların manyetik alanı ve elektromanyetikler manyetik monopollerden kaynaklanmazlar. Manyetik monopollerin varlığını kanıtlayan herhangi bir deneysel veri yoktur. Bazı yoğun madde sistemleri efektif manyetik monopol, quasi parçacığını veya matematiksel olarak manyetik monopollerle benzeşen bazı fenomenleri barındırır.

Pro sonlu gruplar, Matematikte ilk olarak sayılar kuramında görülmüştür. 19. yüzyılın sonlarına doğru kongurans sistemlerini çalışmak için Alman matematikçi Hensel tarafından bulunan p-sel tamsayılar halkası Zp, pro-sonlu grupların en temel örneklerinden birisidir. Alman matematikçi Krull herhangi bir sonsuz Galois genişlemesinin Galois grubunun aslında doğal bir şekilde pro-sonlu grup yapısına sahip olduğunu gördü. Bu yapının sonlu Galois genişlemelerinin Galois gruplarıyla belirlendiğini gösterdi. Daha sonra, cebirsel geometri alanında Grothendieck, şemaların temel gruplarını birer pro-sonlu grup olarak tanıttı.

Matematiksel analizde, M metrik uzay olmak üzere, elemanları M 'de olan her Cauchy dizisinin yine M'de bir limiti varsa,veya alternatif olarak, M'deki her Cauchy dizisi yine M'de yakınsaksa M metrik uzayına tam denir.

<span class="mw-page-title-main">Riemann yüzeyi</span>

Matematikte Riemann yüzeyi, özellikle karmaşık analizde bahsi geçen tek boyutlu karmaşık bir manifolddur. Bu yüzey(ler) ilk olarak Bernhard Riemann tarafından incelenmiş ve isimlendirilmiş. Riemann yüzeyleri, karmaşık düzlemin deforme olmuş versiyonları olarak düşünülebilir: her noktanın yakınında karmaşık düzlemin yerel olarak yamaları gibi görünürler, ama topolojisi oldukça farklı olabilmektedir.

<span class="mw-page-title-main">Matematikte simetri</span> matematikte simetri kavramı

Simetri yalnızca geometride değil, matematiğin diğer dallarında da ortaya çıkar. Simetri bir tür değişmezliktir: matematiksel bir nesnenin bir dizi işlem veya dönüşüm altında değişmeden kaldığı özelliktir.

<span class="mw-page-title-main">Élie Cartan</span> Fransız matematikçi (1869 – 1951)

Élie Joseph Cartan, ForMemRS Lie grupları, diferansiyel sistemler ve diferansiyel geometri teorisinde temel çalışmalar yapan etkili bir Fransız matematikçi. Ayrıca genel göreliliğe ve dolaylı olarak kuantum mekaniğine önemli katkılarda bulundu. Yirminci yüzyılın en büyük matematikçilerinden biri olarak kabul edilmektedir.

<span class="mw-page-title-main">Ölçü (matematik)</span> uzunluk, alan, hacim ve integralin bir genellemesi olarak görülebilecek bir kümenin bazı alt kümelerine sayılar atayan işlev

Matematiksel analizde, küme üzerindeki bir ölçü, bu kümenin her bir uygun alt kümesine bir sayı atamanın sistematik bir yoludur ve sezgisel olarak kümenin boyutu olarak yorumlanır. Bu anlamda ölçü, uzunluk, alan ve hacim kavramlarının bir genellemesidir. Özellikle önemli bir örnek, Öklid geometrisinin geleneksel uzunluğunu, alanını ve hacmini n-boyutlu Öklid uzayının Rn uygun alt kümelerine atayan bir Öklid uzayındaki Lebesgue ölçüsüdür. Örneğin, gerçek sayılardaki [0, 1] aralığının Lebesgue ölçüsü, kelimenin günlük anlamındaki uzunluğudur ve tam olarak 1'dir.

<span class="mw-page-title-main">Shiing-Shen Chern</span> Çinli-Amerikalı matematikçi ve şair (1911-2004)

Shiing-Shen Chern, Çinli-Amerikalı bir matematikçi ve şairdir. Diferansiyel geometri ve topolojiye temel katkılarda bulundu. "Modern diferansiyel geometrinin babası" olarak anılır ve yaygın olarak geometride bir lider ve yirminci yüzyılın en büyük matematikçilerinden biri olarak kabul edilir. Wolf Ödülü ve Shaw Ödülü de dahil olmak üzere çok sayıda ödül ve takdir kazanmıştır. Shiing-Shen Chern'in anısına, Uluslararası Matematik Birliği, "matematik alanındaki olağanüstü başarılar için başarıları en yüksek düzeyde takdiri temin eden bir kişiyi" onore etmek için 2010 yılında Chern Madalyası vermeye başladı.