Fórmula de proyección

En geometría algebraica , la fórmula de proyección establece lo siguiente: ^{[ 1 ] [ 2 ]}

Para un morfismo${\displaystyle f:X\to Y}$de espacios anillados , un${\displaystyle {\mathcal {O}}_{X}}$-módulo${\displaystyle {\mathcal {F}}}$y un programa local gratuito${\displaystyle {\mathcal {O}}_{Y}}$-módulo${\displaystyle {\mathcal {E}}}$de rango finito, los mapas naturales de haces

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

son isomorfismos.

Existe otra fórmula de proyección en el contexto de la cohomología étale .

• Integración a lo largo de las fibras §  Fórmula de proyección