Projektionsformeln

Inom matematiken är projektionsformeln ett resultat som säger att om $f:X\to Y$ är en kvasikoherent separerad morfism av scheman, ${\mathcal {F}}$ ett kvasikoherent kärve på X och ${\mathcal {E}}$ ett lokalt fritt kärve på Y, då är de naturliga avbildningarna av kärven

$R^{i}f_{*}{\mathcal {F}}\otimes {\mathcal {E}}\to R^{i}f_{*}({\mathcal {F}}\otimes f^{*}{\mathcal {E}})$

isomorifer.

Referenser

Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, Projection formula, 13 februari 2015.

• Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157