Universal property of framed $G$-disc algebras

TL;DR

This paper establishes a universal property relating $G/H$-framed $G$-disc algebras to $H$-framed disc algebras, with applications to refining symmetries in topological Hochschild homology.

Contribution

It proves an equivalence between categories of $G/H$-framed $G$-disc algebras and $V$-framed $H$-disc algebras, generalizing the understanding of equivariant algebraic structures.

Findings

Equivalence of $G/H$-framed $G$-disc algebras and $V$-framed $H$-disc algebras.

Refinement of $C_2$-action to an $O(2)$-action on real topological Hochschild homology.

Application of the universal property to equivariant homotopy theory.

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}}^{\otimes}_H$, 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.