A completion theorem for fusion systems (Q2182036)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A completion theorem for fusion systems
scientific article

    Statements

    A completion theorem for fusion systems (English)
    0 references
    20 May 2020
    0 references
    A classical result by M. Atiyah and G. Segal asserts that the \(K\)-theory of the classifying space of a compact Lie group is isomorphic to the representation ring of the group completed at the augmentation ideal. This work is devoted to extending this result to the case of the classifying space of a \(p\)-local finite group. More concretely, let \(p\) be a prime number, and \((S,\mathcal{F},\mathcal{L})\) be a \(p\)-local finite group. This means that \(S\) is a \(p\)-group, \(\mathcal{F}\) a saturated fusion system and \(\mathcal{L}\) a centric linking system. Given these data, there is a classifying space \(|\mathcal{L}|_{p}^{\wedge}\). On the other hand twisted \(K\)-theory of \(X\) is given by an element \(\alpha\in H^{3}(X;\mathbb{Z})\). Moreover, this element \(\alpha\) is represented by a 2-cocycle of \(S\) with values in a cyclic \(p\)-group. The generalized Atiyah-Segal completion theorem in this context is then: Theorem. Let \(S\) be a \(p\)-group of order \(p^{n}, let (S,\mathcal{F},\mathcal{L})\) be a \(p\)-local finite group and let \(\alpha\) be a 2-cocycle of \(S\) with values in a cyclic \(p\)-group representing an element \(\beta_{n}(\alpha)\in H^{3} (|\mathcal{L}|_{p}^{\wedge} ;\mathbb{Z}).\) Then, the completion of \(^{\alpha}R(\mathcal{F})\) with respect to the augmentation ideal of \(R(\mathcal{F})\) is isomorphic to \(^{\beta_{n}(\alpha)} K(|\mathcal{L}|_{p}^{\wedge}).\)
    0 references
    0 references
    0 references
    0 references
    0 references
    twisted \(K\)-theory
    0 references
    \(p\)-local finite group
    0 references
    Atiyah-Segal completion theorem
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references