Profinite and discrete \(G\)-spectra and iterated homotopy fixed points (Q312402): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Import241208061232 (talk | contribs)
Normalize DOI.
 
(6 intermediate revisions by 5 users not shown)
Property / DOI
 
Property / DOI: 10.2140/agt.2016.16.2257 / rank
Normal rank
 
Property / review text
 
The paper under review is a contribution to the study of relations between the notions of homotopy fixed point spectrum for the action of a profinite group, and the associated homotopy fixed point spectral sequence. The authors investigate the following important question: Can one simplify the analysis of the homotopy fixed points under the group \(G\) by reducing it to the study of those under proper closed normal subgroups \(K\) and the quotients \(G/K\)? This would require two steps. For \(X\) a fibrant profinite \(G\)-spectrum, determine whether \(X^{hK}\) is a profinite \(G/K\)-spectrum. If this is the case, then determine whether the comparison map \[ X^{hG}\to \left(X^{hK}\right)^{hG/K} \] is an equivalence. The authors provide various sets of sufficient conditions on \(G\) and \(X\), namely \(X\) is a \(K\)-Postnikov \(G\)-spectrum and \(G/K\) has finite virtual cohomological dimension, that allow for obtaining the equivalence. The main application of these results is the important example of the extended Morava stabilizer group \(G_{n}\) on the Lubin-Tate spectrum \(E_{n}\). For this purpose, the previous results are extended to homotopy inverse limits of diagrams of spectra as \(E_{n}^{hK}\) can be identified with the homotopy inverse limit of a suitable diagram, where \(K\) is a normal subgroup of some closed subgroup \(G\) of \(G_{n}\). Therefore, \(E_{n}^{hK}\) is a profinite \(G/K\)-spectrum and the homotopy fixed point spectrum \(\left(E_{n}^{hK}\right)^{hG/K}\) is defined and is equivalent to \(E_{n}^{hG}\). The associated spectral sequence has the \(E_{2}\)-page of the form \(H^{s}_{c}\left(G/K;\pi_{t}\left(E_{n}^{hK}\right)\right)\). Other constructions of the homotopy fixed point with respect to a continuous action of a closed subgroup of \(G_{n}\) have also been studied by Devinatz, Hopkins and the first author. However, none of these constructions enjoys the fact that the equivalence of iterated homotopy fixed points \(E_{n}^{hG}\cong\left(E_{n}^{hK}\right)^{hG/K}\) always holds. The authors expect that \(\left(E_{n}^{hK}\right)^{hG/K}\) will be a useful tool in chromatic theory.
Property / review text: The paper under review is a contribution to the study of relations between the notions of homotopy fixed point spectrum for the action of a profinite group, and the associated homotopy fixed point spectral sequence. The authors investigate the following important question: Can one simplify the analysis of the homotopy fixed points under the group \(G\) by reducing it to the study of those under proper closed normal subgroups \(K\) and the quotients \(G/K\)? This would require two steps. For \(X\) a fibrant profinite \(G\)-spectrum, determine whether \(X^{hK}\) is a profinite \(G/K\)-spectrum. If this is the case, then determine whether the comparison map \[ X^{hG}\to \left(X^{hK}\right)^{hG/K} \] is an equivalence. The authors provide various sets of sufficient conditions on \(G\) and \(X\), namely \(X\) is a \(K\)-Postnikov \(G\)-spectrum and \(G/K\) has finite virtual cohomological dimension, that allow for obtaining the equivalence. The main application of these results is the important example of the extended Morava stabilizer group \(G_{n}\) on the Lubin-Tate spectrum \(E_{n}\). For this purpose, the previous results are extended to homotopy inverse limits of diagrams of spectra as \(E_{n}^{hK}\) can be identified with the homotopy inverse limit of a suitable diagram, where \(K\) is a normal subgroup of some closed subgroup \(G\) of \(G_{n}\). Therefore, \(E_{n}^{hK}\) is a profinite \(G/K\)-spectrum and the homotopy fixed point spectrum \(\left(E_{n}^{hK}\right)^{hG/K}\) is defined and is equivalent to \(E_{n}^{hG}\). The associated spectral sequence has the \(E_{2}\)-page of the form \(H^{s}_{c}\left(G/K;\pi_{t}\left(E_{n}^{hK}\right)\right)\). Other constructions of the homotopy fixed point with respect to a continuous action of a closed subgroup of \(G_{n}\) have also been studied by Devinatz, Hopkins and the first author. However, none of these constructions enjoys the fact that the equivalence of iterated homotopy fixed points \(E_{n}^{hG}\cong\left(E_{n}^{hK}\right)^{hG/K}\) always holds. The authors expect that \(\left(E_{n}^{hK}\right)^{hG/K}\) will be a useful tool in chromatic theory. / rank
 
