Weights for compact connected Lie groups (Q6564495)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Weights for compact connected Lie groups |
scientific article; zbMATH DE number 7873609
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Weights for compact connected Lie groups |
scientific article; zbMATH DE number 7873609 |
Statements
Weights for compact connected Lie groups (English)
0 references
1 July 2024
0 references
Let \({\mathbf G}\) be a compact connected Lie group with Weyl group \(W\). Moreover, let \(\ell\) be a prime which is good for \({\mathbf G}\) and let \(S\) be a Sylow \(\ell\)-subgroup of \({\mathbf G}\). Recall that \(S\) is a maximal discrete \(\ell\)-toral subgroup of \({\mathbf G}\), i.e.,\ \(S\) has a normal subgroup \(S^\circ\) such that \(S^\circ\) is isomorphic to a finite product of copies of \({\mathbb Z}/\ell^\infty\) and \(S/S^\circ\) is a finite \(\ell\)-group; moreover, \(S\) is unique up to conjugation. There is a saturated fusion system \({\mathcal F} = {\mathcal F}_S({\mathbf G})\) whose objects are the subgroups of \(S\) and whose morphisms are the group homomorphisms induced by conjugation with elements in \({\mathbf G}\). It is known that \(S\) has only finitely many \({\mathcal F}\)-classes of \({\mathcal F}\)-centric \({\mathcal F}\)-radical subgroups. Let \(\mathfrak Q\) be a set of representatives for these. The number of weights of \({\mathcal F}\) is \({\mathbf w}({\mathcal F}) := \sum_{Q \in {\mathfrak Q}} z(\mathrm{Out}_{\mathcal F}(Q))\) where \(z(\mathrm{Out}_{\mathcal F}(Q))\) denotes the number of irreducible characters of \(\ell\)-defect zero of the finite group \(\mathrm{Out}_{\mathcal F}(Q) := \Aut_{\mathcal F}(Q)/\mathrm{Inn}(Q)\). The authors prove that \(\mathbf{w}(\mathcal{F})= |\mathrm{Irr}(W)|\); this can be seen as a version of Alperin's weight conjecture in an infinite setting. From this result, the authors deduce a similar fact for connected reductive algebraic groups over \(\overline{\mathbb{F}}_p\) where \(p \neq \ell\) is a prime. They also give examples, for bad primes \(\ell\), where \(\mathbf{w}(\mathcal{F}) \neq |\mathrm{Irr} (W)|\).
0 references
Alperin's weight conjecture
0 references
compact Lie group
0 references
reductive algebraic group
0 references
Weyl group
0 references
fusion system
0 references
0 references