On the relation between Dyer-Lashof algebra and the hit problems

TL;DR

This paper uses geometric methods to analyze hit problems related to Dyer-Lashof algebra, providing new examples, numerical conditions, and lower bounds for the symmetric hit problem and its stable version.

Contribution

It introduces new geometric techniques and numerical conditions to generate infinite families of $ ext{A}$-annihilated elements, advancing the understanding of hit problems in algebraic topology.

Findings

New examples of $ ext{A}$-annihilated generators in $H_*BO$ and $H_* imes BO$

Numerical conditions for constructing $ ext{A}$-annihilated elements

Lower bounds for the stable symmetric hit problem

Abstract

The aim of this note is to use geometric methods to study the hit problem of Peterson for $H_*\mathbb{R} P^{\times k}$ as well as the symmetric hit problem of Janfada and Wood for $H_*BO(k)$. We continue by exploring the applications of the results of \cite{Zare-symmetric} on the $\mathcal{A}$-annihilated generators of $H_*QX$ to obtain a family of generic `new' examples of $\mathcal{A}$-annihilated in $H_*(\mathbb{Z}\times BO)$ and $H_*BO$, i.e. the case of stable symmetric hit problem, where an essential step is provided by the infinite loop space structure on $BO$ implied by the Bott periodicity. Applying a length filtration allows to state our results in the case of symmetric hit problem for $H_*BO(k)$. Using the Becker-Gottlieb transfer associated to $\mathbb{R} P^{\times k}=BO(1)^{\times k}\to BO(k)$ we are able to restate our results for the classic hit problem of $H_*\mathbb{R} P^{\times k}$. We use the phrase `stable hit problem' to the study of hit problem for $H_*\mathbb{R} P^{\times k}$ for all $k>0$ at once, which allows to use multiplicative structures on which we seem to have taken some new steps after \cite{Ault-Singer}. Our new examples depend on specific numerical conditions of which we have provided an algorithm to construct in \cite{Zare-symmetric}. The methodological outcome is that such conditions also have to taken into account while dealing with counting arguments. The numerical conditions we obtain seem to have not appeared in the literature in this context, although they may include previous ones as examples. Therefore, our work provides an infinite family of new examples and consequently raises the lower bounds obtained previously.