Higher Hochschild cohomology of the Lubin-Tate ring spectrum (Q907764)

An \(\mathcal E_d\) operad is an operad in topological spaces that is equivalent to the little \(d\)-disk operad. An \(\mathcal E_d\) ring spectrum is an \(\mathcal E_d\) algebra object in a category of spectra with a structured smash product. In the paper under review, the author studies a version of higher Hochschild cohomology for \(\mathcal E_d\) ring spectra. By definition, this higher Hochschild cohomology is a right derived \(\roman{Hom}\) in a category of operadic \(\mathcal E_d\) modules. The author uses methods from factorization homology [\textit{J. Francis}, Compos. Math. 149, No. 3, 430--480 (2013; Zbl 1276.18008)] to give an alternative description of the higher Hochschild cohomology of an \(\mathcal E_d\) ring spectrum in terms of a right derived \(\roman{Hom}\) in a category of \(S_{\kappa}\) shaped modules, which is constructed from a \(d\)-framing \(\kappa\) of the \(d-1\)-dimensional sphere. Higher Hochschild cohomology for ordinary rings was considered by \textit{T. Pirashvili} [Ann. Sci. Éc. Norm. Supér. (4) 33, No. 2, 151--179 (2000; Zbl 0957.18004)]. For an associative ring spectrum \(K\) with a \(\mathbb Z/2\)-equivariant Künneth isomorphism for \(K\)-homology, the author constructs a spectral sequence relating the higher Hochschild cohomology of the \(K\)-homology of a ring spectrum to the \(K\)-homology of its factorization homology. This spectral sequence allows to identify the \(K_n\)-homology of the factorization homology of the Lubin--Tate ring spectrum \(E_n\) (over \(S^{d-1}\times \mathbb R\)) with the \(K_n\)-homology of \(E_n\) itself. This is a key ingredient for one of the main results of this paper, stating that the higher Hochschild cohomology of \(E_n\) as an \(\mathcal E_d\) ring spectrum is equivalent to \(E_n\).