Хирзебрух-Риман-Рох теоремасы - Hirzebruch–Riemann–Roch theorem - Wikipedia

Жылы математика, Хирзебрух-Риман-Рох теоремасы, атындағы Фридрих Хирзебрух, Бернхард Риман, және Густав Рох, бұл Хирзебрухтың 1954 жылғы классиканы жалпылайтын нәтижесі Риман-Рох теоремасы қосулы Риманның беттері барлық кешенге алгебралық сорттары жоғары өлшемдер. Нәтиже жол ашты Гротендик-Гирзебрух-Риман-Рох теоремасы шамамен үш жылдан кейін дәлелдеді.

Хирзебрух-Риман-Рох теоремасының тұжырымы

Хирзебрух-Риман-Рох теоремасы кез-келген голоморфтыға қолданылады векторлық шоғыр E үстінде ықшам күрделі көпжақты X, есептеу үшін голоморфты Эйлерге тән туралы E жылы шоқ когомологиясы, атап айтқанда ауыспалы қосынды

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

өлшемдердің күрделі векторлық кеңістіктер ретінде.

Хирзебрух теоремасында χ (X, E) тұрғысынан есептеуге болады Черн сыныптары C_j(E) of E, және Тодд көпмүшелері Т_j голоморфты Черн кластарында тангенс байламы туралы X. Мұның бәрі когомологиялық сақина туралы X; пайдалану арқылы негізгі класс (немесе басқаша айтқанда, интеграция аяқталды X) сандарын сандардан алуға болады ${ displaystyle H ^ {2n} (X).}$ Хирзебрух формуласы мұны растайды

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

барлық қатысты j (сондықтан 0 ≤ j ≤ n) пайдаланып Черн кейіпкері ч (E) когомологияда. Басқаша айтқанда, кросс өнімдері 2-ге дейін қосылатын барлық «сәйкес» дәрежелердегі когомологиялық сақинада түзіледі.n, қайда «массаж» жасау керек C_j(E) ресми манипуляция жасалады

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

және жалпы Черн класы

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

Әр түрлі тұжырымдалған теорема теңдік береді

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

қайда td (X) болып табылады Тодд класы тангенс байламының X.

Маңызды ерекше жағдайлар қашан E күрделі болып табылады сызық байламы, және қашан X болып табылады алгебралық беті (Нетер формуласы). Вейлдің қисықтардағы векторлық шоғырларға арналған Риман-Рох теоремасы, алгебралық беттерге арналған Риман-Роч теоремалары (төменде қараңыз), оның аясына енеді. Формула сонымен қатар нақты деген ұғымды нақты түрде білдіреді Тодд сабақтары болып табылады сипаттағы сыныптар.

Қисықтарға арналған Риман Рох теоремасы

Қисық сызықтар үшін Хирзебрух-Риман-Рох теоремасы негізінен классикалық болып табылады Риман-Рох теоремасы. Мұны көру үшін әрқайсысы үшін еске түсіріңіз бөлгіш Д. қисықта ан бар төңкерілетін шоқ O (Д.) (бұл сызық шоғырына сәйкес келеді), осылайша сызықтық жүйе туралы Д. көп немесе аз O бөлімдерінің кеңістігі болып табылады (Д.). Тодд класы қисықтар үшін ${ displaystyle 1 + c_ {1} (T (X)) / 2,}$ және шидің Черн кейіпкері О (Д.) тек 1+ құрайдыc₁(O (Д.)), демек Хирзебрух-Риман-Рох теоремасы айтады

${ displaystyle h ^ {0} ({ mathcal {O}} (D)) - h ^ {1} ({ mathcal {O}} (D)) = c_ {1} ({ mathcal {O}) } (D)) + c_ {1} (T (X)) / 2 }$ (біріктірілген X).

Бірақ сағ⁰(O (Д.)) әділ л(Д.), сызықтық жүйесінің өлшемі Д., және Серреализм сағ¹(O (Д.)) = сағ⁰(O (Қ − Д.)) = л(Қ − Д.) қайда Қ болып табылады канондық бөлгіш. Оның үстіне, c₁(O (Д.)) біріктірілген X дәрежесі болып табылады Д., және c₁(Т(X)) біріктірілген X бұл Эйлер класы 2 - 2ж қисықтың X, қайда ж тұқымдас. Сонымен, біз Риман Рох классикалық теоремасын аламыз

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

Векторлық шоғырлар үшін V, Черн таңбасы дәреже (V) + c₁(V), сондықтан біз Вейлдің қисықтар бойынша векторлық шоғырларына арналған Риман Роч теоремасын аламыз:

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

Беттерге арналған Риман Роч теоремасы

Беттер үшін Хирзебрух-Риман-Рох теоремасы мәні болып табылады Беттерге арналған Риман-Рох теоремасы

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

Нетер формуласымен біріктірілген.

Егер қаласақ, біз Serre дуальдылығын білдіру үшін қолдана аламыз сағ²(O (Д.)) сияқты сағ⁰(O (Қ − Д.)), бірақ қисықтар жағдайынан айырмашылығы, жалпыға оңай жазудың жолы жоқ сағ¹(O (Д.)) периодты когомологияны қамтымайтын түрдегі термин (бірақ іс жүзінде ол жиі жоғалып кетеді).

Асимптотикалық Риман-Рох

Келіңіздер Д. азайтылатын проективті алуан түріндегі жеткілікті Картье бөлгіші болыңыз X өлшем n. Содан кейін

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

Жалпы, егер ${ displaystyle { mathcal {F}}}$ кез-келген келісілген шоқ болып табылады X содан кейін

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

Сондай-ақ қараңыз

• Гротендик-Риман-Рох теоремасы - көптеген есептеулер мен мысалдардан тұрады
• Гильберт көпмүшесі - HRR көмегімен Гильберт көпмүшелерін есептеуге болады

Әдебиеттер тізімі

• Фридрих Хирзебрух,Алгебралық геометриядағы топологиялық әдістер ISBN  3-540-58663-6

Сыртқы сілтемелер

• Хирзебрух-Риман-Рох теоремасы