Normal rank
Property / reviewed by
 
Property / reviewed by: The Cuong Nguyen / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 55P42 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 55S45 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 55T15 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 55T99 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 6627575 / rank
 
Normal rank
Property / zbMATH Keywords
 
profinite \(G\)-spectrum
Property / zbMATH Keywords: profinite \(G\)-spectrum / rank
 
Normal rank
Property / zbMATH Keywords
 
homotopy fixed point spectrum
Property / zbMATH Keywords: homotopy fixed point spectrum / rank
 
Normal rank
Property / zbMATH Keywords
 
iterated homotopy fixed point spectrum
Property / zbMATH Keywords: iterated homotopy fixed point spectrum / rank
 
Normal rank
Property / zbMATH Keywords
 
Lubin-Tate spectrum
Property / zbMATH Keywords: Lubin-Tate spectrum / rank
 
Normal rank
Property / zbMATH Keywords
 
descent spectral sequence
Property / zbMATH Keywords: descent spectral sequence / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W3105318547 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1401.7150 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.2140/AGT.2016.16.2257 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 14:06, 9 December 2024

scientific article
Language Label Description Also known as
English
Profinite and discrete \(G\)-spectra and iterated homotopy fixed points
scientific article

    Statements

    Profinite and discrete \(G\)-spectra and iterated homotopy fixed points (English)
    0 references
    0 references
    0 references
    15 September 2016
    0 references
    The paper under review is a contribution to the study of relations between the notions of homotopy fixed point spectrum for the action of a profinite group, and the associated homotopy fixed point spectral sequence. The authors investigate the following important question: Can one simplify the analysis of the homotopy fixed points under the group \(G\) by reducing it to the study of those under proper closed normal subgroups \(K\) and the quotients \(G/K\)? This would require two steps. For \(X\) a fibrant profinite \(G\)-spectrum, determine whether \(X^{hK}\) is a profinite \(G/K\)-spectrum. If this is the case, then determine whether the comparison map \[ X^{hG}\to \left(X^{hK}\right)^{hG/K} \] is an equivalence. The authors provide various sets of sufficient conditions on \(G\) and \(X\), namely \(X\) is a \(K\)-Postnikov \(G\)-spectrum and \(G/K\) has finite virtual cohomological dimension, that allow for obtaining the equivalence. The main application of these results is the important example of the extended Morava stabilizer group \(G_{n}\) on the Lubin-Tate spectrum \(E_{n}\). For this purpose, the previous results are extended to homotopy inverse limits of diagrams of spectra as \(E_{n}^{hK}\) can be identified with the homotopy inverse limit of a suitable diagram, where \(K\) is a normal subgroup of some closed subgroup \(G\) of \(G_{n}\). Therefore, \(E_{n}^{hK}\) is a profinite \(G/K\)-spectrum and the homotopy fixed point spectrum \(\left(E_{n}^{hK}\right)^{hG/K}\) is defined and is equivalent to \(E_{n}^{hG}\). The associated spectral sequence has the \(E_{2}\)-page of the form \(H^{s}_{c}\left(G/K;\pi_{t}\left(E_{n}^{hK}\right)\right)\). Other constructions of the homotopy fixed point with respect to a continuous action of a closed subgroup of \(G_{n}\) have also been studied by Devinatz, Hopkins and the first author. However, none of these constructions enjoys the fact that the equivalence of iterated homotopy fixed points \(E_{n}^{hG}\cong\left(E_{n}^{hK}\right)^{hG/K}\) always holds. The authors expect that \(\left(E_{n}^{hK}\right)^{hG/K}\) will be a useful tool in chromatic theory.
    0 references
    profinite \(G\)-spectrum
    0 references
    homotopy fixed point spectrum
    0 references
    iterated homotopy fixed point spectrum
    0 references
    Lubin-Tate spectrum
    0 references
    descent spectral sequence
    0 references

    Identifiers

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