摘要 Abstract
我们肯定并推广了Blumberg和Hill的一个猜想:单位弱$\mathcal{N}_\infty$-运算在$\infty$-范畴的Boardman-Vogt张量积下是封闭的,并且所得的张量积对应于弱索引系统的联合;特别是,我们得到了一个自然的$G$-对称单态等价\[ \underline{\mathrm{CAlg}}^{\otimes}_{I} \underline{\mathrm{CAlg}}^{\otimes}_{J} \mathcal{C} \simeq \underline{\mathrm{CAlg}}^{\otimes}_{I \vee J} \mathcal{C}. \]我们通过证明$\mathcal{N}_{I\infty}^{\otimes}$是$\otimes$-幂等的,以及若且仅若$\mathcal{O}$-monoid $G$-空间满足$I$-索引的Wirthmüller同构时,$\mathcal{O}^{\otimes}$对于相应的smashing局部化是局部的,从而实现了这一点。最终,我们通过推进$G$-对称$\infty$-范畴中笛卡尔和余笛卡尔$I$-对称单态结构的等变高阶代数完成了这一目标。此外,我们还获得了关于$G$-运算的一些结构性结果,包括$\otimes$提升为一个可表对称单态结构的典范方式,以及计算非约化单位$G$-运算的张量积的一般分解和组装过程。所有这些结果都是在原子轨道$\infty$-范畴的广义框架下证明的。我们也得到了(迭代)Real拓扑周期和循环同调的预期推论,并构造了一个自然的$I$-对称单态结构,用于$\mathcal{N}_{I\infty}$-代数上的右模。
We affirm and generalize a conjecture of Blumberg and Hill: unital weak $\mathcal{N}_\infty$-operads are closed under $\infty$-categorical Boardman-Vogt tensor products and the resulting tensor products correspond with joins of weak indexing systems; in particular, we acquire a natural $G$-symmetric monoidal equivalence \[ \underline{\mathrm{CAlg}}^{\otimes}_{I} \underline{\mathrm{CAlg}}^{\otimes}_{J} \mathcal{C} \simeq \underline{\mathrm{CAlg}}^{\otimes}_{I \vee J} \mathcal{C}. \] We accomplish this by showing that $\mathcal{N}_{I\infty}^{\otimes}$ is $\otimes$-idempotent and $\mathcal{O}^{\otimes}$ is local for the corresponding smashing localization if and only if $\mathcal{O}$-monoid $G$-spaces satisfy $I$-indexed Wirthm\"uller isomorphisms. Ultimately, we accomplish this by advancing the equivariant higher algebra of cartesian and cocartesian $I$-symmetric monoidal $\infty$-categories. Additionally, we acquire a number of structural results concerning $G$-operads, including a canonical lift of $\otimes$ to a presentably symmetric monoidal structure and a general disintegration and assembly procedure for computing tensor products of non-reduced unital $G$-operads. All such results are proved in the generality of atomic orbital $\infty$-categories. We also achieve the expected corollaries for (iterated) Real topological Hochschild and cyclic homology and construct a natural $I$-symmetric monoidal structure on right modules over an $\mathcal{N}_{I\infty}$-algebra.