Projekční vzorec - Projection formula

v algebraická geometrie, projekční vzorec uvádí následující:^[1][2]

Pro morfismus ${ displaystyle f: X až Y}$ z prstencové mezery, an ${ displaystyle { mathcal {O}} _ {X}}$-modul ${ displaystyle { mathcal {F}}}$ a a místně zdarma ${ displaystyle { mathcal {O}} _ {Y}}$-modul ${ displaystyle { mathcal {E}}}$ konečné pozice, přirozené mapy snopů

${ displaystyle R ^ {i} f _ {*} { mathcal {F}} otimes { mathcal {E}} až R ^ {i} f _ {*} ({ mathcal {F}} otimes f ^ {*} { mathcal {E}})}$

jsou izomorfismy.

V nastavení je ještě další promítací vzorec étale cohomology.

Viz také

• Integrace podél vláken # Projekční vzorec

Reference

Hartshorne, Robine (1977), Algebraická geometrie, Postgraduální texty z matematiky, 52, New York: Springer-Verlag, ISBN  978-0-387-90244-9, PAN  0463157

Tento související s algebraickou geometrií článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.