Universal property of framed $G$-disc algebras

Abstract

Given a compact Lie group $G$ and its finite subgroup $H$ we prove that the $\infty$-category of $G/H$-framed $G$-disc algebras taking values in a $G$-symmetric monoidal category ${\underline{\mathcal{C}}}^{\otimes }$ is equivalent to the $\infty$-category of $V$-framed $H$-disc algebras (where $V$ is an $H$-representation) which take values in ${\underline{\mathcal{C}}}_H^{\otimes }$, the underlying $H$-symmetric monoidal subcategory of ${\underline{\mathcal{C}}}^{\otimes }$. We will use this construction to refine the $C_2$-action on the real topological Hochschild homology to an $O(2)$-action.