The Geometry of Schemes (Graduate Texts in Mathematics, by David Eisenbud, Joe Harris

By David Eisenbud, Joe Harris

The idea of schemes is the basis for algebraic geometry proposed and elaborated through Alexander Grothendieck and his co-workers. It has allowed significant growth in classical parts of algebraic geometry resembling invariant conception and the moduli of curves. It integrates algebraic quantity idea with algebraic geometry, pleasing the goals of previous generations of quantity theorists. This integration has ended in proofs of a few of the most important conjectures in quantity concept (Deligne's evidence of the Weil Conjectures, Faltings' evidence of the Mordell Conjecture).
This e-book is meant to bridge the chasm among a primary direction in classical algebraic geometry and a technical treatise on schemes. It makes a speciality of examples, and strives to teach "what goes on" at the back of the definitions. there are numerous routines to check and expand the reader's realizing. the necessities are modest: a bit commutative algebra and an acquaintance with algebraic types, approximately on the point of a one-semester direction. The ebook goals to teach schemes when it comes to different geometric rules, similar to the speculation of manifolds. a few familiarity with those rules is beneficial, although now not required.

Show description

Read Online or Download The Geometry of Schemes (Graduate Texts in Mathematics, Volume 197) PDF

Best geometry books

Geometry of Complex Numbers (Dover Books on Mathematics)

Illuminating, greatly praised publication on analytic geometry of circles, the Moebius transformation, and 2-dimensional non-Euclidean geometries. "This ebook might be in each library, and each specialist in classical functionality concept could be acquainted with this fabric. the writer has played a different carrier through making this fabric so with ease obtainable in one publication.

Geometric Tomography (Encyclopedia of Mathematics and its Applications)

Geometric tomography bargains with the retrieval of knowledge a few geometric item from information bearing on its projections (shadows) on planes or cross-sections by means of planes. it's a geometric relative of automatic tomography, which reconstructs a picture from X-rays of a human sufferer. the topic overlaps with convex geometry and employs many instruments from that region, together with a few formulation from indispensable geometry.

First Steps in Differential Geometry: Riemannian, Contact, Symplectic (Undergraduate Texts in Mathematics)

Differential geometry arguably bargains the smoothest transition from the traditional college arithmetic series of the 1st 4 semesters in calculus, linear algebra, and differential equations to the better degrees of abstraction and evidence encountered on the higher department by means of arithmetic majors. at the present time it really is attainable to explain differential geometry as "the examine of buildings at the tangent space," and this article develops this perspective.

Extra resources for The Geometry of Schemes (Graduate Texts in Mathematics, Volume 197)

Sample text

Exercise II-2. Consider the map of the affine line Spec K[x] to itself induced by the ring homomorphism K[x] → K[x] mapping x to x2 . Show 50 II. Examples that the scheme-theoretic fiber over the point 0 is the subscheme of the line defined by the ideal (x2 ). Among all schemes, those associated to affine varieties over algebraically closed fields may be characterized as spectra of rings R that are – finitely generated – reduced algebras – over a field – that is algebraically closed. To get a sense of what more general schemes look like, and what they are good for, we will in the remainder of this section and the next consider what may happen if we remove these four restrictions.

To begin with, for any scheme S we define a quasicoherent sheaf of OS algebras. 3 Relative Schemes 41 U = Spec Rf ⊂ U, we have F (U ) = F (U ) ⊗R OS (U ) = F (U ) ⊗R Rf as R = OS (U )-algebras. We then associate to any quasicoherent sheaf F of OS -algebras on a scheme S a scheme X = Spec F, together with a structure morphism X → S, such that in case S = Spec R is affine we get simply X = Spec F (S) together with the structure morphism X → S induced by the R = OS (S)-algebra structure on F (S). There are a couple ways to do this.

If X = Y , it gives the set on which the maps ϕ, ψ are equal, the equalizer of the maps. 36 I. Basic Definitions Exercise I-45. Check these assertions! Note that X ×S Y comes with natural projection maps to X and Y making the diagram X ×S Y ✲ X ϕ ❄ ✲ S ψ ❄ Y commute. Indeed, the set X ×S Y may be defined by the following universal property: among all sets Z with given maps to X and Y making the diagram ✲ X Z ❄ Y ϕ ❄ ✲ S ψ commute, X ×S Y with its projection maps is the unique “most efficient” choice in the sense that, given the diagram with Z above, there is a unique map Z → X ×S Y making the diagram Z ✲ X ×S Y ✲ ❄ Y ✲ ✲ X ϕ ψ✲ ❄ S commute.

Download PDF sample

Rated 4.26 of 5 – based on 11 votes