scholarly journals On the Mackey formula for connected centre groups

2018 ◽  
Vol 21 (3) ◽  
pp. 439-448 ◽  
Author(s):  
Jay Taylor

Abstract Let {\mathbf{G}} be a connected reductive algebraic group over {\overline{\mathbb{F}}_{p}} and let {F:\mathbf{G}\to\mathbf{G}} be a Frobenius endomorphism endowing {\mathbf{G}} with an {\mathbb{F}_{q}} -rational structure. Bonnafé–Michel have shown that the Mackey formula for Deligne–Lusztig induction and restriction holds for the pair {(\mathbf{G},F)} except in the case where {q=2} and {\mathbf{G}} has a quasi-simple component of type {\mathsf{E}_{6}} , {\mathsf{E}_{7}} , or {\mathsf{E}_{8}} . Using their techniques, we show that if {q=2} and {Z(\mathbf{G})} is connected then the Mackey formula holds unless {\mathbf{G}} has a quasi-simple component of type {\mathsf{E}_{8}} . This establishes the Mackey formula, for instance, in the case where {(\mathbf{G},F)} is of type {\mathsf{E}_{7}(2)} . Using this, together with work of Bonnafé–Michel, we can conclude that the Mackey formula holds on the space of unipotently supported class functions if {Z(\mathbf{G})} is connected.

2016 ◽  
Vol 224 (1) ◽  
pp. 93-167 ◽  
Author(s):  
JAY TAYLOR

Let $\mathbf{G}$ be a connected reductive algebraic group over an algebraic closure $\overline{\mathbb{F}_{p}}$ of the finite field of prime order $p$ and let $F:\mathbf{G}\rightarrow \mathbf{G}$ be a Frobenius endomorphism with $G=\mathbf{G}^{F}$ the corresponding $\mathbb{F}_{q}$-rational structure. One of the strongest links we have between the representation theory of $G$ and the geometry of the unipotent conjugacy classes of $\mathbf{G}$ is a formula, due to Lusztig (Adv. Math. 94(2) (1992), 139–179), which decomposes Kawanaka’s Generalized Gelfand–Graev Representations (GGGRs) in terms of characteristic functions of intersection cohomology complexes defined on the closure of a unipotent class. Unfortunately, the formula given in Lusztig (Adv. Math. 94(2) (1992), 139–179) is only valid under the assumption that $p$ is large enough. In this article, we show that Lusztig’s formula for GGGRs holds under the much milder assumption that $p$ is an acceptable prime for $\mathbf{G}$ ($p$ very good is sufficient but not necessary). As an application we show that every irreducible character of $G$, respectively, character sheaf of $\mathbf{G}$, has a unique wave front set, respectively, unipotent support, whenever $p$ is good for $\mathbf{G}$.


Author(s):  
Maike Gruchot ◽  
Alastair Litterick ◽  
Gerhard Röhrle

AbstractIn this note, we unify and extend various concepts in the area of G-complete reducibility, where G is a reductive algebraic group. By results of Serre and Bate–Martin–Röhrle, the usual notion of G-complete reducibility can be re-framed as a property of an action of a group on the spherical building of the identity component of G. We show that other variations of this notion, such as relative complete reducibility and $$\sigma $$ σ -complete reducibility, can also be viewed as special cases of this building-theoretic definition, and hence a number of results from these areas are special cases of more general properties.


2020 ◽  
Vol 8 ◽  
Author(s):  
MAIKE GRUCHOT ◽  
ALASTAIR LITTERICK ◽  
GERHARD RÖHRLE

We study a relative variant of Serre’s notion of $G$ -complete reducibility for a reductive algebraic group $G$ . We let $K$ be a reductive subgroup of $G$ , and consider subgroups of $G$ that normalize the identity component $K^{\circ }$ . We show that such a subgroup is relatively $G$ -completely reducible with respect to $K$ if and only if its image in the automorphism group of $K^{\circ }$ is completely reducible. This allows us to generalize a number of fundamental results from the absolute to the relative setting. We also derive analogous results for Lie subalgebras of the Lie algebra of $G$ , as well as ‘rational’ versions over nonalgebraically closed fields.


1971 ◽  
Vol 12 (1) ◽  
pp. 1-14 ◽  
Author(s):  
Bhama Srinivasan

