|
|
| (One intermediate revision by one other user not shown) |
| Line 1: |
Line 1: |
| In [[mathematics]], an '''algebraic space''' is a generalization of the [[scheme (mathematics)|schemes]] of [[algebraic geometry]] introduced by {{harvs|txt|authorlink=Michael Artin|last=Artin|year1=1969|year2=1971}} for use in [[deformation theory]]. Intuitively, an algebraic space is something that looks locally like an [[affine scheme]] in the [[etale topology]], in the same way that a scheme is something that looks locally like an affine scheme in the [[Zariski topology]]. The resulting [[category (mathematics)|category]] of algebraic spaces extends the category of schemes and allows one to carry out several natural constructions that are used in the construction of [[moduli space]]s but are not always possible in the smaller category of schemes, such as taking the quotient of a [[free action]] by a [[finite group]].
| | Greetings! I am Myrtle Shroyer. South Dakota is where I've usually been living. Bookkeeping is what I do. What I adore doing is taking part in baseball but I haven't made a dime with it.<br><br>Here is my website at home std testing ([http://www.sex-porn-tube.ch/user/JJeannere mouse click the up coming web site]) |
| | |
| ==Definition==
| |
| | |
| There are two common ways to define algebraic spaces: they can be defined as either quotients of schemes by etale equivalence relations, or as sheaves on a big etale site that are locally isomorphic to schemes. These two definitions are essentially equivalent.
| |
| | |
| ===Algebraic spaces as quotients of schemes===
| |
| | |
| An '''algebraic space''' ''X'' comprises a scheme ''U'' and a closed subscheme ''R'' ⊂ ''U'' × ''U'' satisfying the following two conditions:
| |
| | |
| :1. ''R'' is an [[equivalence relation]] as a subset of ''U'' × ''U''
| |
| :2. The projections ''p<sub>i</sub>'': ''R'' → ''U'' onto each factor are [[étale morphism|étale map]]s.
| |
| | |
| Some authors, such as Knutson, add an extra condition that an algebraic space has to be quasi-[[Quasi-separated|separated]], meaning that the diagonal map is quasi-compact.
| |
| | |
| One can always assume that ''R'' and ''U'' are [[affine scheme]]s. Doing so means that the theory of algebraic spaces is not dependent on the full theory of schemes, and can indeed be used as a (more general) replacement of that theory.
| |
| | |
| If ''R'' is the trivial equivalence relation over each connected component of ''U'' (i.e. for all ''x'', ''y'' belonging to the same connected component of ''U'', we have ''xRy'' if and only if ''x''=''y''), then the algebraic space will be a scheme in the usual sense. Since a general algebraic space does not satisfy this requirement, it allows a single connected component of ''U'' to [[covering space|cover]] ''X'' with many "sheets". The point set underlying the algebraic space ''X'' is then given by |''U''| / |''R''| as a set of [[equivalence class]]es.
| |
| | |
| Let ''Y'' be an algebraic space defined by an equivalence relation ''S'' ⊂ ''V'' × ''V''. The set Hom(''Y'', ''X'') of '''morphisms of algebraic spaces''' is then defined by the condition that it makes the [[descent (category theory)|descent sequence]]
| |
| | |
| :<math>\mathrm{Hom}(Y, X) \rightarrow \mathrm{Hom}(V, X) {{{} \atop \longrightarrow}\atop{\longrightarrow \atop {}}} \mathrm{Hom}(S, X)</math>
| |
| | |
| exact (this definition is motivated by a descent theorem of [[Grothendieck]] for surjective étale maps of affine schemes). With these definitions, the algebraic spaces form a [[category (mathematics)|category]].
| |
| | |
| Let ''U'' be an affine scheme over a field ''k'' defined by a system of polynomials '''''g'''''('''''x'''''), '''''x''''' = (''x''<sub>1</sub>, …, ''x<sub>n</sub>''), let
| |
| | |
| :<math>k\{x_1, \ldots, x_n\}\ </math>
| |
| | |
| denote the [[ring (mathematics)|ring]] of [[algebraic function]]s in '''''x''''' over ''k'', and let ''X'' = {''R'' ⊂ ''U'' × ''U''} be an algebraic space.
| |
| | |
| The appropriate '''stalks''' ''Õ<sub>X</sub>''<sub>, ''x''</sub> on ''X'' are then defined to be the [[local ring]]s of algebraic functions defined by ''Õ<sub>U</sub>''<sub>, ''u''</sub>, where ''u'' ∈ ''U'' is a point lying over ''x'' and ''Õ<sub>U</sub>''<sub>, ''u''</sub> is the local ring corresponding to ''u'' of the ring
| |
| | |
| :''k''{''x''<sub>1</sub>, …, ''x<sub>n</sub>''} / ('''''g''''')
| |
| | |
| of algebraic functions on ''U''.
| |
| | |
| A point on an algebraic space is said to be '''smooth''' if ''Õ<sub>X</sub>''<sub>, ''x''</sub> ≅ ''k''{''z''<sub>1</sub>, …, ''z<sub>d</sub>''} for some [[indeterminate (variable)|indeterminate]]s ''z''<sub>1</sub>, …, ''z<sub>d</sub>''. The dimension of ''X'' at ''x'' is then just defined to be ''d''.
| |
| | |
| A morphism ''f'': ''Y'' → ''X'' of algebraic spaces is said to be '''étale''' at ''y'' ∈ ''Y'' (where ''x'' = ''f''(''y'')) if the induced map on stalks
| |
| | |
| :''Õ<sub>X</sub>''<sub>, ''x''</sub> → ''Õ<sub>Y</sub>''<sub>, ''y''</sub>
| |
| | |
| is an isomorphism.
| |
| | |
| The '''structure sheaf''' ''O<sub>X</sub>'' on the algebraic space ''X'' is defined by associating the ring of functions ''O''(''V'') on ''V'' (defined by étale maps from ''V'' to the affine line '''A'''<sup>1</sup> in the sense just defined) to any algebraic space ''V'' which is étale over ''X''.
| |
| | |
| ===Algebraic spaces as sheaves===
| |
| | |
| An algebraic space ''X'' over a scheme ''S'' can also be defined as a sheaf over the big etale site of ''S'' such that the diagonal map from ''X'' to ''X''×<sub>''S''</sub>''X'' is representable by schemes and such that there is a surjective etale morphism from some scheme to ''X''. Here a morphism of sheaves from ''X'' to ''Y'' is called representable by schemes if the pullback of any morphism of a scheme to ''Y'' is also a scheme. Some authors, such as Knutson, add an extra condition that an algebraic space has to be [[quasi-separated]], meaning that the diagonal map is quasi-compact.
| |
| | |
| ==Algebraic spaces and schemes==
| |
| | |
| Algebraic spaces are similar to schemes, and much of the theory of schemes extends to algebraic spaces. For example, most properties of morphisms of schemes also apply to algebraic spaces, one can define cohomology of quasicoherent sheaves, this has the usual finiteness properties for proper morphisms, and so on.
| |
| | |
| Schemes are given by gluing together affine schemes using the Zariski topology, while algebraic spaces are given by gluing together affine schemes using the finer etale topology. Alternatively one can think of schemes as being locally isomorphic to affine schemes in the Zariski topology, while algebraic spaces are locally isomorphic to affine schemes in the etale topology. If one uses the even finer classical topology over the complex numbers, one gets analytic spaces rather than algebraic spaces.
| |
| | |
| * Proper algebraic spaces over a field of dimension one (curves) are schemes.
| |
| * Non-singular proper algebraic spaces over a field of dimension two (smooth surfaces) are schemes.
| |
| * [[Quasi-separated]] group objects in the category of algebraic spaces over a field are schemes, though there are non quasi-separated group objects that are not schemes.
| |
| * Commutative-group objects in the category of algebraic spaces over an arbitrary scheme which are proper, locally finite presentation, flat, and cohomologically flat in dimension 0 are schemes.
| |
| * Not every singular algebraic surface is a scheme.
| |
| * [[Hironaka's example]] can be used to give a non-singular 3-dimensional proper algebraic space that is not a scheme, given by the quotient of a scheme by a group of order 2 acting freely. This illustrates one difference between schemes and algebraic spaces: the quotient of an algebraic space by a discrete group acting freely is an algebraic space, but the quotient of a scheme by a discrete group acting freely need not be a scheme (even if the group is finite).
| |
| * Every algebraic space contains a dense open affine subscheme, and the complement of such a subscheme always has [[codimension]] ≥ 1. Thus algebraic spaces are in a sense "close" to affine schemes.
| |
| *The quotient of the complex numbers by a lattice is an algebraic space, but is not an elliptic curve, even though the corresponding analytic space is an elliptic curve (or more precisely is the image of an elliptic curve under the functor from complex algebraic spaces to analytic spaces). In fact this algebraic space quotient is not a scheme, is not complete, and is not even quasi-separated. This shows that although the quotient of an algebraic space by an infinite discrete group is an algebraic space, it can have strange properties and might not be the algebraic space one was "expecting". Similar examples are given by the quotient of the complex affine line by the integers, or the quotient of the complex affine line minus the origin by the powers of some number: again the corresponding analytic space is a variety, but the algebraic space is not.
| |
| | |
| ==Algebraic spaces and analytic spaces==
| |
| | |
| Algebraic spaces over the complex numbers are closely related to analytic spaces and [[Moishezon manifold]]s.
| |
| | |
| Roughly speaking, the difference between complex algebraic spaces and analytic spaces is that complex algebraic spaces are formed by gluing affine pieces together using the etale topology, while analytic spaces are formed by gluing with the classical topology. In particular there is a functor from complex algebraic spaces of finite type to analytic spaces. Hopf manifolds give examples of analytic surfaces that do not come from a proper algebraic space (though one can construct non-proper and non-separated algebraic spaces whose analytic space is the Hopf surface). It is also possible for different algebraic spaces to correspond to the same analytic space: for example, an elliptic curve and the quotient of '''C''' by the corresponding lattice are not isomorphic as algebraic spaces but the corresponding analytic spaces are isomorphic.
| |
| | |
| Artin showed that proper algebraic spaces over the complex numbers are more or less the same as Moishezon spaces.
| |
| | |
| ==See also==
| |
| * [[Algebraic stack]]
| |
| | |
| ==References==
| |
| | |
| *{{Citation | last1=Artin | first1=Michael | author1-link=Michael Artin | editor1-last=Abhyankar | editor1-first=Shreeram Shankar | title=Algebraic geometry: papers presented at the Bombay Colloquium, 1968 | url=http://books.google.com/books/?id=3evuAAAAMAAJ | publisher=[[Oxford University Press]] | series=of Tata Institute of Fundamental Research studies in mathematics, | mr=0262237 | year=1969 | volume=4 | chapter=The implicit function theorem in algebraic geometry | pages=13–34}}
| |
| *{{Citation | last1=Artin | first1=Michael | author1-link=Michael Artin | title=Algebraic spaces | url=http://books.google.com/books/about/Algebraic_spaces.html?id=Gl7vAAAAMAAJ | publisher=Yale University Press | series=Yale Mathematical Monographs | isbn=978-0-300-01396-2 | mr=0407012 | year=1971 | volume=3}}
| |
| *{{Citation | last1=Knutson | first1=Donald | title=Algebraic spaces | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Lecture Notes in Mathematics | isbn=978-3-540-05496-2 | doi=10.1007/BFb0059750 | mr=0302647 | year=1971 | volume=203}}
| |
| | |
| ==External links==
| |
| * {{springer|id=a/a011630|title=Algebraic space|first=V.I.|last= Danilov}}
| |
| *[http://stacks.math.columbia.edu/chapter/44 Algebraic space] in the stacks project
| |
| | |
| [[Category:Algebraic geometry]]
| |
Greetings! I am Myrtle Shroyer. South Dakota is where I've usually been living. Bookkeeping is what I do. What I adore doing is taking part in baseball but I haven't made a dime with it.
Here is my website at home std testing (mouse click the up coming web site)