I was just at Bar Ilan University for Louis Rowen’s great birthday conference. Included among my fellow speakers were Danny Krashen and Alexander Merkurjev.
They told me about something I should have seen long ago: versal torsors. Among other things, versal torsors give a way to produce universal bounds on symbol lengths for central division algebras with bounded index. This blew my mind. Let me show you how it works.
Look at what happened to my classifying space!
Let be a linear algebraic group. Suppose I want to understand -torsors. As a card-carrying algebraic geometer and stack aficionado, I should just “use”
the classifying stack , right? WRONG! Here’s another thing you can do.
Choose a faithful representation (over whatever base we’re using) and form the quotient . By the definition of quotients, there is an induced -torsor (i.e., !!). This is called a versal torsor. Why versal? For any field over the base we get an exact sequence of pointed sets
Hilbert’s Theorem 90 tells us that the last set is a singleton. We conclude the following amazing fact: for any field over the base and any -torsor over , there is a -point of such that the fiber of over that point is isomorphic to .
I don’t know why this freaks me out so much; perhaps it has to do with my perception that there are a lot of -torsors over arbitrary fields, whereas this tells us that they are all points of a single variety. (Corollary: the essential dimension of is finite. When you put it that way, it doesn’t sound so outrageous.)
Now that they gave me this thing, what can I do with it?
Here’s an amazing application of versal torsors. Let be the group over the ring . Choosing a faithful linear representation (example: the adjoint) and forming the versal torsor gives me a scheme (the quotient) and a -torsor (let’s call it ) with the amazing property that for any field in which is invertible and containing a primitive th root of unity and any -torsor over , there is a -point of such that the fiber of over that point is isomorphic to . (I’m just restating the above.)
Here’s something we can do with this. Given a central division algebra over such a field with index , the Merkurjev-Suslin theorem says that there is a sequence of symbol algebras over such that is Brauer-equivalent to the tensor product (that is, there are matrix algebras over and that are isomorphic). The question is: how many symbols do we need?
The surprising answer is: there is a universal bound on the number of symbols we need! Here’s how to prove this. Let be the Brauer class of the versal torsor over . Merkurjev-Suslin gives us an expression for restricted to the generic point of in terms of symbols. Standard spreading out arguments make this expression valid in an open neighborhood (i.e., the symbols extend to Azumaya algebras in a neighborhood). Take the complement of this open subset; this is some closed subset . Repeat this at a generic point of . Since any locally-closed stratification of is finite ( being Noetherian), this process will terminate. Take the largest number of symbols you used and that’s your bound! Every algebra of degree over any field factors through , so it will factor through a piece of the stratification, and we can use the symbol decomposition on that stratum.
As Harry Caray used to say, “Holy Cow!”