Let $\mathbb S[z]$ be the free $E\_\infty$-ring spectrum generated by the commutative monoid $\mathbb N$. That is, $\mathbb S[z] = \Sigma^\infty\_+ \mathbb N$. 


In Bhatt-Morrrow-Scholze II (<https://arxiv.org/abs/1802.03261>), they define a map out of this spectrum by choosing an element of the target. In particular, they use the uniformizer $\varpi$ of $\mathcal O\_K$ to define a map $\mathbb S[z] \to \mathcal O\_K$ by $z \mapsto \varpi$. This occurs in the paragraph after Theorem 11.2. By all indications, this seems to be an $E\_\infty$-ring map. 


This is not the only place in the literature where such a property of $\mathbb S[z]$ is used. In this paper of Krause--Nikolaus (<https://arxiv.org/abs/1907.03477>), they define the same map at the beginning of section 3. 


However, we know the universal property of $\mathbb S[z]$: it is the free $E\_1$-algebra on a single generator. This does not often coincide with the free $E\_\infty$-algebra on a single generator. See [here](https://mathoverflow.net/questions/267903/when-do-the-polynomial-algebra-and-free-algebra-coincide-in-brave-new-algebra) or the second answer [here](https://mathoverflow.net/questions/268494/morphisms-of-mathbb-e-l-rings-between-mathbb-e-k-rings-for-lk?noredirect=1&lq=1). 


My questions are the following:


1. Are these maps $\mathbb S[z] \to \mathcal O\_K$, $z \mapsto \varpi$ actually $E\_\infty$-ring maps? Or just $E\_1$?
2. How do you obtain $E\_\infty$-ring maps out of $\mathbb S[z]$? In particular, for which elements of $\Omega^\infty A \simeq \operatorname{Map}\_{E\_1}(\mathbb S[z], A)$ can we lift an $E\_1$-map to an $E\_\infty$-map?
3. When the target is an Eilenberg--Maclane spectrum, can we obtain an $E\_\infty$-map $\mathbb S[z] \to HB$ for any element of $B = \pi\_0 HB$?


Ideally, the answer to this second question would come in the form of a natural transformation $\Omega^\infty \to \operatorname{Map}\_{E\_\infty}(\mathbb S[t], -)$. But this is probably too optimistic. 



Universal property of $\mathbb S[z]$ and $E_\infty$-ring maps
$\newcommand{\E}{\mathbf{E}}$Dylan answered question 3 (and hence question 1) in the comments, but here's another equivalent way to see it: $\E\_\infty$-maps $S^0[z]\to R$ with $R$ a discrete ring (i.e., viewed as an Eilenberg-Maclane spectrum) are the same data as $\E\_\infty$-maps $\tau\_{\leq 0} S^0[z] = H\mathbf{Z}[t] \to R$ of $\E\_\infty$-rings, i.e., maps $\mathbf{Z}[t]\to R$ of rings. Question 2 is hard: in general, $\E\_n$-maps $\Sigma^\infty\_+ \Omega^n X\to A$ (where $X$ is a topological space and $A$ is an $\E\_n$-ring) are the same data as maps $X\to B^n\mathrm{GL}\_1(A)$ of spaces. If $n=\infty$, that's saying that $\E\_\infty$-maps $\Sigma^\infty\_+ \mathbf{Z}\to A$ are the same things as maps $H\mathbf{Z}\to gl\_1(A)$ of spectra. (In Lurie's elliptic cohomology papers, the space of such maps is denoted $\mathbf{G}\_m(A)$.) Lurie's answer in the question linked to in the comments is concerned with computing $\mathbf{G}\_m(A)$ in the special case of $A$ being a Morava E-theory.


In fact, that result can be made explicit at height $1$; see <http://math.uchicago.edu/~amathew/notes_thursday.pdf>. Here's a summary of what goes on. If $R$ is a $K(1)$-local $\E\_\infty$-$K\_p$-algebra, it's a little easier to study $\E\_\infty$-maps $S^0[z]\to R$. Such maps factor through the $K(1)$-local spectrum $L\_{K(1)} S^0[z]$, which admits a concise presentation as a $K(1)$-local $\E\_\infty$-ring. Recall (e.g. from <https://web.math.rochester.edu/people/faculty/doug/otherpapers/knlocal.pdf>) that the $p$-adic K-theory of the free $K(1)$-local $\E\_\infty$-ring $L\_{K(1)} S^0\{z\}$ on a generator in degree zero is simply the polynomial ring $\mathbf{Z}\_p[z, \theta(z), \theta^2(z), \cdots]$, where the $K(1)$-local power operation $\theta$ takes $\theta^{n-1}(z)$ to $\theta^n(z)$. The element $\theta(z)\in \pi\_0 (K\_p \wedge L\_{K(1)} S^0\{z\}) = \pi\_0 L\_{K(1)} K\_p\{z\}$ defines a map $S^0\to L\_{K(1)} K\_p\{z\}$ which extends (by the universal property of free $\E\_\infty$-rings) to a map $L\_{K(1)} K\_p\{z\} \xrightarrow{\theta} L\_{K(1)} K\_p\{z\}$. Since this map must commute with power operations, it sends $\theta^{n-1}(z)$ to $\theta^n(z)$ on homotopy.


The $\E\_\infty$-cone $L\_{K(1)} K\_p\{z\}/\!\!/\theta(z)$ on this element is defined via the pushout of the diagram
$$K\_p \leftarrow L\_{K(1)} K\_p\{z\} \xrightarrow{\theta} L\_{K(1)} K\_p\{z\}.$$
A simple calculation with the long exact sequence on homotopy shows that there is in fact an equivalence $L\_{K(1)} K\_p\{z\}/\!\!/\theta(z) \simeq L\_{K(1)} K\_p[z]$ of $\E\_\infty$-rings. This is the only compact presentation of any strict spectral polynomial ring that I know of.


As a side remark, here's a curious observation. There is an element $\psi^p(z)\in L\_{K(1)} K\_p\{z\}$, so we can consider the $\E\_\infty$-cone $L\_{K(1)} K\_p\{z\}/\!\!/\psi^p(z)$. Using the relation $\psi^p(z) = z^p + p\theta(z)$, you can show that this $\E\_\infty$-ring has divided powers on $z$.


