Fixed points of coisotropic subgroups of _k on decomposition spaces

DOI10.4310/HHA.2020.V22.N1.A6MaRDI QIDQ2284276zbMATH OpenFDO

Authors Gregory Arone, Kathryn Lesh

Publication date 14 January 2020

Published in Homology, Homotopy and Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1701.06070

zbMATH Keywords

decomposition spacefixed pointsTits buildingunitary group

Mathematics Subject Classification ID

Groups with a (BN)-pair; buildings (20E42) Equivariant homology and cohomology in algebraic topology (55N91) Homotopy functors in algebraic topology (55P65) Homology and homotopy of (Bmathrm{O}) and (Bmathrm{U}); Bott periodicity (55R45)

Abstract: We study the equivariant homotopy type of the poset of orthogonal decompositions of a finite-dimensional complex vector space. Suppose that n is a power of a prime p, and that D is an elementary abelian p-subgroup of U(n) acting on complex n-space by the regular representation. We prove that the fixed point space of D acting on the decomposition poset of complex n-space contains as a retract the unreduced suspension of the Tits building for GL(k), which a wedge of (k-1)-dimensional spheres. Let Gamma be the projective elementary abelian subgroup of U(n) that contains the center of U(n) and acts irreducibly on complex n-space. We prove that the fixed point space of Gamma acting on the space of proper orthogonal decompositions of complex n-space is homeomorphic to a symplectic Tits building, which is also a wedge of (k-1)-dimensional spheres. As a consequence of these results, we find that the fixed point space of any coisotropic subgroup of Gamma contains, as a retract, a wedge of (k-1)-dimensional spheres. We make a conjecture about the full homotopy type of the fixed point space of D, based on a more general branching conjecture, and we show that the conjecture is consistent with our results.

Review text

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.

Recommendations

• Classification of problematic subgroups of U(n)
• p-Toral Approximations Compute Bredon Homology
• Involutions, classical groups, and buildings
• Unitary embeddings of finite loop spaces
• The homotopy types of the posets of \(p\)-subgroups of a finite group
• scientific article; zbMATH DE number 4032612
• On \(p\)-adic norms and quadratic extensions. II
• Determination of compact Lie groups with the Borsuk-Ulam property
• scientific article; zbMATH DE number 4054601

Cited in

(3)

• The Balmer spectrum of the equivariant homotopy category of a finite abelian group
• Classification of problematic subgroups of U(n)
• On the Balmer spectrum for compact Lie groups

This page was built for publication: Fixed points of coisotropic subgroups of \(\Gamma_k\) on decomposition spaces

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