01a00912b1d44ace.tex
1: \begin{abstract}
2: The algebra $\mathcal{S}$ of symmetric invariants over the field with two
3: elements is an unstable algebra over the Steenrod algebra $\mathcal{A}$, and
4: is isomorphic to the mod two cohomology of $BO$, the classifying space for
5: vector bundles. We provide a minimal presentation for $\mathcal{S}$ in the
6: category of unstable $\mathcal{A}$-algebras, i.e., minimal generators and
7: minimal relations.
8: 
9: {}From this we produce minimal presentations for various unstable $\mathcal{A}%
10: $-algebras associated with the cohomology of related spaces, such as the
11: $BO(2^{m}-1)$ that classify finite dimensional vector bundles, and the
12: connected covers of $BO$. The presentations then show that certain of these
13: unstable $\mathcal{A}$-algebras coalesce to produce the Dickson algebras of
14: general linear group invariants, and we speculate about possible related
15: topological realizability.
16: 
17: Our methods also produce a related simple minimal $\mathcal{A}$-module
18: presentation of the cohomology of infinite dimensional real projective space,
19: with filtered quotients the unstable modules $\mathcal{F}\left(
20: 2^{p}-1\right)  /\mathcal{A}\overline{\mathcal{A}}_{p-2}$, as described in an
21: independent appendix.
22: \end{abstract}
23: