Incomplete Tambara functors

DOI10.2140/AGT.2018.18.723MaRDI QIDQ1743502zbMATH OpenOpenAlexWikidataFDO

Authors Andrew J. Blumberg, Michael A. Hill

Publication date 13 April 2018

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

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

equivariant homotopy Mackey functor Tambara functor

Special categories (18B99) Frobenius induction, Burnside and representation rings (19A22) Equivariant homology and cohomology in algebraic topology (55N91) Stable homotopy theory, spectra (55P42) Equivariant homotopy theory in algebraic topology (55P91)

Abstract: For a "genuine" equivariant commutative ring spectrum

R

,

p i_{0} (R)

admits a rich algebraic structure known as a Tambara functor. This algebraic structure mirrors the structure on

R

arising from the existence of multiplicative norm maps. Motivated by the surprising fact that Bousfield localization can destroy some of the norm maps, in previous work we studied equivariant commutative ring structures parametrized by

N_{i} n f t y

operads. In a precise sense, these interpolate between "naive" and "genuine" equivariant ring structures. In this paper, we describe the algebraic analogue of

N_{i} n f t y

ring structures. We introduce and study categories of incomplete Tambara functors, described in terms of certain categories of bispans. Incomplete Tambara functors arise as

p i_{0}

of

N_{i} n f t y

algebras, and interpolate between Green functors and Tambara functors. We classify all incomplete Tambara functors in terms of a basic structural result about polynomial functors. This classification gives a conceptual justification for our prior description of

N_{i} n f t y

operads and also allows us to easily describe the properties of the category of incomplete Tambara functors.

Review text

Given a finite group \(G\) and a genuine \(G\)-spectrum \(R\), the \(H\)-equivariant homotopy groups for different subgroups \(H \subset G\) are connected by restrictions and transfers, a structure encoded in the notion of a \textit{Mackey functor}. If \(R\) is a genuinely commutative ring spectrum (examples include equivariant bordism and equivariant \(K\)-theory), there are additionally multiplicative norms \[ \pi_0^KR \to \pi_0^HR \] for subgroup inclusions \(K\subset H\), a structure encoded in the notion of a \textit{Tambara functor}. The article under review is part of a series of papers by the authors starting with [\textit{A. J. Blumberg} and \textit{M. A. Hill}, Adv. Math. 285, 658--708 (2015; Zbl 1329.55012)], devoted to understanding ring spectra that are less than genuinely commutative. There is indeed a whole hierarchy interpolating between a naive notion of an \(E_\infty\)-ring spectrum in \(G\)-spectra and genuinely commutative ring spectra. This hierarchy arises from different \(G\)-operads whose underlying operads are \(E_\infty\)-operads. These are called \(N_{\infty}\)-operads, giving rise to the notion of \(N_\infty\)-ring spectra. Examples of these appear, for example, as Bousfield localizations of genuinely commutative ring spectra. In the homotopy groups of these \(N_\infty\)-ring spectra one does no longer expect norms for all subgroup inclusions \(K\subset H\), but only for certain ones. The authors develop for each \(N_\infty\)-operad a corresponding notion of an \textit{incomplete Tambara functor}. Bearing in mind the rather complicated structure a Tambara functor encodes, the authors abstain from a direct definition of an incomplete Tambara functor, but rather develop suitable categorical foundations. These are also helpful to show that incomplete Tambara functors form a bicomplete category. The authors develop several concepts in the world of incomplete Tambara functors, in particular a theory of localization. At the end, they also show that for a subgroup inclusion \(H\subset G\), the restriction functor from incomplete Tambara functors for \(G\) to those for \(H\) (for corresponding \(N_\infty\)-operads in the background) has a right and a left adjoint, the latter being analogous to the norm construction in equivariant homotopy theory.

Recommendations

Cites work

Cited in

(28)

This page was built for publication: Incomplete Tambara functors

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