Calabi-Yau manifoldu
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.
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  n -katlama veya Calabi –Yau (karmaşık) boyutun manifoldu  n bazen kompakt olarak tanımlanır.  n boyutlu Kähler manifoldu  M aşağıdaki eşdeğer koşullardan birini karşılayan:
Kanonik paket olan  M önemsizdir.
M holomorf bir yapıya sahiptir  n-form hiçbir yerde kaybolmaz.
Teğet demetinin yapı grubu  M azaltılabilir  U(n) ile  SU(n).
M,  SU(n)'de yer alan küresel holonomiye sahip bir Kähler metriğine sahiptir.
Bu koşullar, birinci integral Chern sınıfının  c_{1}(M) ile ilgili  M 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  n boyutlu Kähler manifoldu  M 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:
M, kaybolan ilk gerçek sınıfına sahiptir.
M yerel holonomiye sahip bir Kähler metriği  SU(n)'dir.
Kanonik paketin pozitif gücü  M önemsizdir.
M önemsiz kanonik pakete sahip sonlu bir kapağa sahiptir.
M, 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  (\Omega \wedge {\bar {\Omega }}-\omega ^{n}/n!) asimptotik olarak ortadan kaybolması gerekir. Burada,  \omega  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  SU(n) bunun bir alt grubu yerine, Hodge sayılarının olduğu anlamına gelir  h^{i,0} için kaybolmak  0<i<\dim(M) . Abelian yüzeyleri, holonomiden kesinlikle daha küçük olan bir Ricci düz metriğine sahiptir.  SU(2) (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."