Definition 27.5.1. Let S be a scheme and n \geq 0. The scheme
over S is called affine n-space over S. If S = \mathop{\mathrm{Spec}}(R) is affine then we also call this affine n-space over R and we denote it \mathbf{A}^ n_ R.
As an application of the relative spectrum we define affine n-space over a base scheme S as follows. For any integer n \geq 0 we can consider the quasi-coherent sheaf of \mathcal{O}_ S-algebras \mathcal{O}_ S[T_1, \ldots , T_ n]. It is quasi-coherent because as a sheaf of \mathcal{O}_ S-modules it is just the direct sum of copies of \mathcal{O}_ S indexed by multi-indices.
Definition 27.5.1. Let S be a scheme and n \geq 0. The scheme
over S is called affine n-space over S. If S = \mathop{\mathrm{Spec}}(R) is affine then we also call this affine n-space over R and we denote it \mathbf{A}^ n_ R.
Note that \mathbf{A}^ n_ R = \mathop{\mathrm{Spec}}(R[T_1, \ldots , T_ n]). For any morphism g : S' \to S of schemes we have g^*\mathcal{O}_ S[T_1, \ldots , T_ n] = \mathcal{O}_{S'}[T_1, \ldots , T_ n] and hence \mathbf{A}^ n_{S'} = S' \times _ S \mathbf{A}^ n_ S is the base change. Therefore an alternative definition of affine n-space is the formula
Also, a morphism from an S-scheme f : X \to S to \mathbf{A}^ n_ S is given by a homomorphism of \mathcal{O}_ S-algebras \mathcal{O}_ S[T_1, \ldots , T_ n] \to f_*\mathcal{O}_ X. This is clearly the same thing as giving the images of the T_ i. In other words, a morphism from X to \mathbf{A}^ n_ S over S is the same as giving n elements h_1, \ldots , h_ n \in \Gamma (X, \mathcal{O}_ X).
Comments (0)