＞定理1.正規な射影的代数多様体の問の射f:X→Yで全射になっているものを考える。Xは森夢空間であると仮定する。このとき以下が成り立つ:
＞(1)Yも森夢空間である。
＞(2)埋め込み写像f*:Pic(Y)R→Pic(X)RによってXのファンをPic(Y)Rに制限すると、Yのファンになる。


射f:X→Y：全射　すなわち　YはXに対して森夢空間であると決める

Xは森夢空間であると仮定する

Yは森夢空間である

証明官僚