退出

How to prove that $\operatorname{Hom}_{Var} (X,Y) \cong \operatorname{Reg}(X,Y)$

代数几何 Math StackExchange -1 票 0 回答 55 浏览 提问者: HMPQ 2026-08-04 03:58
algebraic-geometry affine-varieties

问题内容

I am self studying algebraic geometry from the textbook of Daniel Perrin (Algebraic Geometry: An Introduction).

On page 44 is the Proposition 3.5 which I am unable to prove and need help with.

Proposition 3.5. Let $(X,O_X)$ and $(Y,O_Y)$ be two affine algebraic sets equipped with the affine variety structures given by structures sheaves $O_X$ and $O_Y$. Then there is natural bijection $\operatorname{Hom}_{Var}(X,Y) \cong \operatorname{Reg}(X,Y)$

Here, $\operatorname{Hom}_{Var}(X,Y)$ is the set of affine variety morphisms from $X$ to $Y$, and $\operatorname{Reg}(X,Y)$ is the set of regular functions from $X$ to $Y$. We denote by $n_i$ the $i $th coordinate function on $W$, which is the image of the variable $Y_i$ in $\Gamma(W)$ then $\phi^{*}(n_i)=\phi_i$

Proof given in the textbook: We establish the existence of bijection as follows: If $\phi: X\to Y$ is a variety morphism, then on considering the co-ordinate functions $n_i$ on $Y$ it is clear that $\phi= (n_1\phi,...,n_m\phi)$ is regular. Conversely, if $\phi$ is regular , $D(g)$ is the standard open set of $Y$ and $f=h/g^r \in \Gamma(D(g),O_Y)$, then $f\phi=$$\phi^*(h)$/${\phi^*(g)}^r \in \Gamma(D(\phi^*(g),O_X)$, which shows that $\phi$ is also a morphism of varieties.

The given proof omits most of the details (as a lot of proofs in the book) and I really need help with proving it.

I shall be extremely grateful!

回答 (0)

暂无回答记录。