The norm–factorization homology comparison for compact Lie groups

Let $G$ be a compact Lie group, let $R$ be a cofibrant commutative algebra, and let $U$ and $U^{G}$ denote the relevant complete universes. Write $N_e^G R$ for the norm and $I_{U^{G}}^{U}(R\boxtimes G)$ for change of universe applied to the tensor construction. Norm–factorization homology conjecture. There is a natural weak equivalence of genuine $G$-spectra

$$N_e^G R \simeq I_{U^{G}}^{U}(R \otimes G).$$

Here $I_{U^{G}}^{U}(-\otimes G)$ is left adjoint to the forgetful functor from commutative ring orthogonal $G$-spectra indexed on $U$ to commutative ring spectra. This conjecture identifies the norm with the corresponding factorization-homology construction after point-set change of universe.