Normalizers of tori (Q2388871): Difference between revisions

When \(G\) is a compact, connected Lie group, it has a maximal connected abelian subgroup, \(T\). This gives rise to a short exact sequence \[ 1 \to T \to N_GT \to W_G \to 1, \] where \(N_GT\) is the normalizer of \(T\) in \(G\), and the quotient \(N_GT/T\) is a finite group known as the Weyl group of \(G\). It is well-known that \(N_GT\) determines \(G\) up to isomorphism. The authors ask for a proof of this classical fact that can guide a generalization to the case of \(X\) a 2-compact group and \(T\) the maximal 2-discrete torus. The route is through \textit{marked reflection tori}, which consist of a triple \((T, W, \{h_\alpha\})\) of a torus, a finite group of automorphisms of \(T\) generated by reflections, and a collection of elements of \(T\), \(h_\alpha\), the markings, that satisfy, 1) there is one for each reflection \(\alpha\) in \(W\); 2) \(h_\alpha\) lies in the identity component of the kernel of the action \(1 + \alpha\) on \(T\); \(2h_\alpha = 0\); 3) \(h_\alpha \neq 0\) if \(\alpha\) is nontrivial mod~2, that is, \(\alpha\) does not act trivially on \({}_2T = \{x\in T \mid 2x = 0\}\) and finally, 4) for \(w\in W\) and \(\alpha\) a reflection, \(h_{w\alpha w^{-1}} = w(h_\alpha)\). Following \textit{J. Tits} [J. Algebra 4, 96--116 (1966; Zbl 0145.24703)] these data determine an extension of \(W\) by \(T\) and this extension plays the role of \(N_GT\), recovering the classification in the classical Lie group case. The authors develop this framework in homotopy theory for 2-compact groups (at odd primes, the situation is simpler) and, in particular, for the exceptional 2-compact group DI(4). The general case for marked 2-discrete reflection tori is that any such may be written as a product of marked 2-discrete reflection tori of Coxeter origin (the classical case) and a product of copies of the marked 2-discrete reflection torus from DI(4).