symmetric monoidal (∞,1)-category of spectra
An indexing system is a combinatorial datum which uniquely determines an N-∞ operad.
In the following definition, fix $\mathcal{T}$ an orbital ∞-category and $\mathbb{F}_{\mathcal{T}} \coloneqq \mathcal{T}^{\amalg}$ its finite-coproduct closure; for instance, $\mathcal{T}$ may be the orbit category of a finite group, in which case $\mathbb{F}_{\mathcal{O}_G}$ is the category of finite G-sets.
A subcategory $I \subset \mathbb{F}_{\mathcal{T}}$ is called an indexing system if
($\Sigma$-action) $I$ contains the core $\mathbb{F}_{\mathcal{T}}^{\simeq}$.
(Segal condition and restrictions) $I$ is stable under binary coproducts and pullbacks along arbitrary morphisms.
(Binary multiplications) $I$ contains the fold map $\nabla:2 \cdot V \rightarrow V$ for all $V \in \mathcal{T}$.
Recall that induction yields an equivalence $\mathbb{F}_H \simeq \mathbb{F}_{G, /[G/H]}$ for each subgroup $H \subset G$. Given $I \subset \mathbb{F}_G$ an indexing system, and $H \subset G$ we refer to the corresponding subcategory
The following was proved in Blumberg-Hill 16.
There is a unique $G$-subcategory $\underline{\mathbb{F}}_I \subset \underline{\mathbb{F}}_G$; furthermore, this outlines an equivalence between the poset of indexing systems and the poset of full $G$-subcategories which contain trivial $H$-sets and are closed under coproducts, finite limits, and self-induction.
Let $\mathrm{Sub}(G)$ be the subgroup lattice of $G$. We say that a subposet $R \subset \mathrm{Sub}(G)$ is a \emph{transfer system} if it is closed under conjugation and restriction.
Given $I \subset \mathbb{F}_G$ an indexing system, we let $T(I) \subset \mathrm{Sub}(G)$ denote the subposet consisting of inclusions $K \subset H$ such that the corresponding map $G/K \rightarrow G/H$ is in $I$. The following theorem was independently proved by Rubin and Balchin-Barnes-Roitzheim.
$T(I)$ is a transfer system, and this outlines an equivalence of posets
The poset of subcommutative G-∞ operads containing $\mathbb{E}_\infty$ corresponds with $\mathrm{Index}_G$; these are called N-∞ operads (see the linked page for details).
(…)
(…)
Originally,
Further characterization,
Andrew Blumberg, Michael Hill, Incomplete Tambara functors, (arXiv:1603.03292)
Jonathan Rubin, Characterizations of equivariant Steiner and linear isometries operads, (arXiv:1903.08723v2)
Scott Balchin, David Barnes, Constanze Roitzheim, $N_\infty$-operads and associahedra, (arXiv:1905.03797)
Over orbital categories,
Last revised on May 12, 2024 at 00:32:03. See the history of this page for a list of all contributions to it.