- 729 名前：722 [03/11/15 00:42]
- >>727
>１つ目 dominant やよね？Xのgeneric pointeηとするとそれの行き先がξだから。
> （確認は普通に集合論使って頑張るだけやと思う）
じゃあ、最初からちゃんとそう書かなきゃ。
> ２つ目 零イデアルの逆像だから。
なぜ？ f^(-1)(ξ) が一点なら確かにそうなるけど。今はまさにそれを示そうと
してるんじゃないの？ 話の順序が逆だと思うんだけど。たとえば今仮に f が
genrically finite という仮定をはずして f: Spec K[x, y] → Spec K[x] を考
えると、f の generic fiber f^-1(ξ) (=~ Speck K(x)[y]) の各点は K[x, y]
の極小素イデアルと対応している？ そうじゃないよね。
