Raynaud 向量丛

我们在光滑射影曲线 $X$ 上构造了向量丛 $R^r_\mu$，其性质为：对于 $X$ 上所有斜率为 $\mu$ 且秩为 $r$ 的层 $E$，存在等价关系：$E$ 是半稳定向量丛 $\iff$ $Hom(R^r_\mu,E)=0$。作为我们构造的副产品，我们获得了关于 $r$ 的有效界，使得线性系 $|R \cdot \Theta|$ 在模空间 $U_X(r,r(g-1))$ 上具有基点。