Wiki. 投影公式 [投影公式]
Wiki. 投影公式 [投影公式]
陈述
对于概形态射 $p\colon Y\to X$, 令 $A = \mathsf{QCoh}(X)$, $B = \mathsf{QCoh}(Y)$, 则由拉回函子 $p^*\colon A\to B$, 有 $B$ 为 $A$-代数, 那么右伴随 $p_*\colon B\to A$ 同样为 $A$-线性函子: $$ p_*(p^*a \otimes b) \simeq a \otimes p_* (b). $$
对于概形态射 $p\colon Y\to X$, 令 $A = \mathsf{QCoh}(X)$, $B = \mathsf{QCoh}(Y)$, 则由拉回函子 $p^*\colon A\to B$, 有 $B$ 为 $A$-代数, 那么右伴随 $p_*\colon B\to A$ 同样为 $A$-线性函子: $$ p_*(p^*a \otimes b) \simeq a \otimes p_* (b). $$