Hostname: page-component-77c89778f8-cnmwb Total loading time: 0 Render date: 2024-07-17T01:24:44.321Z Has data issue: false hasContentIssue false

Generating H*(BO(3), ${\bb F}_2$) as a module over the Steenrod algebra

Published online by Cambridge University Press:  01 May 2003

A. S. JANFADA
Affiliation:
Department of Mathematics, Urmia University, Beheshti Avenue, PO Box 165, Urmia, Iran
R. M. W. WOOD
Affiliation:
Department of Mathematics, University of Manchester, Manchester M13 9PL

Abstract

This paper continues the investigation of the hit problem, started in [5], for the algebra of symmetric polynomials B(n) viewed as a left ${\cal A}$-module graded by degree, where ${\cal A}$ denotes the Steenrod algebra over the field of two elements ${\bb F}_2$. We recall that a homogeneous element f of grading d in a graded left ${\cal A}$-module M is hit if there is a hit equation in the form of a finite sum $f=\sum_{k>0}Sq^{k}(h_k)$, where the homogeneous elements hk in M have grading less than d and the Sqk are the Steenrod squares, which generate ${\cal A}$. We denote by Q = Q(M) = ${\bb F}_2\otimes_{\cal A}$M the quotient of the module M by the hit elements, where ${\bb F}_2$ is here viewed as a right ${\cal A}$-module concentrated in grading 0. Then Q is a graded vector space over ${\bb F}_2$ and a basis for Q lifts to a minimal generating set for M as a module over ${\cal A}$. The hit problem is to find minimal generating sets for M and criteria for elements to be hit. We recall that B(n) = ${\bb F}_{2}\[\sigma_1,\ldots,\sigma_n\]$ is the polynomial subalgebra of P(n) = ${\bb F}_{2}\[x_1,\ldots,x_n\]$ generated by the elementary symmetric functions $\sigma_i$ in the variables xj . In particular, $\sigma_n=x_1\cdots x_n$. The algebras P(n) and B(n) realize respectively the cohomology of the product of n copies of infinite real projective space and the cohomology of the classifying space BO(n) of the orthogonal group O(n) over ${\bb F}_2$, where the usual grading in cohomology corresponds to degree in the polynomial algebra. The ideal M(n) in B(n), generated by $\sigma_n$, can be identified with the cohomology H*(MO(n), ${\bb F}_2$) of the Thom space MO(n) in positive dimensions. It is also convenient to introduce the notation L(n) for the polynomials in P(n) divisible by $\sigma_n$. Topologically, L(n) corresponds in positive degrees to the cohomology of the n-fold smash product of infinite real projective space. From the topological point of view, ${\cal A}$ is the algebra of universal stable operations in ordinary cohomology with ${\bb F}_2$ coefficients and this explains the action of ${\cal A}$ on P(n), L(n), B(n) and M(n). However, the whole subject may be treated in a purely algebraic fashion [5, 11].

Type
Research Article
Copyright
2003 Cambridge Philosophical Society

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)