框架化 $G$-圆盘代数的泛性质

给定紧李群 $G$ 及其有限子群 $H$，我们证明了取值于 $G$-对称幺半范畴 $\underline{\mathcal{C}}^{\otimes}$ 的 $G/H$-框架化 $G$-圆盘代数的 $\infty$-范畴等价于取值于 $\underline{\mathcal{C}}^{\otimes}_H$（即 $\underline{\mathcal{C}}^{\otimes}$ 的底层 $H$-对称幺半子范畴）的 $V$-框架化 $H$-圆盘代数（其中 $V$ 是一个 $H$-表示）的 $\infty$-范畴。我们将使用此构造把实拓扑 Hochschild 同调上的 $C_2$-作用精细化为 $O(2)$-作用。