Loading AI tools
Algebraic variety defined within an affine space From Wikipedia, the free encyclopedia
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 polynomial ring An affine variety or affine algebraic variety, is an affine algebraic set such that the ideal generated by the defining polynomials is prime.
Some texts use the term variety for any algebraic set, and irreducible variety an algebraic set whose defining ideal is prime (affine variety in the above sense).
In some contexts (see, for example, Hilbert's Nullstellensatz), it is useful to distinguish the field k in which the coefficients are considered, from the algebraically closed field K (containing k) over which the common zeros are considered (that is, the points of the affine algebraic set are in Kn). In this case, the variety is said defined over k, and the points of the variety that belong to kn are said k-rational or rational over k. In the common case where k is the field of real numbers, a k-rational point is called a real point.[1] When the field k is not specified, a rational point is a point that is rational over the rational numbers. For example, Fermat's Last Theorem asserts that the affine algebraic variety (it is a curve) defined by xn + yn − 1 = 0 has no rational points for any integer n greater than two.
An affine algebraic set is the set of solutions in an algebraically closed field k of a system of polynomial equations with coefficients in k. More precisely, if are polynomials with coefficients in k, they define an affine algebraic set
An affine (algebraic) variety is an affine algebraic set that is not the union of two proper affine algebraic subsets. Such an affine algebraic set is often said to be irreducible.
If X is an affine algebraic set, and I is the ideal of all polynomials that are zero on X, then the quotient ring is called the coordinate ring of X. If X is an affine variety, then I is prime, so the coordinate ring is an integral domain. The elements of the coordinate ring R are also called the regular functions or the polynomial functions on the variety. They form the ring of regular functions on the variety, or, simply, the ring of the variety; in other words (see #Structure sheaf), it is the space of global sections of the structure sheaf of X.
The dimension of a variety is an integer associated to every variety, and even to every algebraic set, whose importance relies on the large number of its equivalent definitions (see Dimension of an algebraic variety).
For an affine variety over an algebraically closed field K, and a subfield k of K, a k-rational point of V is a point That is, a point of V whose coordinates are elements of k. The collection of k-rational points of an affine variety V is often denoted Often, if the base field is the complex numbers C, points that are R-rational (where R is the real numbers) are called real points of the variety, and Q-rational points (Q the rational numbers) are often simply called rational points.
For instance, (1, 0) is a Q-rational and an R-rational point of the variety as it is in V and all its coordinates are integers. The point (√2/2, √2/2) is a real point of V that is not Q-rational, and is a point of V that is not R-rational. This variety is called a circle, because the set of its R-rational points is the unit circle. It has infinitely many Q-rational points that are the points
where t is a rational number.
The circle is an example of an algebraic curve of degree two that has no Q-rational point. This can be deduced from the fact that, modulo 4, the sum of two squares cannot be 3.
It can be proved that an algebraic curve of degree two with a Q-rational point has infinitely many other Q-rational points; each such point is the second intersection point of the curve and a line with a rational slope passing through the rational point.
The complex variety has no R-rational points, but has many complex points.
If V is an affine variety in C2 defined over the complex numbers C, the R-rational points of V can be drawn on a piece of paper or by graphing software. The figure on the right shows the R-rational points of
Let V be an affine variety defined by the polynomials and be a point of V.
The Jacobian matrix JV(a) of V at a is the matrix of the partial derivatives
The point a is regular if the rank of JV(a) equals the codimension of V, and singular otherwise.
If a is regular, the tangent space to V at a is the affine subspace of defined by the linear equations[2]
If the point is singular, the affine subspace defined by these equations is also called a tangent space by some authors, while other authors say that there is no tangent space at a singular point.[3] A more intrinsic definition, which does not use coordinates is given by Zariski tangent space.
The affine algebraic sets of kn form the closed sets of a topology on kn, called the Zariski topology. This follows from the fact that and (in fact, a countable intersection of affine algebraic sets is an affine algebraic set).
The Zariski topology can also be described by way of basic open sets, where Zariski-open sets are countable unions of sets of the form for These basic open sets are the complements in kn of the closed sets zero loci of a single polynomial. If k is Noetherian (for instance, if k is a field or a principal ideal domain), then every ideal of k is finitely-generated, so every open set is a finite union of basic open sets.
If V is an affine subvariety of kn the Zariski topology on V is simply the subspace topology inherited from the Zariski topology on kn.
The geometric structure of an affine variety is linked in a deep way to the algebraic structure of its coordinate ring. Let I and J be ideals of k[V], the coordinate ring of an affine variety V. Let I(V) be the set of all polynomials in that vanish on V, and let denote the radical of the ideal I, the set of polynomials f for which some power of f is in I. The reason that the base field is required to be algebraically closed is that affine varieties automatically satisfy Hilbert's nullstellensatz: for an ideal J in where k is an algebraically closed field,
Radical ideals (ideals that are their own radical) of k[V] correspond to algebraic subsets of V. Indeed, for radical ideals I and J, if and only if Hence V(I)=V(J) if and only if I=J. Furthermore, the function taking an affine algebraic set W and returning I(W), the set of all functions that also vanish on all points of W, is the inverse of the function assigning an algebraic set to a radical ideal, by the nullstellensatz. Hence the correspondence between affine algebraic sets and radical ideals is a bijection. The coordinate ring of an affine algebraic set is reduced (nilpotent-free), as an ideal I in a ring R is radical if and only if the quotient ring R/I is reduced.
Prime ideals of the coordinate ring correspond to affine subvarieties. An affine algebraic set V(I) can be written as the union of two other algebraic sets if and only if I=JK for proper ideals J and K not equal to I (in which case ). This is the case if and only if I is not prime. Affine subvarieties are precisely those whose coordinate ring is an integral domain. This is because an ideal is prime if and only if the quotient of the ring by the ideal is an integral domain.
Maximal ideals of k[V] correspond to points of V. If I and J are radical ideals, then if and only if As maximal ideals are radical, maximal ideals correspond to minimal algebraic sets (those that contain no proper algebraic subsets), which are points in V. If V is an affine variety with coordinate ring this correspondence becomes explicit through the map where denotes the image in the quotient algebra R of the polynomial An algebraic subset is a point if and only if the coordinate ring of the subset is a field, as the quotient of a ring by a maximal ideal is a field.
The following table summarises this correspondence, for algebraic subsets of an affine variety and ideals of the corresponding coordinate ring:
| Type of algebraic set | Type of ideal | Type of coordinate ring |
|---|---|---|
| affine algebraic subset | radical ideal | reduced ring |
| affine subvariety | prime ideal | integral domain |
| point | maximal ideal | field |
A product of affine varieties can be defined using the isomorphism An × Am = An+m, then embedding the product in this new affine space. Let An and Am have coordinate rings k[x1,..., xn] and k[y1,..., ym] respectively, so that their product An+m has coordinate ring k[x1,..., xn, y1,..., ym]. Let V = V( f1,..., fN) be an algebraic subset of An, and W = V( g1,..., gM) an algebraic subset of Am. Then each fi is a polynomial in k[x1,..., xn], and each gj is in k[y1,..., ym]. The product of V and W is defined as the algebraic set V × W = V( f1,..., fN, g1,..., gM) in An+m. The product is irreducible if each V, W is irreducible.[4]
The Zariski topology on An × Am is not the topological product of the Zariski topologies on the two spaces. Indeed, the product topology is generated by products of the basic open sets Uf = An − V( f ) and Tg = Am − V( g ). Hence, polynomials that are in k[x1,..., xn, y1,..., ym] but cannot be obtained as a product of a polynomial in k[x1,..., xn] with a polynomial in k[y1,..., ym] will define algebraic sets that are in the Zariski topology on An × Am , but not in the product topology.
A morphism, or regular map, of affine varieties is a function between affine varieties that is polynomial in each coordinate: more precisely, for affine varieties V ⊆ kn and W ⊆ km, a morphism from V to W is a map φ : V → W of the form φ(a1, ..., an) = (f1(a1, ..., an), ..., fm(a1, ..., an)), where fi ∈ k[X1, ..., Xn] for each i = 1, ..., m. These are the morphisms in the category of affine varieties.
There is a one-to-one correspondence between morphisms of affine varieties over an algebraically closed field k, and homomorphisms of coordinate rings of affine varieties over k going in the opposite direction. Because of this, along with the fact that there is a one-to-one correspondence between affine varieties over k and their coordinate rings, the category of affine varieties over k is dual to the category of coordinate rings of affine varieties over k. The category of coordinate rings of affine varieties over k is precisely the category of finitely-generated, nilpotent-free algebras over k.
More precisely, for each morphism φ : V → W of affine varieties, there is a homomorphism φ# : k[W] → k[V] between the coordinate rings (going in the opposite direction), and for each such homomorphism, there is a morphism of the varieties associated to the coordinate rings. This can be shown explicitly: let V ⊆ kn and W ⊆ km be affine varieties with coordinate rings k[V] = k[X1, ..., Xn] / I and k[W] = k[Y1, ..., Ym] / J respectively. Let φ : V → W be a morphism. Indeed, a homomorphism between polynomial rings θ : k[Y1, ..., Ym] / J → k[X1, ..., Xn] / I factors uniquely through the ring k[X1, ..., Xn], and a homomorphism ψ : k[Y1, ..., Ym] / J → k[X1, ..., Xn] is determined uniquely by the images of Y1, ..., Ym. Hence, each homomorphism φ# : k[W] → k[V] corresponds uniquely to a choice of image for each Yi. Then given any morphism φ = (f1, ..., fm) from V to W, a homomorphism can be constructed φ# : k[W] → k[V] that sends Yi to where is the equivalence class of fi in k[V].
Similarly, for each homomorphism of the coordinate rings, a morphism of the affine varieties can be constructed in the opposite direction. Mirroring the paragraph above, a homomorphism φ# : k[W] → k[V] sends Yi to a polynomial in k[V]. This corresponds to the morphism of varieties φ : V → W defined by φ(a1, ... , an) = (f1(a1, ..., an), ..., fm(a1, ..., an)).
Equipped with the structure sheaf described below, an affine variety is a locally ringed space.
Given an affine variety X with coordinate ring A, the sheaf of k-algebras is defined by letting be the ring of regular functions on U.
Let D(f) = { x | f(x) ≠ 0 } for each f in A. They form a base for the topology of X and so is determined by its values on the open sets D(f). (See also: sheaf of modules#Sheaf associated to a module.)
The key fact, which relies on Hilbert nullstellensatz in the essential way, is the following:
Claim — for any f in A.
Proof:[5] The inclusion ⊃ is clear. For the opposite, let g be in the left-hand side and , which is an ideal. If x is in D(f), then, since g is regular near x, there is some open affine neighborhood D(h) of x such that ; that is, hm g is in A and thus x is not in V(J). In other words, and thus the Hilbert nullstellensatz implies f is in the radical of J; i.e., .
The claim, first of all, implies that X is a "locally ringed" space since
where . Secondly, the claim implies that is a sheaf; indeed, it says if a function is regular (pointwise) on D(f), then it must be in the coordinate ring of D(f); that is, "regular-ness" can be patched together.
Hence, is a locally ringed space.
A theorem of Serre gives a cohomological characterization of an affine variety; it says an algebraic variety is affine if and only if for any and any quasi-coherent sheaf F on X. (cf. Cartan's theorem B.) This makes the cohomological study of an affine variety non-existent, in a sharp contrast to the projective case in which cohomology groups of line bundles are of central interest.
An affine variety G over an algebraically closed field k is called an affine algebraic group if it has:
Together, these define a group structure on the variety. The above morphisms are often written using ordinary group notation: μ(f, g) can be written as f + g, f⋅g, or fg; the inverse ι(g) can be written as −g or g−1. Using the multiplicative notation, the associativity, identity and inverse laws can be rewritten as: f(gh) = (fg)h, ge = eg = g and gg−1 = g−1g = e.
The most prominent example of an affine algebraic group is GLn(k), the general linear group of degree n. This is the group of linear transformations of the vector space kn; if a basis of kn, is fixed, this is equivalent to the group of n×n invertible matrices with entries in k. It can be shown that any affine algebraic group is isomorphic to a subgroup of GLn(k). For this reason, affine algebraic groups are often called linear algebraic groups.
Affine algebraic groups play an important role in the classification of finite simple groups, as the groups of Lie type are all sets of Fq-rational points of an affine algebraic group, where Fq is a finite field.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
![{\displaystyle k[X_{1},\ldots ,X_{n}].}](http://wikimedia.org/api/rest_v1/media/math/render/svg/d491c9eeb9b9a38b579fc317bc2c0f1d6e9f601f)
![{\displaystyle R=k[x_{1},\ldots ,x_{n}]/I}](http://wikimedia.org/api/rest_v1/media/math/render/svg/bcadcdc96a343a7a871ee0ec2837bfc5d0ea48c3)
![{\displaystyle k[X][f^{-1}]}](http://wikimedia.org/api/rest_v1/media/math/render/svg/6dfd4c8b65d8f506f8b1273472ee8be84437ddb2)
![{\displaystyle f_{1},\dots ,f_{r}\in k[x_{1},\dots ,x_{n}],}](http://wikimedia.org/api/rest_v1/media/math/render/svg/fa6732dcd24697bdf166252b76006856b6aaf4a8)
![{\displaystyle f\in k[x_{1},\ldots ,x_{n}].}](http://wikimedia.org/api/rest_v1/media/math/render/svg/d6987ade50c4d9916f66e432dc159910e72f05a2)
![{\displaystyle k[x_{1},\ldots ,x_{n}],}](http://wikimedia.org/api/rest_v1/media/math/render/svg/13e0d05724f78dd62ab545dfdeb046ed6304951d)
![{\displaystyle R=k[x_{1},\ldots ,x_{n}]/\langle f_{1},\ldots ,f_{m}\rangle ,}](http://wikimedia.org/api/rest_v1/media/math/render/svg/3becdfcac698da5313f5f700127c8078f7392680)
![{\displaystyle \Gamma (D(f),{\mathcal {O}}_{X})=A[f^{-1}]}](http://wikimedia.org/api/rest_v1/media/math/render/svg/fccb19351d0b1935913d3db2c24cd232d893883d)
![{\displaystyle g\in k[D(h)]=A[h^{-1}]}](http://wikimedia.org/api/rest_v1/media/math/render/svg/48256d2cb923a33ea7d25366e9537cc439e8309c)
![{\displaystyle {\mathcal {O}}_{X,x}=\varinjlim _{f(x)\neq 0}A[f^{-1}]=A_{{\mathfrak {m}}_{x}}}](http://wikimedia.org/api/rest_v1/media/math/render/svg/976f891c53326d505d2408770f792eb435d5bd12)
