Wiki. 射影丛 [射影丛]

观念

射影丛是射影空间的相对版本, 是相对射影谱的重要例子.

设 $E$ 是概形 $Y$ 上的拟凝聚层. 定义其射影丛为对称代数的相对射影谱 $$ P_Y(E):= \operatorname{Proj}_Y(\operatorname{Sym}_{\mathcal O_Y}E). $$