# Nice algebraic approximations of classifying spaces

Let $G=GL_k(\mathbb C)$ be the complex linear group. Then the infinite Grassmannian is a model for the classifying space $BG$. We can write the infinte Grassmannian as a colimit of the finite Grassmannians $Gr(k,n)$, which are honest algebraic varieties, that have the following nice properties:

1) They admit an affine cell paving, the Bruhat stratification.

2) The intersection cohomology complexes of the strata have good vanishing properties: They are parity sheaves, meaning that their restriction to smaller strata have cohomology only in every second degree.

3) On top of that, when "interpreting" the intersection cohomology complexes as say mixed $\mathbb Q_l$ sheaves they have good purity properties: Their restrictions to smaller strata are still pure and even direct sums of shifted Tate twists.

Now my question is the following: If we replace $GL_k(\mathbb C)$ by another connected reductive affine complex algebraic group $G$, are there still algebraic varieties approximating $BG$ such that (some of) the above properties hold?

-

There is good hope for other groups in nice infinite families. $BGl_k$ is the classifying space of $k$-dimensional vector bundles. $Gr(k,n)$ is the classifying space of $k$-dimensional vector subbundles of an $n$-dimensional trivial vector bundle.

Similarly, $BSP_{2k}$ is the classifying space of $2k$-dimensional symplectic vector bundles. We can embed each such bundle into a trivial $2n$-dimensional symplectic vector bundle by the same trick one uses for the Grassmanians, and homotope two such embeddings to each other, again using an identical trick. This allows us to write $BSP_{2k}$ as a limit of flag varieties of $SP_n$.

We can do the same thing for $O_n,SL_n$, and $SO_n$. For $SL_n$ we might need to make it noncompact? I am not sure exactly how far one can extend this technique.

The first property is of course a consequence of being a flag variety. I am not so sure about the rest.

-
I think that all these properties hold for flag varieties. In BGS 4.4.3. this is stated and proven for full flag varieties but as far as I see the proof works also for partial flag varieites. –  Jan Weidner Feb 8 '13 at 5:55
Thanks for your answer anyway. An $SL_k$ bundle is a k dimensional vector bundle, along with a non vanishing section of its top exterior power right? In what kind of trivial bundle can we embed these? –  Jan Weidner Feb 8 '13 at 6:13
One thing you can do is take an approximation to the classifying space of $GL_n$ and then add a nonvanishing section by taking the total space of the top exterior power of the tautological bundle, less the zero section. –  Will Sawin Feb 8 '13 at 16:26
Here's a general version of that construction. The frame bundle of the tautological vector bundle is a $GL_k$ torsor over $Gr(k,n)$, and approximates a contractible space. Mod out the frame bundle by the action of $G \subset GL_k$ induced by a faithful $k$-dimensional representation of $G$ and you get an algebraic variety approximating $BG$. –  Will Sawin Feb 9 '13 at 4:08

This beautiful paper of Totaro does much of what you ask. Namely, choose a representation $V$ of $G$ so that $G$ acts freely on $V$ outside of a codimension $\geq s$ subset $S$. Then Totaro shows that the Chow ring of $X=(V-S)/G$ (the geometric quotient) is independent of $V$ and $S$, in degree less than $s$. Furthermore, he shows that such pairs $(V, S)$ exist with $s$ arbitrarily large. So the set of such $(V-S)/G$ form a reasonable approximation to $BG$ (and in particular, give a reasonable definition of the Chow ring of $BG$)!

Let's see how these varieties stack up against your criteria.

1) They don't necessarily admit pavings by affines (unless $G$ is a so-called "special group"), but they do in some cases, e.g. if $G=GL_n$ or $SL_n$. Moreover, their "motives" admit a paving by affines, in the sense that $S$ can be chosen so that $V-S$ admits a paving by affines, as does $G$ in many cases (e.g. if it is split, affine, ...), so $(V-S)/G$ is morally $[X]/[G]$. (This can be made precise in the Grothendieck ring of varieties, tensored with $\mathbb{Q}$; the issue is that this quotient isn't necessarily a Zariski-fiber bundle. The question of whether such a quotient is even rational is, I think, pretty hard, and possibly open(?).)

(2+3) I have no idea about this (largely because I don't know many of the words you use).

That said, these have one additional virtue, mentioned by Totaro. Namely, in every case he computes, the Chow ring of $BG$ (defined in degree $< s$ by choosing $(V, S)$ as above with $S$ of codimension at least $s$), actually equals the ring $MU^*BG\otimes_{MU^*} \mathbb{Z}$. (This only makes sense over $\mathbb{C}$ of course.) These examples include $GL(n), Sp(2n), O(n), SO(2n+1),$ and $SO(4)$. So these spaces "really are" algebraic approximations to $BG$!

Hopefully this is in a similar spirit to your question!

-