|
|
| (One intermediate revision by one other user not shown) |
| Line 1: |
Line 1: |
| [[File:Cubic with double point.svg|thumb|A [[cubic plane curve]] given by <math>y^2 = x^2(x+1)</math>]]
| |
| In [[algebraic geometry]], an '''affine variety''' over an [[algebraically closed field]] ''k'' is the zero-locus in the [[affine space|affine ''n''-space]] <math>k^n</math> of some finite family of [[polynomial]]s of ''n'' variables with coefficients in ''k'' that generate a [[prime ideal]]. If the condition of generating a prime ideal is removed, such a set is called an (affine) '''[[algebraic set]]'''. A [[Zariski topology|Zariski open]] subspace of an affine variety is called a [[quasi-affine variety]].
| |
|
| |
|
| If ''X'' is an affine variety defined by a prime ideal ''I'', then the [[quotient ring]]
| |
| :<math>k[x_1, \ldots, x_n]/I</math>
| |
| is called the '''coordinate ring''' of ''X''. This ring is precisely the set of all regular functions on ''X''; in other words, it is the space of global sections of the structure sheaf of ''X''. A theorem of Serre gives a cohomological characterization of an affine variety: that is, an algebraic variety is affine if and only if
| |
| :<math>H^i(X, F) = 0</math>
| |
| for any <math>i > 0</math> 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 plays a role of a local chart for [[algebraic varieties]]; that is to say, general algebraic varieties such as [[projective variety|projective varieties]] are obtained by gluing affine varieties. Linear structures that are attached to varieties are also (trivially) affine varieties; e.g., tangent spaces.
| | That this person who wrote each article is called Leland but it's not those most masucline name around the world. Managing people is where his primary purchases comes from. His wife and him live inside of Massachusetts and he will have everything that he prefers there. [http://Data.Gov.uk/data/search?q=Base+jumping Base jumping] is something that he or she is been doing for a number of. He is running and maintaining per blog here: http://circuspartypanama.com<br><br>Here is my weblog ... clash of clans hack tool ([http://circuspartypanama.com just click the next webpage]) |
| | |
| An affine variety is, up to an [[equivalence of categories]] a special case of an affine scheme, which is precisely the [[spectrum of a ring]]. In [[complex geometry]], an affine variety is an analog of a [[Stein manifold]].
| |
| | |
| == Introduction ==
| |
| The most concrete point of view to describe an affine algebraic variety is that it is the set of solutions in an algebraically closed field ''k'' of a system of polynomial equations with coefficients in ''k''. More precisely, if <math>f_1, \ldots, f_k</math> are polynomials with coefficients in ''k'', they define an affine variety (or affine algebraic set)
| |
| :<math> V(f_1,\ldots, f_k) = \left\{(a_1,\ldots,a_n)\in k^n \;|\;f_1(a_1,\ldots, a_n)=\ldots=f_k(a_1,\ldots, a_n)=0\right\}.</math>
| |
| | |
| By [[Hilbert's Nullstellensatz]], the points of the variety are in one to one correspondence with the [[maximal ideal]]s of its ''coordinate ring'', the ''k''-algebra <math>R=k[x_1, \ldots, x_n]/\langle f_1, \ldots, f_k\rangle, </math> through the map <math>(a_1,\ldots, a_n) \mapsto \langle \overline{x_1-a_1}, \ldots, \overline{x_n-a_n}\rangle,</math> where <math>\overline{x_i-a_i}</math> denotes the image in the quotient algebra ''R'' of the polynomial <math>x_i-a_i.</math> In [[scheme theory]], this correspondence has been extended to [[prime ideal]]s to define the [[affine scheme]] <math>\operatorname{Spec}(R),</math> which may be identified to the variety, through an [[equivalence of categories]].
| |
| | |
| 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 the regular functions'' on the variety, or, simply, the ''ring of the variety''. In fact an element <math>\overline{f}\in R</math> is the image of a polynomial <math>f\in k[x_1,\ldots, x_n],</math> which defines a function from ''k''<sup>''n''</sup> into ''k''; The restriction of ''f'' to the variety does not depend on the choice of <math>f</math> among the polynomials mapped on <math>\overline{f}</math> by the quotient.
| |
| | |
| The '''dimension of a variety''' is a 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]]).
| |
| | |
| == First properties ==
| |
| Let <math>X = \operatorname{spec} A, Y = \operatorname{spec} B</math> where ''A'', ''B'' are integral domains that are the quotient of the polynomial ring <math>k[t_1, \dots, t_n]</math>, ''k'' an algebraically closed field.
| |
| * A morphism of affine varieties: Each ''k''-algebra homomorphism <math>\phi: B \to A</math> defines the continuous function <math>\phi^{\# }:X \to Y</math> by
| |
| ::<math>\mathfrak{m} \mapsto \phi^{-1}(\mathfrak{m})</math>.
| |
| :Any function <math>X \to Y</math> arises in this way is called a morphism of affine varieties. Now, if ''Y'' is ''k'', then <math>\phi^{\# }</math> may be identified with a regular function. By the same logic, if <math>Y = k^n</math>, then <math>\phi</math> can be thought of as an ''n''-tuple of regular functions. Since <math>Y \subset k^n</math>, a morphism between affine varieties in general would have this form.
| |
| * Any closed subset of an affine variety has the form <math>V(I) = \{ \mathfrak{m} \in X \mid I \subset \mathfrak{m} \}</math>; in particular, it is an affine variety.
| |
| * For any ''f'' in ''A'', the open set <math>D(f)</math> is an affine subvariety of ''X'' isomorphic to <math>\operatorname{spec} (A[f^{-1}])</math>. Not every open subvariety is of this form
| |
| | |
| == Examples ==
| |
| * Every closed subvariety of the affine space <math>\mathbf{A}^n</math> of codimension one is defined by a prime ideal of the polynomial ring of height one, which is principal; thus, they are hypersurfaces (i.e., defined by a single polynomial.)
| |
| * '''C'''<sup>2</sup> - 0 is an open subset of the affine variety that is not affine; cf. [[Hartogs' extension theorem]]
| |
| * The [[normal scheme|normalization]] of an irreducible affine variety is affine; the coordinate ring of the normalization is the [[integral closure]] of the coordinate ring of the variety. (It turns out the normalization of a projective variety is a projective variety.)
| |
| | |
| == Rational points ==
| |
| {{Expand section|date=March 2013}}
| |
| | |
| == Tangent spaces ==
| |
| {{Expand section|date=March 2013}}
| |
| Tangent spaces may be defined just as in calculus. Let <math>X = \operatorname{spec} A, A = k[x_1, \dots, x_n]/(f_1, \dots, f_r)</math> be the affine variety. Then the affine subvariety of <math>k^n</math> defined by the [[linear equation]]s
| |
| :<math>\sum_{i=1}^n {\partial f_j \over \partial {x_i} }(a_1, \dots, a_n) (x_i - a_i) = 0, \quad j = 1, \dots, r</math>
| |
| is called the tangent space at <math>x = (a_1, \dots, a_n).</math><ref>{{harvnb|Milne|AG|loc=Ch. 5}}</ref> (A more intrinsic definition is given by [[Zariski tangent space]].) If the tangent space at ''x'' and the variety ''X'' have the same dimension, the point ''x'' is said to be smooth; otherwise, singular.
| |
| | |
| The important difference from calculus is that the [[inverse function theorem]] fails. To alleviate this problem, one has to consider the [[étale topology]] instead of the Zariski topology.<!-- give details. --> (cf. Milne, Étale)
| |
| | |
| See also: [[Tangent space to a functor]].
| |
| | |
| == Notes ==
| |
| {{reflist}}
| |
| | |
| == Reference ==
| |
| The original article was written as a partial human translation of the corresponding French article.
| |
| *{{Hartshorne AG}}
| |
| * Milne, ''[http://www.jmilne.org/math/CourseNotes/ag.html Algebraic geometry]''
| |
| * Milne, ''[http://www.jmilne.org/math/CourseNotes/lec.html Lectures on Étale cohomology]''
| |
| | |
| [[Category:Algebraic geometry]]
| |
That this person who wrote each article is called Leland but it's not those most masucline name around the world. Managing people is where his primary purchases comes from. His wife and him live inside of Massachusetts and he will have everything that he prefers there. Base jumping is something that he or she is been doing for a number of. He is running and maintaining per blog here: http://circuspartypanama.com
Here is my weblog ... clash of clans hack tool (just click the next webpage)