Стабильные расслоения с $c_1=0$ на рациональных поверхностях

Доказывается существование непустой компоненты многообразия модулей $M^0(X,n,r)$ расслоений ранга $r$ с $c_1=0$, $c_2=n\geqslant r$ на произвольной рациональной поверхности $X$, в которой $\mathscr L$-стабильные расслоения составляют непустое открытое подмножество при любом обильном $\mathscr L$, причем бирациональному изоморфизму поверхностей $\varphi\colon X\to Y$ соответствует бирациональный изоморфизм $\varphi_*\colon M^0(X)\to M^0(Y)$.