mjhjmtu

Let $X$ be a $k$-connected spectrum for $k in BbbZ$.

I want to deduce how connected the counit of $(Sigma^infty, Omega^infty)$- adjunction is, that is, how connected is the map
$$
Sigma^inftyOmega^infty X to X.
$$

Any help would be appreciated.

If the spectrum $X$ is $r$-connected, then the map $Sigma^inftyOmega^infty X to X$
is $(2r+2)$-connected.

Here's a sketch: apply the functor $Omega^infty$ to get the map of spaces
$$
Q(Omega^infty X) to Omega^infty X
$$
where $Q = Omega^inftySigma^infty$.
It will be enough to identify the connectivity of the latter.

This map has a section so it is surjective on homotopy in all degrees. In particular your map of spectra is surjective on homotopy in all degrees.

It's enough to compute the degree of injectivity.
Let $S^j to Q(Omega^infty X)$ be a map, $j le 2r+1$. Suppose that
its image in $pi_j(Omega^infty X)$ is trivial.

By Freudenthal, the map
$$
pi_j(Omega^infty X) to pi_j(Q(Omega^infty X))
$$
is surjective in this degree ($j le 2r+1$). So our map desuspends to give a map
$S^j to Omega^infty X$. But the composite
$$
pi_j(Omega^infty X) to pi_j(Q(Omega^infty X))to
pi_j(Omega^infty X)
$$
is the identity. This means that our desuspension is trivial, hence its iterated suspensions are as well.

Here is the essence of the above argument:
suppose $Ato Bto C$ are maps of based spaces in which $Ato B$ is $k$-connected and $Ato C$ is $(k+1)$-connected. Then $Bto C$ is $(k+1)$-connected as well. Apply this to
$$
Omega^infty X to Q(Omega^infty X) to Omega^infty X .
$$

Indeed, as John Klein shows, the map is $(2k+2)$-connected. Let me offer an alternative proof of the fact that, for $X$ a $k$-connective spectrum, $kgeq 0$, the homomorphism $pi_iSigma^inftyOmega^infty Xrightarrowpi_i X$ is an isomorphism for $ileq 2k+1$. As indicated by John, this homomorphism is surjective for all $i$ and it suffices to show that the canonical homomorphism $pi_iOmega^infty Xrightarrow pi_iSigma^inftyOmega^infty X$ is an iso for $ileq 2k+1$. We will actually prove that this is more generally true replacing $Omega^infty X$ with a $k$-connected space $Y$ with abelian fundamental group and vanishing Whitehead products, e.g. a single loop space. I though that someone might eventually find this useful, even if it is not what you're asking about.

The Freudenthal suspension theorem shows that, for an $k$-connected space $Y$, the suspension operator
[
Sigma_*colon pi_i Y longrightarrow pi_i+1Sigma Y
]
is an isomorphism for $ileq 2k$ and an epimorphism for $i=2k+1$. This and the fact that $Sigma^j Y$ is $(j+k)$-connected clearly shows that the natural map from the homotopy groups of $Y$ to those of its suspension spectrum $Sigma^infty Y$
[
pi_i Y longrightarrow pi_iSigma^infty Y,
]
which is a transfinite composition of suspension operators, is an iso for $ileq 2k$ and epi for $i=2k+1$.

Moreover, by the theorems of Blakers and Massey on the homotopy groups of triads, we have an exact sequence in the critical dimension
[
pi_k+1Yotimes pi_k+1Ystackrel[-,-]longrightarrow pi_2k+1YstackrelSigma_*twoheadrightarrow pi_2k+2Sigma Y
]
where the first arrow is the Whitehead product. This still makes sense for $k=0$ using the non-abelian tensor product of groups and the Brown-Loday non-abelian Van Kampen theorems. In this case $[-,-]$ is the commutator product.

If Whitehad products in $pi_*Y$ vanish and the fundamental group is abelian, then the suspension operator is also an isomorphism for $i=2k+1$, and we get an isomorphism between the homotopy groups of $Y$ and $Sigma^infty Y$ in this dimension too.