Adaptive estimator

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 Aⁿ resp. A^m. A regular map f from X to Y has the form $f=(f_1,\dots ,f_m)$ where the $f_i$ are in $k[x_1,\dots ,x_n]/I$, I the ideal defining X, so that the image $f(X)$ lies in Y; i.e., satisfying the defining equations of Y.

More generally, a map ƒ:X→Y between two (quasi-projective) 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. Then ƒ is called regular, if it is regular at all points of X.

In the particular case that Y equals A¹ the map ƒ:X→A¹ 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; thus, in the projective case, one usually considers the global sections of a line bundle (or divisor) instead. (this can be viewed as an algebraic analogue of Liouville's theorem in complex analysis)

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.

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 $t\mapsto t^p$.)

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.

A regular map between complex algebraic varieties is a holomorphic map. (There is actually a slight technical difference: a regular map is a holomorphic map with removable singularities, 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).

See also

• Algebraic function
• Étale morphisms – The algebraic analogue of local diffeomorphisms.

References

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
• Milne, Algebraic geometry