Generic Freeness and Chevalley’s Theorem I

This post and the next is my work on Exercises 7.4 A-7.4.O of section 7.4 in Vakil’s note. We discuss Chevalley’s Theorem and prove it using Grothendieck’s Generic Freeness Lemma.

We first discuss some properties of constructible sets and then we prove Grothendieck’s generic freeness lemma following a sequence of exercises in Vakil’s notes.  Then we use Generic Freeness to prove Chevalley’s Theorem. Though there are more direct ways to prove it, such as the proof we did in Thursday’s lecture (06/02/2020) in Applied Scheme Theory (proof of Theorem 2.2.9 in Algebraic Geometry II by Mumford and Oda). We only use Generic Freeness here as we will use it again in the future for generic flatness. Note that except proposition 1.2 the rests of the first section on the properties of constructible sets are not needed later.

We will discuss some applications of Chevalley’s Theorem including its implication of Hilbert’s Nullstellensatz in the next post: Generic Freeness and Chevalley’s Theorem II (Applications). I divided the post into two parts since the next part about applications is to be continued. The pdf file below contains the full article so far. Later more will be added into the next post.

Note that except proposition 1.2 the rests of the first section on the properties of constructible sets are not needed later.

View the full article as pdf here: Generic Freeness and Chevalley’s Theorem[16/02/2020]

chevalley's1chevalley's2chevalley's3chevalley's4chevalley's5chevalley's6chevalley's7chevalley's8

chevalley's9

As we remarked that the proof of Lemma 1.1 applied to the case that M_{i+1}/M_{i} projective is the induction step of the proof of a generalised result. We include this result here. It’s not related to another part of the post so I add it as an appendix.

The reference for this proof is the lecture notes for the course Ring Theory at Warwick, 2018: Ring Theory Lecture notes 2018.

appendix_1appendix_2

 

 

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s