Mon 4/4, Wed 4/6, Fri 4/8

The meetings on Mon, Wed, and Friday will be guided by Shekiaya, Bill, and Elise.  Spend a few minutes at the end of each meeting to make a group decision about whether to move forward to new material next time or to spend longer on current material.  Do not feel you need to rush to cover a certain  amount of material.  It is better to understand as you go.

Monday will cover the algebraic interlude (Section 7.2: Lying Over and Nakayama).

After that, we will return to 7.1, then continue with 7.3, and so on.

Monday

Read the definitions of integral ring homomorphism and integral extension of rings.  Read Lemma 7.2.1.

  • Exercise 7.2.A.
  • Exercise 7.2.B.
  • Exercise 7.2.C.
  • Exercise 7.2.D.

Understand the statement of the Lying over theorem (7.2.5) and its geometric translation in 7.2.6.  The proof is optional.

  • Exercise 7.2.F (The going-up theorem is an important exercise).

Read the two versions of Nakayama’s lemma.  As time permits,  work versions 3 and 4 of Nakayama’s lemma in Exercises 7.2.G and 7.2.H.  As time permits, work 7.2.I and 72.J.

 

Wednesday

Understand Grothendieck’s lesson in 7.0.1 about replacing properties of objects with properties of morphisms.   Read 7.1.1. about the three properties to expect of reasonable morphisms.  Learn the definition of open embedding and open subscheme.  Make sure that you are clear about the distinction between “local on the target”, “local on the source”, and “affine-local on the source” (in Definition 7.1.2).

  • Exercise 7.1.A.  Open embeddings are satisfy the first two properties of being a reasonable morphism.
  • Exercise 7.1.B.  Open embeddings satisfy the third property as well.  We have not covered fibered products of schemes.  For this exercise, you need to construct the fiber product in a special case.  I suggest that you spend time working through this fibered product.
  • Exercise 7.1.C.  Open embeddings and locally Noetherian schemes.

Move forward to Section 7.3 on a gazillion finiteness conditions on morphisms.  This is a long section that will spill over into Friday.

Read 7.3.1.  What is the definition of a quasicompact morphism?  Can you state what a quasicompact scheme (in the old terminology) is in terms of a morphism?  With each new property of morphism ask yourself if the definition is (affine) local on the source or target.  I suggest skipping the parts about quasiseparated morphisms unless there is time to spare at the end of class.

  • Exercise 7.3.A.
  • Exercise 7.3.B.a.
  • Exercise 7.3.C.a

Read the definition of an affine morphism.  I suggest reading over the proofs on pages 209-210 at home, but not to spend time in class with them unless there are specific questions.

 

Friday

Section 7.3 is called a “gazillion finiteness conditions” on morphisms. Give yourself time to sort out all of these different conditions.  Read 7.3.8.  What is a finite morphism?  What is the difference between a finite B-algebra and a finitely generated B-algebra?

  • Exercise 7.3.G. Finiteness is affine-local on the target.
  • Work through the three examples in class of finite morphisms on page 211, especially example 3.  Try to understand the third example both intuitively and scheme-theoretically.
  • Exercise 7.3.H.  Finite morphisms to a point.
  • Exercise 7.3.I. Finite morphisms compose.
  • Exercise 7.3.J. Finite morphisms are projective.
  • Exercise 7.3.K. Finite morphisms have finite fibers.

Move forward with definitions about and exercises on integral morphisms, morphisms of finite type, and quasi-finite morphisms as time permits.

 

Friday April 1

We will continue with exercises about morphisms of projective schemes

 

  • Work through example 6.4.1.
  • Work through example 6.4.2.
  • Exercise 6.4.C.  Different maps of graded rings can give the same morphism of schemes.
  • Exercise 6.4.D.
  • 6.4.E
  • 6.4.F.
  • 6.4.G.

Read the definition of a rational map, a dominant rational map, birational rational map, and what it means for schemes to be birational to each other.

  • Exercise 6.5.B.

 

 

Wednesday March 30, 2016

Z-valued points

