this commutative algebra - harvard universitypeople.math.harvard.edu/~bullery/math221/section 1_...

3
This is an advanced first course in commutative algebra It will be geared toward the potential AG applications but it can also be a standalone course for those interested in CA in its own right Backgw e.cl Roughly the material of 122 123 but mostly rings modules and fields Materiel My goal is to get through chapters 1 13 of Eisenbud The topics include Localization Primary decomposition Hilbert's Nullstellensatz Artin Rees lemma Flat families and Tor completions of rings NoetherNormalization Systems at parameters DVRs Dimension Theory Hilbert Samuel Polynomials Conventions M otivation All our rings unless otherwise specified will be commutative w multiplicative identity 1

Upload: others

Post on 30-Jun-2020

5 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: This commutative algebra - Harvard Universitypeople.math.harvard.edu/~bullery/math221/Section 1_ Introduction.pdf · This is an advanced first course in commutative algebra It will

This is an advanced first course in commutative algebraIt will be geared toward the potential AG applicationsbut it can also be a standalone course for thoseinterested in CA in its own right

Backgw e.cl Roughly thematerial of 122 123 but mostly

rings modules and fields

Materiel My goal is to get through chapters 1 13of Eisenbud Thetopics include

Localization

Primary decompositionHilbert's Nullstellensatz

Artin Rees lemmaFlat families and Torcompletions of ringsNoetherNormalization

Systems at parameters

DVRsDimensionTheory

HilbertSamuelPolynomials

Conventions MotivationAll our rings unless otherwise specified will be commutative

w multiplicative identity 1

Page 2: This commutative algebra - Harvard Universitypeople.math.harvard.edu/~bullery/math221/Section 1_ Introduction.pdf · This is an advanced first course in commutative algebra It will

A ringhomomorrphism is a morphism of abeliangroupsthatpreserves multiplication and takes the identity to theidentity

R a ring I R an ideal is prime if fg c I forgetI is maximal if it's not contained in any other properideals

R is a locating if it has exactlyone maximal ideal

Commutative algebra is intimately connected to algebraic geometrybecause the algebraic properties of a ring are reflected ingeometric propertiesof the corresponding geometric objecte.g variety scheme and vice versa

A very geometric collection of examples in CA arepolynomial rings over a field trek i e R Kha xD

In this case the zero set of a polynomial say xp X

is a locus in k f IA attinenspace

µAnd in fact the primeideals in Kfx xDcorrespond to subvarieties of affinespace called affinevarieties

More generally the prime ideals of an arbitrary ring

Page 3: This commutative algebra - Harvard Universitypeople.math.harvard.edu/~bullery/math221/Section 1_ Introduction.pdf · This is an advanced first course in commutative algebra It will

gener ngR correspond to the points of the scheme correspondingto R called an affine scheme

All varieties and schemes can be constructed by gluingtogether affine varieties schemes so in a waycommutative algebra can be thought of as local

algebraic geometry

Local rings also have a geometric interpretation theycan describe thegeometry of a scheme near a point

e.g I µ Xa smooth point cusp and node all appearto be different geometrically and in fact this isreflected in their corresponding local rings

We will make this all more precise soon