Derived induction and restriction theory

DOI10.2140/GT.2019.23.541MaRDI QIDQ2631998zbMATH OpenOpenAlexWikidataFDO

Authors Akhil Mathew, Niko Naumann, Justin Noel

Publication date 17 May 2019

Published in Geometry \& Topology (Search for Journal in Brave)

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

zbMATH Keywords

\(K\)-theoryArtin's theoremBrauer's theoremequivariant homotopy theorygroup cohomologyinductionQuillen's \(\mathcal{F}\)-isomorphism theoremspectral sequencestensor triangulated categoriestopological modular forms

Mathematics Subject Classification ID

Spectral sequences, hypercohomology (18G40) Frobenius induction, Burnside and representation rings (19A22) Equivariant (K)-theory (19L47) Cohomology of groups (20J06) Elliptic cohomology (55N34) Equivariant homology and cohomology in algebraic topology (55N91) Stable homotopy theory, spectra (55P42) Equivariant homotopy theory in algebraic topology (55P91)

Abstract: Let $G$ be a finite group. To any family $mathscrF$ of subgroups of $G$, we associate a thick $otimes$-ideal $mathscr{F}^{mathrmNil}$ of the category of $G$-spectra with the property that every $G$-spectrum in $mathscr{F}^{mathrmNil}$ (which we call $mathscrF$-nilpotent) can be reconstructed from its underlying $H$-spectra as $H$ varies over $mathscrF$. A similar result holds for calculating $G$-equivariant homotopy classes of maps into such spectra via an appropriate homotopy limit spectral sequence. In general, the condition $Einmathscr{F}^{mathrmNil}$ implies strong collapse results for this spectral sequence as well as its dual homotopy colimit spectral sequence. As applications, we obtain Artin and Brauer type induction theorems for $G$-equivariant $E$-homology and cohomology, and generalizations of Quillen's $mathcal{F}_p$-isomorphism theorem when $E$ is a homotopy commutative $G$-ring spectrum. We show that the subcategory $mathscr{F}^{mathrmNil}$ contains many $G$-spectra of interest for relatively small families $mathscrF$. These include $G$-equivariant real and complex $K$-theory as well as the Borel-equivariant cohomology theories associated to complex oriented ring spectra, any $L_n$-local spectrum, the classical bordism theories, connective real $K$-theory, and any of the standard variants of topological modular forms. In each of these cases we identify the minimal family such that these results hold.

Review text

Let \(G\) be a finite group, a nonempty collection of subgroups, \(\mathcal{F}\), of \(G\) is called a family if it is closed under subconjugation. Let \(Sp_{G}\) denote the \(\infty\)-category of \(G\)-spectra equipped with the symmetric monoidal smash product. The \(\infty\)-category of \(\mathcal{F}\)-nilpotent \(G\)-spectra, \(\mathcal{F}^{\mathrm{nil}}\), is by definition the smallest thick \(\otimes\)-ideal in \(Sp_{G}\) containing \(\{ G/H_{+}\}_{H\in \mathcal{F}}\). Given a \(G\)-spectrum \(M\), there is a minimal family \(\mathcal{F}\) such that \(M\) is \(\mathcal{F}\)-nilpotent, this minimal family is called the derived defect base of \(M\). Let \(V\) be a real orthogonal representation of \(G\) and \(S^{V}\) be its one point compactification with \(\infty\) as its base point. The inclusion \(0\to V\) induces an equivariant map \(e_{V}: S^{0}\to S^{V}\) , this is called the Euler class. The first theorem (Theorem A) of this paper is to give alternative characterizations for a \(G\)-spectrum \(M\) to be \(\mathcal{F}\)-nilpotent, in terms of nilpotency of the Euler class and of the behavior of the restrictions to subgroups in \(\mathcal{F}\). Next, the authors apply this to different cases, for example Theorem B. Let \(M\) and \(X\) be \(G\)-spectra. Assume \(M\) is \(\mathcal{F}\)-nilpotent. Then the map \[ \operatorname{colim}_{O_{\mathcal{F}}(G)}M^{*}_{H}(X) \to M^{*}_{G}(X) \to \lim_{O_{\mathcal{F}(G)^{op}}} M^{*}_{H}(X), \] given by induction from subgroups of \(\mathcal{F}\) followed by restrictions to subgroups of \(\mathcal{F}\) is an isomorphism after inverting the order of \(G\). Similarly with \(M_{*}^{H}\). The authors also prove an anlogue of Quillen's \(\mathcal{F}_{p}\) nilpotency theorem. They also provide several instances for families and \(G\)-spectra to be its derive defect base family.

