The perfect Nullstellensatz just got more perfect
by Orr Shalit
After giving a talk about the perfect Nullstellensatz (the commutative free Nullstellensatz) at the Technion Math department’s pizza and beer seminar, I had a revelation: I think it holds over other fields as well, not just over the complex numbers! (And in particular, contrary to what I thought before, it holds over the reals. It seems to hold over other fields as well).
To explain, I will need some notation.
Let be a field. We write – the algebra of all polynomials in (commuting) variables over the field .
Fix . For , let denote the set of all commuting -tuples of matrices over . We let . Now we are looking at all commuting -tuples of commuting matrices of all sizes.
Points in can be plugged into any polynomial . In fact, points in can be naturally identified with the space of finite dimensional representations of , by
(We shall use the word “representation” to mean a linear algebraic homomorphism of an algebra into for some ).
Now, given an ideal , we can consider its zero set in :
for all .
(We will omit the subscript for brevity.) In the other direction, given a subset , we can define the ideal of functions that vanish on it
for all .
Clearly, for every . The interesting statement is the converse.
The following theorem appears as Corollary 11.7 from the paper “Algebras of bounded noncommutative analytic functions on subvarieties of the noncommutative unit ball” by Guy Salomon, Eli Shamovich and myself (though, as I explained already in several previous posts, this result has already been known to algebraists for quite some time).
Theorem (free commutative Nullstellensatz): For every ,
Proof: Originally, We intended to prove it only over the complex numbers, I didn’t guess that it could hold over the reals, for example. But an examination of the proof shows that it works when the field is replaced by an arbitrary field . For our proof, see this blog post. The only problematic point might be the lemma (there is only one lemma there), where one will need something called “Zariski’s lemma” which says that a field extension of which is finitely generated as an algebra, is actually finite dimensional over the base field, that is, it is a finite extension of . This fact is needed for the proof of the lemma, in order to see that the quotient of a commutative unital Noetherian algebra over k by a maximal ideal is a finite dimensional field extension of . Happily, Zariski’s lemma works for every field . Thus the original proof holds and we are done!
Since the statement of the theorem is interesting also for and , I will concentrate now on explaining why this case is true. In two words, the proof for the case over the complex numbers can be summarized as: Jordan form (at the end of this older post, why the theorem follows from the Jordan form). Now I will finish by explaining why the real theorem follows form the complex theorem.
So, assume that the theorem is proved over the complex numbers. One can see that the theorem holds over the reals quite easily, by using the fact that complex numbers can be modelled as matrices over the reals, so complex matrices can be thought of as matrices over the reals with blocks.
For example, in the one variable case, if are if polynomials with real coefficients, and if vanishes at every real matrix zero of , then vanishes at every complex matrix zero of , so by the complex version of the theorem we have where is a polynomial with perhaps complex coefficients. But then you can see that actually has to be a polynomial with real coefficients. (This proves ).
I still can’t quite believe the theorem holds over any field, so if any readers finds a bug in our proof I will be happy to hear.