- 702 名前：１３２人目の素数さん [03/11/13 15:12]
- えーっと何が大丈夫かと言うと
Yのgeneric pointをξ=Spec(k) とすれば f^(-1)(ξ）→ξ がfiniteになるので解けてる。
それとなんか違和感を感じていてやっと分かったんやけど、>>693は間違いがあると思う。
根本的に間違えてるかは分からんけど、irreducibleで無い限りXに生成点はないよね。
例えば題意を満たすようなＸを何枚かコピーしても大丈夫やし。
それとYの生成点ってのは1点だけでYのopen setになるよね。
だから>>693の補題が正しい時点でもう証明は終わってる。
僕もそこまで真面目に考えてないんで間違えてたらごめんなさい。
