Regular functions and morphisms are the building blocks of algebraic geometry. They allow us to study varieties through their function rings and maps between them. Understanding these concepts is crucial for grasping how algebraic structures relate to geometric objects.
Morphisms between varieties are the natural maps that preserve algebraic structure. They're defined using regular functions and provide a way to compare and relate different varieties. Mastering morphisms is key to understanding the deeper connections between algebraic and geometric properties of varieties.
Regular functions on varieties
Defining regular functions on affine varieties
Top images from around the web for Defining regular functions on affine varieties
Graphs of Polynomial Functions | College Algebra View original
Is this image relevant?
Graphs of Polynomial Functions · Algebra and Trigonometry View original
Is this image relevant?
Recognize characteristics of graphs of polynomial functions | College Algebra View original
Is this image relevant?
Graphs of Polynomial Functions | College Algebra View original
Is this image relevant?
Graphs of Polynomial Functions · Algebra and Trigonometry View original
Is this image relevant?
1 of 3
Top images from around the web for Defining regular functions on affine varieties
Graphs of Polynomial Functions | College Algebra View original
Is this image relevant?
Graphs of Polynomial Functions · Algebra and Trigonometry View original
Is this image relevant?
Recognize characteristics of graphs of polynomial functions | College Algebra View original
Is this image relevant?
Graphs of Polynomial Functions | College Algebra View original
Is this image relevant?
Graphs of Polynomial Functions · Algebra and Trigonometry View original
Is this image relevant?
1 of 3
A on an is a function that can be expressed as a polynomial in the coordinate ring of the variety
Regular functions on affine varieties form a ring called the coordinate ring of the variety
The coordinate ring consists of all on the affine variety
Example: For the affine variety V(y−x2), the coordinate ring is k[x,y]/(y−x2)
The set of regular functions on an affine variety is denoted by O(X), where X is the affine variety
Defining regular functions on projective varieties
A regular function on a is a function that can be expressed as a homogeneous polynomial of the same degree in each affine chart
Homogeneous polynomials have the property that all terms have the same total degree
Example: x2+xy+y2 is a homogeneous polynomial of degree 2
Regular functions on projective varieties are well-defined globally, meaning they are independent of the choice of affine charts
This ensures that the regular functions are consistent across different coordinate representations of the projective variety
The set of regular functions on a projective variety forms a graded ring
The grading corresponds to the degree of the homogeneous polynomials
Example: For the projective variety V(xz−y2), the graded ring is k[x,y,z]/(xz−y2)
Morphisms between varieties
Defining morphisms between algebraic varieties
A between two algebraic varieties is a map that preserves the structure of the varieties
Morphisms respect the algebraic properties and relations of the varieties
Morphisms between affine varieties are defined by polynomial functions on the coordinate rings of the varieties
The polynomial functions induce a ring homomorphism between the coordinate rings
Example: A morphism from V(y−x2) to V(w−z3) can be defined by x↦z and y↦z2
Morphisms between projective varieties are defined by homogeneous polynomial functions of the same degree on the homogeneous coordinate rings of the varieties
The homogeneous polynomial functions induce a graded ring homomorphism between the homogeneous coordinate rings
Example: A morphism from V(xz−y2) to V(w2−uv) can be defined by x↦u, y↦v, and z↦w
Morphisms are required to be continuous with respect to the Zariski topology on the varieties
The preimage of a closed set under a morphism must be a closed set
Composition and identity morphisms
The composition of two morphisms is also a morphism
If f:X→Y and g:Y→Z are morphisms, then g∘f:X→Z is also a morphism
The composition of morphisms is associative: (h∘g)∘f=h∘(g∘f)
The identity map is always a morphism
For any variety X, the identity map idX:X→X defined by idX(x)=x for all x∈X is a morphism
The identity morphism satisfies f∘idX=f and idY∘f=f for any morphism f:X→Y
Properties of morphisms
Injectivity of morphisms
A morphism is injective (one-to-one) if distinct points in the domain map to distinct points in the codomain
Formally, a morphism f:X→Y is injective if for any x1,x2∈X, f(x1)=f(x2) implies x1=x2
Injectivity of a morphism can be determined by examining the kernel of the corresponding ring homomorphism between the coordinate rings of the varieties
The kernel of a ring homomorphism φ:A→B is the set ker(φ)={a∈A∣φ(a)=0}
A morphism is injective if and only if the kernel of the corresponding ring homomorphism is trivial (consists only of the zero element)
Surjectivity of morphisms
A morphism is surjective (onto) if every point in the codomain is the image of some point in the domain
Formally, a morphism f:X→Y is surjective if for any y∈Y, there exists an x∈X such that f(x)=y
Surjectivity of a morphism can be determined by examining the image of the corresponding ring homomorphism between the coordinate rings of the varieties
The image of a ring homomorphism φ:A→B is the set im(φ)={φ(a)∣a∈A}
A morphism is surjective if and only if the image of the corresponding ring homomorphism is equal to the codomain ring
Isomorphisms between varieties
A morphism that is both injective and surjective is called an , and the varieties are said to be isomorphic
Isomorphic varieties have the same algebraic structure and properties
Example: The affine variety V(y−x2) is isomorphic to the affine line A1 via the morphism defined by x↦x
The inverse of an isomorphism is also an isomorphism
If f:X→Y is an isomorphism, then there exists a unique morphism f−1:Y→X such that f∘f−1=idY and f−1∘f=idX
Constructing morphisms with functions
Constructing morphisms between affine varieties
To construct a morphism from an affine variety to another, define polynomial functions on the coordinate ring of the domain variety that map to the coordinate ring of the codomain variety
The polynomial functions induce a ring homomorphism between the coordinate rings
Example: To construct a morphism from V(y−x2) to V(w−z3), define x↦z and y↦z2
The polynomial functions defining the morphism must satisfy the relations of the ideal defining the codomain variety
This ensures that the morphism is well-defined and maps points of the domain variety to points of the codomain variety
Example: In the previous example, the polynomial functions satisfy the relation y−x2↦z2−z2=0, which is in the ideal defining V(w−z3)
Constructing morphisms between projective varieties
To construct a morphism from a projective variety to another, define homogeneous polynomial functions of the same degree on the homogeneous coordinate ring of the domain variety that map to the homogeneous coordinate ring of the codomain variety
The homogeneous polynomial functions induce a graded ring homomorphism between the homogeneous coordinate rings
Example: To construct a morphism from V(xz−y2) to V(w2−uv), define x↦u, y↦v, and z↦w
The homogeneous polynomial functions defining the morphism must satisfy the relations of the homogeneous ideal defining the codomain variety
This ensures that the morphism is well-defined and maps points of the domain variety to points of the codomain variety
Example: In the previous example, the homogeneous polynomial functions satisfy the relation xz−y2↦uw−v2, which is in the homogeneous ideal defining V(w2−uv)
Specifying morphisms by their action on generators
Morphisms can be constructed by specifying their action on the generators of the coordinate ring or homogeneous coordinate ring of the domain variety
The action on the generators determines the action on all elements of the ring
Example: To construct a morphism from V(y−x2) to V(w−z3), it suffices to specify x↦z and y↦z2, as x and y generate the coordinate ring of V(y−x2)
The specified action on the generators must be compatible with the relations of the codomain variety
The relations of the codomain variety must be satisfied when the generators are mapped according to the specified action
Example: In the previous example, the relation y−x2=0 is satisfied when x↦z and y↦z2, as z2−z2=0 in the coordinate ring of V(w−z3)