K3 yüzeyi - K3 surface

3-uzayda pürüzsüz bir dörtlü yüzey. Şekil, gerçek noktalar (gerçek boyut 2'nin) belirli bir karmaşık K3 yüzeyinde (karmaşık boyut 2, dolayısıyla gerçek boyut 4).

İçinde matematik karmaşık bir analitik K3 yüzeyi kompakt bağlantılı karmaşık manifold önemsiz boyut 2 kanonik paket ve düzensizlik sıfır. Herhangi bir (cebirsel) K3 yüzeyi alan anlamına gelir pürüzsüz uygun geometrik olarak bağlantılı cebirsel yüzey aynı koşulları sağlayan. İçinde Enriques – Kodaira sınıflandırması K3 yüzeyleri, yüzeylerin dört sınıfından birini oluşturur. Kodaira boyutu sıfır. Basit bir örnek, Fermat kuartik yüzey

${ displaystyle x ^ {4} + y ^ {4} + z ^ {4} + w ^ {4} = 0}$

içinde karmaşık projektif 3 uzay.

İki boyutlu kompakt ile birlikte karmaşık tori, K3 yüzeyleri Calabi-Yau manifoldları (ve ayrıca hyperkähler manifoldları ) boyut iki. Bu nedenle, pozitif eğimli yüzeyler arasında cebirsel yüzeylerin sınıflandırmasının merkezinde yer alırlar. del Pezzo yüzeyler (sınıflandırılması kolaydır) ve negatif eğimli yüzeyler genel tip (esasen sınıflandırılamayan). K3 yüzeyleri, yapısı şu değere indirgenmeyen en basit cebirsel çeşitler olarak düşünülebilir. eğriler veya değişmeli çeşitleri ve yine de esaslı bir anlayışın mümkün olduğu yer. Karmaşık bir K3 yüzeyi gerçek boyut 4'e sahiptir ve pürüzsüz yüzeylerin çalışılmasında önemli bir rol oynar. 4-manifoldlar. K3 yüzeyleri uygulandı Kac – Moody cebirleri, ayna simetrisi ve sicim teorisi.

Karmaşık cebirsel K3 yüzeylerini daha geniş karmaşık analitik K3 yüzeyleri ailesinin bir parçası olarak düşünmek faydalı olabilir. Diğer birçok cebirsel çeşitte bu tür cebirsel olmayan deformasyonlar yoktur.

Tanım

K3 yüzeylerini tanımlamanın birkaç eşdeğer yolu vardır. Önemsiz kanonik demete sahip tek kompakt karmaşık yüzeyler, K3 yüzeyleri ve kompakt karmaşık tori'dir ve bu nedenle, K3 yüzeylerini tanımlamak için ikincisi hariç herhangi bir koşul eklenebilir. Örneğin, karmaşık bir analitik K3 yüzeyini bir basitçe bağlı hiçbir yerde kaybolmayan holomorfik boyut 2'nin kompakt karmaşık manifoldu 2-form. (İkinci koşul, tam olarak kanonik paketin önemsiz olduğunu söylüyor.)

Tanımın bazı varyantları da vardır. Karmaşık sayılar üzerinde, bazı yazarlar sadece cebirsel K3 yüzeylerini ele alır. (Cebirsel bir K3 yüzeyi otomatik olarak projektif.^[1]) Veya K3 yüzeylerinin sahip olmasına izin verilebilir. du Val tekillikleri ( kanonik tekillikler boyut 2), pürüzsüz olmaktan ziyade.

Betti sayılarının hesaplanması

Betti numaraları karmaşık bir analitik K3 yüzeyi aşağıdaki gibi hesaplanır.^[2] (Benzer bir argüman, herhangi bir alan üzerindeki bir cebirsel K3 yüzeyinin Betti sayıları için aynı cevabı verir. l-adik kohomoloji.) Tanım gereği, kanonik paket ${ displaystyle K_ {X} = Omega _ {X} ^ {2}}$ önemsiz ve düzensizlik q(X) (boyut ${ displaystyle h ^ {1} (X, O_ {X})}$ of tutarlı demet kohomolojisi grup ${ displaystyle H ^ {1} (X, O_ {X})}$) sıfırdır. Tarafından Serre ikiliği,

${ displaystyle h ^ {2} (X, { mathcal {O}} _ {X}) = h ^ {0} (X, K_ {X}) = 1.}$

Sonuç olarak, aritmetik cins (veya holomorfik Euler karakteristiği ) nın-nin X dır-dir:

${ displaystyle chi (X, { mathcal {O}} _ {X}): = toplam _ {i} (- 1) ^ {i} h ^ {i} (X, { mathcal {O} } _ {X}) = 1-0 + 1 = 2.}$

Öte yandan, Riemann-Roch teoremi (Noether'in formülü) diyor ki:

${ displaystyle chi (X, { mathcal {O}} _ {X}) = { frac {1} {12}} (c_ {1} (X) ^ {2} + c_ {2} (X ))}$,

nerede ${ displaystyle c_ {i} (X)}$ ... ben-nci Chern sınıfı of teğet demet. Dan beri ${ displaystyle K_ {X}}$ önemsiz, birinci Chern sınıfı ${ displaystyle c_ {1} (K_ {X}) = - c_ {1} (X)}$ sıfır ve bu yüzden ${ displaystyle c_ {2} (X) = 24}$.

Sonra, üstel sıra ${ displaystyle 0 - mathbb {Z} _ {X} - O_ {X} - O_ {X} ^ {*} - 0}$ verir tam sıra kohomoloji gruplarının ${ displaystyle 0 - H ^ {1} (X, mathbb {Z}) - H ^ {1} (X, O_ {X})}$, ve bu yüzden ${ displaystyle H ^ {1} (X, mathbb {Z}) = 0}$. Böylece Betti numarası ${ displaystyle b_ {1} (X)}$ sıfırdır ve Poincaré ikiliği, ${ displaystyle b_ {3} (X)}$ aynı zamanda sıfırdır. En sonunda, ${ displaystyle c_ {2} (X) = 24}$ topolojiye eşittir Euler karakteristiği

${ displaystyle chi (X) = toplam _ {i} (- 1) ^ {i} b_ {i} (X).}$

Dan beri ${ displaystyle b_ {0} (X) = b_ {4} (X) = 1}$ ve ${ displaystyle b_ {1} (X) = b_ {3} (X) = 0}$bunu takip eder ${ displaystyle b_ {2} (X) = 22}$.

Özellikleri

• Herhangi iki karmaşık analitik K3 yüzeyi diffeomorfik pürüzsüz 4-manifoldlar olarak Kunihiko Kodaira.^[3]

• Her karmaşık analitik K3 yüzeyinin bir Kähler metriği, tarafından Yum-Tong Siu.^[4] (Benzer şekilde, ancak çok daha kolay: bir alan üzerindeki her cebirsel K3 yüzeyi projektiftir.) Shing-Tung Yau çözümü Calabi varsayımı, her karmaşık analitik K3 yüzeyinin bir Ricci düz Kähler metriği.

• Hodge numaraları Herhangi bir K3 yüzeyi Hodge elmasında listelenmiştir:

		1
	0		0
1		20		1
	0		0
		1

Bunu göstermenin bir yolu, Jacobian ideal belirli bir K3 yüzeyinin ve sonra bir Hodge yapısının varyasyonu üzerinde modüller Cebirsel K3 yüzeylerinin tüm bu tür K3 yüzeylerinin aynı Hodge sayılarına sahip olduğunu göstermek için. Betti sayılarının hesaplanmasıyla birlikte daha düşük kaşlı bir hesaplama yapılabilir. Hodge yapısı hesaplandı ${ displaystyle H ^ {2} (X; mathbb {Z})}$ keyfi bir K3 yüzeyi için. Bu durumda, Hodge simetri kuvvetleri ${ displaystyle H ^ {0} (X; Omega _ {X} ^ {2}) cong mathbb {C}}$dolayısıyla ${ displaystyle H ^ {1} (X, Omega _ {X}) cong mathbb {C} ^ {20}}$. İçindeki K3 yüzeyler için karakteristik p > 0, bu ilk olarak Alexey Rudakov tarafından gösterildi ve Igor Shafarevich.^[5]

• Karmaşık bir analitik K3 yüzeyi için X, kesişme formu (veya fincan ürünü ) üzerinde ${ displaystyle H ^ {2} (X, mathbb {Z}) cong mathbb {Z} ^ {22}}$ bir simetrik çift doğrusal form tamsayılardaki değerlerle, K3 kafes. Bu bile izomorfiktir modüler olmayan kafes ${ displaystyle operatöradı {II} _ {3,19}}$, Veya eşdeğer olarak ${ displaystyle E_ {8} (- 1) ^ { oplus 2} oplus U ^ { oplus 3}}$, nerede U 2. seviyenin hiperbolik kafesi ve ${ displaystyle E_ {8}}$ ... E8 kafes.^[6]

• Yukio Matsumoto's 11/8 varsayımı her pürüzsüz yönelimli 4-manifold X çift ​​kesişim formu ile ikinci Betti numarası, mutlak değerin en az 11/8 katıdır. imza. Bu, doğru ise optimal olacaktır, çünkü işaret 3−19 = signature16 olan karmaşık bir K3 yüzeyi için eşitlik geçerlidir. Varsayım, her basitçe bağlanmış pürüzsüz 4-manifoldun, hatta kesişme formunun, homomorfik bir bağlantılı toplam K3 yüzeyinin kopyalarının ve ${ displaystyle S ^ {2} times S ^ {2}}$.^[7]

• Bir K3 yüzeyine diffeomorfik olan her karmaşık yüzey, Robert Friedman tarafından yazılan bir K3 yüzeyidir. John Morgan. Öte yandan, homeomorfik olan ancak K3 yüzeyine diffeomorfik olmayan pürüzsüz karmaşık yüzeyler (bazıları yansıtmalı) var, Kodaira ve Michael Freedman.^[8] Bu "homotopi K3 yüzeylerinin" tümü Kodaira boyut 1'e sahiptir.

Örnekler

• çift ​​kapak X of projektif düzlem Düzgün bir seksik (derece 6) eğri boyunca dallanmış, cins 2'nin bir K3 yüzeyi (yani, derece 2g−2 = 2). (Bu terminoloji, içindeki ters görüntünün X bir generalin hiper düzlem içinde ${ displaystyle mathbf {P} ^ {2}}$ düzgün bir eğri cins 2.)
• Düzgün bir dörtlü (derece 4) yüzey ${ displaystyle mathbf {P} ^ {3}}$ cins 3'ün (yani, derece 4) bir K3 yüzeyidir.
• Bir Kummer yüzeyi iki boyutlu bir bölümün değişmeli çeşitlilik Bir eylem tarafından ${ displaystyle a mapsto -a}$. Bu, 2 burulma noktasında 16 tekillik ile sonuçlanır. Bir. minimum çözünürlük bu tekil yüzeyin bir Kummer yüzeyi olarak da adlandırılabilir; bu çözünürlük bir K3 yüzeyidir. Ne zaman Bir ... Jacobian 2. cinsin bir eğrisinde, Kummer bölümün ${ displaystyle A / ( pm 1)}$ gömülebilir ${ displaystyle mathbf {P} ^ {3}}$ 16 ile dörtlü yüzey olarak düğümler.
• Daha genel olarak: herhangi bir dörtlü yüzey için Y du Val tekillikleri ile minimum çözünürlük Y cebirsel bir K3 yüzeyidir.
• Bir kesişim noktası dörtlü ve bir kübik ${ displaystyle mathbf {P} ^ {4}}$ cins 4'ün (yani derece 6) bir K3 yüzeyidir.
• Üç kuadriğin kesişimi ${ displaystyle mathbf {P} ^ {5}}$ cins 5'in (yani derece 8) bir K3 yüzeyidir.
• Du Val tekilliğine sahip K3 yüzeylerinin birkaç veri tabanı vardır. ağırlıklı projektif uzaylar.^[9]

Picard kafes

Picard grubu Pic (X) karmaşık bir analitik K3 yüzeyinin X karmaşık analitik çizgi demetlerinin değişmeli grubu anlamına gelir X. Cebirsel bir K3 yüzeyi için, Pic (X), üzerindeki cebirsel çizgi demetleri grubu anlamına gelir X. İki tanım, karmaşık bir cebirsel K3 yüzeyi için uyuşuyor. Jean-Pierre Serre 's GAGA teorem.

K3 yüzeyinin Picard grubu X her zaman bir sonlu oluşturulmuş serbest değişmeli grup; rütbesine denir Picard numarası ${ displaystyle rho}$. Karmaşık durumda, Pic (X) bir alt grubudur ${ displaystyle H ^ {2} (X, mathbb {Z}) cong mathbb {Z} ^ {22}}$. Birçok farklı Picard numarasının oluşabilmesi K3 yüzeylerinin önemli bir özelliğidir. İçin X karmaşık bir cebirsel K3 yüzeyi, ${ displaystyle rho}$ 1 ile 20 arasında herhangi bir tam sayı olabilir. Karmaşık analitik durumda, ${ displaystyle rho}$ sıfır da olabilir. (Bu durumda, X hiçbir kapalı karmaşık eğri içermez. Aksine, bir cebirsel yüzey her zaman birçok sürekli eğri ailesi içerir.) cebirsel olarak kapalı alan karakteristik p > 0, özel bir K3 yüzey sınıfı vardır, supersingular K3 yüzeyleri, Picard numarası 22 ile.

Picard kafes K3 yüzeyinin değişmeli grubu Pic (X) kesişme formu ile birlikte, tamsayılarda değerler içeren simetrik bir çift doğrusal form. (Bitmiş ${ displaystyle mathbb {C}}$kavşak formu, kavşak formunun sınırlandırılması anlamına gelir. ${ displaystyle H ^ {2} (X, mathbb {Z})}$. Genel bir alan üzerinde, kesişim formu kullanılarak tanımlanabilir. kesişme teorisi Picard grubu ile bir yüzeydeki eğrilerin bölen sınıf grubu.) K3 yüzeyinin Picard kafesi her zaman hattayani tam sayı ${ displaystyle u ^ {2}}$ her biri için eşit ${ displaystyle u in operatorname {Resim} (X)}$.

Hodge indeks teoremi cebirsel bir K3 yüzeyinin Picard kafesinin imzası olduğunu ima eder ${ displaystyle (1, rho -1)}$. Bir K3 yüzeyinin birçok özelliği, tamsayılar üzerinde simetrik bir çift doğrusal form olarak Picard kafesi tarafından belirlenir. Bu, K3 yüzeyleri teorisi ile simetrik çift doğrusal formların aritmetiği arasında güçlü bir bağlantıya yol açar. Bu bağlantının ilk örneği olarak: karmaşık bir analitik K3 yüzeyi cebirseldir, ancak ve ancak bir eleman varsa ${ displaystyle u in operatorname {Resim} (X)}$ ile ${ displaystyle u ^ {2}> 0}$.^[10]

Kabaca konuşursak, tüm karmaşık analitik K3 yüzeylerinin uzayı karmaşık 20 boyutuna sahipken, K3 yüzeylerinin uzayı Picard numaralı ${ displaystyle rho}$ boyut var ${ displaystyle 20- rho}$ (supersingular durum hariç). Özellikle cebirsel K3 yüzeyleri 19 boyutlu ailelerde ortaya çıkar. Hakkında daha fazla ayrıntı modül uzayları K3 yüzeylerinin sayısı aşağıda verilmiştir.

K3 yüzeylerinin Picard kafesleri olarak hangi kafeslerin oluşabileceğinin kesin açıklaması karmaşıktır. Nedeniyle net bir ifade Viacheslav Nikulin ve David Morrison, her çift imza kafesi ${ displaystyle (1, rho -1)}$ ile ${ displaystyle rho leq 11}$ bazı karmaşık projektif K3 yüzeyinin Picard kafesidir.^[11] Bu tür yüzeylerin alanı boyuta sahiptir ${ displaystyle 20- rho}$.

Eliptik K3 yüzeyler

K3 yüzeylerinin önemli bir alt sınıfı, genel durumdan daha kolay analiz edilir, K3 yüzeylerinden oluşur. eliptik fibrasyon ${ displaystyle X - mathbf {P} ^ {1}}$. "Eliptik", bu morfizmin sonlu sayıdaki birçok lifinin, cins 1'in düz eğrileri olduğu anlamına gelir. Tekil lifler, rasyonel eğriler, Kodaira tarafından sınıflandırılan olası tekil lif türleri ile. Her zaman bazı tekil lifler vardır çünkü tekil liflerin topolojik Euler özelliklerinin toplamı ${ displaystyle chi (X) = 24}$. Genel bir eliptik K3 yüzeyi, her biri tipte tam olarak 24 tekil fibere sahiptir. ${ displaystyle I_ {1}}$ (bir düğüm kübik eğri).^[12]

Bir K3 yüzeyinin eliptik olup olmadığı Picard kafesinden okunabilir. Yani karakteristik olarak 2 veya 3 değil, bir K3 yüzeyi X eliptik bir fibrasyona sahiptir, ancak ve ancak sıfırdan farklı bir eleman varsa ${ displaystyle u in operatorname {Resim} (X)}$ ile ${ displaystyle u ^ {2} = 0}$.^[13] (Karakteristik 2 veya 3'te, son durum aynı zamanda bir yarı eliptik fibrasyon.) Eliptik bir fibrasyona sahip olmanın, bir K3 yüzeyinde bir eş boyut-1 koşulu olduğu sonucu çıkar. Dolayısıyla, eliptik bir fibrasyona sahip 19 boyutlu karmaşık analitik K3 yüzey aileleri ve eliptik fibrasyonlu projektif K3 yüzeylerinin 18 boyutlu modül uzayları vardır.

Örnek: Her pürüzsüz dörtlü yüzey X içinde ${ displaystyle mathbf {P} ^ {3}}$ bir çizgi içeren L eliptik bir fibrasyona sahip ${ displaystyle X - mathbf {P} ^ {1}}$uzak projeksiyonla verilir L. Tüm düz kuartik yüzeylerin moduli uzayı (izomorfizme kadar) 19 boyutuna sahipken, bir çizgi içeren kuartik yüzeylerin alt uzayı 18 boyutuna sahiptir.

K3 yüzeylerinde rasyonel eğriler

Del Pezzo yüzeyleri gibi pozitif eğimli çeşitlerin aksine, karmaşık bir cebirsel K3 yüzeyi X değil yönlendirilmemiş; yani, sürekli bir rasyonel eğriler ailesi tarafından kapsanmaz. Öte yandan genel tip yüzeyler gibi negatif kıvrımlı çeşitlerin aksine, X büyük bir ayrık rasyonel eğri kümesi içerir (muhtemelen tekil). Özellikle, Fedor Bogomolov ve David Mumford gösterdi ki her eğri X dır-dir doğrusal eşdeğer rasyonel eğrilerin pozitif bir doğrusal kombinasyonuna.^[14]

Negatif kavisli çeşitlerin bir başka zıtlığı, Kobayashi metriği karmaşık bir analitik K3 yüzeyinde X özdeş sıfırdır. İspat, cebirsel bir K3 yüzeyinin X her zaman sürekli bir eliptik eğriler ailesiyle kaplıdır.^[15] (Bu eğriler tekildir X, sürece X eliptik bir K3 yüzeyi olur.) Açık kalan daha güçlü bir soru, her karmaşık K3 yüzeyinin dejenere olmayan bir holomorfik haritayı kabul edip etmediğidir. ${ displaystyle mathbb {C} ^ {2}}$ (burada "dejenere olmayan", haritanın türevinin bir noktada bir izomorfizm olduğu anlamına gelir).^[16].

Dönem haritası

Tanımla işaretleme karmaşık bir analitik K3 yüzeyinin X kafeslerin izomorfizmi olmak ${ displaystyle H ^ {2} (X, mathbb {Z})}$ K3 kafesine ${ displaystyle Lambda = E_ {8} (- 1) ^ { oplus 2} oplus U ^ { oplus 3}}$. Boşluk N işaretlenmiş karmaşık K3 yüzeylerininHausdorff 20 boyutunun karmaşık manifoldu.^[17] Karmaşık analitik K3 yüzeylerinin izomorfizm sınıfları kümesi, N tarafından ortogonal grup ${ displaystyle O ( Lambda)}$, ancak bu bölüm geometrik olarak anlamlı modül alanı değildir, çünkü ${ displaystyle O ( Lambda)}$ olmaktan uzak uygun şekilde süreksiz.^[18] (Örneğin, pürüzsüz dörtlü yüzeylerin alanı 19 boyutunun indirgenemez ve yine de 20 boyutlu ailedeki her karmaşık analitik K3 yüzeyi N dörtlüleri yumuşatmak için izomorfik olan keyfi olarak küçük deformasyonlara sahiptir.^[19]) Aynı nedenle, en az 2 boyutunda kompakt karmaşık torusun anlamlı modül uzayı yoktur.

dönem haritası bir K3 yüzeyini kendi Hodge yapısı. Dikkatlice ifade edildiğinde, Torelli teoremi tutar: K3 yüzeyi, Hodge yapısı tarafından belirlenir. Periyot alanı, 20 boyutlu karmaşık manifold olarak tanımlanır

${ displaystyle D = {u in P ( Lambda otimes mathbb {C}): u ^ {2} = 0, , u cdot { overline {u}}> 0 }.}$

Dönem eşlemesi ${ displaystyle N - D}$ işaretli bir K3 yüzeyi gönderir X karmaşık çizgiye ${ displaystyle H ^ {0} (X, Omega ^ {2}) alt küme H ^ {2} (X, mathbb {C}) cong Lambda otimes mathbb {C}}$. Bu, örten ve yerel bir izomorfizmdir, ancak bir izomorfizm değildir (özellikle D Hausdorff ve N değil). Ancak küresel Torelli teoremi K3 yüzeyleri için, kümelerin bölüm haritasının

${ Displaystyle N / O ( Lambda) - D / O ( Lambda)}$

önyargılıdır. İki karmaşık analitik K3 yüzeyinin X ve Y izomorfiktir, ancak ve ancak bir Hodge izometrisi itibaren ${ displaystyle H ^ {2} (X, mathbb {Z})}$ -e ${ displaystyle H ^ {2} (Y, mathbb {Z})}$yani, kesişme formunu koruyan ve gönderen değişmeli grupların bir izomorfizmi ${ displaystyle H ^ {0} (X, Omega ^ {2}) alt küme H ^ {2} (X, mathbb {C})}$ -e ${ displaystyle H ^ {0} (Y, Omega ^ {2})}$.^[20]

Projektif K3 yüzeylerinin modül uzayları

Bir polarize K3 yüzeyi X nın-nin cins g bir projektif K3 yüzeyi ile birlikte geniş hat demeti L öyle ki L ilkeldir (yani, 2 veya daha fazla kez başka bir satır demeti değildir) ve ${ displaystyle c_ {1} (L) ^ {2} = 2g-2}$. Buna polarize K3 yüzeyi de denir. derece 2g−2.^[21]

Bu varsayımlar altında, L dır-dir taban noktası içermeyen. Karakteristik sıfırda, Bertini teoremi pürüzsüz bir eğri olduğunu ima eder C içinde doğrusal sistem |L|. Bu tür tüm eğrilerin cinsi vardır g, bu da nedenini açıklıyor (X,L) cinsi olduğu söyleniyor g.

Bölümlerinin vektör uzayı L boyut var g + 1 ve benzeri L bir morfizm verir X yansıtmalı alana ${ displaystyle mathbf {P} ^ {g}}$. Çoğu durumda, bu morfizm bir katıştırmadır, dolayısıyla X 2. derece bir yüzeye izomorfiktirg−2 inç ${ displaystyle mathbf {P} ^ {g}}$.

İndirgenemez bir kaba modül alanı ${ displaystyle { mathcal {F}} _ {g}}$ cinsin polarize kompleks K3 yüzeylerinin g her biri için ${ displaystyle g geq 2}$; olarak görülebilir Zariski açık bir alt kümesi Shimura çeşidi grup için YANİ(2,19). Her biri için g, ${ displaystyle { mathcal {F}} _ {g}}$ bir yarı yansıtmalı karmaşık boyut çeşitliliği 19.^[22] Shigeru Mukai bu modül uzayının irrasyonel Eğer ${ displaystyle g leq 13}$ veya ${ displaystyle g = 18,20}$. Aksine, Valery Gritsenko, Klaus Hulek ve Gregory Sankaran bunu gösterdi ${ displaystyle { mathcal {F}} _ {g}}$ -den genel tip Eğer ${ displaystyle g geq 63}$ veya ${ displaystyle g = 47,51,55,58,59,61}$. Bu alan için bir anket verildi Voisin (2008).

19 boyutlu farklı modül uzayları ${ displaystyle { mathcal {F}} _ {g}}$ karmaşık bir şekilde çakışıyor. Aslında, her birinin sayılabilecek şekilde sonsuz sayıda eş boyut-1 alt çeşitliliği vardır. ${ displaystyle { mathcal {F}} _ {g}}$ en az 2 numaralı Picard'ın K3 yüzeylerine karşılık gelir. Bu K3 yüzeyleri, sadece 2 değil, sonsuz sayıda farklı derecede polarizasyona sahiptir.g–2. Dolayısıyla, diğer modül uzaylarının sonsuz çoğunun ${ displaystyle { mathcal {F}} _ {h}}$ buluşmak ${ displaystyle { mathcal {F}} _ {g}}$. Tüm modül uzaylarını içeren iyi tasarlanmış bir alan olmadığı için bu kesin değildir. ${ displaystyle { mathcal {F}} _ {g}}$. Bununla birlikte, bu fikrin somut bir versiyonu, herhangi iki karmaşık cebirsel K3 yüzeyinin cebirsel K3 yüzeyleri boyunca deformasyona eşdeğer olmasıdır.^[23]

Daha genel olarak, bir yarı polarize Cinsin K3 yüzeyi g ilkel bir projektif K3 yüzeyi anlamına gelir nef ve büyük hat demeti L öyle ki ${ displaystyle c_ {1} (L) ^ {2} = 2g-2}$. Böyle bir çizgi demeti hala bir morfizm verir ${ displaystyle mathbf {P} ^ {g}}$, ancak şimdi sonlu sayıda (−2) eğri büzüşebilir, böylece görüntü Y nın-nin X tekildir. (Bir (−2) eğri bir yüzey üzerinde izomorfik bir eğri anlamına gelir ${ displaystyle mathbf {P} ^ {1}}$ kendi kendine kesişme ile −2.) Cinsin yarı polarize K3 yüzeylerinin modül uzayı g hala 19 boyutunun indirgenemez (önceki modül uzayını açık bir alt küme olarak içerir). Resmi olarak, bunu K3 yüzeylerinin modül alanı olarak görmek daha iyi sonuç verir. Y du Val tekillikleri ile.^[24]

Geniş koni ve eğrilerin konisi

Cebirsel K3 yüzeylerinin dikkate değer bir özelliği, Picard kafesinin, yüzeyin birçok geometrik özelliğini belirlemesi. dışbükey koni geniş bölenler (Picard kafesinin otomorfizmlerine kadar). Geniş koni, Picard kafesi tarafından aşağıdaki gibi belirlenir. Hodge indeks teoremine göre, gerçek vektör uzayında kesişim formu ${ displaystyle N ^ {1} (X): = operatöradı {Resim} (X) otimes mathbb {R}}$ imzası var ${ displaystyle (1, rho -1)}$. Bunu şu şekilde izler: ${ displaystyle N ^ {1} (X)}$ pozitif öz-kesişme ile iki bağlı bileşenler. Ara pozitif koni üzerinde herhangi bir bol bölen içeren bileşen X.

Durum 1: Öğe yok sen Pic (X) ile ${ displaystyle u ^ {2} = - 2}$. O zaman geniş koni, pozitif koniye eşittir. Böylece standart yuvarlak konidir.

Durum 2: Aksi takdirde, ${ displaystyle Delta = {u in operatorname {Pic} (X): u ^ {2} = - 2 }}$, kümesi kökler Picard kafesinin. ortogonal tamamlayıcılar Köklerin tamamı pozitif koniden geçen bir dizi hiper düzlem oluşturur. O zaman geniş koni, pozitif konideki bu hiper düzlemlerin tamamlayıcısının bağlantılı bir bileşenidir. Bu tür herhangi iki bileşen, kafes Pic'in ortogonal grubu aracılığıyla izomorfiktir (X), çünkü bu içerir yansıma her bir kök hiper düzlem boyunca. Bu anlamda, Picard kafesi, izomorfizme kadar geniş koniyi belirler.^[25]

Sandor Kovács'tan kaynaklanan ilgili bir ifade, büyük bir bölen Bir Pic'de (X) bütünü belirler eğri konisi nın-nin X. Yani varsayalım ki X Picard numarası var ${ displaystyle rho geq 3}$. Kök seti ${ displaystyle Delta}$ boşsa, kapalı eğri konisi pozitif koninin kapanmasıdır. Aksi takdirde, kapalı eğri konisi, tüm elemanlar tarafından yayılan kapalı dışbükey konidir. ${ displaystyle u in Delta}$ ile ${ displaystyle A cdot u> 0}$. İlk durumda, X (−2) eğrileri içermeyen; ikinci durumda, eğrilerin kapalı konisi, tüm (−2) eğrileri tarafından yayılan kapalı dışbükey konidir.^[26] (Eğer ${ displaystyle rho = 2}$, başka bir olasılık daha vardır: eğrilerin konisi, bir (−2) eğri ve kendisiyle kesişen bir eğri ile uzanabilir.) Yani eğrilerin konisi ya standart yuvarlak konidir, ya da "keskin köşeler "(çünkü her (−2) eğrisi bir yalıtılmış eğrilerin konisinin aşırı ışını).

Otomorfizm grubu

K3 yüzeyleri, otomorfizm gruplarının sonsuz, ayrık ve yüksek derecede etik olmayan olabileceğinden, cebirsel çeşitler arasında biraz sıra dışıdır. Torelli teoreminin bir versiyonuna göre, karmaşık bir cebirsel K3 yüzeyinin Picard kafesi X otomorfizm grubunu belirler X kadar uygunluk. Yani, bırak Weyl grubu W ortogonal grubun alt grubu olmak Ö(Resim (X)) kök dizisindeki yansımalar tarafından oluşturulur ${ displaystyle Delta}$. Sonra W bir normal alt grup nın-nin Ö(Resim (X)) ve otomorfizm grubu X bölüm grubu ile orantılıdır Ö(Resim (X))/W. Hans Sterk'ten dolayı ilgili bir açıklama şu: Aut (X) nef konisine etki eder X rasyonel çok yüzlü temel alan.^[27]

Dize dualitesiyle ilişki

K3 yüzeyleri neredeyse her yerde görünür dizi ikiliği ve bunun anlaşılması için önemli bir araç sağlar. Dize sıkıştırmaları bu yüzeyler önemsiz değildir, ancak özelliklerinin çoğunu ayrıntılı olarak analiz etmek için yeterince basittirler. Tip IIA dizisi, tip IIB dizisi, E₈× E₈ heterotik dizi, Spin (32) / Z2 heterotik dizi ve M-teorisi, bir K3 yüzeyinde kompaktlaştırma ile ilişkilidir. Örneğin, bir K3 yüzeyinde sıkıştırılan Tip IIA dizisi, 4-simit üzerinde sıkıştırılmış heterotik diziye eşdeğerdir (Aspinwall (1996) harvtxt hatası: hedef yok: CITEREFAspinwall1996 (Yardım)).

Tarih

Kuartik yüzeyler ${ displaystyle mathbf {P} ^ {3}}$ tarafından incelendi Ernst Kummer, Arthur Cayley, Friedrich Schur ve diğer 19. yüzyıl geometrileri. Daha genel olarak, Federigo Enriques 1893'te çeşitli sayılar için g2. derece yüzeyler varg−2 inç ${ displaystyle mathbf {P} ^ {g}}$ önemsiz kanonik paket ve düzensizlik sıfır.^[28] 1909'da Enriques, bu tür yüzeylerin herkes için var olduğunu gösterdi. ${ displaystyle g geq 3}$, ve Francesco Severi bu tür yüzeylerin modül uzayının her biri için 19 boyutuna sahip olduğunu gösterdi. g.^[29]

André Weil (1958) K3 yüzeylerine isimlerini verdi (yukarıdaki alıntıya bakınız) ve sınıflandırmaları hakkında birkaç etkili varsayımda bulundu. Kunihiko Kodaira, temel teoriyi 1960 civarında tamamladı, özellikle cebirsel olmayan karmaşık analitik K3 yüzeylerinin ilk sistematik çalışmasını yaptı. Herhangi iki karmaşık analitik K3 yüzeyinin deformasyona eşdeğer ve dolayısıyla diffeomorfik olduğunu gösterdi; bu, cebirsel K3 yüzeyleri için bile yeni idi. Daha sonraki önemli bir gelişme, karmaşık cebirsel K3 yüzeyleri için Torelli teoreminin kanıtıdır. Ilya Piatetski-Shapiro ve Igor Shafarevich (1971), karmaşık analitik K3 yüzeylerine Daniel Burns ve Michael Rapoport (1975).

Ayrıca bakınız

• Enriques yüzeyi
• Tate varsayımı
• Mathieu kaçak içki, K3 yüzeyleri ve yüzeyler arasında gizemli bir ilişki Mathieu grubu M24.

Notlar

Referanslar

• Aspinwall, Paul (1997), "K3 yüzeyleri ve dizi ikiliği", Alanlar, dizgiler ve dualite (Boulder, CO, 1996), World Scientific, s. 421–540, arXiv:hep-th / 9611137, BAY  1479699
• Barth, Wolf P.; Hulek, Klaus; Peters, Chris A.M .; Van de Ven, Antonius (2004) [1984], Kompakt karmaşık yüzeyler, Springer, doi:10.1007/978-3-642-57739-0, ISBN  978-3-540-00832-3, BAY  2030225
• Beauville, Arnaud (1983), "Yüzeyler K3", Bourbaki semineri, Cilt. 1982/83 Exp 609, Astérisque, 105, Paris: Société Mathématique de France, s. 217–229, BAY  0728990
• Beauville, A.; Bourguignon, J.-P.; Demazure, M. (1985), Géométrie des yüzeyler K3: modüller ve périodes, Séminaire Palaiseau, Astérisque, 126, Paris: Société Mathématique de France, BAY  0785216
• Kahverengi Gavin (2007), "Polarize K3 yüzeylerinin bir veritabanı", Deneysel Matematik, 16 (1): 7–20, doi:10.1080/10586458.2007.10128983, BAY  2312974
• Burns, Daniel; Rapoport, Michael (1975), "Kählerian K-3 yüzeyleri için Torelli sorunu hakkında", Annales Scientifiques de l'École Normale Supérieure, Série 4, 8 (2): 235–273, BAY  0447635
• Enriques, Federigo (1893), "Richerche di geometria sulle superficie algebriche", Anı Accademia di Torino, 2, 44: 171–232, JFM  25.1212.02
• Enriques, Federigo (1909), "Le superficie di genere uno", Rendiconti Accademia di Bologna, 13: 25–28, JFM  40.0685.01
• Gritsenko, V. A .; Hulek, Klaus; Sankaran, G. K. (2007), "K3 yüzey modüllerinin Kodaira boyutu", Buluşlar Mathematicae, 169 (3): 519–567, arXiv:matematik / 0607339, Bibcode:2007InMat.169..519G, doi:10.1007 / s00222-007-0054-1, BAY  2336040
• Huybrechts, Daniel (2016), K3 yüzeylerinde dersler (PDF), İleri Matematikte Cambridge Çalışmaları, 158, Cambridge University Press, ISBN  978-1107153042, BAY  3586372
• Kamenova, Ljudmila; Lu, Steven; Verbitsky, Misha (2014), "Hyperkähler manifoldlarında Kobayashi psödometrik", Journal of the London Mathematical Society, 90: 436–450, arXiv:1308.5667, BAY  3263959
• Mukai, Shigeru (2006), "Onüç cinsinin polarize K3 yüzeyleri", Modül uzayları ve aritmetik geometri, Adv. Damızlık. Saf Matematik., 45, Tokyo: Matematik. Soc. Japonya, s. 315–326, BAY  2310254
• Pjateckiĭ-Šapiro, I. I.; Šafarevič, I. R. (1971), "Torelli'nin K3 tipi cebirsel yüzeyler için teoremi", SSCB'nin Matematiği - İzvestia, 5 (3): 547–588, Bibcode:1971 İzMat ... 5..547P, doi:10.1070 / IM1971v005n03ABEH001075, BAY  0284440
• Rudakov, A.N. (2001) [1994], "K3 yüzeyi", Matematik Ansiklopedisi, EMS Basın
• Akrep, Alexandru (2005), 4-manifoldların vahşi dünyası, Amerikan Matematik Derneği, ISBN  978-0-8218-3749-8, BAY  2136212
• Severi, Francesco (1909), "Le superficie algebriche con curva canonica d'ordine zero" (PDF), Atti del Istituto Veneto, 68: 249–260, JFM  40.0683.03
• Voisin, Claire (2008), "K3 (d'après Gritsenko-Hulek-Sankaran, Farkas-Popa, Mukai, Verra, et al.)" (PDF), Astérisque, Séminaire Bourbaki. 2006/2007. Exp 981 (317): 467–490, ISBN  978-2-85629-253-2, BAY  2487743
• Weil, André (1958), "AF 18 (603) -57 sözleşmesine ilişkin nihai rapor", Bilimsel çalışmalar. Toplanan belgeler, II, Berlin, New York: Springer-Verlag, s. 390–395, 545–547, ISBN  978-0-387-90330-9, BAY  0537935

Dış bağlantılar

• Dereceli Halka Veritabanı ana sayfası K3 yüzeyleri kataloğu için
• K3 veritabanı için Magma bilgisayar cebir sistemi
• K3 yüzeylerinin geometrisi, David Morrison tarafından dersler (1988).