Encoding equivariant commutativity via operads

DOI10.2140/AGT.2018.18.2919MaRDI QIDQ1673642zbMATH OpenOpenAlexWikidataFDO

Authors Peng Zhang

Publication date 12 September 2018

Published in Algebraic \& Geometric Topology (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1707.02130

zbMATH Keywords

equivariant homotopy theorymodel categoriesoperads

Mathematics Subject Classification ID

Stable homotopy theory, spectra (55P42) Loop space machines and operads in algebraic topology (55P48) Localization and completion in homotopy theory (55P60) Equivariant homotopy theory in algebraic topology (55P91) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Abstract: In this paper, we prove a conjecture of Blumberg and Hill regarding the existence of $N_{i}nfty$-operads associated to given sequences $mathcalF=(mathcal{F}_n{)}_{ninmathbbN}$ of families of subgroups of $GimesSigm{a}_n$. For every such sequence, we construct a model structure on the category of $G$-operads, and we use these model structures to define $E_{i}nft{y}^{mathcalF}$-operads, generalizing the notion of an $N_{i}nfty$-operad, and to prove the Blumberg-Hill conjecture. We then explore questions of admissibility, rectification, and preservation under left Bousfield localization for these $E_{i}nft{y}^{mathcalF}$-operads, obtaining some new results as well for $N_{i}nfty$-operads.

Review text

In recent applications of equivariant stable homotopy theory, most notably the solution to the Kervaire Invariant One problem by \textit{M. A. Hill}, \textit{M. J. Hopkins} and \textit{D. C. Ravenel} [Ann. Math. (2) 184, No. 1, 1--262 (2016; Zbl 1366.55007)], a key feature is the existence of norm maps between equivariant commutative ring spectra. A natural question is thus when algebraic objects, equipped with an action of a group \(G\), admit the structure of analogous norm maps. Since operads provide a framework for describing a wide range of algebraic structures, this question leads to the notion of norm maps encoded by certain equivariant operads. \textit{A. J. Blumberg} and \textit{M. A. Hill} [Adv. Math. 285, 658--708 (2015; Zbl 1329.55012)] first defined such structures, under the name of \(N_\infty\)-operads, and showed that several examples can be described in these terms. A key point in the definition is the interaction between the \(G\)-action and the actions of the symmetric groups \(\Sigma_n\) on the component spaces of the operad. In this paper, the authors resolve a question of Blumberg and Hill [loc. cit.] regarding which kinds of families of subgroups of \(G \times \Sigma_n\) actually correspond to an \(N_\infty\)-operad. Specifically, they show that the only restrictions on such sequences are those arising from the composition structure of the operad. Additionally, they consider appropriate model structures on the category of \(G\)-operads and their algebras, allowing them to establish some rectification results for algebras. Finally, they consider a class of operads somewhat weaker than \(N_\infty\)-operads and prove some analogous results in that setting.

Recommendations

• Equivariant chromatic localizations and commutativity
• Operadic multiplications in equivariant spectra, norms, and transfers
• Equivariant stable categories for incomplete systems of transfers
• Bi-incomplete Tambara Functors
• Operadic lifts of the algebra of indexing systems
• Global N∞$N_\infty$‐operads
• \(G\)-symmetric monoidal categories of modules over equivariant commutative ring spectra
• An algebraic model for rational naïve-commutative \(G\)-equivariant ring spectra for finite \(G\)
• Equivariant dendroidal Segal spaces and \(G\)-\(\infty\)-operads
• On the homotopy theory of equivariant colored operads

Cites work

• E_\infty -ring structures for Tate spectra
• Axiomatic homotopy theory for operads
• Equivariant homotopy theory for pro-spectra
• Equivariant orthogonal spectra and 𝑆-modules
• Equivariant principal bundles and their classifying spaces
• Equivariant stable homotopy theory. With contributions by J. E. McClure
• Framed Discs Operads and Batalin-Vilkovisky Algebras
• Homotopical algebra
• Homotopy Theory of Diagrams and CW-Complexes Over a Category
• scientific article; zbMATH DE number 1226952 (Why is no real title available?)
• scientific article; zbMATH DE number 2152592 (Why is no real title available?)
• scientific article; zbMATH DE number 1860105 (Why is no real title available?)
• scientific article; zbMATH DE number 970057 (Why is no real title available?)
• Isomorphism conjectures with proper coefficients
• Localization of algebras over coloured operads
• Model categories of diagram spectra
• Model structures on commutative monoids in general model categories
• Modules over operads and functors
• On equivariant homotopy theory for model categories
• On the derived category of an algebra over an operad
• Spectra and symmetric spectra in general model categories
• The equivariant triangulation theorem for actions of compact Lie groups
• Transfer of algebras over operads along Quillen adjunctions

Cited in

(36)

• Multiplicativity of the idempotent splittings of the Burnside ring and the \(G\)-sphere spectrum
• Operadic lifts of the algebra of indexing systems
• Combinatorial N_ operads
• N_ -operads and associahedra
• On the homotopy theory of equivariant colored operads
• Self-duality of the lattice of transfer systems via weak factorization systems
• The localized slice spectral sequence, norms of real bordism, and the Segal conjecture
• Homotopy theory of equivariant operads with fixed colors
• Saturated and linear isometric transfer systems for cyclic groups of order \(p^m q^n\)
• Smashing localizations in equivariant stable homotopy
• Equivariant chromatic localizations and commutativity
• Generalized \(\mathbb{Z}\)-homotopy fixed points of \(C_n\) spectra with applications to norms of \(MU_{\mathbb{R}}\)
• Homotopical adjoint lifting theorem
• Genuine equivariant operads
• Equivariant dendroidal Segal spaces and \(G\)-\(\infty\)-operads
• Bi-incomplete Tambara Functors
• Idempotent characters and equivariantly multiplicative splittings of K‐theory
• The genuine operadic nerve
• The right adjoint to the equivariant operadic forgetful functor on incomplete Tambara functors
• Detecting Steiner and linear isometries operads
• Equivariant stable categories for incomplete systems of transfers
• Global transfer systems of abelian compact Lie groups
• Lifting \(N_\infty\) operads from conjugacy data
• Global N∞$N_\infty$‐operads
• Equivariant dendroidal sets and simplicial operads
• Genuine‐commutative structure on rational equivariant K$K$‐theory for finite abelian groups
• Left Bousfield localization without left properness
• Homotopy theory. Abstracts from the workshop held August 6--11, 2023
• On colimits and model structures in various categories of manifolds
• Goerss-Hopkins obstruction theory for -categories
• Uniquely compatible transfer systems for cyclic groups of order p^rq^s
• Quasi-tame substitudes and the Grothendieck construction
• Realization of saturated transfer systems on cyclic groups of order \(p^n q^m\) by linear isometries \(N_{\infty}\)-operads
• Transfer systems for rank two elementary abelian groups: characteristic functions and matchstick games
• Splitting rational incomplete Mackey functors
• Operadic multiplications in equivariant spectra, norms, and transfers

This page was built for publication: Encoding equivariant commutativity via operads

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1673642)