The March for Science will be on Earth Day, Saturday, April 22, 2017, in 605 cities across the U.S. and beyond. Come out and march for truth against lies! Check out the web site for details of the march in your city. I’ll be marching in Houston.

# Monthly Archives: April 2017

## Now it’s about stacks (new paper)

I’ve posted an updated version of a paper on the arXiv, Hodge theory of classifying stacks (initial version posted 10 March 2017). We compute the Hodge and de Rham cohomology of the classifying space BG (defined as sheaf cohomology on the algebraic stack BG) for reductive groups G over many fields, including fields of small characteristic. These calculations have a direct relation with representation theory, yielding new results there. The calculations are closely analogous to, but not always the same as, the cohomology of classifying spaces in topology. This is part of the grand theme of bringing topological ideas into algebraic geometry to build analogous organizing structures and machines.

In the first version of the paper, I defined Hodge and de Rham cohomology of classifying spaces by thinking of BG as a simplicial scheme. In the current version, I followed Bhargav Bhatt‘s suggestion to make the definitions in terms of the stack BG, with simplicial schemes as just a computational tool. Although I sometimes resist the language of algebraic stacks as being too abstract, it is powerful, especially now that so much cohomological machinery has been developed for stacks (notably in the Stacks Project). (In short, stacks are a flexible language for talking about quotients in algebraic geometry. There is a “quotient stack” [X/G] for *any* action of an algebraic group G on a scheme X.)

Using the language of stacks led to several improvements in the paper. For one thing, my earlier definition gave what should be considered wrong answers for non-smooth groups, such as the group scheme μ_{p} of *p*th roots of unity in characteristic *p*. Also, the paper now includes a description of equivariant Hodge cohomology for group actions on affine schemes, generalizing work of Simpson and Teleman in characteristic zero. There is a lot of room here for further generalizations (and calculations).

*Photo: Susie the cat in Cambridge, November 2001.*