Difference between revisions of "Algebraic geometry"
(Undo revision 24543 by MysticTerminator (Talk)) |
|||
Line 11: | Line 11: | ||
Let <math>A</math> be a ring and <math>X=\operatorname{Spec}A</math>. An affine scheme is a ringed topological space isomorphic to some <math>(\operatorname{Spec }A,\mathcal{O}_{\operatorname{Spec}A})</math>. | Let <math>A</math> be a ring and <math>X=\operatorname{Spec}A</math>. An affine scheme is a ringed topological space isomorphic to some <math>(\operatorname{Spec }A,\mathcal{O}_{\operatorname{Spec}A})</math>. | ||
A scheme is a ringed topological space <math>(X,\mathcal{O}_X)</math> admitting an open covering <math>\{U_i\}_i</math> such that <math>(U_i,\mathcal{O}_{X|U_i})</math> is an affine scheme for every <math>i</math>. | A scheme is a ringed topological space <math>(X,\mathcal{O}_X)</math> admitting an open covering <math>\{U_i\}_i</math> such that <math>(U_i,\mathcal{O}_{X|U_i})</math> is an affine scheme for every <math>i</math>. | ||
− | |||
− | |||
− | |||
− | |||
{{stub}} | {{stub}} |
Revision as of 21:27, 3 April 2008
Algebraic geometry is the study of solutions of polynomial equations by means of abstract algebra, and in particular ring theory. Algebraic geometry is most easily done over algebraically closed fields, but it can also be done more generally over any field or even over rings. It is not to be confused with analytic geometry, which is use of coordinates to solve geometrical problems.
Affine Algebraic Varieties
One of the first basic objects studied in algebraic geometry is a variety. Let denote affine -space, i.e. a vector space of dimension over an algebraically closed field, such as the field of complex numbers. (We can think of this as -dimensional "complex Euclidean" space.) Let be the polynomial ring in variables, and let be a maximal ideal of . Then is called an affine algebraic variety.
Projective Varieties
Let k be a field. A projective variety over k is a projective scheme over k. Projective varieties are algebraic varieties.
Schemes
Let be a ring and . An affine scheme is a ringed topological space isomorphic to some . A scheme is a ringed topological space admitting an open covering such that is an affine scheme for every .
This article is a stub. Help us out by expanding it.