4
$\begingroup$

Let $A$ be a ring and $X=Spec(\mathbb{Z}[x_1,...,x_n] / (f_1,...,f_r))$ an affine scheme where $f_i \in \mathbb{Z}[x_1,...,x_n]$. The $A$-valued points of $X$ are defined to be morphisms $Spec(A)\rightarrow X$. Show that the $A$ valued points of $X$ are the solutions to $f_1(x_1,...,x_n)=\cdots=f_r(x_1,...,x_n)=0$ in the ring $A$.

  • 0
    @Alan: Well, how does one specify a morphism of affine schemes?2012-09-08

2 Answers 2

9

If $A$ is a ring, also known as a $\mathbf{Z}$-algebra, then ring maps from $\mathbf{Z}[X_1,\ldots,X_n]$ to $A$ are the same as $n$-tuples of elements of $A$. This is the universal property of the polynomial ring:

$\mathrm{Hom}_{\mathbf{Ring}}(\mathbf{Z}[X_1,\ldots,X_n],A)=A^n$

via $\varphi\mapsto(\varphi(X_1),\ldots,\varphi(X_n))$. A ring map $\varphi:\mathbf{Z}[X_1,\ldots,X_n]\rightarrow A$ factors through $\mathbf{Z}[X_1,\ldots,X_n]/(f_1,\ldots,f_m)$ if and only if each $f_i$ is sent to zero. By definition, $\varphi(f_i)=f_i(a_1,\ldots,a_n)$, where $a_i=\varphi(X_i)$. Conversely, any ring map $\mathbf{Z}[X_1,\ldots,X_n]/(f_1,\ldots,f_m)\rightarrow A$ gives rise to a homomorphism $\mathbf{Z}[X_1,\ldots,X_n]\rightarrow A$ which sends each $f_i$ to zero. Thus

$\mathrm{Hom}_{\mathbf{Ring}}(\mathbf{Z}[X_1,\ldots,X_n]/(f_1,\ldots,f_m),A)\hookrightarrow \mathrm{Hom}_{\mathbf{Ring}}(\mathbf{Z}[X_1,\ldots,X_n],A)=A^n$

identifies the source (as a set) with the set $n$-tuples $(a_1,\ldots,a_n)\in A^n$ such that $f_i(a_1,\ldots,a_n)=0$ for $1\leq i\leq n$.

It remains to translate this to a statement about the $A$-valued points of $\mathrm{Spec}(\mathbf{Z}[X_1,\ldots,X_n]/(f_1,\ldots,f_m))$. This is done via the $\mathrm{Spec}$ functor, which gives an equivalence of categories between rings and affine schemes. So ring maps from $\mathbf{Z}[X_1,\ldots,X_n]/(f_1,\ldots,f_m)\rightarrow A$ are the same as morphisms $\mathrm{Spec}(A)\rightarrow\mathrm{Spec}(\mathbf{Z}[X_1,\ldots,X_n]/(f_1,\ldots,f_m))$.

1

A morphism of affine schemes $\operatorname{Spec} A\to \operatorname{Spec} R$ is induced by a ring morphism $R\to \Gamma(\mathscr{O}_A,\operatorname{Spec} A) = A$ by the adjoint equivalence of categories between $\mathfrak{Ring}$ and $\mathfrak{Aff}^{opp}$ given by $(\Gamma,\operatorname{Spec})$.

A morphism $\pi':\mathbb{Z}[x_1,\cdots, x_n]/(f_1,\cdots, f_r)\to A$ is the same as a morphism of $\pi:\mathbb{Z}[x_1,\cdots, x_n]\to A$ such that $(f_1,\cdots, f_r)$ vanishes, which is the same as points $a_i = \pi(x_i)$ in $A$ such that all $f_j(a_1,\cdots, a_n)$ vanishes.