Derived induction and restriction theory (Q2631998): Difference between revisions

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.