Xirzebrux – Riman-Roch teoremasi - Hirzebruch–Riemann–Roch theorem - Wikipedia

Yilda matematika, Xirzebrux – Riman-Roch teoremasinomi bilan nomlangan Fridrix Xirzebrux, Bernxard Riman va Gustav Roch, bu Xirzebruxning 1954 yildagi natijasi klassikani umumlashtirmoqda Riman-Rox teoremasi kuni Riemann sirtlari barcha murakkablarga algebraik navlar yuqori o'lchamdagi Natijada natija uchun yo'l ochildi Grothendiek-Xirzebrux-Riman-Rox teoremasi taxminan uch yildan keyin isbotlandi.

Xirzebrux-Riman-Rox teoremalarining bayoni

Xirzebrux-Riman-Roch teoremasi har qanday holomorfikaga taalluqlidir vektor to'plami E a ixcham murakkab ko'p qirrali X, hisoblash uchun holomorfik Eyler xarakteristikasi ning E yilda sheaf kohomologiyasi, ya'ni o'zgaruvchan sum

${ displaystyle chi (X, E) = sum _ {i = 0} ^ { dim _ { mathbb {C}} X} (- 1) ^ {i} dim _ { mathbb {C} } H ^ {i} (X, E)}$

o'lchovlarning murakkab vektor bo'shliqlari sifatida.

Xirzebrux teoremasida χ (X, E) jihatidan hisoblash mumkin Chern sinflari C_j(E) ning E, va Todd polinomlari T_j holomorfikaning Chern sinflarida teginish to'plami ning X. Bularning barchasi kogomologik halqa ning X; yordamida asosiy sinf (yoki boshqacha qilib aytganda, integratsiya tugadi X) raqamlarini biz sinflardan olishimiz mumkin ${ displaystyle H ^ {2n} (X).}$ Xirzebrux formulasi buni tasdiqlaydi

${ displaystyle chi (X, E) = sum operatorname {ch} _ {n-j} (E) { frac {T_ {j}} {j!}}}$

barcha tegishli narsalarni o'z zimmasiga oldi j (shuning uchun 0 ≤ j ≤ n) yordamida Chern xarakteri ch (E) kohomologiyada. Boshqacha qilib aytganda, o'zaro faoliyat mahsulotlar kohomologiya halqasida barcha "mos keladigan" darajalarda hosil bo'ladi, ular 2 ga qo'shiladi.n, qaerda "massaj" qilish kerak C_j(E) rasmiy manipulyatsiya amalga oshiriladi, sozlash

${ displaystyle operatorname {ch} (E) = sum exp (x_ {i})}$

va umumiy Chern klassi

${ displaystyle C (E) = sum C_ {j} (E) = prod (1 + x_ {i}).}$

Turli xil ravishda tuzilgan teorema tenglikni beradi

${ displaystyle chi (X, E) = int _ {X} operator nomi {ch} (E) operator nomi {td} (X)}$

qayerda td (X) bo'ladi Todd sinfi tangens to'plamining X.

Muhim maxsus holatlar qachon E kompleks chiziq to'plami va qachon X bu algebraik sirt (Noeter formulasi). Vaylning egri chiziqlaridagi vektor to'plamlari uchun Riemann-Roch teoremasi va algebraik yuzalar uchun Riemann-Roch teoremalari (pastga qarang) uning doirasiga kiritilgan. Formulada, shuningdek, noaniq tushunchani aniq tarzda ifodalaydi Todd darslari qaysidir ma'noda o'zaro bog'liqdir xarakterli sinflar.

Egri chiziqlar uchun Riemann Roch teoremasi

Egri chiziqlar uchun Xirzebrux-Riman-Rox teoremalari mohiyatan klassik Riman-Rox teoremasi. Buni ko'rish uchun har biri uchun eslang bo'luvchi D. egri chiziqda an bor teskari bob O (D.) (bu chiziqli to'plamga mos keladi) shunday chiziqli tizim ning D. O (yoki) bo'limlarining maydoni ozmi yoki ko'pmi (D.). Egri chiziqlar uchun Todd klassi ${ displaystyle 1 + c_ {1} (T (X)) / 2,}$ va shefning Chern xarakteri O (D.) atigi 1+v₁(O (D.)), shuning uchun Xirzebrux-Riman-Rox teoremasi buni ta'kidlaydi

${ displaystyle h ^ {0} ({ mathcal {O}} (D)) - h ^ {1} ({ mathcal {O}} (D)) = c_ {1} ({ mathcal {O}) } (D)) + c_ {1} (T (X)) / 2 }$ (birlashtirilgan X).

Ammo h⁰(O (D.)) adolatli l(D.) ning chiziqli tizimining o'lchami D.va tomonidan Ikki tomonlama serre h¹(O (D.)) = h⁰(O (K − D.)) = l(K − D.) qayerda K bo'ladi kanonik bo'luvchi. Bundan tashqari, v₁(O (D.)) birlashtirilgan X darajasi D.va v₁(T(X)) birlashtirilgan X bu Euler klassi 2 - 2g egri chiziq X, qayerda g bu jins. Shunday qilib biz klassik Riemann Roch teoremasini olamiz

${ displaystyle ell (D) - ell (K-D) = { text {deg}} (D) + 1-g.}$

Vektorli to'plamlar uchun V, Chern belgisi daraja (V) + v₁(V), shuning uchun biz vektor to'plamlari uchun Weil's Riemann Roch teoremasini egri chiziqlar bo'yicha olamiz:

${ displaystyle h ^ {0} (V) -h ^ {1} (V) = c_ {1} (V) + operatorname {rank} (V) (1-g).}$

Sirtlar uchun Riemann Roch teoremasi

Sirtlar uchun Xirzebrux-Riman-Rox teoremasi asosan Riemann-Roch sirtlari uchun teorema

${ displaystyle chi (D) = chi ({ mathcal {O}}) + ((D.D) - (D.K)) / 2.}$

Noeter formulasi bilan birlashtirilgan.

Agar xohlasak, biz Serre ikkilikidan foydalanishimiz mumkin h²(O (D.)) kabi h⁰(O (K − D.)), lekin egri chiziqlardan farqli o'laroq umuman yozishning oson usuli yo'q h¹(O (D.)) atama kohomologiyasini nazarda tutmaydigan shaklda (garchi amalda u tez-tez yo'q bo'lib ketsa ham).

Asimptotik Riemann-Roch

Ruxsat bering D. kamaytirilmaydigan proektiv xilma-xillik uchun etarli Cartier bo'luvchisi bo'ling X o'lchov n. Keyin

${ displaystyle h ^ {0} chap (X, { mathcal {O}} _ {X} (mD) right) = { frac {(D ^ {n})} {n!}}. m ^ {n} + O (m ^ {n-1}).}$

Umuman olganda, agar ${ displaystyle { mathcal {F}}}$ har qanday izchil sheaf X keyin

${ displaystyle h ^ {0} chap (X, { mathcal {F}} otimes { mathcal {O}} _ {X} (mD) right) = operatorname {rank} ({ mathcal {) F}}) { frac {(D ^ {n})} {n!}}. M ^ {n} + O (m ^ {n-1}).}$

Shuningdek qarang

• Grothendiek-Riemann-Roch teoremasi - ko'plab hisoblash va misollarni o'z ichiga oladi
• Hilbert polinomi - HRR yordamida Hilbert polinomlarini hisoblash mumkin

Adabiyotlar

• Fridrix Xirzebrux,Algebraik geometriyadagi topologik usullar ISBN  3-540-58663-6

Tashqi havolalar

• Xirzebrux-Riman-Rox teoremasi