## Cohomology of the infinite loop space of the affine grassmanian (as in the generalized Mumford conjecture)

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

I've been reading Hatcher's survey "A short exposition of the Madsen-Weiss theorem". In it, he outlines a nice proof of the "generalized Mumford conjecture", which asserts that the stable cohomology of the mapping class group is the same as the cohomology of $\Omega^{\infty} AG_{\infty,2}^{+}$. Here $AG_{n,m}$ is the space of affine $m$-planes in $\mathbb{R}^n$ and the "plus" sign indicates the 1-point compactification.

Now, the Mumford conjecture I know and love asserts that the (rational) stable cohomology ring of the mapping class group is $\mathbb{Q}[e_1,e_2,\ldots]$, where the $e_i$ are the MMM classes.

Can anyone explain to me why the rational cohomology ring of $\Omega^{\infty} AG_{\infty,2}^{+}$ is a polynomial ring with 1 generator in each even dimension?

This appears to be explained in Madsen-Tillmann's paper introducing the generalized Mumford conjecture, but that paper is rather formidable and I have been unable to extract an answer to the above question from it (indeed, it doesn't really appear to be talking about the affine Grassmannian at all!).

-

In addition to Neil's answer: I explained this in my preprint: math.uni-bonn.de/people/ebert/papers/… (page 5-10) – Johannes Ebert May 13 2011 at 8:35
Thanks Jonannes! – Alan H May 13 2011 at 17:27

## 1 Answer

Most of this is not special to the case of $AG_{\infty,2}^+$. For any spectrum $X$, we have a Hurewicz map $h:\pi_{\ast}(X)\to H_{\ast}(X)$, which induces a map $h':\mathbb{Q}\otimes\pi_{\ast}(X)\to\mathbb{Q}\otimes H_{\ast}(X)$. Standard calculations show that $h'$ this is an isomorphism when $X=S^n$ for some $n$, and it follows by induction up the skeleta that $h'$ is an isomorphism for all $X$. Next, the homotopy groups $\pi_{\ast}(X)$ are (essentially by definition) the same as the homotopy groups of the space $\Omega^\infty(X)$, so we have an unstable Hurewicz map $h'':\pi_{\ast}(X)=\pi_{\ast}(\Omega^\infty(X))\to H_{\ast}(\Omega^\infty(X))$. By combinining these we get a map $\mathbb{Q}\otimes H_\ast(X)\to \mathbb{Q}\otimes H_\ast(\Omega^\infty(X))$. Next, every infinite loop space is a homotopy-commutative H-space, and this makes $H_\ast(\Omega^\infty(X))$ into a graded-commutative (and graded-cocommutative) Hopf algebra. Now let $A_*$ be the free graded-commutative ring generated by $\mathbb{Q}\otimes H_\ast(X)$, with the Hopf algebra structure for which the generators are primitive. More explicitly, $A_\ast$ is a tensor product of polynomial algebras (one for each even-dimensional generator in $\mathbb{Q}\otimes H_\ast(X)$) and exterior algebras (one for each odd-dimensional generator). It is now quite formal to construct a canonical map $A_\ast\to\mathbb{Q}\otimes H_\ast(\Omega^\infty(X))$ of bicommutative Hopf algebras. One can then show that this map is always an isomorphism. Indeed, it is possible to reduce to the case $X=S^n$ again, and the groups $\mathbb{Q}\otimes H_\ast(\Omega^k S^{n+k})$ can be calculated by repeated use of Serre spectral sequences, and one can then let $k$ tend to infinity. As $\mathbb{Q}\otimes H_\ast(\Omega^\infty(X))$ is free on primitive generators, it is a standard fact that the dual Hopf algebra $\mathbb{Q}\otimes H^\ast(\Omega^\infty(X))$ is also free on primitive generators in the same degrees.

For the Madsen-Weiss case, you now just need to know the groups $\mathbb{Q}\otimes H_\ast(AG_{\infty,2}^+)$. This is not hard, because $AG^+_{\infty,2}$ is the Thom space of a virtual vector bundle over $BSO(2)=\mathbb{C}P^\infty$, so we can use the Thom isomorphism theorem.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 34, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9088175892829895, "perplexity_flag": "head"}