- 83 名前：１３２人目の素数さん mailto:sage [03/10/08 21:24]
- >>80
答えは結構めんどいんですが･･･
あたえられた環の準同型φ:A→Γ(X)に対し連続写像fをp∈Xにたいし合成写像
A→Γ(X)=O_X(X)→O_{X,p}によるO_{X,p}の極大イデアルの引き戻しをf(p)とする
写像とさだめる。つぎにspecA上の環の層の準同型f^#:O_specA→O_Xを
f^#(specA):O_specA(A)=A→O_X(X)=Γ(X)がφになるようなものとする。
（そのようなf^#の存在の証明は略。）
逆の対応は与えられた(f,f^#):(X,O)→(SpecA,O_SpecA)に対し
A=O_(specA)(specA)→f_*(specA)=O_X(X)=Γ(X)で定められる環準同型であたえられる。
この程度でいいすか？