Recommendations

• Nilpotence and descent in equivariant stable homotopy theory
• Generalized Artin and Brauer induction for compact Lie groups
• Some Remarks on the Segal and Sullivan Conjectures
• The spectrum of the equivariant stable homotopy category of a finite group
• Equivariant homotopy theory for pro-spectra

Cites work

• K-THEORY AND REALITY
• A thick subcategory theorem for modules over certain ring spectra
• Axiomatic representation threory for finite groups
• Bordism of \(G\)-manifolds and integrality theorems
• BOTT PERIODICITY AND THE INDEX OF ELLIPTIC OPERATORS
• Characters and cohomology of finite groups
• Cohomology and induction from elementary Abelian subgroups
• Complete modules and torsion modules
• Conjugations on complex manifolds and equivariant homotopy of 𝑀𝑈
• Descent in triangulated categories
• Determination of the cobordism ring
• Equivariant K-theory and completion
• Equivariant cohomology theories
• Equivariant connective K-theory for compact Lie groups.
• Equivariant orthogonal spectra and 𝑆-modules
• Equivariant stable homotopy and Segal's Burnside ring conjecture
• Equivariant stable homotopy theory. With contributions by J. E. McClure
• Equivariant versions of real and complex connective \(K\)-theory
• Generalized Artin and Brauer induction for compact Lie groups
• Generalized group characters and complex oriented cohomology theories
• Generalized Tate cohomology
• Higher limits via subgroup complexes
• Higher Topos Theory (AM-170)
• Homology decompositions for classifying spaces of finite groups
• Homotopy decomposition of classifying spaces via elementary Abelian subgroups
• Homotopy equivariance, strict equivariance and induction theory
• Homotopy spectral sequences and obstructions
• scientific article; zbMATH DE number 3552764 (Why is no real title available?)
• Induction and structure theorems for orthogonal representations of finite groups
• Localization and completion theorems for \(MU\)-module spectra
• Mackey Functors and G-Cohomology
• Nilpotence and descent in equivariant stable homotopy theory
• Nilpotence and Periodicity in Stable Homotopy Theory. (AM-128)
• Nilpotence and stable homotopy theory. II
• On Thom Spectra, Orientability, and Cobordism
• Propagating sharp group homology decompositions.
• Restriction to finite-index subgroups as étale extensions in topology, KK-theory and geometry
• Separable extensions in tensor-triangular geometry and generalized Quillen stratification
• Spectral Mackey functors and equivariant algebraic \(K\)-theory. I.
• Splitting monoidal stable model categories
• Stable equivariant bordism
• Tate cohomology and periodic localization of polynomial functors
• Tate Cohomology of Periodic K-Theory with Reality is Trivial
• The 7-Connected Cobordism Ring at p = 3
• The equivariant triangulation theorem for actions of compact Lie groups
• The homology of \(\mathrm{tmf}\)
• The representation ring of a compact Lie group
• The smash product for derived categories in stable homotopy theory
• The spectrum of an equivariant cohomology ring. I. II
• The structure of the Spin cobordism ring
• The Tate spectrum \(v_ n\)-periodic complex oriented theories
• Topological Hochschild homology and cohomology of \(A_{\infty }\) ring spectra
• Varieties and local cohomology for chromatic group cohomology rings

Cited in

(19)

• The Balmer spectrum of the equivariant homotopy category of a finite abelian group
• A note on orbit categories, classifying spaces, and generalized homotopy fixed points
• Hyperdescent and étale K-theory
• Chromatic (co)homology of finite general linear groups
• Generalized Artin and Brauer induction for compact Lie groups
• Homotopy equivariance, strict equivariance and induction theory
• Coassembly and the \(K\)-theory of finite groups
• On stratification for spaces with Noetherian mod \(p\) cohomology
• Picard groups of higher real K-theory spectra at height p-1
• Homotopy theory. Abstracts from the workshop held August 6--11, 2023
• Tensor-triangular geometry and interactions. Abstracts from the workshop held September 17--22, 2023
• Total power operations in spectral sequences
• Descent and vanishing in chromatic algebraic K-theory via group actions
• Descent in tensor triangular geometry
• Quillen stratification in equivariant homotopy theory
• The Tate intermediate value theorem
• The \(RO(C_{2^n})\)-graded homotopy of \(H\underline{\mathbb{Z}}\) through generalized Tate squares
• The Picard group in equivariant homotopy theory via stable module categories
• Equivalences of the form ^V X^W X in equivariant stable homotopy theory

This page was built for publication: Derived induction and restriction theory

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