Derived induction and restriction theory (Q2631998)

From MaRDI portal
Revision as of 20:09, 12 August 2024 by Daniel (talk | contribs) (‎Created claim: Wikidata QID (P12): Q128043097, #quickstatements; #temporary_batch_1723488958199)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Derived induction and restriction theory
scientific article

    Statements

    Derived induction and restriction theory (English)
    0 references
    0 references
    0 references
    0 references
    17 May 2019
    0 references
    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.
    0 references
    equivariant homotopy theory
    0 references
    Artin's theorem
    0 references
    Brauer's theorem
    0 references
    induction
    0 references
    spectral sequences
    0 references
    \(K\)-theory
    0 references
    topological modular forms
    0 references
    tensor triangulated categories
    0 references
    Quillen's \(\mathcal{F}\)-isomorphism theorem
    0 references
    group cohomology
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references