# nLab indexing system

Content

### Context

#### Higher algebra

higher algebra

universal algebra

# Content

## Idea

An indexing system is a combinatorial datum which uniquely determines an N-∞ operad.

## Definition

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.

###### Definition

A subcategory $I \subset \mathbb{F}_{\mathcal{T}}$ is called an indexing system if

1. ($\Sigma$-action) $I$ contains the core $\mathbb{F}_{\mathcal{T}}^{\simeq}$.

2. (Segal condition and restrictions) $I$ is stable under binary coproducts and pullbacks along arbitrary morphisms.

3. (Binary multiplications) $I$ contains the fold map $\nabla:2 \cdot V \rightarrow V$ for all $V \in \mathcal{T}$.

## Equivalent characterizations

### Sub-symmetric monoidal categories

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

$\mathbb{F}_{I,H} \coloneqq I_{/[G/H]} \simeq \mathbb{F}_{G, /[G/H]} \simeq \mathbb{F}_H.$

The following was proved in Blumberg-Hill 16.

###### Theorem

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.

### Transfer systems

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.

###### Theorem

$T(I)$ is a transfer system, and this outlines an equivalence of posets

$\mathrm{Index}_{G} \simeq \mathrm{Transfer}_G.$

### $N_\infty$-operads.

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).

(…)

(…)

## References

Originally,

Further characterization,

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.