English

Higher limits over the fusion orbit category

Algebraic Topology 2022-05-18 v2 Category Theory Representation Theory

Abstract

The fusion orbit category FC(G)\overline{\mathcal F _{\mathcal C}} (G) of a discrete group GG over a collection C\mathcal C is the category whose objects are the subgroups HH in C\mathcal C, and whose morphisms HKH \to K are given by the GG-maps G/HG/KG/H \to G/K modulo the action of the centralizer group CG(H)C_G(H). We show that the higher limits over FC(G)\overline{\mathcal F _{\mathcal C}} (G) can be computed using the hypercohomology spectral sequences coming from the Dwyer GG-spaces for centralizer and normalizer decompositions for GG. If GG is the discrete group realizing a saturated fusion system F\mathcal F, then these hypercohomology spectral sequences give two spectral sequences that converge to the cohomology of the centric orbit category Oc(F){\mathcal O}^c (\mathcal F). This allows us to apply our results to the sharpness problem for the subgroup decomposition of a pp-local finite group. We prove that the subgroup decomposition for every pp-local finite group is sharp (over F\mathcal F-centric subgroups) if it is sharp for every pp-local finite group with nontrivial center. We also show that for every pp-local finite group (S,F,L)(S, \mathcal F, \mathcal L), the subgroup decomposition is sharp if and only if the normalizer decomposition is sharp.

Keywords

Cite

@article{arxiv.2106.14094,
  title  = {Higher limits over the fusion orbit category},
  author = {Ergun Yalcin},
  journal= {arXiv preprint arXiv:2106.14094},
  year   = {2022}
}

Comments

53 pages. Revised version after referee report

R2 v1 2026-06-24T03:37:52.398Z