Lately some of us at MIT have been thinking about counting -rational points on some classes of varieties related to linear algebra that provide natural q-analogues for various classes of permutations. One thing we came across was some classes that have the same counts over every finite field. Yan wanted me to post about the following, so I’ll delay my post on the K-theory of the Grassmannian until next time.
We’ll consider varieties defined over a fixed field K. Form the free Abelian group on the isomorphism classes of such varieties. If Z is a closed subvariety of X, then we impose the relation
We can put a product structure on this group via
though it will not be relevant for this post. Related to this product structure is a paper by Bjorn Poonen which shows that if the characteristic is 0, then this ring is not an integral domain. And presumably the result is true over positive characteristic also, but the paper uses the existence of resolution of singularities. This is the Grothendieck ring of varieties. This is at least one way to make sense of statements of the form: .
In particular this works over a finite field, and then the equations can be turned into equations of numbers by replacing with .
Here’s one such example. Let G be a semisimple group defined over an algebraically closed field K of characteristic p > 0, let B be a Borel subgroup, and let X = G/B be its full flag variety. Then B acts on X by left multiplication, and the orbits are indexed by elements of the Weyl group W. In particular, each orbit is an affine space, and its dimension is the length of the corresponding element. So we get a decomposition
All of this stuff is defined over the integers, so we can actually work in a finite field. Then we get the equation
The odd spin group (the double cover of the special orthogonal group ) and the symplectic groups have the same Weyl groups, so in particular, their flag varieties are equal in the Grothendieck ring of varieties, even though the varieties themselves are not isomorphic for . One way of seeing this is via the Borel–Weil construction: the global sections of a line bundle on G/B is either 0 or an indecomposable module called a Weyl module. The dimension of the Weyl module (after we pick a way to index the line bundles) is independent of characteristic since it has a -form which is a free Abelian group. In general the sections contain a unique irreducible representation as a submodule, and all irreducible representations arise in this way.
In characteristic 0, indecomposable is the same thing as irreducible, so we can calculate the dimensions using the Weyl character formula. Since these multisets of dimensions are different, we can’t have an isomorphism.
Does anyone know of a better reason why they are not isomorphic varieties?