Stratification and duality for homotopical groups

DOI10.1016/J.AIM.2019.106733MaRDI QIDQ2324569zbMATH OpenOpenAlexWikidataFDO

Authors Tobias Barthel, Natàlia Castellana, Drew Heard, Gabriel Eduardo Valenzuela Vasquez

Publication date 11 September 2019

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1711.03491, http://hdl.handle.net/21.11116/0000-0004-F940-B

zbMATH Keywords

\(F\)-isomorphism theorem\(p\)-local compact groupscostratificationGorenstein dualitystratificationsupport theory

Mathematics Subject Classification ID

Local cohomology and commutative rings (13D45) Homological methods in group theory (20J05) Stable homotopy theory, spectra (55P42) Classifying spaces of groups and (H)-spaces in algebraic topology (55R35)

Abstract: We generalize Quillen's $F$-isomorphism theorem, Quillen's stratification theorem, the stable transfer, and the finite generation of cohomology rings from finite groups to homotopical groups. As a consequence, we show that the category of module spectra over $C^{\ast }(BmathcalG,mathbb{F}_p)$ is stratified and costratified for a large class of $p$-local compact groups $mathcalG$ including compact Lie groups, connected $p$-compact groups, and $p$-local finite groups, thereby giving a support-theoretic classification of all localizing and colocalizing subcategories of this category. Moreover, we prove that $p$-compact groups admit a homotopical form of Gorenstein duality.

Review text

Let \(G\) be a finite group. Some of the most celebrated results in group cohomology are the \(F\)-isomorphism theorem of Quillen and the study of the spectrum of the cohomology ring of \(G\) with coefficients in a field \(k\) whose characteristic divides the order of \(G\). There have been generalizations of these results to other instances like \(p\)-compact groups and \(p\)-local finite groups. The main objective of this paper is to generalize these (and many related) results to \(p\)-local compact groups. Much of the work is devoted to establishing the technical tools to achieve these results. We provide some examples. A \(p\)-local compact group \(\mathcal{G}=(S,\mathcal{F})\) satisfies Choinard's theorem if induction and coinduction along the morphism induced by restriction \[ C^{*}(B\mathcal{G},k)\to \prod_{\mathcal{E}(\mathcal{G})} C^{*}(BE,k), \] is conservative, where \(\mathcal{E}(\mathcal{G})\) denotes a set of representatives of \(\mathcal{F}\)-conjugacy classes of elementary abelian subgroups of \(S\) and \(C^{*}(B(-),k)\) is the spectrum of \(k\)-valued cochains on \(B(-)\). The authors prove that connected \(p\)-local groups satisfy Choinard's theorem. They also prove the generalization of Quillen's \(F\)-isomorphism theorem to these groups: Theorem. Let \(\mathcal{G}=(S,\mathcal{F})\) be a \(p\)-local compact group, the the restriction to elementary abelian subgroups of \(S\) induces an \(F\)-isomorphism \[ H^{*}(B\mathcal{G},\mathbf{F}_p)\to \lim_{\mathcal{F}^{e}} H^{*}(BE,\mathbb{F}_p), \] where \(\mathbb{F}^{e}\) denotes the full subcategory of \(\mathbb{F}\) consisting elementary abelian \(p\)-groups. They also prove that \(p\)-local compact groups satisfy Quillen's stratification.

Recommendations

• On stratification for spaces with Noetherian mod \(p\) cohomology
• Local Gorenstein duality for cochains on spaces
• Quillen stratification for the stable module category
• Stratifying the derived category of cochains on \(BG\) for \(G\) a compact Lie group
• The homotopy theory of fusion systems

Cites work

