TOPICS
Search

Centric Orbit Category


The centric orbit category of a fusion system F on a finite p-group S is the full subcategory O(F^c) of the fusion orbit category O(F) on the F-centric subgroups (Broto et al. 2003, Díaz and Park 2015). A subgroup P of S is F-centric if C_S(Q)=Z(Q) for every subgroup Q isomorphic to P in F, where C_S(Q) is the centralizer of Q in S and Z(Q) is the group center of Q.

The objects of O(F) are all subgroups of S. Its morphisms from P to Q are the morphisms in F modulo postcomposition with inner automorphisms of Q. The centric orbit category retains these morphisms between its objects. For example, if S is an abelian group, then C_S(Q)=S and Z(Q)=Q for every subgroup Q, so only S is F-centric.

The Díaz-Park sharpness conjecture concerns higher inverse limits over this category of the contravariant functor part of a Mackey functor on O(F) (Díaz and Park 2015).


See also

Full Subcategory, Inverse Limit, Mackey Functor

Explore with Wolfram|Alpha

References

Broto, C.; Levi, R.; and Oliver, B. "The Homotopy Theory of Fusion Systems." J. Amer. Math. Soc. 16, 779-856, 2003. https://doi.org/10.1090/S0894-0347-03-00434-X.Díaz, A. and Park, S. "Mackey Functors and Sharpness for Fusion Systems." Homology Homotopy Appl. 17, 147-164, 2015. https://doi.org/10.4310/HHA.2015.v17.n1.a7.

Cite this as:

Weisstein, Eric W. "Centric Orbit Category." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/CentricOrbitCategory.html

Subject classifications