Subscribe to DeepL Pro to translate larger documents.

Visit www.DeepL.com/pro for more information.

Bölüm 2. Temel Malzeme (Devam): Kähler Manifoldları

0. Giriş

Bu giriş bölümünde, Riemann geometrisinin bir parçası olarak Kähler

geometrisinin kitapta, özellikle 8, ll, 12, 13 ve 14. Bölümlerde kullanılacak olan
unsurlarını bağımsız bir şekilde geliştiriyoruz.
Rieman geometricilerinin karmaşık geometriyle uğraşma konusunda sıkça
karşılaştıkları isteksizliğin üstesinden mümkün olduğunca gelmeye çalıştık. Bu
amaçla, karmaşık koordinatları kullanmaktan neredeyse kaçınarak sadece gerçek
nesnelerle çalışmaya karar verdik. Bu da bizi özellikle Paragraf H'deki bazı
kanıtları yeniden yazmaya itti.
Öncelik elbette Ricci tensörünün önemli bir rol oynadığı noktalara verilmiştir.
Teorinin burada göz ardı ettiğimiz diğer yönleri için okuyucu, [Chr 2], [Gr-Ha],
[Hir], [Ko-No 2], [Ko-Mo], [Wei 1], [Wel] ... ve diğerleri gibi konuyla ilgili mevcut
önemli literatüre yönlendirilir.

A. Neredeyse Karmaşık ve Karmaşık Manifoldlar

2.2 Tanım. (Bağlantılı) bir manifold üzerindeki en büyük karmaşık yapı, TM teğet
demetinin I otomorfizmalarının (pürüzsüz) bir alanıdır.
(2.2) Ip = - Ip, x c M
burada I özdeşliği gösterir
Eşdeğer olarak, M üzerinde neredeyse karmaşık bir yapı, TM üzerinde karmaşık
sayıların £1 alanının bir eylemidir ve ona M üzerinde karmaşık bir vektör demeti
yapısı verir.

2.3. Bir n/mnsi cnmp/ex manifoldu M'nin n boyutu çifttir. Biz set
n = 2m,
burada m, M'nin cnmp/ex boyutudur ve cnmp/ex operatörü I, M üzerinde tercih
edilen bir yönelim indükler, bunun için uyarlanmış ortonormal çerçeveler {e" Je" ... ,
ep, leg} pozitif yönelimlidir.

2.4. Neredeyse kompleks yapı J, kompleksleştirilmiş tanjantın sp/ininp'sini

indükler
A. Neredeyse Karmaşık ve Karmaşık 67
Manifoldlar
Tc TMOq C'yi birbirine eşlenik iki tamamlayıcı karmaşık alt demet
halinde demetleyin:
(2.4) TcM T'M O "M,
Burada M'nin her bir x noktasında, T jM (resp. TI'M) lifi Jg'nin + i (resp. - i) öz
değerine göre öz uzayıdır. Tersine, TcM'nin tamamlayıcı eşleniği olan her bir
karmaşık alt demeti T'M, M üzerinde neredeyse karmaşık bir yapı belirler.

