We study the minimal length elements in an integral conjugacy class of a classical extended affine Weyl group and we show that these elements are quite "special" in the sense of Geck and Pfeiffer \cite{GP93}. We also discuss some application on extended affine Hecke algebras and loop groups.
Let W be a Weyl group. We introduce the notion of positive conjugacy class in W. This generalizes the notion of regular elliptic conjugacy class in the sense of Springer.
We define a map from the set of conjugacy classes of a Weyl group W to the representation ring of W tensored with the ring of polynomials in one variable.
Suppose $G$ is a connected complex semisimple group and $W$ is its Weyl group. The lifting of an element of $W$ to $G$ is semisimple. This induces a well-defined map from the set of elliptic conjugacy classes of $W$ to the set of semisimple conjugacy classes of $G$. In this paper, we give a uniform algorithm to compute this map. We also consider the twisted case.
We define and study a correspondence between the set of distinguished G^0-conjugacy classes in a fixed connected component of a reductive group G (with G^0 almost simple) and the set of (twisted) elliptic conjugacy classes in the Weyl group. We also prove a homogeneity property related to this correspondence.
Let G be a connected reductive algebraic group over an algebraic closed field. We define a (surjective) map from the set of conjugacy classes in the Weyl group to the set of unipotent classes of G.
Let G be a connected reductive group. We define a map from the set of unipotent classes in G to the set of conjugacy classes in the Weyl group (assuming that the characteristic is not bad). This map is a one sided inverse of a map in the opposite direction constructed in an earlier paper.
Let $G$ be a reductive group over an algebraically closed field and let $W$ be its Weyl group. In a series of papers, Lusztig introduced a map from the set $[W]$ of conjugacy classes of $W$ to the set $[G_u]$ of unipotent classes of $G$. This map, when restricted to the set of elliptic conjugacy classes $[W_e]$ of $W$, is injective. In this paper, we show that Lusztig's map $[W_e] \to [G_u]$ is order-reversing, with respect to the natural partial order on $[W_e]$ arising from combinatorics and the natural partial order on $[G_u]$ arising from geometry.
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.
The problem of finding a canonical form of complex matrices up to conjugacy with the set of canonical matrices being a union of affine planes in the matrix space is considered. A solution of the problem is given producing a new canonical form for matrices over algebraically closed fields.
Let G be a connected reductive group over an algebraically closed field of characteristic p. In an earlier paper we defined a surjective map Φ_p from the set \underline{W} of conjugacy classes in the Weyl group W to the set of unipotent classes in G. Here we prove three results about Φ_p. First we show that Φ_p has a canonical one sided inverse. Next we show that Φ_0 =rΦ_p for a unique map r. Finally we construct a natural surjective map from \underline{W} to the set of special representations of W which is the composition of Φ_0 with another natural map; we show that this map depends only on …
Let W be an Iwahori-Weyl group of a connected reductive group G over a non-archimedean local field. I prove that if w is an element of W that does not act on the corresponding apartment of G by a translation then one can apply to w a sequence of conjugations by simple reflections, each of which is length-preserving, resulting in an element w' for which there exists a simple reflection s such that l(sw's)>l(w'). Even for affine Weyl groups, a special case of Iwahori-Weyl groups and also an important subclass of Coxeter groups, this is a new fact about conjugacy classes. Further, there are impli…
Let $W_a$ be an affine Weyl group and $η:W_a\longrightarrow W_0$ be the natural projection to the corresponding finite Weyl group. We say that $w\in W_a$ has finite Coxeter part if $η(w)$ is conjugate to a Coxeter element of $W_0$. The elements with finite Coxeter part is a union of conjugacy classes of $W_a$. We show that for each conjugacy class $\mathcal{O}$ of $W_a$ with finite Coxeter part there exits a unique maximal proper parabolic subgroup $W_J$ of $W_a$, such that the set of minimal length elements in $\mathcal{O}$ is exactly the set of Coxeter elements in $W_J$. Similar results hold…
Let $W$ be an extended affine Weyl group. We prove that minimal length elements $w_{\co}$ of any conjugacy class $\co$ of $W$ satisfy some special properties, generalizing results of Geck and Pfeiffer \cite{GP} on finite Weyl groups. We then introduce the "class polynomials" for affine Hecke algebra $H$ and prove that $T_{w_\co}$, where $\co$ runs over all the conjugacy classes of $W$, forms a basis of the cocenter $H/[H, H]$. We also classify the conjugacy classes satisfying a generalization of Lusztig's conjecture \cite{L4}.
Let $G$ be a connected semisimple algebraic group over an algebraically closed field of characteristic zero, and let $þ$ be an automorphism of $G$. We give a characterization of $þ$-twisted spherical conjugacy classes in $G$ by a formula for their dimensions in terms of certain elements in the Weyl group of $G$, generalizing a result of N. Cantarini, G. Carnovale, and M. Costantini when $þ$ is the identity automorphism. For $G$ simple and $þ$ an outer automorphism of $G$, we also classify the Weyl group elements that appear in the dimension formula.
Let G be a simple algebraic group over an algebraically closed field of characteristic zero or positive odd, good characteristic. Let B be a Borel subgroup of G. We show that the spherical conjugacy classes of G intersect only the double cosets of B in G corresponding to involutions in the Weyl group of G. This result is used to prove that for a spherical conjugacy class O with dense B-orbit v_0 contained in BwB there holds l(w)+rk(1-w)=dim(O) extending a characterization of spherical conjugacy classes obtained by N. Cantarini, M. Costantini and the author to the case of groups over fields of …
This is based on a talk given at the AMS/RMS joint meeting in June 2013, Alba Iulia. The main theme is that the conjugacy classes in the Lie group E_8 should be (roughly) parametrized by conjugacy classes in the corresponding Weyl group.
We show that various invariants of a unipotent conjugacy class in a connected semisimple group can be recovered purely in terms of data involving the Weyl group.
Affine Deligne-Lusztig varieties are analogs of Deligne-Lusztig varieties in the context of an affine root system. We prove a conjecture stated in the paper arXiv:0805.0045v4 by Haines, Kottwitz, Reuman, and the first named author, about the question which affine Deligne-Lusztig varieties (for a split group and a basic $σ$-conjugacy class) in the Iwahori case are non-empty. If the underlying algebraic group is a classical group and the chosen basic $σ$-conjugacy class is the class of $b=1$, we also prove the dimension formula predicted in op. cit. in almost all cases.
For a Weyl group W, we give a simple closed formula (valid on elliptic conjugacy classes) for the character of the representation of W in each A-isotypic component of the full homology of a Springer fiber. We also give a formula (valid again on elliptic conjugacy classes) of the W-character of an irreducible discrete series representation with real central character of a graded affine Hecke algebra with arbitrary parameters. In both cases, the Pin double cover of W and the Dirac operator for graded affine Hecke algebras play key roles.
Let f(x)=Ax+b and g(x)=Cx+d be two affine operators given by n-by-n matrices A and C and vectors b and d over a field F. They are said to be biregularly conjugate if hf=gh for some bijection h: F^n-->F^n being biregular, this means that the coordinate functions of h and h^{-1} are polynomials. Over an algebraically closed field of characteristic 0, we obtain necessary and sufficient conditions of biregular conjugacy of affine operators and give a canonical form of an affine operator up to biregular conjugacy. These results for bijective affine operators were obtained by J.Blanc [Conjugacy clas…
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.
In this article, we explain the main philosophy of 2-representation theory and quantum affine Schur-Weyl duality. The Khovanov-Lauda-Rouquier algebras play a central role in both themes.
We are interested in cell properties of translations in affine Weyl groups. We find out some translations in the second lowest two-sided cell of an affine Weyl group and use the translations to formulate a refinement of Jianyi Shi's conjecture on the number of left cells in the second lowest two-sided cell. We verify the refinement for an affine Weyl group of type $\tilde A_{n-1}$ and type $\tilde G_2$.
Distinguished involutions in the affine Weyl groups, defined by G. Lusztig, play an essential role in the Kazhdan-Lusztig combinatorics of these groups. A distinguished involution is called canonical if it is the shortest element in its double coset with respect to the finite Weyl group. Each two-sided cell in the affine Weyl group contains precisely one canonical distinguished involution. In this note we calculate the canonical distinguished involutions in the affine Weyl groups of rank <8. We also prove some partial results relating canonical distinguished involutions and Dynkin's diagrams o…
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.
After establishing a geometric Schur-Weyl duality in a general setting, we recall this duality in type A in the finite and affine case. We extend the duality in the affine case to positive parts of the affine algebras. The positive parts have nice ideals coming from geometry, allowing duality for quotients. Some of the quotients of the positive affine Hecke algebra are then identified to some cyclotomic Hecke algebras and the geometric setting allows the construction of canonical bases.
We generalize I. Frenkel's orbital theory for non twisted affine Lie algebras to the case of twisted affine Lie algebras using a character formula for certain non-connected compact Lie groups.
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.
Let G be an almost simple reductive group with Weyl group W. Let B be a Borel subgroup of G. Let C be an elliptic conjugacy class in W and let w be an element of minimal length of C. We investigate the existence of a semisimple class of G whose intersection with BwB has dimension dim(B). We show that in good characteristic such a semisimple class exists almost always.
We define noncommutative deformations $W_q^s(G)$ of algebras of functions on certain (finite coverings of) transversal slices to the set of conjugacy classes in an algebraic group $G$ which play the role of Slodowy slices in algebraic group theory. The algebras $W_q^s(G)$ called q-W algebras are labeled by (conjugacy classes of) elements $s$ of the Weyl group of $G$. The algebra $W_q^s(G)$ is a quantization of a Poisson structure defined on the corresponding transversal slice in $G$ with the help of Poisson reduction of a Poisson bracket associated to a Poisson-Lie group $G^*$ dual to a quasit…
The tables of this title are a first attempt to understand empirically the sizes of certain distinguished sets, introduced by Hankyung Ko, of elements in affine Weyl groups. The sizes are relevant to the computational efficiency of direct approaches to computing characters of modular representations of algebraic groups from characters of corresponding irreducible representations of quantum groups.
We prove a weak version of Lusztig's conjecture on explicit description of the asymptotic Hecke algebras (both finite and affine), and explain its relation to Lusztig's classification of character sheaves.
We compute the based rings of two-sided cells corresponding to the unipotent classes in $Sp_6(\mathbb C)$ with Jordan blocks (33), (411), (222) respectively. The results for the first two two-sided cells also verify Lusztig's conjecture on the structure of the based rings of two-sided cells of an affine Weyl group. The result for the last two-sided cell partially suggests a modification of Lusztig's conjecture on the structure of the based rings of two-sided cells of an affine Weyl group.
Bremke and Xi determined the lowest two-sided cell for affine Weyl groups with unequal parameters and showed that it consists of at most |W_{0}| left cells where W_{0} is the associated finite Weyl group. We prove that this bound is exact. Previously, this was known in the equal parameter case and when the parameters were coming from a graph automorphism. Our argument uniformly works for any choice of parameters.
We prove that the Deligne-Lusztig variety associated to minimal length elements in any $\d$-conjugacy class of the Weyl group is affine, which was conjectured by Orlik and Rapoport in \cite{OR}.
Let G be a connected reductive group over an algebraically closed field. We define a decomposition of G into finitely many strata such that each stratum is a union of conjugacy classes of fixed dimension; the strata are indexed by a set defined in terms of the Weyl group which is independent of the characteristic. In the case where $G$ is replaced by the corresponding loop group we define an analogous decomposition of the set of regular semisimple compact elements into countably many strata.
We establish the conjugacy of Cartan subalgebras for extended affine Lie algebras whose centreless core is "of type A", i.e., matrices over a quantum torus Q whose trace lies in the commutator space of Q. This settles the last outstanding part of the conjugacy problem for Extended Affine Lie Algebras that remained open.
We show that Lusztig's homomorphism from an affine Hecke algebra to the direct summand of its asymptotic Hecke algebra corresponding to the lowest two-sided cell is related to the homomorphism constructed by Chriss and Ginzburg using equivariant K-theory by a matrix over the representation ring of the associated algebraic group.
That finite-dimensional simple Lie algebras over the complex numbers can be classified by means of purely combinatorial and geometric objects such as Coxeter-Dynkin diagrams and indecomposable irreducible root systems, is arguably one of the most elegant results in mathematics. The definition of the root system is done by fixing a Cartan subalgebra of the given Lie algebra. The remarkable fact is that (up to isomorphism) this construction is independent of the choice of the Cartan subalgebra. The modern way of establishing this fact is by showing that all Cartan subalgebras are conjugate. For …
In 1972, R. Carter introduced admissible diagrams to classify conjugacy classes in a finite Weyl group W. We say that an admissible diagram Γis a Carter diagram if any edge {α, β} with inner product (α, β) > 0 (resp. (α, β) < 0) is drawn as dotted (resp. solid) edge. We construct an explicit transformation of any Carter diagram containing long cycles (with the number of vertices l > 4) into another Carter diagram containing only 4-cycles. Thus, all Carter diagrams containing long cycles can be eliminated from the classification list. There exist diagrams determining two conjugacy classes in W.…
For type $\tilde B_3$ we show that Lusztig's conjecture on the structure of the based ring of two-sided cell corresponding to the unipotent class in $Sp_6(\mathbb C)$ with 3 equal Jordan blocks needs modified.
In the last section of the paper "Generalized induction of Kazhdan-Lusztig cells" and in "Kazhdan-Lusztig cells in affine Weyl groups of rank 2" the author described the partition into Kazhdan-Lusztig cells of the affine Weyl groups of rank 2 for all choices of parameters. The proof of these results relies on some explicit computations with GAP. In these notes we give some details of these computations.
Fundamental elements are certain special elements of affine Weyl groups introduced by Gortz, Haines, Kottwitz and Reuman. They play an important role in the study of affine Deligne-Lusztig varieties. In this paper, we obtain characterizations of the fundamental elements and their natural generalizations. We also derive an inverse to a version of "Newton-Hodge decomposition" in affine flag varieties. As an application, we obtain a group-theoretic generalization of Oort's results on minimal p-divisible groups, and we show that, in certain good reduction reduction of PEL Shimura datum, each Newt…
George Lusztig conjectured that asymptotic affine Hecke algebra of a simply connected group can be explicitly described in terms of convolution algebras. Main Theorem of this note (which is a continuation of RT/0010089) is a weak version of this Conjecture. This version is strong enough to reprove all previously known results (due to Nanhua Xi) in this direction, for example the case of type $\tilde A_n$, see QA/0010159.
From a certain induced representation $\mathcal{P}_\ell$ of a double affine Weyl group, we construct a ring $\mathcal{F}_\ell$ that is isomorphic to the fusion ring, or Verlinde algebra, associated to affine Lie algebras at fixed positive integer level for both twisted and untwisted type. The induced representation, which also has a natural commutative associative algebra structure and is modular invariant with respect to certain congruence subgroups, contains $\mathcal{F}_\ell$ as an ideal and we show how it naturally inherits the modular invariance property from $\mathcal{P}_\ell.$ This cons…
Let A be a character sheaf on a reductive connected group G over an algebraically closed field. Assuming that the characteristic is not bad, we show that for certain conjugacy classes D in G the restriction of A to D is a local system up to shift; we also give a parametrization of unipotent cuspidal character sheaves on G in terms of restrictions to conjugacy classes. Without restriction on characteristic we define canonical bijections from the set of unipotent character sheaves on G (and from the set of unipotent representations of the corresponding split reductive group over a finite field) …
Let g=g_0+ g_1 be a simple Z_2-graded Lie algebra and let b_0 be a fixed Borel subalgebra of g_0. We describe and enumerate the abelian b_0-stable subalgebras of g_1.
Several decades ago, John McKay suggested a correspondence between nodes of the affine E8 Dynkin diagram and certain conjugacy classes in the Monster group. Thanks to Monstrous Moonshine, this correspondence can be recast as an assignment of discrete subgroups of PSL2 to nodes of the affine E8 Dynkin diagram. The purpose of this article is to give an explanation for this latter correspondence using elementary properties of the group PSL2. We also obtain a super analogue of McKay's observation, in which conjugacy classes of the Monster are replaced by conjugacy classes of Conway's group -- the …
Let G be a connected, reductive algebraic group over an algebraically closed field of characteristic zero or good and odd. We characterize the spherical conjugacy classes of G as those intersecting only Bruhat cells corresponding to involutions in the Weyl group of G.
We show that, for a sheet or a Lusztig stratum S containing spherical conjugacy classes in a connected reductive algebraic group G over an algebraically closed field in good characteristic, the orbit space S/G is isomorphic to the quotient of an affine subvariety of G modulo the action of a finite abelian 2-group. The affine subvariety is a closed subset of a Bruhat double coset and the abelian group is a finite subgroup of a maximal torus of G. We show that sheets of spherical conjugacy classes in a simple group are always smooth and we list which strata containing spherical classes are smoot…
Recently, Lusztig constructed for each reductive group a partition by unions of sheets of conjugacy classes, which is indexed by a subset of the set of conjugacy classes in the associated Weyl group. Sevostyanov subsequently used certain elements in each of these Weyl group conjugacy classes to construct strictly transverse slices to the conjugacy classes in these strata, generalising the classical Steinberg slice, and similar cross sections were built out of different Weyl group elements by He-Lusztig. In this paper we observe that He-Lusztig's and Sevostyanov's Weyl group elements share a ce…