2 Morphisms, co-ordinate rings, rational maps, and function fields
2.1 Morphisms and co-ordinate rings
The obvious functions to consider on an affine algebraic variety V ⊆ A
n(K) are the polynomials. Two polynomials f , g define the same function V → K if and only if f − g ∈ I(V ), this motivates the following definition.
Definition. Let V ⊆ A
n(K) be an affine algebraic variety. Its co-ordinate ring, denoted by K[V ], is defined to be K[V ] = K[x
1, x
2, . . . , x
n]/I(V ).
Remark. K means the field over which the variety is defined, so if the field is C, then the notation is C[V ], if the field is called L, then L[V ].
Definition. Let V ⊆ A
m(K) and W ⊆ A
n(K) be affine algebraic varieties. A morphism ϕ : V → W is a function of the form ϕ(P ) = (ϕ
1(P ), ϕ
2(P ), . . . , ϕ
n(P )) with ϕ
i∈ K[V ] for each i, 1 ≤ i ≤ n.
Elements of K[V ] can be considered as morphisms V → A
1.
The composition of two morphisms ϕ : V → W and ψ : W → X is a morphism ψ ◦ ϕ : V → X.
Definition. The morphism ϕ : V → W is called an isomorphism if and only if it has an inverse morphism, i. e., if there exists a morphism ψ : W → V such that ψ ◦ ϕ = I
Vand ϕ ◦ ψ = I
W, where I
X: X → X is the identity function on X for a set X. V and W are called isomorphic if and only if there exists an isomorphism between them.
Isomorphic affine algebraic varieties are the “same” for most purposes. One of the goals of algebraic geometry is to classify algebraic varieties up to isomorphism and to decide whether two varieties are isomorphic. One of the tools is to find properties of algebraic varieties which are preserved under isomorphism.
Examples:
1. Any affine map is a morphism. Invertible affine maps are isomorphisms.
Affine equivalent affine algebraic varieties are isomorphic.
2. Let K be an arbitrary infinite field.
Let t be the co-ordinate on A
1and x, y the co-ordinates on A
2. Let V = A
1and W ⊂ A
2be the parabola defined by the equation y − x
2= 0. Then
I(V ) = {0}, I(W ) = hy − x
2i (this is where we need K to be infinite), so
K[V ] = K[t] and K[W ] = K[x, y]/hy − x
2i.
ϕ : V → W , t 7→ (t, t
2) is a morphism. t and t
2are elements of K[V ] and x = t, y = t
2satisfy y − x
2= 0 for any t. (This shows that ϕ(t) ∈ W for every t ∈ V = A
1, so ϕ is a morphism V → W , not just V → A
2.)
ψ : W → V , (x, y) 7→ x is also a morphism. x ∈ K[W ] (technically it should be x + I(W ), but this distinction is usually not made in practice) and there are no equations to check. (ψ ◦ϕ)(t) = ψ(t, t
2) = t and (ϕ◦ψ)(x, y) = ϕ(x) = (x, x
2) = (x, y) for (x, y) ∈ W , therefore ϕ and ψ are inverses of each other, so V and W are isomorphic.
3. Let K be an infinite field of characteristic other than 2, for example K = R or C. Let V = A
1and let W ⊂ A
2be the nodal cubic curve defined by the equation x
3+ x
2− y
2= 0.
-1 1 2
-4 -2 2 4
ϕ : V → W , t 7→ (t
2− 1, t(t
2− 1)) is a morphism. t
2− 1 and t(t
2− 1) are elements of K[V ] and x = t
2− 1, y = t(t
2− 1) satisfy x
3+ x
2− y
2= 0 for any t, so ϕ is a function V → W .
ϕ is not an isomorphism, since it is not injective, ϕ(1) = ϕ(−1) = (0, 0).
(We need the characteristic to be different from 2 to ensure that −1 6= 1.) In examples 4–5, K can be an arbitrary infinite field.
4. Let H ⊂ A
2be the hyperbola defined by xy−1 = 0, and let ϕ : H → A
1be the morphism (x, y) 7→ x. ϕ is not an isomorphism, since it is not surjective because 0 / ∈ im ϕ.
Warning: The image of a morphism is not necessarily an algebraic variety.
In this example im ϕ = A
1\{0}, and this set is not a variety, since any proper
subvariety of A
1is finite.
5. Let V = A
1and let W = V(hy
2− x
3i) ⊂ A
2be the cuspidal cubic curve.
ϕ : V → W , t 7→ (t
2, t
3) is a morphism. t
2and t
3are elements of K[V ] and x = t
2, y = t
3satisfy y
2− x
3= 0 for any t, so ϕ is a function V → W .
-0.5 0.5 1.0 1.5 2.0 2.5
-4 -2 2 4