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:
“Much of modern art is devoted to lowering the threshold of what is terrible. By getting us used to what, formerly, we could not bear to see or hear, because it was too shocking, painful, or embarrassing, art changes morals.”
—Susan Sontag (b. 1933)
“The loosening, for some people, of rigid role definitions for men and women has shown that dads can be great at calming babies—if they take the time and make the effort to learn how. It’s that time and effort that not only teaches the dad how to calm the babies, but also turns him into a parent, just as the time and effort the mother puts into the babies turns her into a parent.”
—Pamela Patrick Novotny (20th century)
“If the Christ were content with humble toilers for disciples, that wasn’t good enough for our Bert. He wanted dukes’ half sisters and belted earls wiping his feet with their hair; grand apotheosis of the snob, to humiliate the objects of his own awe by making them venerate him.”
—Angela Carter (1940–1992)
“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)