Section 6.3.7 introduces a new notion of point (the Z-valued points).  Vakil notes that the “terminology ‘Z-valued point’ is unfortunate” because a scheme already has a set of points and Z-valued points are not points on the scheme.  Remember: algebraic geometry is a world where functions are not functions and points are not points.

  • 6.3.L.a A morphism induces a map of Z-valued points.
  • 6.3.8. Check the statement that A-valued points of an affine scheme are given by solutions to equations f1(x1,…,xn) = … = fr(x1,…,xn) = 0 in A.
  • 6.3.M. Points that take values in a local ring.
  • 6.3.N. Morphisms into projective space.

Read to the end of 6.3.

Maps of projective schemes

  • Exercise 6.4.A going from morphisms of graded rings to morphisms of schemes.
  • Work through example 6.4.1.
  • Work through example 6.4.2.
  • Exercise 6.4.C.  Different maps of graded rings can give the same morphism of schemes.
  • Exercise 6.4.D.

 

Monday March 28, 2016

This meeting will continue with morphisms of schemes from Chapter 6.

Read carefully the proof of 6.3.2 (the key proposition: every morphism of locally ringed spaces between affine schemes is induced by a ring homomorphism).  Someone will be asked to present the proof in class.  We will break it into several steps. In particular,

  • The map of points is determined by its map on global sections.
  • The map of sections is determined by the map of global sections.

 

We will continue with various exercises:

  • 6.3.D.  The category of rings and the opposite category of affine schemes are equivalent.
  • 6.3.C.  A morphism of schemes is a morphism of ringed spaces that is locally a morphism of affine schemes.

Read section 6.3.4 and the definition of S-schemes.   We have already seen a different definition of A-schemes.  Show that this new definition is compatible with the old (exercise 6.3.G).

  • 6.3.E.  Practice with morphisms.
  • 6.3.F. Morphisms X -> Spec A.
  • 6.3.H.
  • 6.3.I.
  • 6.3.J.

Friday March 25, 2016

We will go over some properties of factorial schemes, then move on to chapter 6 on morphisms of shemes.

  • 5.4.E.
  • 5.4.F.

Read Section 6.1 giving motivation for morphisms. Read the definition 6.2.1 of morphism of ringed spaces. You have already seen the definition of isomorphism of ringed space, so the definition should be expected.

  • Exercise 6.2.A. A morphism of ringed spaces can be given as a compatible family of morphisms on an open cover.
  • 6.2.B. A morphisms of ringed spaces induces a functor on categories of O-modules.
  • 6.2.C. A morphism induces a map on stalks.
  • 6.2.D. A ring homomorphism induces a morphism of ringed spaces.

Read definition 6.3.1 on morphisms of locally ringed spaces and definition 6.3.3. on morphisms of schemes.

  • Key exercise: 6.3.B.

Monday March 21 and Wednesday March 23

On Monday, we will go over many definitions in detail.

On Wednesday, we will continue with exercises related to those definitions.

(Monday) Study the definitions of 5.3.6 and 5.3.7 carefully.  Some courses spend the entire semester on varieties (over a field k, an algebraically closed field, or the field of complex numbers).  In the classical setup, the only points that are considered are the closed points.  (See Exercise 5.3.E.)

We will continue our discussion of affine, quasi-projective, and projective A-schemes on Wednesday.

  • Show that a projective A-scheme X is indeed an A-scheme.  In particular, the sheaf restriction morphisms are all A-algebra homomorphisms.
  • Show that a quasi-projective k-scheme has finite type over k.   (The starting point for this exercise is the definition of projective k-scheme as Proj S_*, for some finitely generated S_* over k=S_0.)
  • (Monday) 5.3.D.  Work this example in detail.  Why are all f.gen. k-algebras of the form k[x1,…,xn]/I?
  • (Wednesday) 5.3.D.b.
  • 5.3.E. (Use 3.6.9 – Hilbert’s Nullstellensatz.)
  • 5.3.J.

(Monday) Read pages 160-161 including the optional exercise 5.3.F and the proof of 5.3.3.

(Monday) learn the definitions of normal schemes and factorial schemes.

  • 5.4.A.
  • 5.4.B.
  • 5.4.C.
  • 5.4.E.
  • 5.4.F.