14/07/17 21:54:07.74
>>133
ある開集合に制限したら同型であって、初めから同型とは限りません。
同型になるようにとった開集合の外で、Y の生成点に写ってしまう
点はないと思われますが、示せなかったので質問しました。
一般の射 f:X→Y に対し、通常は双有理射の(同値な)定義は
X と Y の既約成分の生成点たちの間に全単射を誘導し、かつ局所環の間に同型を誘導する
ですが、EGA I 2.2.9 ではさらに「各生成点の逆像は対応する生成点1点のみ」と書かれています。
おそらく通常の定義と同値になるのでしょうが、前述のように示せません。