Constructible sets, flat maps are open and generic freeness.

I will cover a set of results that are connected and illustrate some interesting techniques about working with finiteness conditions (finitely generated as a ring, module etc) in algebraic geometry over a field.

Initially, I will prove Chevalley’s theorem that the image of a constructible set is constructible. This will involve proving Grothendieck’s generic freeness and Noetherian induction. Next, I will give a couple of applications of Chevalley’s theorem – I will prove that flat maps are open and provide a different proof of the Nullstellensatz.

Chevalley’s Theorem on Constructible sets:

Given a scheme X, a (topological) subspace is constructible if it the union of sets of the form U \cap V for U,V open and closed respectively. That is, it is a finite union of locally closed subspaces.

Theorem 1 (Chevalley): Suppose f:X \to Y is a finite type morphism between Noetherian schemes. Then the image of a constructible set under the morphism is constructible.

To prove this, we will use Grothendieck’s generic freeness lemma:

Theorem 2 (Grothendieck’s generic freeness): Suppose \phi: B \to A is a finite type morphism of rings where B is a Noetherian integral domain. Let M be a finite module over A. Then, there is a f \in B such that M_f is a free B_f module.

This theorem can obviously be generalized to the case of schemes and coherent sheaves with appropriate finiteness hypothesis. The proof of this theorem proceeds by an application of spreading out:

Proof: For an exact sequence of modules 0 \to M \to N \to P \to 0, if M,P are generically free in the above sense, then clearly so is N. Therefore, by using a sufficiently fine filtration of the given module M, we can reduce to the case where M = A/\mathfrak p for a prime ideal \mathfrak p \subset A (using the theory of associated primes). In short, we can assume that M= A and A is an integral domain.

The induction will be on the transcendence degree of A over B. If A is a finite extension, then the torsion of A has a closed locus of support and we pick a f that kills the torsion. In general, consider A\otimes_B K(B) where K(B) is the fraction field of B.

This is a finite type algebra over K(B) and by Noether Normalization (see here), we can find a factorization of the form K(B) \to K(B)[t_1,\dots,t_n] \to A\otimes_B K(B) where B[t_1,\dots,t_n] \to A is finite. Now, it is not necessary that this is true integrally but after inverting by all the relevant denominators, we can find a f\in B such that we have a factorization B_f \to B_f[t_1,\dots, t_n] \to A_f as before.

Moreover, since A is generically finite over B[t_1,\dots,t_n], we can find some integral generators (this time as a module) such that we have an exact sequence

0 \to B[t_1,\dots,t_n]^m \to A \to D

where the simple factors of D have lower transcendence degree than n. By applying the inductive hypothesis, we are done.


To prove Chevalley’s theorem, it clearly suffices to prove that f(X) is constructible. This follows using noetherian induction from generic freeness:

Proof: By generic freeness, we can find an open set U over the base such that the structure sheaf over the inverse image is free. In particular, either this open set is entirely contained in f(X) or entirely disjoint from it. Either way, it suffices to show that f(X)\cap (Y-U) is constructible but we are then immediately done by Noetherian induction.


We can remove Noetherian assumptions in the standard way by relaxing to finitely presented and expressing our rings as the base of change of a finitely presented map over Z[x_1,\dots,x_n] which is Noetherian.

Let us now use Chevalley’s theorem to prove that flat maps of finite type are open. Initially, let us assume that our schemes are Noetherian. Then the proof proceeds through the following steps:

  1. Show that for constructible sets, being open is equivalent to containing all generalizations.
  2. Show that the above reduces, in the case of local rings, to the map being surjective.
  3. Show that for a map B \to A between local rings and a finite module M over A, being faithfully flat over B is equivalent to being flat and non-zero.
  4. Putting the pieces together, this shows that flat local maps are always surjective and hence flat maps of finite type are always open since they take open sets to constructible sets by Chevalley.

I will only prove 3 here:

Theorem 3: Support (B,\mathfrak m) \to (A,\mathfrak n) is a map of local rings and M is a finite type module over A. Then, if it is flat (over B) and non zero, it is faithfully flat. That is, for any non zero B-module N, N\otimes_B M \neq 0.

Proof: Suppose N were finitely generated. Then notice that N\otimes_B M is a finitely generated A module (generated by generators for N and M). Hence, by Nakayama, it suffices to show that (N\otimes (B/\mathfrak m))\otimes_{B/\mathfrak m}(N\otimes A/\mathfrak n) \neq 0. But this is the tensor product of two non zero vector spaces (by Nakayama) and hence is non zero.

Now, in the general case, we write N as a filtered colimit of it’s finitely generated submodules. Since M is flat, the tensor product commutes with the colimit and moreover preserves injective maps. Since each object in the colimit is non zero and the maps in the colimit are injective, the resulting colimit is non-zero too.

In particular, the key example to key in mind is N = \kappa(\mathfrak p) for \mathfrak p a prime ideal of B. This case also suffices to show surjectivity.


Finally, let us prove the Nullstellensatz using these ideas. Recall a version of the nullstellensatz:

Theorem 4: (Nullstellensatz) Suppose k is an algebraically closed field and k \to L is a finite type map (as k-algebras) such that L is also a field. Then L = k.

In particular, this implies that for a finite type scheme over a field, closed points are exactly those with residue field a finite extension of the base field since base change to the algebraic closure does not affect being an integral extension.

This last statement immediately implies that for a map f: X\to Y between finite type schemes over a field, the image of a closed point is closed. Moreover, this lets us conclude that the closed points are dense in a finite type scheme over a field since distinguished opens are still finite type.

Proof: By assumption, there is a factorization k \to k[t_1,\dots,t_n] \to L where the second map is surjective. In particular, we have finite type maps g_i: k[t_i]\to L. By Chevalley, the image of a closed point has to be constructible but it is easy to show that the only constructible points on k[t] are the classical closed points by the division algorithm and using that k is algebraically closed.

Therefore, the map k[t_i] \to L factors through k[t_i] \to k \to L and since this is true for all i and k[t_1,\dots,t_n] \to L is surjective, it implies that k = L.



A crucial point in the above proof is that we can explicitly classify all ideals in k[t]. We can do a similar thing for Z[t] and this lets us prove that maximal ideals for finite type algebras over Z correspond exactly to having a finite residue field.


Leave a Reply

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

You are commenting using your 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