Normalizers of tori

DOI10.2140/GT.2005.9.1337MaRDI QIDQ2388871zbMATH OpenOpenAlexFDO

Publication date 20 September 2005

Published in Geometry \& Topology (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0508108, https://eudml.org/doc/126264, http://www.emis.de/journals/UW/gt/GTVol9/paper31.abs.html

zbMATH Keywords

2-compact groups maximal torus Weyl group

Mathematics Subject Classification ID

General properties and structure of complex Lie groups (22E10) Loop spaces (55P35) Classifying spaces of groups and (H)-spaces in algebraic topology (55R35)

Abstract: We determine the groups which can appear as the normalizer of a maximal torus in a connected 2-compact group. The technique depends on using ideas of Tits to give a novel description of the normalizer of the torus in a connected compact Lie group, and then showing that this description can be extended to the 2-compact case.

Review text

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).

Recommendations

Cites work

Cited in

(6)

This page was built for publication: Normalizers of tori

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