I posted this question on math.se here:<https://math.stackexchange.com/q/2996787/482732>, but I think it may be more appropriate here, sorry if I am wrong about that.


In Waldhausen's paper Algebraic K theory of Spaces(the long one) he proves the following:


$$A(X)\simeq \mathbb{Z}\times B\widehat{Gl}(\Omega^{\infty}\Sigma^\infty |G|)$$


Where $|G|$ is a loop group of $X$. My problem is that to apply $B$ we need $\widehat{Gl}(\Omega^{\infty}\Sigma^\infty |G|)$ to be $A^\infty$, but since $\Omega^{\infty}\Sigma^\infty |G|$ is only a ring up to homotopy this isn't obvious to me. Waldhausen just brushes past this point, so I was hoping to get a reference to somewhere that shows this in detail. Thanks.



Reference request for K-Theory linearization
I claim that for every $A\_\infty$-space $A$, there is a canonical $A\_\infty$-ring structure on $\Omega^\infty\Sigma^\infty\_+A$.


First, $\Sigma^\infty\_+$ from spaces to spectra is symmetric monoidal. So it sends an $A\_\infty$-space $A$ to an $A\_\infty$-algebra in spectra $\Sigma^\infty\_+A$, that is an $A\_\infty$-ring spectrum. The fact that $\Sigma^\infty\_+$ is symmetric monoidal (at the model category/∞-category level) can be found in any modern book treating the smash product of spectra (e.g. it is proposition 4.7 in Elmendorf-May-Kriz-Mandell and corollary 4.8.2.19 in Lurie's Higher Algebra).


Secondly I claim that if $E$ is an $A\_\infty$-ring spectrum, then $\Omega^\infty E$ has a canonical $A\_\infty$-ring space structure. Exactly how this works will depend on your preferred definition of $A\_\infty$-ring space, but it can be proven, e.g., with the same technique that May uses to prove the analogous statement for $E\_\infty$-ring spaces (Corollary 7.5 in May's *What precisely are $E\_\infty$-ring spaces and $E\_\infty$-ring spectra*).




---


If all you care for is a construction of the $A\_\infty$-structure on $GL\_1(\Sigma^\infty\_+A)$, I particularly like the approach in



> 
> Matthew Ando, Andrew J. Blumberg, David Gepner, Michael J. Hopkins, Charles Rezk [*An ∞-categorical approach to R-line bundles, R-module Thom spectra, and twisted R-homology*](https://arxiv.org/abs/1403.4325)
> 
> 
> 


where they identify $GL\_1(R)$ with the automorphism group of $R$ as an $R$-module (and so it has an $A\_\infty$-structure, since all automorphism groups in an ∞-category "trivially" do).


