Projektionsformeln

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

$R^i{f}_{*}ℱ\otimes ℰ\to R^i{f}_{*}(ℱ\otimes f^{*}ℰ)$

isomorifer.

Referenser

• Mall:Enwp
• Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics 52, New York: Springer-Verlag, Mall:ISBN, MR 0463157