Wiki. “相对对偶层” [相对对偶层]
Wiki. “相对对偶层” [相对对偶层]
命题.
(Artan 讲的)
设 $X \overset{f}{\to} Y \overset{g}{\to} Z$ 是局部 Noether 概形之间的映射, 使得 $f,g,gf$ 每个映射光滑或为局部完全相交 (local complete intersection), 则 $$ \omega_{X/Z} \overset{\simeq}{\to} f^*\omega_{Y/Z}\otimes\omega_{X/Y}. $$
相关概念