Fixed points of coisotropic subgroups of \(\Gamma_k\) on decomposition spaces (Q2284276)

From MaRDI portal
Revision as of 06:35, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Fixed points of coisotropic subgroups of \(\Gamma_k\) on decomposition spaces
scientific article

    Statements

    Fixed points of coisotropic subgroups of \(\Gamma_k\) on decomposition spaces (English)
    0 references
    0 references
    0 references
    14 January 2020
    0 references
    Let \(\mathcal{L}_n\) be a topological poset category in the sense of \textit{G. Arone} [Topology 41, No. 3, 451--481 (2002; Zbl 1006.55009)]. In [Trans. Am. Math. Soc. 371, No. 10, 6739--6777 (2019; Zbl 1423.55010); Contemp. Math. 641, 83--96 (2015; Zbl 1420.55015)], \textit{J. E. Bergner} et al. developed the topology and a complete characterization of the \(p\)-toral subgroups of the unitary group \(U(n)\) that have noncontractible fixed point spaces on \(\mathcal{L}_n\), where \(p\) is a prime. Let \(\Delta_k\) be the subgroup \((\mathbb{Z}/p)^k\) of \(U(p^{k})\) acting on \(\mathbb{C}^{p^k}\) by the regular representation. Let \(T\mathrm{GL}_k (\mathbb{F}_p )\) and \(T\mathrm{Sp}_k (\mathbb{F}_p )\) be the Tits building for \(\mathrm{GL}_k (\mathbb{F}_p )\) and the symplectic Tits building for \(\mathrm{Sp}_k (\mathbb{F}_p )\), respectively. Let \(\Gamma_k\) be the irreducible projective elementary abelian \(p\)-subgroup of \(U(p^k)\) given by a group extension \[ 1 \rightarrow S^1 \rightarrow \Gamma_k \rightarrow (\mathbb{Z}/p)^{2k} \rightarrow 1, \] where \(S^1\) is the center of \(U(p^k)\). In the paper under review, the authors show that the fixed point space \((\mathcal{L}_{p^k})^{\Gamma_k}\) is homeomorphic to the symplectic Tits building \(T\mathrm{Sp}_k (\mathbb{F}_p )\), and that the fixed point space \((\mathcal{L}_{p^k})^{\Delta_k}\) has the Tits building \(T\mathrm{ GL}_k (\mathbb{F}_p )^{\diamond}\) as a retract for \(k \geq 1\), where \(X^\diamond\) is the unreduced suspension of \(X\). The authors also make a conjecture about the full homotopy type of the fixed point space of \(\Delta_k\) acting on \(\mathcal{L}_{p^k}\), which is consistent with their results.
    0 references
    0 references
    Tits building
    0 references
    decomposition space
    0 references
    fixed points
    0 references
    unitary group
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references