Spectra of Operators and Rings
Posted by Tom Leinster
There are many uses of the word ‘spectrum’ in mathematics, and most of them are related. (The main exception that I’m aware of is spectra in the sense of homotopy theory.) In particular, the spectrum of a linear operator on a finite-dimensional vector space — that is, its set of eigenvalues — can be seen as the spectrum of an associated commutative ring.
I’ll explain how that story goes. But let me state up front the question that I want to ask. Although it was motivated by my desire to link up the various notions of spectra, it doesn’t actually mention spectra at all.
Let be a finite-dimensional vector space over a field . Let be an operator on , in other words, a linear map . Write for its characteristic polynomial. What is the significance of the ring
Let me explain the kind of answer I’m hoping for. Suppose we replace the characteristic polynomial by the minimal polynomial . Then the ring
can be seen as the ring of polynomials in . Precisely: write for the -algebra of operators (endomorphisms) on , with composition as its product. The homomorphism sending to has as its kernel, and the image is the subalgebra of generated by . Hence is isomorphic to this subalgebra, which consists of the polynomials in .
But is there a nice way to think about ?
I said that the spectrum of a linear operator was its set of eigenvalues, but it should really be thought of as a set with multiplicity. The multiplicities here are the algebraic multiplicities. I’ll write for the spectrum of .
Usually people define the algebraic multiplicity of an eigenvalue as the power of appearing in the characteristic polynomial. In the first post I ever wrote for the Café, Linear Algebra Done Right, I explained a more conceptual way to think about the algebraic multiplicity. It’s the dimension of the eventual kernel of , defined as
(I’m assuming that we’re over an algebraically closed field.) For that reason, I wanted to use the term ‘dynamic multiplicity’ instead. But I’ll just say ‘multiplicity’.
In any case, we can write the characteristic polynomial of as
where are the distinct eigenvalues of and are their multiplicities. We can form the ring
which is commutative. So, starting from a linear operator , we’ve defined a commutative ring .
Every commutative ring has a spectrum, . At its most basic, the spectrum of a ring is the set of prime ideals; but it also carries a topology and a sheaf of rings. In the jargon, is a ‘ringed space’.
So: given a linear operator , we get two things called ‘spectra’: the set-with-multiplicities of eigenvalues, and the ringed space . How are they related?
The answer was worked out long ago, and I guess all algebraic geometers know it. Nevertheless, I think there are plenty of people who know both uses of the word ‘spectrum’, but aren’t aware that there’s a close connection between them. So here goes.
For our ring , the (mere) set of prime ideals is
The points of are, therefore, in natural, one-to-one correspondence with the points of . That’s an encouraging start.
As a topological space, is discrete: every subset is open. A sheaf of widgets on a discrete space is just an -indexed family of widgets (namely, the stalks of the sheaf). Here, ‘widget’ is ‘ring’. So, to describe the sheaf with which comes equipped, we just have to describe one ring for each point of . And in fact, the ring associated to the point of is just
The point now is that you can recover the multiplicity from this ring. At least, you can do so if you’re allowed to know its -algebra structure: for is just its dimension as a vector space over .
Thus, even if you don’t know , knowing tells you what is, and vice versa. In that sense, and contain equivalent information about the operator .
This is satisfying, but one question remains. How do we understand the ring ? As I said at the beginning, it would be easily understandable if we’d used instead of ; but then the spectrum would tell us the powers of in the minimal polynomial, rather than the characteristic polynomial, and that’s not such important information.
Maybe an example will make the problem clearer. In fact, a really trivial example will do: . Say . Then
Hence
Conceptually, what is the process that turns the zero operator on into the ring ?
Re: Spectra of Operators and Rings
Deformation? Given a linear operator you can consider the moduli space of all linear operators with the same characteristic polynomial. Generically they should have minimal polynomial the characteristic polynomial, so an arbitrarily small deformation of a given operator (preserving its characteristic polynomial) will generate an algebra isomorphic to the quotient by the characteristic polynomial. I don’t know how satisfying this is, though.