Normalizers of chains of discrete \(p\)-toral subgroups in compact Lie groups (Q2145894)

Let \(G\) be a compact Lie group and \(BG\) denote its classifying space. Decompositions of \(BG^{\wedge}_{p}\) have been studied by many authors. This work finds a new decomposition, namely the \textit{normalizer} decomposition. The setup is as follows. Let \(p\) be a prime number. A group is called \(p\)-toral of rank \(r\) if it is an extension of a torus of rank \(r\) by a finite \(p\)-group. A group is called a discrete \(p\)-torus of rank \(r\) if it isomorphic to a product \((\mathbb{Z}/p^{\infty})^{r}\), a discrete \(p\)-toral group of rank \(r\) is an extension of a discrete torus by a finite \(p\)-group. A discrete \(p\)-toral subgroup \( P\subseteq G\) is snugly embedded if \(P\) is a maximal discrete \(p\)-toral subgroup in its closure \(\overline{P}\). Let \(\mathbf{P}\subseteq G\) be a \(p\)-toral subgroup and \(P\subseteq\mathbf{P}\) be a snugly embedded discrete \(p\)-toral subgroup with \(\overline{P}=\mathbf{P}\), then \(P\) is called a discretization of \(\mathbf{P}\). Let \(\mathcal{F}_{\mathcal{S}}(G)\) be a saturated fusion system in \(G\), where \(\mathcal{S}\) is a maximal discrete \(p\)-toral subgroup of \(G\). A subgroup \(P\subseteq \mathcal{S}\) is called \(\mathcal{F}\)-centric if given a conjugate \(Q\) of \(P\) in \( \mathcal{S}\), then \(C_{\mathcal{S}}(Q)=Z(P)\); a subgroup \(P\subseteq\mathcal{S}\) is \(\mathcal{F}\)-radical if \(Out_{G}(P)=N_{G}(P)/(C_{G}(P)P)\) has no nontrivial normal subgroups. For \(p\)-toral subgroups the corresponding definitions are as follows, a \(p\)-toral subgroup \(\mathbf{P}\subseteq G\) is \(p\)-centric if \(Z(P)\) is a maximal \(p\)-toral subgroup of \(C_{G}(\mathbf{P})\), a \(p\)-toral subgroup \(\mathbf{P}\subseteq G\) is \(p\)-stubborn in \(G\) if \(N_{G}(\mathbf{P})/\mathbf{P} \) is finite and has no nontrivial normal \(p\)-subgroups. We may now state one of the two main results. \textbf{Theorem 4.3.} Let \(\mathbf{S}\) be a maximal \(p\)-toral subgroup of a compact Lie group \(G\), let \(S\subset \mathbf{S}\) be a \(p\) discretization. The closure \(P\mapsto \overline{P}\) defines an injective map \begin{align*} \{P_{0}\subseteq \cdots \subseteq P_{k}\mid \text{all } P_{i} \text{ are }&\mathcal{F}\text{-centric and }\mathcal{F}\text{-radical}\}/G\\ &\downarrow\\ \{ \mathbf{P}_{0}\subseteq\cdots \subseteq\mathbf{P}_{k}\mid \text{all } \mathbf{P}_{i}\text{ are } p \text{-toral, } & p \text{-centric, and }p \text{-stubborn } \}/G. \end{align*} Moreover, the map is a bijection if \(\pi_{0}(G)\) is a \(p\)-group. The normalizing decomposition is the following \textbf{Theorem 5.1} Let \( \mathbf{P}_{0}\subseteq \cdots \subseteq\mathbf{P}_{k}\) be a chain of \(p\)-toral subgroups of a compact Lie group \(G\). Let \(P_{0}\subseteq \cdots \subseteq P_{k}\) be a chain of \(p\)-toral subgroups such that \(P_{i}\) is a discretization of \(\mathbf{P}_{i}\). Then, the map \[ N_{G}(P_{0}\subseteq \cdots \subseteq P_{k})\to N_{G}( \mathbf{P}_{0}\subseteq \cdots \subseteq \mathbf{P}_{k} ) \] induces a mod-\(p\) equivalence of classifying spaces.