• \(p\)-compact groups as framed manifolds.
• A faithful unitary representation of the 2-compact group \(DI(4)\)
• A New Finite Loop Space at the Prime Two
• All 𝑝-local finite groups of rank two for odd prime 𝑝
• An algebraic model for finite loop spaces
• Axiomatic stable homotopy theory
• Classifying spectra of saturated fusion systems
• Colocalizing subcategories and cosupport
• Commutative algebra for cohomology rings of classifying spaces of compact Lie groups
• Complete intersections and mod \(p\) cochains
• Complexes of injective \(kG\)-modules.
• Constructing modular classifying spaces
• Construction of 2-local finite groups of a type studied by Solomon and Benson
• Discrete models for the \(p\)-local homotopy theory of compact Lie groups and \(p\)-compact groups
• Existence and uniqueness of classifying spaces for fusion systems over discrete p-toral groups
• Existence and uniqueness of linking systems: Chermak's proof via obstruction theory
• Finite approximations of p-local compact groups
• Finite Generation of Noetherian Graded Rings
• Frobenius categories.
• Fusion systems and localities.
• Galois extensions of structured ring spectra. Stably dualizable groups
• Grothendieck-Neeman duality and the Wirthmüller isomorphism
• Homotopy fixed-point methods for Lie groups and finite loop spaces
• Homotopy Invariant Commutative Algebra over Fields
• Homotopy limits, completions and localizations
• scientific article; zbMATH DE number 3162516 (Why is no real title available?)
• scientific article; zbMATH DE number 3879716 (Why is no real title available?)
• scientific article; zbMATH DE number 4054601 (Why is no real title available?)
• scientific article; zbMATH DE number 4067869 (Why is no real title available?)
• scientific article; zbMATH DE number 1045788 (Why is no real title available?)
• scientific article; zbMATH DE number 1139522 (Why is no real title available?)
• scientific article; zbMATH DE number 949383 (Why is no real title available?)
• scientific article; zbMATH DE number 872096 (Why is no real title available?)
• scientific article; zbMATH DE number 3379822 (Why is no real title available?)
• Idempotent \(kG\)-modules with injective cohomology.
• Local duality in algebra and topology
• Localization and duality in topology and modular representation theory.
• Modules with injective cohomology, and local duality for a finite group
• Nil-localization of unstable algebras over the Steenrod algebra
• Nilpotence and Periodicity in Stable Homotopy Theory. (AM-128)
• Noetherian cohomology rings and finite loop spaces with torsion
• On function spaces whose source is the classifying space of an elementary abelian \(p\)-group
• On the 2-compact group DI(4)
• On the 𝑝-compact groups corresponding to the 𝑝-adic reflection groups 𝐺(𝑞,𝑟,𝑛)
• Pontrjagin Duality for Generalized Homology and Cohomology Theories
• Projectivity and relative projectivity over group rings
• Pure injectives and the spectrum of the cohomology ring of a finite group
• Quillen's stratification for fusion systems
• RETRACTIVE TRANSFERS AND p-LOCAL FINITE GROUPS
• Rings with a local cohomology theorem and applications to cohomology rings of groups
• Stratifying derived categories of cochains on certain spaces
• Stratifying modular representations of finite groups.
• Stratifying the derived category of cochains on \(BG\) for \(G\) a compact Lie group
• Stratifying triangulated categories
• Symmetric spectra
• The classification of 2-compact groups
• The classification of \(p\)-compact groups for \(p\) odd
• The Cohomology Ring of a Finite Group
• The fundamental group of a p -compact group
• The homotopy theory of fusion systems
• The localization of spectra with respect to homology
• The spectrum of an equivariant cohomology ring. I. II
• Unitary embeddings of finite loop spaces

Cited in

(13)

• Local Gorenstein duality for cochains on spaces
• Localization of the cohomology of the homotopy orbit space of p-compact groups
• scientific article; zbMATH DE number 3897240 (Why is no real title available?)
• Quillen's stratification for fusion systems
• Quillen stratification for the stable module category
• RATIONAL LOCAL SYSTEMS AND CONNECTED FINITE LOOP SPACES
• On stratification for spaces with Noetherian mod \(p\) cohomology
• Depth and detection for Noetherian unstable algebras
• The \(Sp_{k,n}\)-local stable homotopy category
• Local Gorenstein duality in chromatic group cohomology
• Lifting (co)stratifications between tensor triangulated categories
• Spectra of subrings of cohomology generated by characteristic classes for fusion systems
• The topological nilpotence degree of a Noetherian unstable algebra

This page was built for publication: Stratification and duality for homotopical groups

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