Morphism of varieties
In algebraic geometry, a regular map between affine varieties is a mapping which is given by polynomials. To be explicit, suppose X and Y are subvarieties (or algebraic subsets) of An and Am respectively. A regular map f from X to Y has the form where the are in the coordinate ring , I the ideal defining X, so that the image lies in Y; i.e., satisfying the defining equations of Y. 
More generally, a map ƒ:X→Y between two varieties is regular at a point x if there is a neighbourhood U of x and a neighbourhood V of ƒ(x) such that the restricted function ƒ:U→V is regular as a function on the coordinate patches of U and V. Then ƒ is called regular, if it is regular at all points of X.
A morphism between varieties is necessarily continuous with respect to Zariski topologies on the source and the target. More formally, an (abstract) algebraic variety is defined to be a particular kind of a locally ringed space (see for example projective variety for a ringed structure of a projective variety). When this definition is used, a morphism of varieties is a morphism of the locally ringed spaces underlying the varieties (so for example it is continuous by definition).
In the particular case that Y equals A1 the map ƒ:X→A1 is called a regular function, and correspond to scalar functions in differential geometry. In other words, a scalar function is regular at a point x if, in a neighborhood of x, it is a rational function (i.e., a fraction of polynomials) such that the denominator does not vanish at x. The ring of regular functions (that is the coordinate ring or more abstractly the ring of global sections of the structure sheaf) is a fundamental object in affine algebraic geometry. The only regular function on a connected projective variety is constant (this can be viewed as an algebraic analogue of Liouville's theorem in complex analysis); thus, in the projective case, one usually considers the global sections of a line bundle (or divisor) instead.
In fact taking the function field k(V) of an irreducible algebraic curve V, the functions F in the function field may all be realised as morphisms from V to the projective line over k. The image will either be a single point, or the whole projective line (this is a consequence of the completeness of projective varieties). That is, unless F is actually constant, we have to attribute to F the value ∞ at some points of V. Now in some sense F is no worse behaved at those points than anywhere else: ∞ is just the chosen point at infinity on the projective line, and by using a Möbius transformation we can move it anywhere we wish. But it is in some way inadequate to the needs of geometry to use only the affine line as target for functions, since we shall end up only with constants.
On a normal variety, a rational function is regular if and only if it has no poles of codimension one. This is an algebraic analog of Hartogs' extension theorem. There is also a relative version of this fact; see .
Regular maps are, by definition, morphisms in the category of algebraic varieties. In particular, a regular map between affine varieties corresponds contravariantly in one-to-one to a ring homomorphism between the coordinate rings.
A regular map whose inverse is also regular is called biregular, and are isomorphisms in the category of algebraic varieties. A morphism between algebraic varieties that is a homeomorphism between the underlying topological spaces need not be an isomorphism (a counterexample is given by a Frobenius morphism .) On the other hand, if f is bijective birational and the target space of f is a normal variety, then f is biregular. (cf. Zariski's main theorem.)
Because regular and biregular are very restrictive conditions – there are no non-constant regular functions on projective space – the weaker condition of a rational map and birational maps are frequently used as well.
If f is a morphism between varieties, then the image of f contains an open dense subset of its closure. (cf. constructible set.)
A regular map between complex algebraic varieties is a holomorphic map. (There is actually a slight technical difference: a regular map is a meromorphic map whose singular points are removable, but the distinction is usually ignored in practice.) In particular, a regular map into the complex numbers is just a usual holomorphic function (complex-analytic function).
- Algebraic function
- Smooth morphism
- Étale morphisms – The algebraic analogue of local diffeomorphisms.
- This is perhaps the simplest definition and agrees with the more traditional definitions; cf. Milne, Proposition 3.16
- Hartshorne, Ch. I, § 3.
- Proof: it's enough to consider the case when the variety is affine and then use the fact that a Noetherian integrally closed domain is the intersection of all the localizations at height-one prime ideals.