Modern Definitions of The Objects of Algebraic Geometry
See also: spectrum of a ringAlexander Grothendieck then gave the decisive definition, bringing to a conclusion a generation of experimental suggestions and partial developments. 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 which 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.
Read more about this topic: Scheme (mathematics)
Famous quotes containing the words modern, definitions, objects, algebraic and/or geometry:
“The modern nose, like the modern eye, has developed a sort of microscopic, intercellular intensity which makes our human contacts painful and revolting.”
—Marshall McLuhan (1911–1980)
“Lord Byron is an exceedingly interesting person, and as such is it not to be regretted that he is a slave to the vilest and most vulgar prejudices, and as mad as the winds?
There have been many definitions of beauty in art. What is it? Beauty is what the untrained eyes consider abominable.”
—Edmond De Goncourt (1822–1896)
“I think of consciousness as a bottomless lake, whose waters seem transparent, yet into which we can clearly see but a little way. But in this water there are countless objects at different depths; and certain influences will give certain kinds of those objects an upward influence which may be intense enough and continue long enough to bring them into the upper visible layer. After the impulse ceases they commence to sink downwards.”
—Charles Sanders Peirce (1839–1914)
“I have no scheme about it,—no designs on men at all; and, if I had, my mode would be to tempt them with the fruit, and not with the manure. To what end do I lead a simple life at all, pray? That I may teach others to simplify their lives?—and so all our lives be simplified merely, like an algebraic formula? Or not, rather, that I may make use of the ground I have cleared, to live more worthily and profitably?”
—Henry David Thoreau (1817–1862)
“I am present at the sowing of the seed of the world. With a geometry of sunbeams, the soul lays the foundations of nature.”
—Ralph Waldo Emerson (1803–1882)