Power Operations in Morava E-Theory of Flat Ring Spectra

Let $E_n$ be Morava $E$-theory of height $n$. Let $R$ be a $p$-adically flat commutative ring spectrum. Then the Tate-valued Frobenius map endows ${\pi }_{0}R$ with the structure of a $\delta$-ring. On the other hand, we may form the $K(n)$-completed tensor product $L_{K(n)}(R\otimes E_n)$, which is a $K(n)$-local $E_n$-algebra. Then ${\pi }_0(L_{K(n)}(R\otimes E_n))=L{T}_n\widehat{\otimes }{\pi }_{0}R$ admits the structure of an algebra over the monad $\mathbb{T}(n)$ defined by Rezk. The $\mathbb{T}(n)$-algebra structure encodes the power operations of $L_{K(n)}(R\otimes E_n)$. In this paper we describe the $\mathbb{T}(n)$-algebra structure on ${\pi }_0(L_{K(n)}(R\otimes E_n))$.