I'm currently studying Ando-Hopkins-Rezk's work [Multiplicative orientations of KO-theory and of the spectrum of TMFs](https://faculty.math.illinois.edu/~mando/papers/koandtmf.pdf). At a point a presumably obvious isomorphism is mentioned, which I'm however not able to immediately see (I guess I'm missing something obvious here, forgive me if the question is too naive).


I'm referring to the identification
$$
s: [bstring, X\otimes \mathbb{Q}] \cong \mathbf{D}(X):=\left\{s\in\prod\_{k\geq 4} \pi\_{2k}X\otimes \mathbb{Q}\,\biggr\vert\, s\_k=0 \text{ if $k$ is odd}\right\}
$$
(equation (5.10) in the article), where $X$ is a spectrum and $bstring$ is the spectrum realizing the standard infinite loop space structure on $BString=BO\langle 8\rangle$.


While I clearly see there's a natural morphism $s: [bstring, X\otimes \mathbb{Q}] \to \mathbf{D}(X)$, that fully encodes the datum of the sequence of group homomorphisms
$$
\phi\_{\ast,n}: \pi\_n(bstring) \to \pi\_n(X)\otimes \mathbb{Q}
$$
associated with (the homotopy class of) a morphism $\phi\colon bstring \to X\otimes \mathbb{Q}$, I don't clearly see why any such a sequence should be induced by a unique (homotopy class of a) morphism from $bstring$ to $X\_\mathbb{Q}$, i.e., I don't immediately see why $s$ should be a bijection. I guess the answer is in some property of $bstring\_\mathbb{Q}$ so well known not to be explicitly mentioned in the article, or in some even more fundamental property of rational homotopy theory of infinite loop spaces (or even general spectra) I'm missing at the moment, but I have not been able to work out this answer myself.


Thanks a lot for any possible hint to help me solve my puzzlement



Morphisms from $bstring$ to $X\otimes \mathbb{Q}$ and sequences $s_n\in\pi_n(X)\otimes \mathbb{Q}$
This is an assemblage of known results, I'll try to put a reference for all of them.


* By a classical theorem of Serre all stable homotopy groups are finite in positive degree. In particular we have $\mathbb{S}\_\mathbb{Q}=H\mathbb{Q}$.
* Rationalization is a smashing localization, so that $\pi\_\*(\mathbb{S}\_\mathbb{Q}\otimes E)\cong \pi\_\*E \otimes\_{\mathbb{Z}}\mathbb{Q}$. This follows immediately from the fact that we can write
$$E\_\mathbb{Q}=\mathrm{colim}\left(E\xrightarrow{2}E\xrightarrow{3}E\xrightarrow{4}E\xrightarrow{5}\cdots\right)$$
and that tensor (smash) products and homotopy groups commute with filtered colimits of spectra.
* By Schwede-Shipley Morita theory, the category of modules over $H\mathbb{Q}$ is equivalent to the derived category of $\mathbb{Q}$. (Theorem 5.1.6 in [*Stable model categories are categories of modules*](http://www.math.uni-bonn.de/people/schwede/stablemodelcats.pdf)) Moreover under this equivalence homotopy groups correspond to homology groups (because $H\mathbb{Q}$ is sent to $\mathbb{Q}$ in degree 0).
* In the derived category $D(\mathbb{Q})$ for every object $M$ there is an equivalence $M\cong \bigoplus\_{n\in\mathbb{Z}} (H\_nM)[n]$. This is an easy exercise, using the fact that in $\mathbb{Q}$-vector spaces every short exact sequence splits.


In particular for every spectrum $E$, the spectrum $E\otimes H\mathbb{Q}$ has homotopy groups $\pi\_\*(E\otimes H\mathbb{Q})\cong \pi\_\*E\otimes\_{\mathbb{Z}}\mathbb{Q}$ and so there is an equivalence of $H\mathbb{Q}$-modules (in particular of spectra)


$$ E\otimes H\mathbb{Q}\cong \bigoplus\_{n\in\mathbb{Z}} \Sigma^nH(\pi\_nE\otimes\_{\mathbb{Z}}\mathbb{Q})\cong\prod\_{n\in\mathbb{Z}} \Sigma^nH(\pi\_nE\otimes\_{\mathbb{Z}}\mathbb{Q})$$
(it's not necessary, but it is very convenient to observe that in this case for degree reasons the coproduct and the product coincide)


So, to conclude, we have that
$$[bstring, X\otimes H\mathbb{Q}]\cong \left[ bstring, \prod\_{n\in\mathbb{Z}}\Sigma^nH(\pi\_nX\otimes\_{\mathbb{Z}}\mathbb{Q})\right]\cong \prod\_{n\in\mathbb{Z}} H^n(bstring;\pi\_nX\otimes\_{\mathbb{Z}}\mathbb{Q})\cong \prod\_{n\in\mathbb{Z}} \pi\_nX\otimes\_{\mathbb{Z}} H^n(bstring;\mathbb{Q})\,.$$