Let K be an algebraically closed field of characteristic ρ >0. If G is a connected, simple connected, semisimple linear algebraic group defined over K and σ an endomorphism of G onto G such that the subgroup Gσ of fixed points of σ is finite, Steinberg ([6] [7]) has shown that there is a complex irreducible character χ of Gσ with the following properties. χ vanishes at all elements of Gσ which are not semi- simple, and, if x ∈ G is semisimple, χ(x) = ±n(x) where n(x)is the order of a Sylow p-subgroup of (ZG(x))σ (ZG(x) is the centraliser of x in G). If G is simple he has, in [6], identified the possible groups Gσ they are the Chevalley groups and their twisted analogues over finite fields, that is, the ‘simply connected’ versions of finite simple groups of Lie type. In this paper we show, under certain restrictions on the type of the simple algebraic group G an on the characteristic of K, that χ can be expressed as a linear combination with integral coefficients of characters induced from linear characters of certain naturally defined subgroups of Gσ. This expression for χ gives an explanation for the occurence of n(x) in the formula for χ (x), and also gives an interpretation for the ± 1 occuring in the formula in terms of invariants of the reductive algebraic group ZG(x).


2019 ◽  
Vol 2019 (754) ◽  
pp. 1-15
Author(s):  
Christine Huyghe ◽  
Tobias Schmidt

Abstract Soient p un nombre premier, V un anneau de valuation discrète complet d’inégales caractéristiques (0,p) , et G un groupe réductif et deployé sur \operatorname{Spec}V . Nous obtenons un théorème de localisation, en utilisant les distributions arithmétiques, pour le faisceau des opérateurs différentiels arithmétiques sur la variété de drapeaux formelle de G. Nous donnons une application à la cohomologie rigide pour des ouverts dans la variété de drapeaux en caractéristique p. Let p be a prime number, V a complete discrete valuation ring of unequal characteristics (0,p) , and G a connected split reductive algebraic group over \operatorname{Spec}V . We obtain a localization theorem, involving arithmetic distributions, for the sheaf of arithmetic differential operators on the formal flag variety of G. We give an application to the rigid cohomology of open subsets in the characteristic p flag variety.


2003 ◽  
Vol 170 ◽  
pp. 47-72 ◽  
Author(s):  
Anne-Marie Aubert

AbstractLetGbe a connected reductive algebraic group over an algebraic closure of a finite field of characteristicp. Under the assumption thatpis good forG, we prove that for each character sheafAonGwhich has nonzero restriction to the unipotent variety ofG, there exists a unipotent classCAcanonically attached toA, such thatAhas non-zero restriction onCA, and any unipotent classCinGon whichAhas non-zero restriction has dimension strictly smaller than that ofCA.


Author(s):  
Dean Alvis ◽  
George Lusztig

Let G be a connected reductive algebraic group over complex numbers. To each unipotent element u ε G (up to conjugacy) and to the unit representation of the group of components of the centralizer of u, Springer (11), (12) associates an irreducible representation of the Weyl group W of G. The tensor product of that representation with the sign representation will be denoted ρu. (This agrees with the notation of (5).) This representation may be realized as a subspace of the cohomology in dimension 2β(u) of the variety of Borel subgroups containing u, where β(u) = dim . For example, when u = 1, ρu is the sign representation of W. The map u → ρu defines an injective map from the set of unipotent conjugacy classes in G to the set of irreducible representations of W (up to isomorphism). Our purpose is to describe this map in the case where G is simple of type Eu (n = 6, 7, 8). (When G is classical or of type F4, this map is described by Shoji (9), (10); the case where G is of type G2 is contained in (11).


Author(s):  
A. Stavrova

AbstractLet G be a reductive algebraic group over a field k, such that every semisimple normal subgroup of G has isotropic rank ≥ 2, i.e. contains (Gm)2. Let K1G be the non-stable K1-functor associated to G, also called the Whitehead group of G. We show that K1G(k) = K1G (k[X1 ,…, Xn]) for any n ≥ 1. If k is perfect, this implies that K1G (R) = K1G (R[X]) for any regular k-algebra R. If k is infinite perfect, one also deduces that K1G (R) → K1G (K) is injective for any local regular k-algebra R with the fraction field K.


Sign in / Sign up

Export Citation Format

Share Document