2.5. T'M'in elemanları (karşılık T "M (1, 0) tipindeki (karmaşık) vektörlerdir

(resp.
(0, 1) tipindedir.
Her bir gerçek teğet vektör N, bir toplam olarak benzersiz bir şekilde ifade
edilebilir:
XU + U,
Burada U (resp. U), ype (1, 0)'ınparçasıdır (resp. offype (0, 1)).
Karmaşık bileşenler U ve U, sırayla, şu şekilde belirlenir:
LI I(= - i'=) I -- I(" + i")
Bu şekilde, TM'nin T'M üzerinde bir C-doğrusal izomorfizmine ve TM'nin T "M
üzerinde bir H-eğik doğrusal izomorfizmine sahibiz.
Tc M karmaşıklaştırılmış teğet demetinin yukarıdaki bölünmesi (2.4) bir
tüm karmaşık tensör demetinin türlerine bölünmesi. Özellikle, sahip olduğumuz
(2.6) NcM I °(p'**)* O /\'(p "**)*,
+'-
burada incM -- /? O H C-değerli r-formlarının demetidir ve burada /\^(T'Af)*
(resp. f*(T "M)*) T'M (resp. T "M) üzerindeki H-doğrusal alternatif p-formlarının
(resp. q-formlarının) demetini gösterir.

2.7. f^ T'M!* @ f*pT "M)* demeti f^¿*M ile gösterilecektir. Elemanları (p, q) tipinde
(karmaşık) formlar olarak adlandırılır.
p, q'ya eşit olduğunda, f^'^M tipi reel formların demetini f^'^M ile gösteriyoruz

Karmaşık operatör, I ile de gösterilen karmaşık bir operatör

oluşturur.
ile tanımlanan T*MI 'M kotanjant demeti

2.9. Not: İşaretin seçimi, eyleminin Hermitian metrik aracılığıyla teğet ve kotanjant
demetlerinin tanımlanmasıyla uyumlu olması gerektiği gerçeğinden
kaynaklanmaktadır (bkz. aşağıda 2.19).
Bu operatör fl*CM'nin tamamına yayılır: 'p tipindeki herhangi bir form için
(P' s)'
(2.10)
68 2. Temel Malzeme (Devam): Kähier
Manifoldları
2.11. Bütünleştirilebilirlik. Neredeyse karmaşık yapı I bütünleştirilebilirdir E aşağıdaki
eşdeğer koşullardan biri geçerlidir:
i) (1, 0) tipindeki herhangi bir l-formu 8'in dış diferansiyeli d8, (1, 0) tipindeki
l-formları tarafından üretilen ideale aittir (eşdeğer olarak, d8'in (0, 2) tipinde
bileşeni yoktur).
ii) ile tanımlanan karmaşık burulma tensörü veya Nijenhuis tensörü N

sıfıra eşittir. Sağ tarafta, X ve Y, X ve Y vektörlerinin herhangi bir yerel uzantısını

gösterir.
iii) (1, 0) tipindeki herhangi iki vektör alanının braketi de aynı şekilde (1, 0) tipinde
bir vektör alanıdır.

2.12. Yukarıdaki üç koşulun eşdeğerliğini tespit etmek kolaydır. Hepsi de J

neredeyse-kompleks yapısının (benzersiz) bir kompleks yapı tarafından
indüklendiğini ima eder. (Newlander-Nirenberg Teoremi ile) bNe-Niv. Ayrıca bkz.
bKohj, bHör ld, [Mal ld.

2.13. (Karmaşık) m boyutlu bir karmaşık mani katının, açık alt kümeler tarafından
örtülmeyi kabul eden, C "nin açık alt kümeleriyle homeomorfik ve holomorfik
geçiş fonksiyonlarına sahip bir (parakompakt, Hausdorff) topolojik uzay olduğunu
hatırlayın (örneğin bkz. [Chr 2d, s. 1). O halde karmaşık bir manifold, teğet demeti
doğal olarak karmaşık bir yapı I ile donatılmış olan ve yukarıdaki anlamda
bütünleştirilebilir olduğu kolayca görülen (pürüzsüz) bir manifolddur.
Öte yandan, bir manifold üzerindeki bir neredeyse-kompleks yapı I, eşdeğer
olmayan iki kompleks yapı tarafından indüklenemez (bkz. bKo-No 2d s. 123).
Karmaşık bir manifoldun karmaşık bir vektör demeti olarak düşünülen teğet
demetinin holomorfik olduğunu, yani holomorfik geçiş fonksiyonları kabul ettiğini
gözlemleyin.

2.14. I integrallenebilir olduğunda, (p,q) tipindeki herhangi bir 'p formunun dış
diferansiyeli d'p, sırasıyla d''p ve d"'p ile gösterilen (p + 1, q) tipindeki bir form ile
(p,q -1- 1) tipindeki bir formun toplamıdır. Böylece iki diferansiyel operatör d' ve d"
elde ederiz, öyle ki d dış diferansiyeli toplamına eşittir
(2.15) d = d' + d "
ve tatmin edici
d'd" + d "d' - 0d " = 0d "' = 0 .
Formlar üzerinde hareket eden yeni bir (reel) diferansiyel operatör
d°'yi (2.16) ile tanımlıyoruz d°'p = -J*'dJ'p = (- 1)'JdJ'p
herhangi bir r-formu 'p için. Elimizde
d° = i(d" - d')
ve eşdeğer olarak
B. Hermitian ve Kähler 69
Metrikleri
d" 2 !d - idC) d' --2!d + id').
'nin karesi sıfıra eşittir ve iki d ve dC operatörü birbirine karşıttır:
dC

dd' + d'd 0 (d')2 0.

Diğer taraftan, e l i m i z d e :
(2.17) dd' -- 2id'd".

2.18. E, M üzerinde herhangi bir karmaşık vektör demeti olsun. Karmaşık bir E-
değerli r-formu bir
i?cM Oc p demetinin kesiti.
Eğer ñ bir C-doğrusal bağlantı V ile donatılmışsa, gerçek durumda olduğu gibi
tanımlarız (bkz.
1.7), £-değerli formların uzayı üzerinde bir dış diferansiyel d*.
M'nin neredeyse-kompleks bir yapı .f ile donatıldığı durumda, EC M OC E
demeti bariz bir şekilde tiplere ayrılır ve eğer integrallenebilir i s e d* toplamına
ayrılır
d* -- d*' + d*"
tıpkı skaler durumda olduğu gibi. Ayrıca dcc operatörünü de 2.16'daki gibi
tanımlarız. Ancak, elbette, bu operatörlerin kareleri artık sıfıra eşit değildir ve
V'nin eğriliğini içerir.

Şu andan itibaren, M karmaşık bir manifold veya eşdeğer olarak, n = 2s

boyutunda bütünleştirilebilir bir neredeyse-karmaşık yapı I ile donatılmış bir
manifolddur.

B. Hermitian ve Kähler Metrikleri

2.19 Tanım. M üzerinde bir Hermitian mntriği bir Riemann metriğidir g öyle ki
(2.19) gilX, JY) g!X, Y) MX, Y a TOM,
ix e M.
Eşdeğer olarak, metrik tensör (1, 1) tipindedir veya I-değişmezdir.

2.20. Riemann geometrisinin çeşitli araçlarını ve bunların karmaşıklaştırılmış

demetlere C-doğrusal veya çoklu-doğrusal uzantılarını aynı sembollerle
gösteriyoruz.
Özellikle, karmaşık tensörlerin veya formların skaler çarpımı (., .) S-
bilineerdir. TQM'den TC M üzerine $ ve TC M'den TQM üzerine § C-doğrusal
izomorfizmlerini indükler ve bu izomorfizmler türleri permute eder. T'M ve T "M
alt demetlerinin skaler çarpım için tamamen izotropik olduğunu gözlemleyin.

2.21. Hodge-yıldız operatörü s (bkz. 1.51), (p, q) türündeki bir formu bir forma
dönüştürür
pm - q,m - p türünde).
İki operatör ve ben, formlara göre hareket ediyoruz, gidip geliyoruz.
70 2. Temel Malzeme (Devamı): Kăhler
Manifoldları
2.22. Hodge-yıldız operatörü + yardımıyla d, d', d", d' diferansiyel operatörlerine
karşılık gelen kodiferansiyel operatörleri şu şekilde tanımlarız:
b -- - "d" b' -- - "d"" b" -- - "d'" b' -- - "d'"
(1.56 ile karşılaştırınız). d, b), [ d ', b"), [d", b') ve [ d ', b') çiftleri (biçimsel olarak)
eşleniktir
küresel skaler çarpıma göre (., . 3.

2.23. Hodge-yıldız operatörü ve yukarıdaki çeşitli eş-diferansiyel operatörler

karmaşık E-değerli formlar için de tanımlanabilir; burada E, £1-lineer bağlantı 9 ile
donatılmış herhangi bir karmaşık vektör demetidir.

2.24. (2.24)'ü ayarlayarak TcM üzerinde bir Hermitian skaler

çarpım h elde ederiz h U,V) = g U, F) 4U, V cTc M)z,
9x e Y.
h'nin T'M alt demetine kısıtlanması, yukarıdaki tanımlama yoluyla şu sonuçları
doğurur
TM ile T'M'in 2.5'i, TM üzerinde bir ffermilinn scn/nr prnduci ?f. Elde ederiz.-

2.25. H X, Y) -- f[g X, Y) - ig JX, Y,'t] 4X, Y c TOM

4x c M.

2.26. Herhangi birveyaS'' kesiti ile tanımlanan 2-

biçimli ¢'yi ilişkilendirerek, ltte reel simetrik I-değişmez bilineer formların rektör
demeti S'''M ile ;t,"'M arasında doğrusal bir
nne-in-nne eşleşmesi elde ederiz.
(2.26) Q X, Y) -- b JX, Y) 4X, Y c TOM,
4x c M.
I-değişmez bilineer b ve ¢ formlarının birbiriyle ilişkili olduğu söylenir. Eğer b
pozitif-belirli (negatif-belirli) ise, ¢ 2-formunun pozitif (negatif-belirsiz) olduğu
söylenir.

2.27 Tanım. Hermitian metriğin Kâhler formu ci, Hermitian metrikle ilişkili 2-
formdur.
metrik tensör ile.
Kăhler-formu ui, Hermitian skaler çarpım 2› hayali kısmına
ff faktörüne kadar eşittir.

2.28 Tanım. Bir Hermit metriği Kâhler'dir iI karmaşık operatör I Levi-Civita

bağlantısı için paraleldir:
(2.28) DJ -- 0 Dz J Y -- JDg Y4X , Y e TOM,
4x c M.

2.29 Önerme. Bir Hermit metriği ancak ve ancak Kâhler formu ci kapalı ise
Kâhler'dir.
B. Hermitian ve Kähier 71
Metrikleri
Kanıt. Eğer metrik Kähler ise, q ve J paraleldir, dolayısıyla m'nin kendisi de paraleldir
ve a fortiori kapalıdır. Tersi daha hassastır (bkz. bKo-No 2d s. 148). Q

2.30 Önerme. Bir Hermit metriği, ancak ve ancak M'nin herhangi bir x noktasının
komşuluğunda bir jeodezik karmaşık koordinat sistemi, yani metriğin karşılık gelen düz
metriğe 2. mertebeden salınım yaptığı bir karmaşık koordinat sistemi varsa Kâhler'dir,
yani

(2.30) q(fi/fiz" ß/ßz ) = ö ve D(öJöz ) -- 0

x noktasında, herhangi bir a, § -- 1, ... için , m.

Kanıt. Bkz. bWeld s. 196, bGr-Hat s. 108, bD-G-M-Sd s. 265.

Sıradan üstel haritanın (bkz. 1.27) yalnızca düz Kähler manifoldlarında jeodezik
kompleks olduğunu unutmayın.

2.31. Kähler formunun yardımıyla, formlar üzerinde hareket eden iki doğrusal
operatör L ve d inşa ediyoruz, burada L şu şekilde tanımlanır:
(2.31) L'p = m 'p
ve d, L'nin (biçimsel) eşleniğidir, yani m ile daralmasıdır.
N'p sıfıra eşitse bir 'p formunun ilkel olduğu söylenir. 'p bir 2-form olduğunda,
'p'nin Kähler formu m ile skaler çarpımına ('p, m) eşit olan d'p skaleri, 'p'nin izidir ve tr
'p ile gösterilir.

2.32. Önerme. Eğer bir Hermit metriği Köhler ise

(2.32) bd, dd = -6' bd, d'd = 6.

Kanıt. Bu iki bağıntı birbirini kolayca takip eder. Önerme 2.30 ışığında, C "deki
kanonik düz metrik için bunları kanıtlamak yeterlidir. Hesaplama biraz
karmaşıktır ancak zor değildir (bkz. bGr-Had s. lll-114). Q

2.33. (2.32)'yi (1, 1) tipinde kapalı bir 2-biçimli 'p'ye uyguladığımızda

(2.33) 6'p = - d'(tr 'p)
Özellikle, 'p ancak ve ancak izi sabitse harmoniktir. Diğer taraftan,
2.32, E'nin doğrusal bir V bağlantısı ile donatılmış bir vektör demeti olduğu £-formları
için de geçerlidir. E'de değerleri olan (1, 1) tipi herhangi bir 2-form 'I' için yukarıdaki
bağıntı şu hale gelir
(2.34) d"'f' = - IV(tr 'f')
Burada tr 'f', 'f'nin 2-biçimli kısmının izidir. Bu bağıntıyı bir Kähler metriğinin
eğriliğine uygularsak fi- /\" içinde değerleri olan (kapalı) bir 2-form olarak görülür. 'M-
bir Kâhler manifoldunun eğriliğinin, ancak ve ancak fiicci tensörü paralel bMat 3d ise
harmonik olduğunu hemen anlarız (Bölüm 16'da bu sonucun geliştirilmesine bakınız)
72 2. Temel MateHal (Devamı): Kähler
Manifoldları
2i35 Açıklama. B -- [d, L] komütatörünün
şu şekilde tanımlanan operatör olduğu kolayca kontrol edilebilir
B[q) -- [m - r)q
herhangi bir r-iorm p için. Öte yandan, elimizde
[B, ù] = - 2ù [B, A] = 2A.
Böylece M'nin her noktasında karmaşık formlar uzayı üzerinde 2. dereceden
özel doğrusal grubun karmaşık Lie cebiri s1(s, 6)'nın doğrusal bir eylemini elde
ederiz. s1(2, 6)'nın doğrusal temsillerinin iyi bilinen teorisini kullanarak, çaba
harcamadan aşağıdaki Lefschetz ayrıştırma teoremini elde ederiz:
p= L°qp [r - m)+ -- maks(0, r - m)
\V

burada p herhangi bir r-iormu ve pp ilkel [r - 2p)-formlarıdır. Kähler formu kapalı

olduğunda, bu eylem karmaşık kohomoloji üzerinde bir sT(2, 6) eylemi indükler ve
ilkel kohomolojiyi içeren kohomoloji uzaylarında benzer bir ayrıştırma elde ederiz.
(Zor Lefschetz teoremi de dahil olmak üzere ilgili sonuçların ayrıntıları için
okuyucuyu [Wel] Bölüm V veya [Gr-Ha] Bölüm 0.7'ye yönlendiriyoruz).

2;36. Herhangi bir reel bilineer form ij' TM'den bir homomorfizma olarak
yorumlanabilir
ayarlayarak T*M içine

veya metrik kullanarak, TM'nin bir endomorfizması olarak, şu şekilde tanımlanır

[fi[X), Y) -- fi[X, Y).
Bağlama göre, i,#(N) daha sonra bir vektörü veya onun dual 1-formunu
gösterecektir. Eğer ¢ (1, 1) tipinde reel bir 2-form ve b 2.26'daki gibi ilişkili
simetrik form ise, TM'nin karşılık gelen endomorfizmaları şu şekilde ilişkilidir
(2.36) §(N) = b(J X).
Endomorfizma ¢ (resp. b) çarpık-simetriktir (resp. simetrik) ve I ile değişir, yani
gerçek anlamda çarpık-Hermitian'dır (resp. Hermitian). ¢ (resp. b) 6 doğrusal
olarak TcM'ye genişletilir ve T'M ile sınırlandırılırsa, Hermitian holo- morfik
teğet demetinin [T'M, h) karmaşık anlamda çarpık-Hermitian (resp. a Hermitian)
bir endomorfizmasını elde ederiz.

2.37. Reel ve karmaşık bakış açılarının karıştırılması bir sorun kaynağı olabilir.
Özellikle, TM'nin (reel) bir endomorfizmi olarak bakıldığında ¢'nin izi sıfıra
eşitken, T'M'nin 6-doğrusal bir endomorfizmi olarak bakıldığında izi tamamen
hayali ve genel olarak sıfır olmayan karmaşık bir sayıdır. İkincisi şöyle
adlandırılır
trc d ile gösterilen ¢ 'nin karmaşık izi, 2.31'de tanımlandığı gibi tr ¢ 'nin (reel) izi
ile ilişkilidir.
(2.37)trc e = i tr p.
2.38. (1, 1) tipinde bir p 2-formu için Lefschetz ayrışımı şu şekilde olur
C. Ricci Tensörü ve Ricci 73
Formu
tr 'p
(2.38)

Burada 'p'nin 'pp ilkel parçası aynı zamanda onun iz bırakmayan bileşenidir.

2.39. Kähler formu m ile ilişkili endomorfizmin J olduğunu ve tr m'nin m'ye eşit
olduğunu gözlemleyin.

2.40. Fiber /\' . ''M yukarıdaki yorumlardan herhangi biri aracılığıyla,

üniter grup U(m)'nin Lie cebiri u(m) ile özdeşleştirilir ve aslında, 'M vektör demeti,
U(m)'nin Adj(p adjoint gösterimi aracılığıyla ilişkili vektör demetidir
u(m) üzerinde, Hermitian metriğe bağlı t/(m)-principal demetine.
İkincisinin alternatif olarak TM'nin uyarlanmış ortonormal çerçevelerinin demeti
(bkz. 2.3) veya Hermitian skaler çarpım fi'ye göre T'M'nin ortonormal çerçevelerinin
demeti olarak görülebileceğini gözlemleyin.

C. Ricci Tensörü ve Ricci Formu

2.42. Riemann eğriliğinin olağan simetrilerine ek olarak, bir Kähler metriğinin

Levi-Civita bağlantısının A eğriliği aşağıdaki bağıntıyı sağlar:
(2.42) A(X, Y)(J2) - J(R(X, Y)(2)) VX, Y, 2 THM,
lx o M,
Böylece Kähler eğriliği A, TM'nin skew-Hermitian endomorfizmlerinin vektör
demetinde (gerçek anlamda veya karmaşık anlamda da (bkz. 2.36), yani ' 'M''de
değerleri olan (1, 1) tipinde (gerçek) bir 2-biçimidir.
Alternatif olarak, Kähler eğriliği /\'' vektör demetinin (simetrik) bir kesiti olarak
görülebilir. M Qx ' M veya ' 'M vektör demetinin (simetrik) bir endomorfizmi olarak.
Kähler eğriliğinin tüm bu yorumları faydalıdır.

2.43. Son bakış açısına göre, Kähler eğriliği Köhler eğrilik operatörü olarak
adlandırılır. Riemann eğrilik operatörü ile aynıdır ancak2 M yerine sadece ' M'nin
bir endomorfizmi olarak görülür.

2.44 Tanım. Aicci form p, Kähler eğrilik operatörü tarafından Kähler form m'nin A(m)
görüntüsüdür.

2.45 Önerme. Bir Kâhler metriğinin Aicci tensörü r, @pe (1, 1)'in (reel, simetrik) bir
bilineer formudur ve ilişkili 2 formu Ricci formu p'dir.

Kanıt. (e "ke" ... , eg, Req} M'nin herhangi bir x noktasında TOM'un
ortonormal uyarlanmış bir temeli ve X, Y TOM'un herhangi iki elemanı olsun.
Elde ederiz
74 2. Temel Matris (Devam): Kähler Manifoldları

rpX, Y) -- Z ( fi(eq, N)e" Y) + Z (*IpJe" X)Je" Y)

a= 1 a=1

a= 1 a=1

Z(fi(e "Je )N, JY).

İkinci eşitlik (2.42) kullanılarak elde edilir ve son eşitlik cebirsel Bianchi
özdeşliği 1.24'tür.
Şimdi, herhangi bir uyarlanmış ortonormal temel için (e" Jeu -- 1, ... , m,
Kähler formu şuna eşittir:

(2.46)

2.47 Önerme. Ricci formu p kapalıdır

Kanıt. Kiihler eğriliği fi'nin simetrisi nedeniyle, p, fi'nin bir /\" olarak düşünülen
daraltılmış çarpımına eşittir. lKahler formu m tarafından M-değerli 2-formu bir /\'l M-
değerli 0-formu olarak düşünülür:

Daha genel olarak, eğer 'p ve /\" i s e lAf-değerli p-formları ve q-formları sırasıyla,
fiber parçalarını skaler çarpım yoluyla daraltarak, 'p J ile gösterilen bir skaler (p -
1- q)-formu elde ederiz:

Yukarıdaki bağıntıyı B ve m'nin her ikisinin de kapalı olduğu Bm'ye uygularsak

/\ '1l M-değerli formlar, fi diferansiyel Bianchi özdeşliği ile (bkz. 1.14) ve m paralel
olduğu için, sonucu hemen elde ederiz.

2.49 Açıklama. Daha genel olarak, yukarıdaki ispattan (1, 1) tipindeki herhangi bir
paralel 2-form 'p'nin Kiihler eğrilik operatörü tarafından görüntüsünün fi('p) kapalı
olduğu sonucu çıkar.

2.50. Ricci tensörü r, Riemann geometrisindeki sıfırıncı dereceden terimdir.

iyi bilinen Bochner formülü 1.155
(2.51) Ö{ bD+ r(X),
Burada herhangi bir l-formu ve N onun dual vektör alanıdır (notasyonlar için 2.36'ya
bakınız), Kählerian geometride, 1-formlar (ve metrik dualite ile vektör alanları)
üzerinde çalışan iki yeni operatör D+ ve D° içeren başka bir Weitzenböck tipi
formülde aşağıdaki gibi görünür. Herhangi bir 1-form için bilineer form D(
aşağıdakilere ayrılır
(2.52) D) -- D+( + D°(,
burada D+( (resp. D () I-değişmezdir (resp. I-skew-invariant). Alternatif olarak
D+(!D ()
D('nin (1, 1) tipindeki (karşılık (2, 0) -F (0, 2) tipindeki) parçasıdır.
D. Holomorfik Kesit Eğriliği 75

2.53 Önerme. Herhangi bir I -formu ( için

(2.53) ôD+( - ôD ) -- rpX),
burada X, ('nin dual vektör alanıdır.

Kanıt. Herhangi bir N vektör alanı için fi(., . )X bir TO-değerli 2-biçimidir ve
fi(., .)X = - d^DX (bkz. 1.12).
2.36, 2.33 ve Açıklama 2 . 34 ile şu sonucu elde ederiz
r!X) -- - p!JX) -- Ad*DJX -- -!b^)C DJX -- 6°(I DIX),
Burada -DIX DIX üzerindeki(2.8) eyleminiTO-değerli) 1-form olarak
gösterir. O zaman -DIX açıkça D+) - D'( farkına eşittir.

2.54 Açıklama. 6'nın (1, 1) tipindeki reel bilineer formlar uzayına (karşılık (2, 0) -F (0,
2) tipindeki) kısıtlaması D+'nın (karşılık D') (biçimsel) eşleniğidir.

2J5 Açıklama. (2.53)'ü Bochner formülü ile birleştirdiğimizde

(2.55) 2zïJ bD+)
herhangi bir 1-formu için {.
Özellikle, l -formu ( kompakt bir Kähler manifoldu üzerinde harmoniktir, eğer ve
onl y
D+'nın çekirdeğine aitse.
D+f ,'nin Kähler metriğine bağlı olmadığını gözlemleyin. Aslında (
ancak ve ancak (1, 0) tipindeki kısmı holomorfik i s e harmoniktir (bkz. 2.102).

2J6 Açıklama. (2.55) ile (2.56) ayrışımını birleştirerek

11 1
D( --

D(bilineer formunun O(2s) ortogonal grubunun etkisi altında burada zamanki gibi {- dual vektör
alanını gösterir
1 (m - 1)
(2.56a) ôD ( -- -a(*'g)o d6J
2 2 m
veya eşdeğer olarak (bkz. 1.60), herhangi bir 1-form için {,
(2.56b) ôD'( -- ôô*( - 12 dö).

D. Holomorfik Kesit Eğriliği

2.57 Tanım. Holomorfik kesit eğriliği, UM üniter teğet demeti üzerinde aşağıdaki
şekilde tanımlanan ff fonksiyonudur
76 2. Temel Malzeme (Devamı): Kähler
Manifoldları
(2.57)

Alternatif olarak, ff(I) N tarafından belirlenen karmaşık doğrunun, yani N ve JR

tarafından oluşturulan 2-düzlemin kesit eğriliğidir.

2fi7. Holomorfik kesit eğriliği tüm Kähler eğriliğini belirler, tıpkı kesit eğriliğinin
tüm Riemann eğriliğini belirlediği gibi. (İlk gerçek ikincisinden kolayca
çıkarılabilir).
Riemann durumunda olduğu gibi, eğer Cf UM'nin herhangi bir lifi üzerinde
sabitse, her yerde sabittir (m = 1 olmadığı sürece).
c'ye eşit sabit holomorfik sekansiyel eğriliğe karşılık gelen Kähler eğrilik
operatörü ile verilir:
C
(2.58) A= ((m + 1)ld;;., + ld;y 'M)'
2
Burada iti M'nin (karmaşık) boyutu, $- m ise M'nin önemsiz (reel) çizgi alt demetidir.
/\" 1M, m Kăhler formu tarafından üretilir, /\ 'M (1, 1) tipi reel ilkel 2 formlarının
vektör demeti, Id özdeşlik.
Tüm vektör demetinin özdeşliğinin /\" olduğuna dikkat edin. lM, birinci
Bianchi özdeşliğini sağlamadığı için herhangi bir Kăhler yapısının Kiihler eğrilik
operatörü değildir.

2J9 Örnek. Karmaşık mermi uzayı H P', H "+1 orijininden geçen karmaşık doğruların
manifoldudur; eşdeğer olarak, CW, O*'nun doğal etkisiyle H "+' - (0}'ın bölümüdür.
Up, CP" üzerinde H "+1 - {0} açık alt kümesinde şu koşulla belirlenen görüntü olsun:
z'' Z 0, burada (z1 ,... , z'+l ) C'+' 'nin genel bir noktasını gösterir. Her Yukarı'da
karmaşık koordinatlar elde ederiz, x° , u 1 , ... , m tarafından

Bu şekilde P ' üzerinde karmaşık bir yapı elde ederiz. Şimdi her açık Up altkümesi
üzerinde tanımlanan (1, 1) tipindeki m 2-biçimini ele alalım:

(2.59) c ddc log 1 + | ;x° | 2 ,

Burada c pozitif bir sayıdır. Bu 2-biçimli m, Fubini-Stud y metriği (c parametresi ile)

olarak adlandırılan bir Kähler metriğinin Kähler biçimidir.
Bu Kähler metriğinin holomorfik kesit eğriliği sabittir, eşittir
C'ye.
Olağan Fubini-Stud y metriği c'nin 4'e eşit olmasına karşılık gelir.

2.60 Örnek. (Karmaşık) m boyutlu bir karmaşık torus, C" nin bir N kafesiyle
bölüm uzayıdır. C" nin düz metriği, herhangi bir N kafesi için C"/ üzerinde düz
bir Kähler metriği indükler. Tersine, herhangi bir kompakt düz Kähler manifoldu
M, karmaşık bir torus tarafından holomorfik olarak koordine edilir (bkz. §Bie§).
2.61 Örnek. D*, C" içinde birim küre olsun. ile tanımlanan m 2-formları
D. Holomorfik Kesit Eğriliği 77

(2.61) m, = 1 dd° log 1 i-°i2

oZi
Bergmann metriği olarak adlandırılan pozitif c sayısı ile parametrize edilen D*
üzerindeki (tam) Kähler metriğinin Kähler formlarıdır.
Yine, c ile parametrize edilen Kähler metriğinin holomorfik kesit eğriliği
sabittir ve - c'ye eşittir.
Olağan Bergmann metriği c'nin 4'e eşit olmasına karşılık gelir.

2.62. Tersine, c sabit holomorfik kesit eğriliğine sahip herhangi bir kompakt Kâhler
mani kıvrımı, c pozitif ise bir Fubini-Stud y metriğine sahip SP"''ye veya c negatif
ise ayrık bir izometri grubu tarafından bir Berqmann metriğine sahip D"'nin
(kompakt) bir bölümüne izomorfiktir. (bkz. [Ko-No 2d s. 170).

2.63. Kâhler küratür tensörünün ayrışımı.

Lefschetz ayrışımı 2.35- 'M Kähler eğrilik tensörününbir
ayrışımını indükler, /\"'M ''nin bir bölümü olarak görülürM. Elde ederiz

s 1 1
(2.63) tutu + Qx m + B,
2m2

nerede p Ricci formunun ilkel kısmıdır ve B alt demetinin bir bölümüdür

' M @ - M.
p M'nin bir endomorfizmi olarak bakıldığında, B
tensörü aşağıdaki gibi ayrışır
tr B
(2.64) B--
(m2 - 1)
Burada By'nin izi sıfırdır ve tr B, B'nin izidir.
Kähler eğrilik operatörünün izi s/2'ye eşit olduğundan, bir kerede

(2.65) tr B -- 2(1 - 1/m).

2.66. 2.57'ye göre, holomorfik kesit eğriliğinin ancak ve ancak p ve By'nin her ikisi
de sıfıra eşitse sabit olduğunu görürüz. Dahası, skaler eğrilik de sabittir ve şu
değere eşittir
(2.66) s -- m(m - 1)c
eğer c sabit holomorfik kesit eğriliğinin değeri ise.

2.67. Riemann eğriliğinin 1.114 ve (2.63) numaralı iki ayrışımını

karşılaştırdığımızda, normlar arasında aşağıdaki ilişkileri elde ederiz:
3(m - 1)|g/)2 _ 'rx - 2) )2+ | W)2
(2.67) B | 2=
(m -j- 1)

s2 = 4m(2m - 1 t| t/ |2
ki bu da
78 2. Temel Malzeme (Devamı): Kähler
Manifoldları
2.68 Önerme. m > 1 (karmaşık) boyutlu bir Kâhler manifoldunun eğriliğinin U ve W
bileşenlerinin normları şu eşitsizlikle ilişkilidir
m-1
(*®) m+1
II |2 .

Eğer m > 2 ise, eşitlik ancak ve ancak holomorfik kesit eğriliğinin sabit olması
durumunda geçerlidir. Özellikle, m > 2 boyutunda, herhangi bir konformal düz Kâhler
metriği düzdür.

2.69 Açıklama. Eğer m = 2 ise, eşitsizlik (2.68) açık eşitsizliğe indirgenir

ve eşitlik ancak ve ancak Kähler metriği öz-dual veya hall konformal düz (IF* -- 0) ise
geçerlidir.
Ek olarak, metrik konformal olarak düz ise, eğrilik Z bileşenine indirgenir.
Özellikle, eğrilik harmoniktir (bkz. 16.E) ve Ricci tensörü 2.34'e göre paraleldir.
Karmaşık boyut 2'nin herhangi bir kompakt konformal düz Kähler manifoldunun
yerel olarak zıt, sabit eğrilik metriklerine sahip Riemann yüzeylerinin bir
çarpımı tarafından kaplandığı kolayca anlaşılır.

E. Chern Sınıfları

2.70. Karmaşık bir M manifoldunun karakteristik sınıfları Kâhler eğriliği A'dan

aşağıdaki şekilde elde edilir. P, u(m) Lie cebiri üzerinde herhangi bir gerçek Adj(q
-simetrik p-çoklu doğrusal form olsun. Adj(qj-değişmezliği nedeniyle, P vektör
demeti üzerinde yine P ile gösterilen (simetrik) bir p-çoklu doğrusal form
indükler
M. Daha sonra P, M üzerinde (p, p) tipinde bir (reel) 2p-formu indükler:

(2.70) c(A)=

Tabii ki burada A, /\''M-değerli 2-form olarak düşünülür.

c (A)'nın kapalı olduğu ve H2 -(M, A)'daki kohomolog y sınıfının Kâhler metriğinin
seçimine bağlı olmadığı kanıtlanabilir. (bkz. [Chr 3j s. 113-115). Bu şekilde, u(m)
üzerindeki Adj(qj-değişmez simetrik r-çoklu doğrusal formların I(m) uzayından,
görüntüsü M'nin karakteristik sınıflarının uzayı olan H*(M,18)'e bir homomorfizma
(Chern-Weil homomorfizması olarak adlandırılır) elde ederiz.

2.71 Açıklama. Aynı homomorfizmayı herhangi bir karmaşık bağlantının

eğriliğini kullanarak da elde edebiliriz; burada karmaşık bağlantı, I'nın paralel
olduğu doğrusal bir bağlantıdır (bkz. 1.15).
I(m)'nin her P elemanının u(m) üzerindeki P polinom fonksiyonu tarafından
mükemmel bir şekilde belirlendiğini gözlemleyin. O zaman I(m) bir halkanın doğal
yapısına sahiptir ve Chern-Weil homomorfizmasının kendisi bir halka
homomorfizmasıdır. Bir halka olarak I(m), 1 ve ñ ile tanımlanan m temel simetrik
polinom tarafından üretilir.
E. Chern 79
Sınıfları

(2.72) äq!A) -- öq

nerede herhangi bir çarpık-Hermitian matris A'nın köşegen

formudur

ve aq pt ^ temel simetrik fonksiyonudur:

",('"...,',)= ,Z, '". ......'".

2.73 Tanım. pt ° reel Chern sınıfı cq!M), öp polinom fonksiyonunun Chern-Weil

homomorfizmi altındaki görüntüsüdür. Karşılık gelen p-formu öq(fi), Kähler metriği
ile ilişkili cq!M)'nin kanonik temsilcisidir.

2.74 Lemma. Xq, f' M vektör demetine etki eden äq'nin tam polarize formu olsun:

(2.74) *°(°' ')' (p!)2 °(e'

P = 1 için, N 'p = N1 ('p) izini elde ederiz. Eğrilik operatörünün simetrisinden
aşağıdaki temel gerçeği çıkarırız

2.75 Önerme. Birinci gerçel Chern sınıfı c1 pM) p 2-formu ile temsil edilir.
2x

2.76 Sonuç. Ricci form p'nin reel kohomoloji sınıfı sadece

'nin karmaşık yapısını daha sonra doğrudan göreceğiz (bkz. 2.101).

p2 için , 2.32'deki N operatörünün d karesini2 kullanarak, şu sonucu elde ederiz

2.77 Lemma.
1
(2G77) 2(Es J) ' (° - -) 2(tr -'p try - ('p, J))
4

2 m
burada to' to Ore sırasıyla ':p, fi'nin ilkel kısımlarıdır (bkz. 2.32).

Kanıt. (Alıştırma).

q simetrik bilineer formunun /\ '1l M üzerinde şu şekilde tanımlandığını düşünün

80 1 Temel Malzeme (Devamı): Kăhler Manifoldları

2
(2,78) q ('p
' *) 2

(1, m2 - 1) imzasının dejenere olmayan bir formudur.

F' 'M Ci ' M tensör çarpımı üzerinde (m^ - 2m2 + 2, 2m2 - 2) imzalı, q ile
gösterilen, dejenere olmayan bir simetrik bilineer form indükler. q(A, A), q'ya göre A
Kăhler eğriliğinin "normunun" karesini göstersin.
1
c2( ) - 2
2( A) ikinci Chern'in kanonik temsilcisi olmak üzere
4
olsun
A'ya bağlı sınıf. (2.77)'den kolayca elde ederiz
1
(2.79) C 2 ( 2(°)-)
gq2

4t'nin 2.63 ayrışımını kullanarak A pte formülünü çıkarırız [Apt3

1 1 (m - 1) - 1)p
(2&0) '(C2( )) - S2 2( 2+ |B 2
8x 4(m + 1)
2

1 2 2+ | W 2)
gp 2
((2m - 3)(m - 1) | (2m - 3)|

while
1
(2&1) d2 ( (A))- 1 (rx - 1)
S
4x2
2 4rx
Bu
neden
le 1 2 2(rx 1)' (ft)- 2(A) 2p 2+ (m + 1) | B 2
2 c 412 -1 -

(2.82)

M üzerinden integral aldığımızda

1 m-2
(2.80a) (C2 )M
(ru - 2)!
1 (m - 1)
S
' 8x2 4(m + 1)
"
1
((2r - 3)(r - 1) | L/ |2 - (2r - 3/I |Z |2 -I- | W|2 ) "

1 1 (ru - 1)
(2&1a) (c2 U [':n} 2)M S
(m- 2)! 4x2 4rx
12(m + 1) c2 2
(2.82a) (m - 2)! , U§m§ M
C2
m
2
- 1-
F. Bir Doğru Demetinin Eğrilik Formu Olarak Ricci Formu 81

2.83 Açıklama. (2.80a), (2.81a), (2.82a)'nın sol taraftaki üyeleri sadece ct ve c2

Chern sınıflarına ve[md Kähler sınıfına bağlıdır (bkz. aşağıda 2.114).
Dahası, m 2'ye eşit olduğunda, iki Chern sayısı c2 Und c2 sadece şunlara bağlıdır
altta yatan yönlendirilmiş manifold üzerinde. Bunlar w imzası ve Euler-Poincaré
karakteristiği 2 ile şu şekilde ilişkilidir
(2.84) c2, = 3z + 22 c2 = 2.
Özellikle, m = 2 olduğunda, (2.82a) şu hale gelir

(2.85) -- | pp |2 -}- |By | 2 y.

3c2 - c2 = /- 3z =
4n2 p 2

F. Bir Doğru Demetinin Eğrilik Formu Olarak Ricci Formu

2.86. L, M üzerinde herhangi bir holomorfik çizgi demeti olsun, yani holomorfik
geçiş fonksiyonlarını kabul eden (karmaşık) birinci dereceden karmaşık bir vektör
demeti. L'nin Hermitian fiberli skaler çarpım h ve h ile uyumlu bir V bağlantısı ile
donatılmış olduğunu varsayıyoruz. I, L'nin yerel bir holomorfik "çerçevesi" olsun,
yani sıfırsız (yerel) bir holomorfik kesit. V bağlantısı daha sonra şu şekilde
tanımlanan yerel bir 1-form q tarafından belirlenir
(2.87)

V'nin h ile uyumluluğu şu şekilde ifade edilir

X- h(l,1) -- h(4z 1,1) + h(l, 4 1) -- (q + ij)(X) - h(l,1)
ya da daha basitçe
(2.88) q + ÿ = d log | f|2 ,
Burada | I|2 s normunun h(l,1) karesini göstermektedir.
Öte yandan, A° eğriliği olağan şekilde şu şekilde tanımlanır:

Böylece It° eğriliği yerel olarak - dq'ya eşit (küresel olarak tanımlanmış) bir skaler
2-form olarak görünür. Özellikle, It° kapalıdır ve 2.88'e göre saf hayali bir skaler
formdur.

2.90 Önerme. R" eğriliği ancak ve ancak paralel bir kesit varsa sıfırdır.
M'nin herhangi bir noktasının komşuluğunda.

Kanıt. Önerme 2.90 doğrusal bağlantılar teorisindeki genel bir gerçeğin özel bir
durumudur ancak buradaki doğrudan doğrulama kolaydır. Gerçekten de, eğer It°
sıfır ise, herhangi bir (yerel) holomorfik I kesitine göre yerel bağlantı formu q -
muhtemelen M'nin sabit bir x noktasının daha küçük bir komşuluğunda - Poincaré
lemması ile d(Iog f)'ye eşittir, böylece f - I paraleldir. Q
82 2. Temel Malzemeler1(Devam): Kähler
Manifoldları
Hermitian bağlantılar arasında, aşağıdakileri sağlayan tercih edilen bir tanesini
ayırt ettik
ek koşul

2.91. 9 ql, herhangi bir holomorfik bölüm 1 ve (1, 0) tipindeki herhangi bir U vektörü
için sıfıra eşittir.
Böyle bir bağlantı için, (2.92)'yi kolayca
çıkarabiliriz p d' log |
J|2
Dolayısıyla
(2.93) fi" = - d "d' log | J|2
sıfır içermeyen herhangi bir holomorR*-'c yerel bölüm 1'e göre.
Özellikle, fi° eğriliği (1, 1) tipindedir.
(2.92)'nin (L, Ii)'nin Hermitian bağlantısı veya Chern bağlantısı olarak adlandırılan
tercih edilen bağlantının hem varlığını hem de tekliğini sağladığını gözlemleyin. (bkz.
Chr 2§ § 6).

2.94. Bu bağlantı için, herhangi bir plokal) paralel kesit holomorfiktir, çünkü, eğer -f
1
paralel ve I holomorfik ise, df 1-formu (1, 0) tipinde olmak zorundadır. Bu şu anlama
gelir
f holomorfiktir.

2.95. Karmaşık bir manifold üzerinde, iki seçkin holomorfik çizgi demetimiz vardır
(önemsiz olanın dışında): kanonik çizgi demeti K ve onun ikizi K*.
Kanonik çizgi demeti K, (m, 0) tipindeki formların /*!T'M)* demeti iken, anti-
kanonik çizgi demeti K*, (m, 0) tipindeki alternatif kontravaryant tensörlerin *T'M
demetidir.
Hem K hem de K*, T'M'nin fiberli Hermit metriğinden h fiberli Hermit metriğini
miras alır ve Levi-Civita bağlantısı tarafından K ve K* üzerinde indüklenen
bağlantılar açıkça ilişkili Hermit bağlantılarıdır.
Şimdi, K* (K)'nın ilişkili eğrilik tensörü, Kähler eğriliği R'nin fiber kısmının
karmaşık anlamda izine (iz eksi) eşittir.
Kähler eğrilik operatörünün simetrisinden hemen şu sonucu çıkarırız

2.96 Önerme. Ricci formu p, kanonik çizgi demeti K'nın eğrilik tensörünün i katına
(presp. - i katına) ve anti-kanonik çizgi demeti K*!

2.97 Sonuç. Ricci formu p, ancak ve ancak M'nin benim noktamın bir komşuluğunda
(in, 0) tipinde paralel dolayısıyla holomorfik bir form varsa sıfıra eşittir.

Kanıt. Bu hemen 2.90 ve 2.96 numaralı önermelerden çıkar.

2.98 Sonuç. e , a -- 1, ... , m olsun. , m, T'M'in herhangi bir yerel holomorfik

çerçevesi tarafından, pg ¡¡ genel elemanı pe" E$) det((q g)) skaler çarpımına eşit olan
Hermitian matris, bu matrisin determinantı. Ricci formu p yerel olarak şu şekilde
ifade edilir

(2.98) p -- - id'd" log det((p g))

G. Hodge Teorisi 83

Kanıt. Önerme 2.93 ve 2.96'ya göre, p (2.99)'a eşittir

p -- - kimlik" log | f|2
Burada 1, K*'nın sıfır olmayan herhangi bir yerel holomorfik bölümüdür. Bu bağıntı şu
durumlarda geçerlidir
özellikle karesel normu açıkça det((py))'ye eşit olan 1 -- ct- --eg için. Q

2.100 Sonuç. p 4ticci formu sadece karmaşık yapıya ve Kâhler metriğinin p hacim
formuna bağlıdır

Kanıt. Corollary 2.98'den açıkça görülmektedir.

2.101 Açıklama. pp karmaşık bir M manifoldu üzerindeki

herhangi bir sabit Kähler metriği, vve pp sırasıyla hacim formu ve Ricci formu olsun.
Kähler metriğininpp'den p'yeherhangi bir değişimi için, hacim formu y f - pp" şeklinde değişir, burada

f pozitif bir skaler fonksiyondur, Ricci formu ise 2.98 ile p-- p- id'd" logf şeklinde
değişir. Karmaşık bir mani kıvrımı üzerindeki bir Kähler metriğinin Aicci formunun
M belirli bir kohomoloji sınıfında değişir.
Tersine, şu soruyu sorabiliriz: Herhangi bir pozitif skaler fonksiyon için herhangi
bir 2-biçimli - id'd"logf lastiği bir

Kähler metriğinin Ricci biçimi midir?

Eşdeğer olarak, herhangi bir S hacim formu -yani M'nin yönelimini sıfıra
indirgemeyen herhangi bir 2m formu- bir Kähler metriğinin hacim formu mudur?
Bu ünlü Calabi problemidir. M kompakt olduğunda cevap evettir (bkz. Bölüm 11).

G. Hodge Teorisi

Aşağıdaki Laplace operatörlerini göz önünde bulundurun

d -- dö + öd d' -- d'ö' + ö'd' d" -- d "ö" + ö "d" d° -- d°ö° + ö° d°.
Bir Kähler metriğinin temel özelliklerinden biri şudur

2.102 Önerme. Bir Kâhler metriğinin Laplace operatörleri şu bağıntıları sağlar

(2.102) d = d' = 2d' = 2d".
Özellikle, Riemann Laplacian D, J ile değişir ve form türlerini korur.

Kanıt. Önerme 2.33'ün kolay bir sonucudur. o

Şimdi M karmaşık manifoldunun kompakt olduğunu
varsayalım.

2.103. Karmaşık katsayılara sahip p'^ kohomoloji uzayının

H^(M, C) harmonik (karmaşık) p-formlarının uzayına izomorfiktir. Daha kesin
olarak
84 2. Temel Malzeme (Devamı): Kähler
Manifoldları
H*!M, C) (karmaşık) dış formlar üzerinde etkili olan dış fark d ile ilişkili
kohomoloji uzayına izomorfiktir (De Rham teoremi) ve her d-kohomoloji sınıfında
bir ve yalnızca bir harmonik form pHodge teorisi vardırJ.
Aynı şekilde, karmaşık dış formlar üzerinde etkili olan d" ile ilişkili d"-
komolojisini düşünün. Yine, her d"-komoloji sınıfının bir ve sadece bir d"-harmonik
form içerdiği Dolbeault teorisi ile kanıtlanabilir (Him §15). Böylece her (p, q) tipi
için d" tarafından yok edilen (p, q) tipi formların uzayına izomorfik bir H *!M, C)
kohomoloji uzayı elde ederiz.
Káhler durumunda, d", 1/2 faktörüne kadar Riemann'a eşittir.
Laplacian, H^'*!M, C) uzayları H^**!M, fi)'nin alt uzayları olarak nppenr ve
aşağıdaki H'!M, C) türlerine ayrıştırmayı elde ederiz:

H^'* ile H^*!M, H)'nin (karmaşık) boyutunu gösterirken, b" rt

Betti sayısı, her zamanki gibi H'!M, C)'nin (karmaşık) boyutunu gösterir.
d" gerçel olduğundan, eşleniklik (çarpık-doğrusal) bir izomorfizme neden olur
arasında
H^ *!M, H) ve H*'^!M, C) pserre dualitesi). Özellikle
(2.105) Ii^ ° 6^'^ Vp, q0 , 1, ... , ni.
Tek mertebeden Betti sayılarının çift (muhtemelen sıfır) olduğu sonucunu
hemen çıkarırız.

2.106. Öte yandan, Kähler formu ve kuvvetleri harmoniktir, böylece h^ * her p =

0, 1, ... için boş değildir. Bu, çift mertebeden Betti sayılarının boş olmadığını ima
eder.
Böylece, belirli bir kompakt karmaşık manifold üzerinde bir Kähler metriğinin
varlığına topolojik nitelikte engeller elde ediyoruz.

2.107. Örneğin, altta yatan manifoldu S'Y z S'Y+1 tek boyutlu iki sferin çarpımı olan
Calabi-Eckmann manifoldları !S' x Sl hariç), herhangi bir Kähler metriğini kabul
etmez (bkz. [Chr 2§ s. 4-6).

2.108 Açıklama. H^ *!M, H) ile (p, q) tipi formlar üzerine etki eden d" çekirdeği
arasındaki izomorfizm herhangi bir Hermit metriği için hala geçerlidir. Genel olarak
H° °(M, C) uzayları sıradan kohomoloji ile Kähler durumunda dejenere olan bir
spektral dizi ! Fröhlicher spektral dizisi! ile ilişkilidir ve bundan şu eşitsizliği
çıkarırız
(2.108)

Ancak genel olarak aşağıdaki eşitliği elde ederiz

m
(2.108 bis) '' Z (-*)'"'^"'
p, q =0

Burada 2, Euler-Poincaré sayısını göstermektedir. (bkz. Gr-Han s. 444).

2.102'nin bir diğer önemli sonucu da şudur
G. Hodge Teorisi 85

2.109 Önerme (dd'-lemma). Herhangi bir reel dd°-kapalı p-formu 'f'nin Hodge
ayrışımı şöyle yazılabilir
(2.109) 'p = döa + d°ö fl + 'pp
Burada a ve fl reel p-formlarıdır ve 'pz ' p'nin harmonik kısmıdır.

Kanıt. bkz. [D-G-M-Sd 5.11. o

2.110 Sonuç. (1, I) türündeki herhangi bir reel d-eksik 2-form 'p -- d( dd'-eksiktir.

Kanıt. 2.109'u 1-formuna uygulayın 'p - J 'p olduğu için dd*-kapalıdır.

2.111 Tanım. Bir (reel) f fonksiyonunun Levi formu (1, 1) 2dd°f tipinde (reel) 2 formudur.
Levi formu sıfır olan bir (yerel) fonksiyona pluriharmonik denir. Levi formunun izinin
tersi olan karmaşık Laplacian, bir Kahler mani kıvrımı üzerinde, (Riemannian)
Laplacian d ile şu şekilde ilişkilidir
(2.112) ó f -- -(dd° f, o').

2.113 Sonuç. 2.115, kompakt bir Kähler manifoldu üzerinde geçerli olan global bir
teoremdir. Şimdi, herhangi bir karmaşık manifold üzerinde, (1, I) türündeki herhangi
bir kapalı 2-biçimin yerel olarak bir (reel) fonksiyonun Levi biçimi olduğu kolayca
kanıtlanabilir (bkz., örneğin [Wei Id).

Özellikle, bir Kähler manifoldunun Kähler formu, yerel olarak Káhler

potansiyeli olarak adlandırılan ve (yerel) bir pluriharmonik fonksiyona kadar
belirlenen gerçek bir fonksiyonun Levi formudur.

2.114 Tanım. Bir Kähler formunun Kähler sınıfı, m'nin [md] kohomoloji sınıfına ait
Kähler formlarının kümesidir.
Corollary 2.110 ile in'in Kähler sınıfının her bir elemanı in'den çıkarılır.
tarafından
(2.114) in' = in + dd'f,
Burada f bir sabite kadar belirlenen reel bir fonksiyondur.

2.115. (£, h) holomorfik bir Hermit demeti olsun, yani lifli bir Hermit metriği h ile
donatılmış holomorfik bir vektör demeti £ olsun. h ile ilişkili Chern bağlantısı V
yardımıyla, olağan d, d", ö", d" vb... operatörleri inşa ederiz (burada V alt
simgesini atıyoruz). Aslında, d" nin h'ye bağlı olmadığı ve £-değerli formlar
üzerinde etkili bir kohomoloji operatörü olduğu kolayca kontrol edilebilir. Böylece
yukarıdaki gibi bir ff-'"(ñf, £) kohomoloji uzayı elde ederiz ki bu hala ó"
tarafından yok e d i l e n (h'ye bağlı olan) (p,q) türünden E-değerli formların
uzayına izomorfiktir.
p -- 0 için, H""(M, £) uzayı, örneğin Ğech yöntemiyle elde edilen £'nin holomorfik
kesitlerinin germlerinin I demetindeki değerlerle M'nin q" kohomoloji uzayına da
izomorfiktir (bkz. [Hire § 15).
86 2. Temel Malzeme (Devamı): Kähler Manifoldları

h^ "(E), H- "(M, £)'nin (karmaşık) boyutu olsun.

M'nin f'ye göre Euler sayısını /(M, f) şu şekilde tanımlarız

(2.116) y(M, d'-) Z '- +)°*' "(*)

so
Ünlü Riemann-Roch-Hirzebruch Teoremi, z(M, £)'nin M ve 6'nın Chern
sınıflarında sadece M'nin boyutuna ve £'nin rankına bağlı olan evrensel bir
polinomun M üzerindeki integrali ile ifade edilebileceğini ileri sürer (bkz. [Hire §
21).

2.117. Özellikle, G yapı demetine göre Euler sayısı Z(M, G)

'ye eşit olan (önemsiz çizgi demeti ile ilişkili)

(2.117) y(M,G) - Z '- ')°*' °

'0
M'nin Chern sınıflarında ve dolayısıyla 2.70 ile Kâhler eğriliğinde evrensel bir
polinomun (sadece m'ye bağlı olarak) M üzerindeki integrali olarak ifade edilebilir.

2.118. M üzerinde Hermitian holomorfik vektör demetlerinin örnekleri ^ (T'M)

demetleri ve bunların dualleri /\-''M ^ ( T ' M )*, p -- 1, ... , m.
/\-''ñf'nin holomorfik kesitlerine holomorfik p-formları denir.
Holomorfik p-formlarının uzayı ff-''(M, C) ile tanımlanır. Özellikle,
holomorfik p-formları kompakt bir Kâhler mani kıvrımı üzerinde kapalıdır.
Serre dualitesine göre, holomorfik p-formları uzayının boyutu da ii"-, p -- 1, ...
'e eşittir. , m.
Özellikle, (kompakt) Kâhler mani kıvrımı M önemsiz olmayan holo- morfik p-
formları kabul etmiyorsa, G yapı demetine göre Euler sayısı /(M,- G) 1'e eşittir.

H. Holomorfik Vektör Alanları ve Sonsuz Küçük İzometriler

M kompakt bir neredeyse-kompleks manifold o l s u n .

2.119 Tanım. En karmaşık yapının sonsuz küçük otomorfizmi, karmaşık J operatörünü

koruyan bir (reel) Y vektör alanıdır:
(2.119) Lz J -- 0 <={X, J Y} -- J{X, Y}
Bu vektör alanlarının uzayı, vektör alanının olağan braketi için sonlu boyutlu
bir Lie cebiri oluşturur. Daha kesin olarak, aşağıdaki iyi bilinen sonucu
hatırlayalım (bkz. [Kob 4) 1-4):

2.120. Kompakt bir neredeyse-karmaşık manifoldun otomorfizmalar grubu 91(M) Lie

dönüşüm grubudur. 91(M) üzerindeki sağa değişmeyen vektör alanlarının Lie cebiri
doğal olarak neredeyse karmaşık yapının sonsuz küçük otomorfizmalarının Lie cebiri
ile özdeşleştirilir.
H. Holomorfik Vektör Alanları 87

Şimdi M'nin bir Kähler metriği p ile donatılmış kompakt bir karmaşık manifold
olduğunu varsayıyoruz.

O halde aşağıdakilere sahibiz

2.121 Önerme. Bir (gerçel) X vektör alanı, ancak ve ancak (1,0) türündeki parçası
holomorfik ise karmaşık yapının sonsuz küçük bir otomorfizmidir.

Kanıt. (1, 0) tipindeki herhangi bir (yerel) holomorfik 1-form 8 için 8(Y)'nin
holomorfik olduğunu kanıtlamak yeterlidir. Herhangi bir Y vektör alanı için
d8(X, Y) -- X - 8 ( Y ) - Y - 8 (Y) - 8([Y, Y}),
ise
d8(X, J Y) -- X - 8(J Y) - J Y - 8(X) - 8({X, J Y})
= iX - 8(Y ) - J Y - 8(X) - i8( Y, Y})
Öte yandan, 8 holomorfik olduğu için d8 (2, 0) tipindedir, böylece d8(X, J Y)
id8(X, Y)'ye eşittir. Hemen şu sonucu çıkarırız
J Y - 8 (Y) = iY- 8(X),
Bu da (yerel) skaler fonksiyon 8(Y)'nin iddia edildiği gibi holomorfik olduğunu
kanıtlar. O

2.122 Sonuç. Karmaşık yapının sonsuz küçük otomorfizmalarının Lie cebiri a(M),
holomorfik vektör alanlarının karmaşık Lie cebiri ile izomorfik olan bir karmaşık
Lie cebirinin doğal yapısına sahiptir. Karmaşık yapının otomorfizmalar grubu
W(M), karmaşık bir Lie grubunun doğal yapısını miras alır.

Kanıt. JX'in (1, 0) tipindeki kısmı, Y'''' olduğunda holomorfik olan iY'"'ye
eşittir.
JX'in Y olduğunda karmaşık yapının sonsuz küçük bir otomorfizması olduğu
yüzü, karmaşık burulma tensörü N.
Q'
nun kaybolmasının doğrudan bir sonucu olarak ortaya çıkar.

2.123. Kısalık açısından, karmaşık yapının sonsuz küçük otomorfizması (reel)

holomorfik vektör alanı olarak adlandırılacaktır.
D operatörünü kullanarak 2.52'de tanıtılan

2.124 Önerme. Reel bir X vektör alanı holomorfiktir i f ve sadece aşağıdaki

durumlarda
(2.124) D° X -- 0.
Eşdeğer olarak, D( (1, I) türündedir, burada ( X'in dual I-formudur.

Kanıt. Sadece (2.119) tanımını ve D'nin torsiyonunun boşluğunu kullanın.

2.125 Sonuç (A. Lichnerowicz [Lic Id). n -- 2m'lik kompakt bir Kähler mani kıvrımı
M üzerinde
88 2. Temel Malzeme (Devamı): Kähler
Manifoldları
i) m -- I ise konformal vektör alanlarının Lie cebiri (reel) holomorfik vektör
alanlarının Lie cebiri ile çakışır,
ii) m > I ise herhangi bir konformal vektör alanı Killing'dir (bkz. 1.80),
iii) herhangi bir Killing vektör alanı (reel) holomorfik bir vektör alanıdır,
iv) Daha açık bir i f a d e y l e , bir (reel) vektör alanı ancak ve ancak holomorfik
ise ve hacim-formunu koruyorsa Killing'dir.

