Computational proof of the Mackey formula for q>2.
Let \(G\) be a connected reductive group defined over an algebraic closure \(\mathbb F\) of a finite field of characteristic \(p>0\), and let \(F\colon G\to G\) be a Frobenius endomorphism endowing \(G\) with an \(\mathbb F_q\)-structure, where \(q\) is a power of \(p\), and \(\mathbb F_q\) is the finite subfield of \(\mathbb F\) of cardinal \(q\). Assume that \(P\) and \(Q\) are two parabolic subgroups of \(G\), \(L\) and \(M\) are \(F\)-stable Levi complements of \(P\) and \(Q\), respectively, \(R^G_{L\subset P}\) and \(^*R^G_{L\subset P}\) denote, respectively, the Lusztig induction and restriction maps, \((\text{ad\,}g)_M\) is the map between class functions on \(M^F\) and \(^*M^F\) induced by conjugation by \(g\), and \(S_G(L,M)\) is the set of elements \(g\in G\) such that \(L\) and \(M\) have a common maximal torus. The authors show that if (1) \(P\) and \(Q\) are \(F\)-stable; (2) \(L\) or \(M\) is a maximal torus of \(G\); (3) \(q>2\); (4) \(G\) does not contain an \(F\)-stable quasi-simple component of type \(^2E_6\), \(E_7\) or \(E_8\), then the following Mackey formula holds: \[ ^*R_{L\subset P}^G\circ R_{M\subset Q}^G=\sum_{g\in L^F\setminus S_G(L,M)^F/M^F}R_{L\cap{^gM}\subset L\cap{^gQ}}^L\circ{^*R}_{L\cap{^gM}\subset P\cap{^gM}}^{^gM}\circ (\text{ad\,}g)_M. \]
- Coxeter Orbits and Modular Representations
- Duality for representations of a reductive group over a finite field. II
- Generic Sylow theorems for the reductive groups over finite fields
- scientific article; zbMATH DE number 49104 (Why is no real title available?)
- Induced Unipotent Classes
- Intersection cohomology complexes on a reductive group
- Mackey formula for large \(q\)
- Quasi-Isolated Elements in Reductive Groups
- Representations of reductive groups over finite fields
- The characters of the group of rational points of a reductive group with non-connected centre.
- Éléments unipotents réguliers des sous-groupes de Levi
- Mackey formula for large \(q\)
- On the Mackey formula for connected centre groups
- On \(e\)-cuspidal pairs of finite groups of exceptional Lie type
- Inductive blockwise Alperin weight condition for type \(\mathsf{B}\) and odd primes
- Morita equivalence classes of tame blocks of finite groups
- Galois group action and Jordan decomposition of characters of finite reductive groups with connected center
- Brauer trees of unipotent blocks
- On the inductive blockwise Alperin weight condition for classical groups
- The development version of the \texttt{CHEVIE} package of \texttt{GAP3}.
- Categorical actions on unipotent representations of finite unitary groups
- Formulae for two-variable Green functions
- Categorical actions on unipotent representations of finite classical groups
- On the Morita Frobenius numbers of blocks of finite reductive groups
- Quasi-isolated blocks and Brauer's height zero conjecture.
- Finding characters satisfying a maximal condition for their unipotent support.
- Mackey formula in type A
- On induction of class functions
- Alperin weight conjecture and related developments
- Lusztig induction, unipotent supports, and character bounds
- Towards the Eaton-Moretó conjecture on the minimal height of characters
- Jordan decomposition and real-valued characters of finite reductive groups with connected center.
- Counting conjectures and e-local structures in finite reductive groups
- Modular representations of finite groups and Lie theory
- A local-global principle for unipotent characters
- Inductive local-global conditions and generalised Harish-Chandra theory
- Decomposition matrices for groups of Lie type in non-defining characteristic
- Broué's conjecture for isolated RoCK blocks of finite odd-dimensional orthogonal groups
- The inductive blockwise Alperin weight condition for the Chevalley groups F₄(q)
- Bounds on the number of irreducible Brauer characters in blocks of finite groups of exceptional Lie type
This page was built for publication: Computational proof of the Mackey formula for \(q>2\).
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q536033)
