We show that any two homomorphisms of the alternating group A_5 into E_8 (over the complex numbers) whose images has finite centralizers are conjugate under E_8. This, in conjunction with earlier work of Frey, completes the classification up to G-conjugacy of homomorphisms of A_5 into a simple adjoint algebraic group over the complex numbers.
We prove that for any split almost-simple connected reductive group G over a p-adic field F, the Kottwitz homomorphism exhibits a homomorphic section. We then extend this result to certain additional split connected reductive groups.
For semisimple Lie superalgebras over an algebraically closed field of characteristic zero, whose category of finite dimensional super representations is semisismple, we classify all irreducible super representations for which the alternating or symmetric square representation is irreducible or decomposes into an irreducible representation and a trivial representation.
We show that the Morita Frobenius number of the blocks of the alternating groups, the finite groups of Lie type in describing characteristic, and the Ree and Suzuki groups is 1. We also show that the Morita Frobenius number of almost all of the unipotent blocks of the finite groups of Lie type in non-defining characteristic is 1, and that in the remaining cases it is at most 2.
We show that a connected split reductive group G over a field of characteristic 0 is uniquely determined up to isomorphism by specifying a maximal torus T of G, the set of isomorphism classes of irreducible representations of G, and the character homomorphism from the Grothendieck ring of G to that of T.
Let $\mathbf{G}$ be a connected reductive group over a {non-archimedean local field} $F$. Let $K_\mathcal{F}$ be the parahoric subgroup attached to a facet $\mathcal{F}$ in the Bruhat--Tits building of $\mathbf{G}$. The ultimate goal of the present paper is to describe the center of the parahoric--Hecke algebra $\mathcal{H}(\mathbf{G}(F)//K_{\mathcal{F}}, \mathbb{Z}[q^{-1}])$ with level $K_{\mathcal{F}}$ and prove the compatibility of generalized (twisted) Bernstein and Satake homomorphisms.
Let $G$ be a reductive group defined over a number field. Denote $Z(\hat G)$ the center of the dual group. Langlands has defined some homomorphism from some cohomology group of $Z(\hat G)$ into the group of automorphic characters of $G$. We prove that it is bijective.
We study the Newton stratification of the adjoint quotient of a connected split reductive group G with simply connected derived group over the field F of formal Laurent series in one variable over the field of complex numbers. Our main result describes the centralizer of a regular semisimple element in G(F) whose image in the adjoint quotient lies in a certain generic subset of a given Newton stratum. Other noteworthy results include analogues of some results of Springer on regular elements of finite reflection groups, as well as a geometric construction of a well known homomorphism from the f…
Let $π, π'$ be tempered representations of an affine Hecke algebra with positive parameters. We study their Euler--Poincaré pairing $EP (π,π')$, the alternating sum of the dimensions of the Ext-groups. We show that $EP (π,π')$ can be expressed in a simple formula involving an analytic R-group, analogous to a formula of Arthur in the setting of reductive p-adic groups. Our proof applies equally well to affine Hecke algebras and to reductive groups over nonarchimedean local fields of arbitrary characteristic.
Let p be an odd prime, and A_n the alternating group of degree n. We determine which ordinary irreducible representations of A_n remain irreducible in characteristic p, verifying the author's conjecture from [Represent. Theory 14, 601-626]. Given the preparatory work done in [op. cit.], our task is to determine which self-conjugate partitions label Specht modules for the symmetric group in characteristic p having exactly two composition factors. This is accomplished through the use of the Robinson-Brundan-Kleshchev 'i-restriction' functors, together with known results on decomposition numbers …
Let $G$ be a complex connected reductive algebraic group and let $G_{\mathbb{R}}$ be a real form of $G$. We construct a sequence of functors $L_i\mathcal{R}$ from admissible (resp. finite-length) representations of $G$ to admissible (resp. finite-length) representations of $G_{\mathbb{R}}$. We establish many basic properties of these functors, including their behavior with respect to infinitesimal character, associated variety, and restriction to a maximal compact subgroup. We deduce that each $L_i\mathcal{R}$ takes unipotent representations of $G$ to unipotent representations of $G_{\mathbb{R…
Let $G$ be a connected reductive group. In a previous paper, arxiv:1702.08264, is was shown that the dual group $G^\vee_X$ attached to a $G$-variety $X$ admits a natural homomorphism with finite kernel to the Langlands dual group $G^\vee$ of $G$. Here, we prove that the dual group is functorial in the following sense: if there is a dominant $G$-morphism $X\to Y$ or an injective $G$-morphism $Y\to X$ then there is a canonical homomorphism $G^\vee_Y\to G^\vee_X$ which is compatible with the homomorphisms to $G^\vee$.
We incorporate nonlinear covers of quasisplit reductive groups into the Langlands program, defining an L-group associated to such a cover. This L-group is an extension of the absolute Galois group of a local or global field $F$ by a complex reductive group. The L-group depends on an extension of a quasisplit reductive $F$-group by $\mathbf{K}_2$, a positive integer $n$ (the degree of the cover), an injective character $ε\colon μ_n \rightarrow {\mathbb C}^\times$, and a separable closure of $F$. Our L-group is consistent with previous work on covering groups, and its construction is contravaria…
Let G be a reductive group over an algebraically closed field of characteristic p, and let u in G be a unipotent element of order p. Suppose that p is a good prime for G. We show in this paper that there is a homomorphism phi:SL_2/k --> G whose image contains u. This result was first obtained by D. Testerman (J. Algebra, 1995) using case considerations for each type of simple group (and using, in some cases, computer calculations with explicit representatives for the unipotent orbits). The proof we give is free of case considerations (except in its dependence on the Bala-Carter theorem). Our c…
For any reductive group G and a parabolic subgroup P with its Levi subgroup L, the first author in [Ku2] introduced a ring homomorphism $ ξ^P_λ: Rep^\mathbb{C}_{λ-poly}(L) \to H^*(G/P, \mathbb{C})$, where $ Rep^\mathbb{C}_{λ-poly}(L)$ is a certain subring of the complexified representation ring of L (depending upon the choice of an irreducible representation $V(λ)$ of G with highest weight $λ$). In this paper we study this homomorphism for G=Sp(2n) and its maximal parabolic subgroups $P_{n-k}$ for any $1\leq k\leq n$ (with the choice of $V(λ) $ to be the defining representation $V(ω_1) $ in $\…
Let i be a homomorphism of the multiplicative group into a connected reductive algebraic group over C. Let G^i be the centralizer of the image i. Let LG be the Lie algebra of G and let L_nG (n integer) be the summands in the direct sum decomposition of LG determined by i. Assume that n is not zero. For any G^i-orbit O in L_nG and any irreducible G^i-equivariant local system L on O we consider the restriction of some cohomology sheaf of the intersection cohomology complex of the closure of O with coefficients in L to another orbit O' contained in the closure of O. For any irreducible G^i-equiva…
Let G be a p-adic reductive group, and R an algebraically closed field. Let us consider a smooth representation of G on an R-vector space V. Fix an open compact subgroup K of G and a smooth irreducible representation of K on a finite-dimensional R-vector space W. The space of K-homomorphisms from W to V is a right module over the intertwining algebra H(G,K,W). We examine how those constructions behave when we pass to the contragredient representations of V and W, and we give conditions under which the behaviour is the same as in the case of complex representations. We take an abstract viewpoin…
Consider a group G such that there is no homomorphism f:G to {+1,-1}. In that case, how close can we come to such a homomorphism? We show that if f has zero expectation, then the probability that f(xy) = f(x) f(y), where x, y are chosen uniformly and independently from G, is at most 1/2(1+1/sqrt{d}), where d is the dimension of G's smallest nontrivial irreducible representation. For the alternating group A_n, for instance, d=n-1. On the other hand, A_n contains a subgroup isomorphic to S_{n-2}, whose parity function we can extend to obtain an f for which this probability is 1/2(1+1/{n \choose …