Functional equation: Difference between revisions
en>EmausBot m r2.7.2+) (Robot: Adding ar:معادلة دالية |
en>Donner60 Reverted good faith edits by 124.170.241.132 (talk): Notability not a criterion; relevancy and accuracy not challenged. (TW) |
||
| Line 1: | Line 1: | ||
In [[mathematics]], '''schemes''' connect the fields of [[algebraic geometry]], [[commutative algebra]] and [[number theory]]. Schemes were introduced by [[Alexander Grothendieck]]{{when|date=January 2014}} so as to broaden the notion of [[algebraic variety]]; some consider schemes to be the basic object of study of modern algebraic geometry. Technically, a scheme is a [[topological space]] together with [[commutative ring]]s for all of its open sets, which arises from gluing together [[spectrum of a ring|spectra]] (spaces of [[prime ideal]]s) of commutative rings along their open subsets. | |||
== Types of schemes == | |||
There are many ways one can qualify a scheme. According to a basic idea of Grothendieck, conditions should be applied to a ''morphism'' of schemes. Any scheme ''S'' has a unique morphism to Spec('''Z'''), so this attitude, part of the ''[[Grothendieck's relative point of view|relative point of view]]'', doesn't lose anything. | |||
For detail on the development of scheme theory, which quickly becomes technically demanding, see first [[glossary of scheme theory]]. | |||
== History and motivation == | |||
The algebraic geometers of the [[Italian school of algebraic geometry|Italian school]] had often used the somewhat foggy concept of "[[generic point]]" when proving statements about [[algebraic varieties]]. What is true for the generic point is true for all points of the variety except a small number of special points. In the 1920s, [[Emmy Noether]] had first suggested a way to clarify the concept: start with the coordinate ring of the variety (the ring of all polynomial functions defined on the variety); the [[maximal ideal]]s of this ring will correspond to ordinary points of the variety (under suitable conditions), and the non-maximal [[prime ideal]]s will correspond to the various generic points, one for each subvariety. By taking all prime ideals, one thus gets the whole collection of ordinary and generic points. Noether did not pursue this approach. | |||
In the 1930s, [[Wolfgang Krull]] turned things around and took a radical step: start with ''any'' commutative ring, consider the set of its prime ideals, turn it into a [[topological space]] by introducing the [[Zariski topology]], and study the algebraic geometry of these quite general objects. Others did not see the point of this generality and Krull abandoned it. | |||
[[André Weil]] was especially interested in algebraic geometry over [[finite field]]s and other rings. In the 1940s he returned to the prime ideal approach; he needed an ''abstract variety'' (outside [[projective space]]) for foundational reasons, particularly for the existence in an algebraic setting of the [[Jacobian variety]]. In Weil's main foundational book (1946), generic points are constructed by taking points in a very large [[algebraically closed]] field, called a ''universal domain''. | |||
In 1944 [[Oscar Zariski]] defined an abstract [[Zariski–Riemann space]] from the function field of an [[algebraic variety]], for the needs of [[birational geometry]]: this is like a [[direct limit]] of ordinary varieties (under 'blowing up'), and the construction, reminiscent of [[locale theory]], used [[valuation ring]]s as points. | |||
In the 1950s, [[Jean-Pierre Serre]], [[Claude Chevalley]] and [[Masayoshi Nagata]], motivated largely by the [[Weil conjectures]] relating [[number theory]] and [[algebraic geometry]], pursued similar approaches with prime ideals as points. According to [[Pierre Cartier (mathematician)|Pierre Cartier]], the word ''scheme'' was first used in the 1956 Chevalley Seminar, in which Chevalley was pursuing Zariski's ideas; and it was [[André Martineau]] who suggested to Serre the move to the current [[spectrum of a ring]] in general. | |||
==Modern definitions of the objects of algebraic geometry== | |||
{{see also|Spectrum of a ring}} | |||
[[Alexander Grothendieck]] then gave the decisive definition, bringing to a conclusion a generation of experimental suggestions and partial developments.{{fact|date=January 2014}} He defined the [[spectrum of a ring|spectrum]] of a commutative ring as the space of prime ideals with Zariski topology, but augments it with a [[sheaf (mathematics)|sheaf]] of rings: to every Zariski-open set he assigns a commutative ring, thought of as the ring of "polynomial functions" defined on that set. These objects are the "affine schemes"; a general scheme is then obtained by "gluing together" several such affine schemes, in analogy to the fact that general varieties can be obtained by gluing together affine varieties. | |||
The generality of the scheme concept was initially criticized: some schemes are removed from having straightforward geometrical interpretation, which made the concept difficult to grasp. However, admitting arbitrary schemes makes the whole category of schemes better-behaved. Moreover, natural considerations regarding, for example, [[moduli space]]s, lead to schemes that are "non-classical". The occurrence of these schemes that are not varieties (nor built up simply from varieties) in problems that could be posed in classical terms made for the gradual acceptance of the new foundations of the subject. | |||
Subsequent work on [[algebraic space]]s and [[algebraic stack]]s by [[Pierre Deligne|Deligne]], [[David Mumford|Mumford]], and [[Michael Artin]], originally in the context of [[moduli problem]]s, has further enhanced the geometric flexibility of modern algebraic geometry. Grothendieck advocated certain types of [[ringed topos]]es as generalisations of schemes, and following his proposals [[relative scheme]]s over ringed toposes were developed by M. Hakim. Recent ideas about [[higher algebraic stack]]s and homotopical or [[derived algebraic geometry]] have regard to further expanding the algebraic reach of geometric intuition, bringing algebraic geometry closer in spirit to [[homotopy theory]]. | |||
== Definitions == | |||
An [[affine scheme]] is a [[locally ringed space]] isomorphic to the spectrum of a commutative ring. We denote the spectrum of a commutative ring ''A'' by Spec(''A''). A '''scheme''' is a locally ringed space ''X'' admitting a covering by open sets ''U''<sub>''i''</sub>, such that the restriction of the structure sheaf ''O''<sub>''X''</sub> to each ''U''<sub>''i''</sub> is an affine scheme. Therefore one may think of a scheme as being covered by "coordinate charts" of affine schemes. The above formal definition means exactly that schemes are obtained by glueing together affine schemes for the [[Zariski topology]]. | |||
In the early days, this was called a ''prescheme'', and a scheme was defined to be a [[separated scheme|separated]] prescheme. The term prescheme has fallen out of use, but can still be found in older books, such as [[Grothendieck]]'s [[Éléments de géométrie algébrique]] and [[David Mumford|Mumford]]'s {{doi-inline|10.1007/b62130|''Red Book''}}. | |||
== The category of schemes == | |||
Schemes form a [[category theory|category]] if we take as morphisms the morphisms of [[Ringed space|locally ringed space]]s. | |||
Morphisms from schemes to affine schemes are completely understood in terms of ring homomorphisms by the following contravariant [[adjoint functor|adjoint pair]]: For every scheme ''X'' and every commutative ring ''A'' we have a natural equivalence | |||
:<math>\operatorname{Hom}_{\rm Schemes}(X, \operatorname{Spec}(A)) \cong \operatorname{Hom}_{\rm CRing}(A, {\mathcal O}_X(X)).</math> | |||
Since '''[[integer|Z]]''' is an [[initial object]] in the [[category of rings]], the category of schemes has Spec('''Z''') as a [[final object]]. | |||
The category of schemes has finite [[product (category theory)|products]], but one has to be careful: the underlying topological space of the product scheme of (''X'', ''O<sub>X</sub>'') and (''Y'', ''O<sub>Y</sub>'') is normally ''not'' equal to the [[product topology|product]] of the topological spaces ''X'' and ''Y''. In fact, the underlying topological space of the product scheme often has more points than the product of the underlying topological spaces. For example, if ''K'' is the field with nine elements, then Spec ''K'' × Spec ''K'' ≈ Spec (''K'' ⊗<sub>'''Z'''</sub> ''K'') ≈ Spec (''K'' ⊗<sub>'''Z'''/3'''Z'''</sub> ''K'') ≈ Spec (''K'' × ''K''), a set with two elements, though Spec ''K'' has only a single element. | |||
For a scheme <math>S</math>, the category of schemes over <math>S</math> has also [[fibre product]]s, and since it has a final object <math>S</math>, it follows that it has finite [[Limit (category theory)|limit]]s. | |||
== ''O<sub>X</sub>'' modules == | |||
Just as the ''R''-[[module (mathematics)|modules]] are central in [[commutative algebra]] when studying the [[commutative ring]] ''R'', so are the ''O<sub>X</sub>''-modules central in the study of the scheme ''X'' with structure sheaf ''O<sub>X</sub>''. (See [[locally ringed space]] for a definition of ''O<sub>X</sub>''-modules.) The category of ''O<sub>X</sub>''-modules is [[abelian category|abelian]]. Of particular importance are the [[coherent sheaf|coherent sheaves]] on ''X'', which arise from finitely generated (ordinary) modules on the affine parts of ''X''. The category of coherent sheaves on ''X'' is also abelian. | |||
==Generalizations== | |||
A commonly used generalization of schemes are the [[algebraic stack]]s. All schemes are algebraic stacks, but the category of algebraic stacks is richer in that it contains many quotient objects and [[moduli space]]s that cannot be constructed as schemes; stacks can also have negative dimension. Standard constructions of scheme theory, such as [[sheaf (mathematics)|sheaves]] and [[étale cohomology]], can be extended to algebraic stacks. | |||
See also: [[derived scheme]]. | |||
==References== | |||
*{{cite book | |||
| author = [[David Eisenbud]] | |||
| coauthors = [[Joe Harris (mathematician)|Joe Harris]] | |||
| year = 1998 | |||
| title = The Geometry of Schemes | |||
| publisher = [[Springer Science+Business Media|Springer-Verlag]] | |||
| isbn = 0-387-98637-5 | |||
}} | |||
*{{cite book | |||
| author = [[Robin Hartshorne]] | |||
| year = 1997 | |||
| title = Algebraic Geometry | |||
| publisher = Springer-Verlag | |||
| isbn = 0-387-90244-9 | |||
}} | |||
*{{cite book | |||
| author = [[David Mumford]] | |||
| year = 1999 | |||
| title = The Red Book of Varieties and Schemes: Includes the Michigan Lectures (1974) on Curves and Their Jacobians | |||
| edition = 2nd ed. | |||
| publisher = Springer-Verlag | |||
| doi = 10.1007/b62130 | |||
| isbn = 3-540-63293-X | |||
}} | |||
*{{cite book | |||
| author = Qing Liu | |||
| year = 2002 | |||
| title = Algebraic Geometry and Arithmetic Curves | |||
| publisher = [[Oxford University Press]] | |||
| isbn = 0-19-850284-2 | |||
}} | |||
[[Category:Scheme theory]] | |||
Revision as of 10:12, 23 January 2014
In mathematics, schemes connect the fields of algebraic geometry, commutative algebra and number theory. Schemes were introduced by Alexander GrothendieckTemplate:When so as to broaden the notion of algebraic variety; some consider schemes to be the basic object of study of modern algebraic geometry. Technically, a scheme is a topological space together with commutative rings for all of its open sets, which arises from gluing together spectra (spaces of prime ideals) of commutative rings along their open subsets.
Types of schemes
There are many ways one can qualify a scheme. According to a basic idea of Grothendieck, conditions should be applied to a morphism of schemes. Any scheme S has a unique morphism to Spec(Z), so this attitude, part of the relative point of view, doesn't lose anything.
For detail on the development of scheme theory, which quickly becomes technically demanding, see first glossary of scheme theory.
History and motivation
The algebraic geometers of the Italian school had often used the somewhat foggy concept of "generic point" when proving statements about algebraic varieties. What is true for the generic point is true for all points of the variety except a small number of special points. In the 1920s, Emmy Noether had first suggested a way to clarify the concept: start with the coordinate ring of the variety (the ring of all polynomial functions defined on the variety); the maximal ideals of this ring will correspond to ordinary points of the variety (under suitable conditions), and the non-maximal prime ideals will correspond to the various generic points, one for each subvariety. By taking all prime ideals, one thus gets the whole collection of ordinary and generic points. Noether did not pursue this approach.
In the 1930s, Wolfgang Krull turned things around and took a radical step: start with any commutative ring, consider the set of its prime ideals, turn it into a topological space by introducing the Zariski topology, and study the algebraic geometry of these quite general objects. Others did not see the point of this generality and Krull abandoned it.
André Weil was especially interested in algebraic geometry over finite fields and other rings. In the 1940s he returned to the prime ideal approach; he needed an abstract variety (outside projective space) for foundational reasons, particularly for the existence in an algebraic setting of the Jacobian variety. In Weil's main foundational book (1946), generic points are constructed by taking points in a very large algebraically closed field, called a universal domain.
In 1944 Oscar Zariski defined an abstract Zariski–Riemann space from the function field of an algebraic variety, for the needs of birational geometry: this is like a direct limit of ordinary varieties (under 'blowing up'), and the construction, reminiscent of locale theory, used valuation rings as points.
In the 1950s, Jean-Pierre Serre, Claude Chevalley and Masayoshi Nagata, motivated largely by the Weil conjectures relating number theory and algebraic geometry, pursued similar approaches with prime ideals as points. According to Pierre Cartier, the word scheme was first used in the 1956 Chevalley Seminar, in which Chevalley was pursuing Zariski's ideas; and it was André Martineau who suggested to Serre the move to the current spectrum of a ring in general.
Modern definitions of the objects of algebraic geometry
DTZ's public sale group in Singapore auctions all forms of residential, workplace and retail properties, outlets, homes, lodges, boarding homes, industrial buildings and development websites. Auctions are at present held as soon as a month.
We will not only get you a property at a rock-backside price but also in an space that you've got longed for. You simply must chill out back after giving us the accountability. We will assure you 100% satisfaction. Since we now have been working in the Singapore actual property market for a very long time, we know the place you may get the best property at the right price. You will also be extremely benefited by choosing us, as we may even let you know about the precise time to invest in the Singapore actual property market.
The Hexacube is offering new ec launch singapore business property for sale Singapore investors want to contemplate. Residents of the realm will likely appreciate that they'll customize the business area that they wish to purchase as properly. This venture represents one of the crucial expansive buildings offered in Singapore up to now. Many investors will possible want to try how they will customise the property that they do determine to buy by means of here. This location has offered folks the prospect that they should understand extra about how this course of can work as well.
Singapore has been beckoning to traders ever since the value of properties in Singapore started sky rocketing just a few years again. Many businesses have their places of work in Singapore and prefer to own their own workplace area within the country once they decide to have a everlasting office. Rentals in Singapore in the corporate sector can make sense for some time until a business has discovered a agency footing. Finding Commercial Property Singapore takes a variety of time and effort but might be very rewarding in the long term.
is changing into a rising pattern among Singaporeans as the standard of living is increasing over time and more Singaporeans have abundance of capital to invest on properties. Investing in the personal properties in Singapore I would like to applaud you for arising with such a book which covers the secrets and techniques and tips of among the profitable Singapore property buyers. I believe many novice investors will profit quite a bit from studying and making use of some of the tips shared by the gurus." – Woo Chee Hoe Special bonus for consumers of Secrets of Singapore Property Gurus Actually, I can't consider one other resource on the market that teaches you all the points above about Singapore property at such a low value. Can you? Condominium For Sale (D09) – Yong An Park For Lease
In 12 months 2013, c ommercial retails, shoebox residences and mass market properties continued to be the celebrities of the property market. Models are snapped up in report time and at document breaking prices. Builders are having fun with overwhelming demand and patrons need more. We feel that these segments of the property market are booming is a repercussion of the property cooling measures no.6 and no. 7. With additional buyer's stamp responsibility imposed on residential properties, buyers change their focus to commercial and industrial properties. I imagine every property purchasers need their property funding to understand in value.
Alexander Grothendieck then gave the decisive definition, bringing to a conclusion a generation of experimental suggestions and partial developments.Template:Fact He defined the spectrum of a commutative ring as the space of prime ideals with Zariski topology, but augments it with a sheaf of rings: to every Zariski-open set he assigns a commutative ring, thought of as the ring of "polynomial functions" defined on that set. These objects are the "affine schemes"; a general scheme is then obtained by "gluing together" several such affine schemes, in analogy to the fact that general varieties can be obtained by gluing together affine varieties.
The generality of the scheme concept was initially criticized: some schemes are removed from having straightforward geometrical interpretation, which made the concept difficult to grasp. However, admitting arbitrary schemes makes the whole category of schemes better-behaved. Moreover, natural considerations regarding, for example, moduli spaces, lead to schemes that are "non-classical". The occurrence of these schemes that are not varieties (nor built up simply from varieties) in problems that could be posed in classical terms made for the gradual acceptance of the new foundations of the subject.
Subsequent work on algebraic spaces and algebraic stacks by Deligne, Mumford, and Michael Artin, originally in the context of moduli problems, has further enhanced the geometric flexibility of modern algebraic geometry. Grothendieck advocated certain types of ringed toposes as generalisations of schemes, and following his proposals relative schemes over ringed toposes were developed by M. Hakim. Recent ideas about higher algebraic stacks and homotopical or derived algebraic geometry have regard to further expanding the algebraic reach of geometric intuition, bringing algebraic geometry closer in spirit to homotopy theory.
Definitions
An affine scheme is a locally ringed space isomorphic to the spectrum of a commutative ring. We denote the spectrum of a commutative ring A by Spec(A). A scheme is a locally ringed space X admitting a covering by open sets Ui, such that the restriction of the structure sheaf OX to each Ui is an affine scheme. Therefore one may think of a scheme as being covered by "coordinate charts" of affine schemes. The above formal definition means exactly that schemes are obtained by glueing together affine schemes for the Zariski topology.
In the early days, this was called a prescheme, and a scheme was defined to be a separated prescheme. The term prescheme has fallen out of use, but can still be found in older books, such as Grothendieck's Éléments de géométrie algébrique and Mumford's Template:Doi-inline.
The category of schemes
Schemes form a category if we take as morphisms the morphisms of locally ringed spaces.
Morphisms from schemes to affine schemes are completely understood in terms of ring homomorphisms by the following contravariant adjoint pair: For every scheme X and every commutative ring A we have a natural equivalence
Since Z is an initial object in the category of rings, the category of schemes has Spec(Z) as a final object.
The category of schemes has finite products, but one has to be careful: the underlying topological space of the product scheme of (X, OX) and (Y, OY) is normally not equal to the product of the topological spaces X and Y. In fact, the underlying topological space of the product scheme often has more points than the product of the underlying topological spaces. For example, if K is the field with nine elements, then Spec K × Spec K ≈ Spec (K ⊗Z K) ≈ Spec (K ⊗Z/3Z K) ≈ Spec (K × K), a set with two elements, though Spec K has only a single element.
For a scheme , the category of schemes over has also fibre products, and since it has a final object , it follows that it has finite limits.
OX modules
Just as the R-modules are central in commutative algebra when studying the commutative ring R, so are the OX-modules central in the study of the scheme X with structure sheaf OX. (See locally ringed space for a definition of OX-modules.) The category of OX-modules is abelian. Of particular importance are the coherent sheaves on X, which arise from finitely generated (ordinary) modules on the affine parts of X. The category of coherent sheaves on X is also abelian.
Generalizations
A commonly used generalization of schemes are the algebraic stacks. All schemes are algebraic stacks, but the category of algebraic stacks is richer in that it contains many quotient objects and moduli spaces that cannot be constructed as schemes; stacks can also have negative dimension. Standard constructions of scheme theory, such as sheaves and étale cohomology, can be extended to algebraic stacks.
See also: derived scheme.
References
- 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
My blog: http://www.primaboinca.com/view_profile.php?userid=5889534 - 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
My blog: http://www.primaboinca.com/view_profile.php?userid=5889534 - 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
My blog: http://www.primaboinca.com/view_profile.php?userid=5889534 - 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
My blog: http://www.primaboinca.com/view_profile.php?userid=5889534