Kanıt. Açıklama 2.54, Formül 2.56 bis ve Önerme 2.124'ü kullanın. o

2.126 Sonuç. Herhangi bir (reel) holo-morfik vektör alanı X'in dual I-formunun (
Hodge ayrışımı şöyle yazılabilir
(2.126) = df + d°h + ,
Burada f ve h, M üzerinde sıfır integrali olan iyi tanımlanmış reel fonksiyonlardır ve (z,
('nin harmonik kısmıdır.

Kanıt. dd*-lemma 2.109d( (1, 1) tipinde olduğu için dd*-kapalı olan 1-

formunaD(. Q

2.127 Tanım. Hodge ayrışımında (2.126) görünen reel f fonksiyonuna (reel)

holomorfik vektör alanı Y'nin (Kähler metriği p'ye göre) holomorfi potansiyeli
denir.

2.128. (Önerme 2.125iv) sayesinde, X'in holomorfi potansiyeli ancak ve ancak X bir
Killing vektör alanı ise yok olur.

2.129. (2.126)'da görünen reel h fonksiyonunun (reel) holomorfik vektör alanı-

JR'nin holomorfi potansiyeli olduğunu gözlemleyin.

2.130 Açıklama. EğerY bir Killing vektör alanı ise J( 1-formu 2.126 ve 2.128 ile
kapalıdır.
Öte yandan, Kähler formunun Y ile Lie türevi aşağıdakilere eşittir
(2.131) L o' -- d(iq o') = dJ(,
Böylece herhangi bir Killing vektör alanı aynı zamanda Kähler formu tarafından
indüklenen simplektik yapı için bir Hamilton vektör alanıdır.
Bu sonuç, kompakt bir Riemann üzerinde
manifoldunda, her Killing vektör alanı tüm harmonik formları, özellikle de Kähler
formunu değişmez bırakır. (bkz. bLic U s. 130).

2.132. Ayrıca X paralel olmadığı sürece (2.56 ile) Y ve JX'in her ikisinin de
Killing vektör alanı olamayacağını gözlemleyin, çünkü D( o zaman 2d( 'ye eşittir
ve kapalıdır.

2.133 Açıklama. 2.100 ve 2.125iv) ile, Kähler metriğine bağlı iki tür nesnenin, yani
Ricci formu p ve Kähler yapısının sonsuz küçük otomorfizmalarının Lie cebirinin
(metriğin Killing vektör alanlarının Lie cebiri ile çakışır) tüm Kähler yapısına bağlı
olmadığını, ancak