Формула прогноза

В алгебраической геометрии формула проекции гласит следующее:

Для морфизма $f:X\to Y$ окольцованных пространств , ${\mathcal {O}}_{X}$-модуль ${\mathcal {F}}$ и локально бесплатно ${\mathcal {O}}_{Y}$-модуль ${\mathcal {E}}$ конечного ранга, естественные отображения пучков

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

являются изоморфизмами.

Существует еще одна формула проекции в контексте этальных когомологий .

См. также

• Интегрирование по слоям § Формула проекции