(1,1) -sınıflarda Lefschetz teoremi - Lefschetz theorem on (1,1)-classes

İçinde cebirsel geometri bir dalı matematik, (1,1) -sınıflarda Lefschetz teoremi, adını Solomon Lefschetz, holomorfik ile ilgili klasik bir ifadedir hat demetleri bir kompakt Kähler manifoldu integralindeki sınıflara kohomoloji. Tek durum bu Hodge varsayımı tüm Kähler manifoldları için kanıtlanmış olan.^[1]

Teoremin ifadesi

İzin Vermek X kompakt bir Kähler manifoldu olun. İlk Chern sınıfı c₁ holomorfik çizgi demetlerinden bir harita verir. H²(X, Z). Tarafından Hodge teorisi, de Rham kohomolojisi grup H²(X, C) doğrudan bir toplam olarak ayrışır H^0,2(X) ⊕ H^1,1(X) ⊕ H^2,0(X)ve şu kanıtlanabilir ki, c₁ yatıyor H^1,1(X). Teorem, haritanın H²(X, Z) ∩ H^1,1(X) örten.

Özel durumda X bir projektif çeşitlilik holomorfik çizgi demetleri, doğrusal eşdeğerlik sınıfı ile birlikte bölenler ve bölen verilir D açık X ilişkili hat demeti ile O (D), sınıf c₁(O (D)) Poincaré, tarafından verilen homoloji sınıfının iki katıdır D. Böylece, bu, yansıtmalı çeşitlerdeki bölenler için Hodge varsayımının olağan formülasyonunu oluşturur.

Normal işlevleri kullanarak kanıtlama

Lefschetz'in orijinal kanıtı^[2] projektif yüzeyler üzerinde çalıştı ve Poincaré tarafından tanıtılan normal işlevleri kullandı. Farz et ki C_t üzerinde eğri kalem X. Bu eğrilerin her birinin bir Jacobian çeşidi JC_t (Bir eğri tekil ise, uygun bir genelleştirilmiş Jacobian çeşidi vardır). Bunlar bir aile içinde toplanabilir ${ displaystyle { mathcal {J}}}$, üsse bir projeksiyon haritası with ile birlikte gelen kalemin Jacobian'ı T kalemin. Bir normal işlev π'nin (holomorfik) bir bölümüdür.

Yerleştirmeyi düzeltin X içinde P^Nve eğrilerden oluşan bir kalem seçin C_t açık X. Sabit bir eğri için Γ açık X, Γ ve C_t bölen p₁(t) + ... + p_d(t) açık C_t, nerede d derecesi X. Bir temel noktayı düzeltin p₀ kalemin. Sonra bölen p₁(t) + ... + p_d(t) − dp₀ sıfır derecesinin bölenidir ve sonuç olarak bir ν sınıfını belirler_Γ(t) Jacobian'da JC_t hepsi için t. Haritadan t ν'ye_Γ(t) normal bir işlevdir.

Henri Poincaré genel bir eğri kalemi için tüm normal fonksiyonların ν olarak ortaya çıktığını kanıtladı_Γ(t) bazı seçenekler için Γ. Lefschetz, herhangi bir normal işlevin bir sınıf belirlediğini kanıtladı. H²(X, Z) ve ν sınıfı_Γ Γ'nin temel sınıfıdır. Ayrıca, bir sınıf olduğunu kanıtladı H²(X, Z) normal bir işlevin sınıfıdır, ancak ve ancak H^1,1. Poincaré'nin varoluş teoremi ile birlikte, bu teoremi (1,1) -sınıflar üzerinde kanıtlar.

Demet kohomolojisini kullanarak kanıt

Çünkü X karmaşık bir manifolddur, kabul eder üstel demet dizisi^[3]

${ displaystyle 0 to { underline { mathbf {Z}}} { stackrel {2 pi i} { longrightarrow}} { mathcal {O}} _ {X} { stackrel { operatorname {exp }} { longrightarrow}} { mathcal {O}} _ {X} ^ { times} - 0.}$

Bu kesin dizinin demet kohomolojisini ele alırsak,

${ displaystyle H ^ {1} (X, { mathcal {O}} _ {X} ^ { times}) { stackrel {c_ {1}} { to}} H ^ {2} (X, mathbf {Z}) { stackrel {i _ {*}} { to}} H ^ {2} (X, { mathcal {O}} _ {X}).}$

Grup Resim X nın-nin hat demetleri açık X izomorfiktir ${ displaystyle H ^ {1} (X, { mathcal {O}} _ {X} ^ { times})}$. İlk Chern sınıfı haritası c₁ tanım gereği, bunu göstermek yeterli ben_* sıfırdır.

Çünkü X Kähler, Hodge teorisi ima ediyor ki ${ displaystyle H ^ {2} (X, { mathcal {O}} _ {X}) cong H ^ {0,2} (X)}$. Ancak, ben_* haritadaki faktörler H²(X, Z) için H²(X, C), ve üzerinde H²(X, C), ben_* projeksiyonun kısıtlanmasıdır H^0,2(X). Sıfır olduğunu izler H²(X, Z) ∩ H^1,1(X)ve sonuç olarak döngü sınıf haritası örtüktür.^[4]

Referanslar

Kaynakça

• Griffiths, Phillip; Harris, Joseph (1994), Cebirsel geometrinin ilkeleri, Wiley Classics Kütüphanesi, New York: John Wiley & Sons, doi:10.1002/9781118032527, ISBN  978-0-471-05059-9, BAY  1288523
• Lefschetz, Süleyman (1924), L'Analysis situs et la géométrie algébrique, Collection de Monographies publiée sous la Direction de M.Emile Borel (Fransızca), Paris: Gauthier-Villars Yeniden basıldı Lefschetz, Solomon (1971), Seçilmiş makaleler, New York: Chelsea Publishing Co., ISBN  978-0-8284-0234-7, BAY  0299447