Operadic lifts of the algebra of indexing systems (Q2040505)

Let \(G\) be a finite group. Work of Blumberg-Hill demonstrated that there are a range of structures \(G\)-equivariantly which all generalize the non-equivariant notion of an \(E_\infty\)-ring spectrum. These different variations arise naturally in equivariant stable homotopy theory, for example when considering different notions of ``stability'' or ``loop space'' and are not necessarily stable under localization. Blumberg-Hill showed these different notions of equivariant commutativity are encoded by a class of operads called \(N_\infty\)-operads. Associated to each \(N_\infty\)-operad is a combinatorial object called an indexing system, and Blumberg-Hill showed that the homotopy theory of \(N_\infty\)-operads embeds fully faithfully into the finite lattice of \(G\)-indexing systems; this embedding was later shown (independently by the present author and others) to be an equivalence. In this paper, the author investigates and expands on this equivalence. Both sides are highly structured in seemingly corresponding ways: first, one can compare the product (resp. coproduct and tensor product) of operads with the meet (resp. join) of elements of a lattice, and second, one expects natural change-of-group operations for both \(G\)-operads and \(G\)-indexing systems. The author proves that there are algebraically meaningful replacements, internal to \(N_\infty\)-operads, for the product, coproduct, and tensor product for which the desired correspondences holds, and uses these to leverage results about interchanging operad actions. Further, associated to any homomorphism of groups, the author carefully defines restriction, coinduction, and induction for \(G\)-operads, \(N_\infty\)-operads, and \(G\)-indexing systems. He shows that for restriction and coinduction, notions agree and behave as expected in all three scenarios. For induction along an injective homomorphism, he shows the version internal to \(N_\infty\)-operads is homotopically meaningful and corresponds with the combinatorial notion for indexing systems. The strategy for many of the author's results is to use an intermediary between the ``combinatorial'' indexing systems and the ``topological'' \(N_\infty\)-operads, namely discrete \(N\)-operads. Building off his previous work, the author investigates and compares the homotopy theories in the combinatorial and discrete setting in an explicit way, and then lifts this understanding to the topological setting.