"Biregular" redirects here. For the graph theory concept, see Biregular graph.
In algebraic geometry, a morphism between algebraic varieties is a function between the varieties that is given locally by polynomials. It is also called a regular map. A morphism from an algebraic variety to the affine line is also called a regular function.
A regular map whose inverse is also regular is called biregular, and the biregular maps are the isomorphisms of algebraic varieties. Because regular and biregular are very restrictive conditions – there are no non-constant regular functions on projective varieties – the concepts of rational and birational maps are widely used as well; they are partial functions that are defined locally by rational fractions instead of polynomials.
An algebraic variety has naturally the structure of a locally ringed space; a morphism between algebraic varieties is precisely a morphism of the underlying locally ringed spaces.
and 25 Related for: Morphism of algebraic varieties information
In algebraic geometry, a morphism between algebraicvarieties is a function between the varieties that is given locally by polynomials. It is also called...
the degree of a finite morphism, see morphismofvarieties#Degree of a finite morphism. derived algebraic geometry An approach to algebraic geometry using...
Algebraicvarieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraicvariety is defined as...
In algebraic geometry, an affine algebraic set is the set of the common zeros over an algebraically closed field k of some family of polynomials in the...
In algebraic geometry, a finite morphism between two affine varieties X , Y {\displaystyle X,Y} is a dense regular map which induces isomorphic inclusion...
varieties carry the structure of a group. A morphismof abelian varieties is a morphismof the underlying algebraicvarieties that preserves the identity...
varieties, which are the algebraic groups whose underlying variety is a projective variety. Chevalley's structure theorem states that every algebraic...
particular in algebraic geometry, a complete algebraicvariety is an algebraicvariety X, such that for any variety Y the projection morphism X × Y → Y {\displaystyle...
In algebraic geometry, a proper morphism between schemes is an analog of a proper map between complex analytic spaces. Some authors call a proper variety...
important property of projective spaces and projective varieties is that the image of a projective variety under a morphismofalgebraicvarieties is closed for...
birational morphism from any variety Y to X is an isomorphism. Normal varieties were introduced by Zariski (1939, section III). A morphismofvarieties is finite...
mathematics, algebraic geometry and analytic geometry are two closely related subjects. While algebraic geometry studies algebraicvarieties, analytic geometry...
Algebraic geometry is a branch of mathematics which uses abstract algebraic techniques, mainly from commutative algebra, to solve geometrical problems...
Prym variety construction (named for Friedrich Prym) is a method in algebraic geometry of making an abelian variety from a morphismofalgebraic curves...
a finite set of identities, known as axioms, that these operations must satisfy. An algebraic structure may be based on other algebraic structures with...
in particular in the theory of schemes in algebraic geometry, a flat morphism f from a scheme X to a scheme Y is a morphism such that the induced map on...
specifically algebraic geometry, the valuative criteria are a collection of results that make it possible to decide whether a morphismofalgebraicvarieties, or...
algebraic varieties, then a polynomial mapping is precisely a morphismofalgebraicvarieties. One fundamental outstanding question regarding polynomial...
birational geometry is a field ofalgebraic geometry in which the goal is to determine when two algebraicvarieties are isomorphic outside lower-dimensional...
morphism to a projective space. A line bundle whose base can be embedded in a projective space by such a morphism is called very ample. The group of symmetries...
a morphism from the variety V {\displaystyle V} to its Albanese variety Alb ( V ) {\displaystyle \operatorname {Alb} (V)} , such that any morphism from...
mathematics, particularly in algebraic geometry, an isogeny is a morphismofalgebraic groups (also known as group varieties) that is surjective and has...
context of category theory, an isomorphism is defined as a morphism that has an inverse that is also a morphism. In the specific case ofalgebraic structures...