We give a uniform description of the decomposition of the unipotent variety of a classical group in arbitrary characteristic into pieces (considered in a non-uniform way in the earlier parts of this paper).
Let G be a group SO(2n+1) defined over a p-adic field. We compute the wave front set of the anti-tempered irreducible representations of G(F) which are of unipotent reduction. It is the orthogonal orbit dual to the symplectic orbit appearing in the Arthur's parametrization of the representation.
Let G be an affine algebraic group over an algebraically closed field such that the identity component G^0 of G is reductive. Let W be the Weyl group of G and let D be a connected component of G whose image in G/G^0 is a unipotent element. In this paper we define a map from the set of "twisted conjugay classes" in W to the set of unipotent G^0-conjugacy classes in D, generalizing an earlier construction which applied when G is connected.
Lusztig's algorithm of computing generalized Green functions of reductive groups involves an ambiguity of certain scalars. In this paper, for reductive groups of classical type with arbitrary characteristic, we determine those scalars explicitly, and eliminate the ambiguity. Our results imply that all the generalized Green functions of classical type are computable.
We consider the variety of nilpotent elements in the dual of the Lie algebra of a reductive algebraic group over an algebraically closed field. We propose a definition of a partition of this variety into smooth locally closed smooth subvarieties indexed by the unipotent classes in the corresponding group over complex numbers. We obtain explicit results in type A,C and D.
In this paper we discuss some of Springer's work on unipotent elements in a reductive groups and on representations of Weyl groups. Among the topics considered are Springer's bijection from the unipotent variety to the nilpotent variety, Springer's example of nonrationality of certain representations of the Hecke algebras associated to a Weyl group and the Springer representation of the Weyl group associated to a unipotent element.
Let G be a semisimple almost simple algebraic group defined and split over a nonarchimedean local field K and let V be a unipotent representation of G(K) (for example, an Iwahori-spherical representation). We calculate the character of V at compact very regular elements of G(K) at compact very regular elements of G(K).
We show that various properties of unipotent elements in a reductive group over the complex numbers can be recovered purely in terms of the affine Weyl group of the dual group.
The fixed point variety of a regular unipotent element on a wonderful completion is investigated. For the wonderful completion of the quotient by a symmetric Levi subgroup, it is shown that the fixed point variety is $SL_2$-regular.
Let $F$ be a field with at least three elements and $G$ a locally finite group. This paper aims to show that if either $F$ is algebraically closed or the characteristic of $F$ is positive, then an element in the group algebra $FG$ is a product of unipotent elements if, and only if, it? lies in the first derived subgroup of the unit group of $FG$. In addition, it? is a product of at most three unipotent elements. Moreover, we explore some crucial properties satisfied by certain algebras like the connection between unipotent elements of index 2 and commutators as well as we investigate the unipo…
Assume $\mathbf{G}$ is a connected reductive algebraic group defined over an algebraic closure $\mathbb{K} = \overline{\mathbb{F}}_p$ of the finite field of prime order $p>0$. Furthermore, assume that $F : \mathbf{G} \to \mathbf{G}$ is a Frobenius endomorphism of $\mathbf{G}$. In this article we give a formula for the value of any $F$-stable character sheaf of $\mathbf{G}$ at a unipotent element. This formula is expressed in terms of class functions of $\mathbf{G}^F$ which are supported on a single unipotent class of $\mathbf{G}$. In general these functions are not determined, however we give …
We investigate positive-dimensional closed reductive subgroups of almost simple algebraic groups containing a regular unipotent element. Our main result states that such subgroups do not lie inside proper parabolic subgroups unless possibly when their connected component is a torus. This extends the earlier result of Testerman and Zalesski treating connected reductive subgroups.
We compute the based rings of two-sided cells corresponding to the unipotent class in $Sp_6(\mathbb C)$ with Jordan blocks (2211). The results also verify Lusztig's conjecture on the structure of the based rings of the two-sided cells of an affine Weyl group.
An irreducible ordinary character of a finite reductive group is called quadratic unipotent if it corresponds under Jordan decomposition to a semisimple element $s$ in a dual group such that $s^2=1$. We prove that there is a bijection between, on the one hand the set of quadratic unipotent characters of $GL(n,q)$ or $U(n,q)$ for all $n \geq 0$ and on the other hand, the set of quadratic unipotent characters of $Sp(2n,q)$ for all $n \geq 0$. We then extend this correspondence to $\ell$-blocks for certain $\ell$ not dividing $q$.
We derive a Murnaghan--Nakayama type formula for the values of unipotent characters of finite classical groups on regular semisimple elements. This relies on Asai's explicit decomposition of Lusztig restriction. We use our formula to show that most complex irreducible characters vanish on some $\ell$-singular element for certain primes $\ell$. As an application we classify the simple endotrivial modules of the finite quasi-simple classical groups. As a further application we show that for finite simple classical groups and primes $\ell\ge3$ the first Cartan invariant in the principal $\ell$-bl…
Let $G$ be a simple algebraic group over an algebraically closed field $K$ of characteristic $p > 0$. We consider connected reductive subgroups $X$ of $G$ that contain a given distinguished unipotent element $u$ of $G$. A result of Testerman and Zalesski (Proc. Amer. Math. Soc., 2013) shows that if $u$ is a regular unipotent element, then $X$ cannot be contained in a proper parabolic subgroup of $G$. We generalize their result and show that if $u$ has order $p$, then except for two known examples which occur in the case $(G, p) = (C_2, 2)$, the subgroup $X$ cannot be contained in a proper para…
Let $G$ be a classical group with natural module $V$ over an algebraically closed field of good characteristic. For every unipotent element $u$ of $G$, we describe the Jordan block sizes of $u$ on the irreducible $G$-modules which occur as composition factors of $V \otimes V^*$, $\wedge^2(V)$, and $S^2(V)$. Our description is given in terms of the Jordan block sizes of the tensor square, exterior square, and the symmetric square of $u$, for which recursive formulae are known.
In this article we extend independent results of Lusztig and Hézard concerning the existence of irreducible characters of finite reductive groups, (defined in good characteristic and arising from simple algebraic groups), satisfying a strong numerical relationship with their unipotent support. Along the way we obtain some results concerning quasi-isolated semisimple elements.
Let $G$ be a simple algebraic group over an algebraically closed field $k$ of characteristic $p$. The classification of the conjugacy classes of unipotent elements of $G(k)$ and nilpotent orbits of $G$ on $\operatorname{Lie}(G)$ is well-established. One knows there are representatives of every unipotent class as a product of root group elements and every nilpotent orbit as a sum of root elements. We give explicit representatives in terms of a Chevalley basis for the eminent classes. A unipotent (resp. nilpotent) element is said to be eminent if it is not contained in any subsystem subgroup (re…
Let $G$ be a simple linear algebraic group over an algebraically closed field $K$ of characteristic two. Any non-trivial self-dual irreducible $K[G]$-module $W$ admits a non-degenerate $G$-invariant alternating bilinear form, thus giving a representation $f: G \rightarrow \operatorname{Sp}(W)$. In the case where $G = \operatorname{SL}_n(K)$ and $W$ has highest weight $\varpi_1 + \varpi_{n-1}$, and in the case where $G = \operatorname{Sp}_{2n}(K)$ and $W$ has highest weight $\varpi_2$, we determine for every unipotent element $u \in G$ the conjugacy class of $f(u)$ in $\operatorname{Sp}(W)$. As…
Invariant Measures and Orbit Closures on Homogeneous Spaces for Actions of Subgroups Generated by Unipotent Elements
M. Ratner描述了李群齐性空间上幂幺流的有限遍历不变测度和轨道闭包,推广到由幂幺元生成的子群的作用.更精确地说:设G是一个李群(不一定是连通的),Gamma是G的一个闭子群。设W是G的一个子群,使得Ad(W)包含在Ad(W)的幂幺元生成的子群的Zapriki闭包中(在G的李代数的自同构群中).则W对G/Gamma的作用的任何有限遍历不变测度是齐次测度(即,它被支持在保持该测度的子群的闭轨道上)。此外,如果G/Gamma具有有限体积(即,具有有限的G-不变测度),则W在G/Gamma上的任何轨道的闭包是齐次集(即,包含W的子群的有限体积闭轨道)。如果W被W的任意子群λ替换,使得W/λ具有有限体积,则上述两个结果都成立。
We prove the tensor product decomposition of the half of quantized universal enveloping algebra associated with a Weyl group element which was conjectured by Berenstein and Greenstein.
Let $\mathcal{U}$ be the unipotent variety of a complex reductive group $G$. Fix opposed Borel subgroups $B_\pm \subseteq G$ with unipotent radicals $U_\pm$. The map that sends $x_+x_- \mapsto x_+x_-x_+^{-1}$ for all $x_\pm \in U_\pm$ restricts to a map from $U_+U_- \cap gB_+$ into $\mathcal{U} \cap gB_+$, for any $g$. We conjecture that the restricted map forms half of a homotopy equivalence between these varieties, and thus, induces a weight-preserving isomorphism between their compactly-supported cohomologies. Noting that the map is equivariant with respect to certain actions of $B_+ \cap g…
Let $G$ be a finite Chevalley group. We are concerned with computing the values of the unipotent characters of $G$ by making use of Lusztig's theory of character sheaves. In this framework, one has to find the transformation between several bases for the class functions on $G$. In principle, this has been achieved by Lusztig and Shoji, but the underlying process involves some scalars which are still unknown in many cases. We shall determine these scalars in the specific case where $G$ is the (twisted or non-twisted) group of type $E_6$ over the finite field with $q$ elements, for $q$ a power o…
Let $q$ be a prime power and $F_4(q)$ be the Chevalley group of type $F_4$ over a finite field with $q$ elements. Marcelo--Shinoda (1995) determined the values of the unipotent characters of $F_4(q)$ on all unipotent elements, extending earlier work by Kawanaka and Lusztig to small characteristics. Assuming that $q$ is a power of~$2$, we explain how to construct the complete character table of~$F_4(q)$.
With a view to determining character values of finite reductive groups at unipotent elements, we prove a number of results concerning inner products of generalised Gelfand-Graev characters with characteristic functions of character sheaves, here called Lusztig functions. These are used to determine projections of generalised Gelfand-Graev characters to the space of unipo- tent characters, and to the space of characters with a given wave front set. Such projections are expressed largely in terms of Weyl group data. We show how the values of characters at their unipotent support or wave front se…
Let G be a connected unipotent group over a finite field F_q with q elements. In this article we propose a definition of L-packets of complex irreducible representations of the finite group G(F_q) and give an explicit description of L-packets in terms of the so-called "admissible pairs" for G. We then apply our results to show that if the centralizer of every geometric point of G is connected, then the dimension of every complex irreducible representation of G(F_q) is a power of q, confirming a conjecture of V. Drinfeld. This paper is the first in a series of three papers exploring the relatio…
Let $G$ be a simple and simply connected algebraic group over an algebraically closed field $\Bbbk$ of characteristic $p>0$. Assume that $p$ is good for the root system of $G$ and that the covering map $G_{sc} \rightarrow G$ is separable. In previous work we proved the existence of a (not necessarily unique) Springer isomorphism for $G$ that behaved like the exponential map on the resticted nullcone of $G$. In the present paper we give a formal definition of these maps, which we call `generalized exponential maps.' We provide an explicit and uniform construction of such maps for all root syste…
Denote by $N \subset SL_k$ the subgroup of unipotent upper triangular matrices. In this paper, we show that the dual canonical basis of $\mathbb{C}[N]$ (and base affine spaces) can be parameterized by semi-standard Young tableaux. Moreover, we give an explicit formula for every element in the the dual canonical basis using the data of the corresponding semistandard Young tableau. We apply our results to study cluster variables in $\mathbb{C}[N]$.
We provide an alternative description of the restriction to spherical unipotent conjugacy classes, of Lusztig's map Psi from the set of unipotent conjugacy classes in a connected reductive algebraic group to the set of conjugacy classes of its Weyl group. For irreducible root systems, we analyze the image of this restricted map and we prove that a conjugacy class in a finite Weyl group has a unique maximal length element if and only if it has a maximum.
Let F be a finite field or a local field of any characteristic. If A is a finite dimensional associative nilpotent algebra over F, the set 1+A of all formal expressions of the form 1+x, where x ranges over the elements of A, is a locally compact group with the topology induced by the standard one on F and the multiplication given by (1+x)(1+y)=1+(x+y+xy). We prove a result conjectured by Eugene Gutkin in 1973: every unitary irreducible representation of 1+A can be obtained by unitary induction from a 1-dimensional unitary character of a subgroup of the form 1+B, where B is an F-subalgebra of A…
Let $G$ be a connected reductive algebraic group over an algebraically closed field of characteristic $p \ge 0$. We give a case-free proof of Lusztig's conjectures [Unipotent elements in small characteristic, {\em Transform. Groups} 10 (2005), 449--487] on so-called unipotent pieces. This presents a uniform picture of the unipotent elements of $G$ which can be viewed as an extension of the Dynkin--Kostant theory, but is valid without restriction on $p$. We also obtain analogous results for the adjoint action of $G$ on its Lie algebra $\gl$ and the coadjoint action of $G$ on $\gl^*$.
Let G be a semisimple group over an algebraically closed field. Steinberg has associated to a Coxeter element w of minimal length r a subvariety V of G isomorphic to an affine space of dimension r which meets the regular unipotent class Y in exactly one point. In this paper this is generalized to the case where w is replaced by any elliptic element in the Weyl group of minimal length d in its conjugacy class, V is replaced by a subvariety V' of G isomorphic to an affine space of dimension d and Y is replaced by a unipotent class Y' of codimension d in such a way that the intersection of V' and…
Recently, a strong exponential character bound has been established in [3] for all elements $g \in \mathbf{G}^F$ of a finite reductive group $\mathbf{G}^F$ which satisfy the condition that the centraliser $C_{\mathbf{G}}(g)$ is contained in a $(\mathbf{G},F)$-split Levi subgroup $\mathbf{M}$ of $\mathbf{G}$ and that $\mathbf{G}$ is defined over a field of good characteristic. In this paper, assuming a weak version of Lusztig's conjecture relating irreducible characters and characteristic functions of character sheaves holds, we considerably generalize this result by removing the condition that…
Let G be a reductive group over an algebraically closed field whose characteristic is not a bad prime for G. Let w be an elliptic element of the Weyl group which has minimal length in its conjugacy class. We show that there exists a unique unipotent class X in G such that the following holds: if V is the variety of pairs consisting of an element g in X and a Borel subgroup B such that B,gBg^{-1} are in relative position w, then V is a homogeneous G-space.
We show that if $G$ is an infinitesimal elementary supergroup scheme of height $\leq r$, then the cohomological spectrum $|G|$ of $G$ is naturally homeomorphic to the variety $\mathcal{N}_r(G)$ of supergroup homomorphisms $ρ: \mathbb{M}_r \rightarrow G$ from a certain (non-algebraic) affine supergroup scheme $\mathbb{M}_r$ into $G$. In the case $r=1$, we further identify the cohomological support variety of a finite-dimensional $G$-supermodule $M$ as a subset of $\mathcal{N}_1(G)$. We then discuss how our methods, when combined with recently-announced results by Benson, Iyengar, Krause, and Pe…
In this paper we prove a direct geometric relation between Deligne--Lusztig varieties and Springer fibres in type $\mathsf{A}$: For any rational unipotent element, the Springer fibre cuts out a unique component of a specific Deligne--Lusztig variety; moreover, this component forms an open dense subset of a component of the Springer fibre. This boils down to a map from the unipotent variety to the Weyl group, and combines several constructions with a combinatorial flavour (like Weyr normal forms, Robinson--Schensted correspondence, and Spaltenstein's and Steinberg's labellings); it also provide…