For any two involutions y,w in a Weyl group (y\le w), let P_{y,w} be the polynomial defined in [KL]. In this paper we define a new polynomial P^σ_{y,w} whose i-th coefficient is a_i-b_i where the i-th coefficient of P_{y,w} is a_i+b_i (a_i,b_i are natural numbers). These new polynomials are of interest for the theory of unitary representations of complex reductive groups. We present an algorithm for computing these polynomials.
In a previous paper the author and D. Vogan defined and studied a Hecke algebra module structure on a vector space spanned by the involutions in a Weyl group. In this paper this study is continued by relating it to the asymptotic Hecke algebra.
We define an imbedding of the Hecke algebra module carried by the involutions in a Weyl group W (defined by the author and Vogan) into a completion of the Hecke algebra. An analogous result is proved for any Coxeter group. A variant of the construction gives an imbedding of the biregular representation of a Hecke algebra of W in a completion of the Hecke algebra of W^2.
In a previous article we have defined an action of the Iwahori-Hecke algebra of a Coxeter group W on a free module with basis indexed by the involutions in W. In this paper we show that the specialization of this action at the parameter 0 has a simple description.
Let $W$ be a Coxeter group and let $M$ be the free $Z[v,v^{-1}]$-module with basis indexed by the involutions of $W$. We show how recent results of Elias and Williamson on Soergel bimodules can be used to give an alternative definition of an action of the Hecke algebra of $W$ on $M$.
Let X be the group of weights of a maximal torus of a simply connected semisimple group over C and let W be the Weyl group. The semidirect product W(Q\otimes X/X) is called the extended Weyl group. There is a natural C(v)-algebra H called the extended Hecke algebra with basis indexed by the extended Weyl group which contains the usual Hecke algebra as a subalgebra. We construct an H-module with basis indexed by the involutions in the extended Weyl group. This generalizes a construction of the author and D.Vogan.
The pro-$p$-Iwahori Hecke algebra has an involution $ι$ defined in terms of Iwahori-Matsumoto basis. Then for a module $π$ of pro-$p$-Iwahori Hecke, $π^ι= π\circ ι$ is also a module. We calculate $π^ι$ for simple modules $π$. We also calculate the dual of $π$.
We establish branching rules between some Iwahori-Hecke algebra of type B and their subalgebras which are defined as fixed subalgebras by involutions including Goldman involution. The Iwahori-Hecke algebra of type D is one of such fixed subalgebras. We also obtain branching rules between those fixed subalgebras and their intersection subalgebra. We determine basic sets of irreducible representations of those fixed subalgebras and their intersection subalgebra by making use of generalized Clifford theory.
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…
In [LV] the authors defined a Hecke algebra action and a bar involution on a vector space spanned by the involutions in a Weyl group. In this paper we give a new definition of the Hecke algebra action and the bar operator which, unlike the one in [LV], is completely elementary (does not use geometry) and in particular it makes sense for an arbitrary Coxeter group.
Let $(W, S)$ be a Coxeter system equipped with a fixed automorphism $\ast$ of order $\leq 2$ which preserves $S$. Lusztig (and with Vogan in some special cases) have shown that the space spanned by set of "twisted" involutions was naturally endowed with a module structure of the Hecke algebra of $(W, S)$. Lusztig has conjectured that this module is isomorphic to the right ideal of the Hecke algebra (with Hecke parameter $u^2$) associated to $(W,S)$ generated by the element $X_{\emptyset}:=\sum_{w^\ast=w}u^{-\ell(w)}T_w$. In this paper we prove this conjecture in the case when $\ast=\text{id}$ …
Let N be the normalizer of a maximal torus T in a split reductive group over F_q and let w be an involution in the Weyl group N/T. We construct explicitly a lifting n of w in N such that the image of n under the Frobenius map is equal to the inverse of n.
Let N be the normalizer of a maximal torus T in a split reductive group over F_q, and let w be an involution in the Weyl group N/T. We construct a section of W satisfying the braid relations, such that the image of the lift n of w under the Frobenius map is equal to the inverse of n.
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.
In this paper we prove that the linear Koszul duality equivalence constructed in a previous paper provides a geometric realization of the Iwahori-Matsumoto involution of affine Hecke algebras.
The purpose of this paper is to describe a general procedure for computing analogues of Young's seminormal representations of the symmetric groups. The method is to generalize the Jucys-Murphy elements in the group algebras of the symmetric groups to arbitrary Weyl groups and Iwahori-Hecke algebras. The combinatorics of these elements allows one to compute irreducible representations explicitly and often very easily. In this paper we do these computations for Weyl groups and Iwahori-Hecke algebras of types $A_n$, $B_n$, $D_n$, $G_2$. Although these computations are in reach for types $F_4$, $E…
The purpose of this paper is to study induction and restriction of two-variable Hecke algebras. First, we provide the explicit form of the Mackey decomposition formula. And then, we elucidate how (anti-)involutions interact with induction product and restriction.
We prove a series of conjectures of Enomoto and Kashiwara on canonical bases and branching rules of affine Hecke algebras of type B. The main ingredient of the proof is a new graded Ext-algebra associated with quiver with involutions that we compute explicitly.
We define alternating cyclotomic Hecke algebras in higher levels as subalgebras of cyclotomic Hecke algebras under an analogue of Goldman's hash involution. We compute the rank of these algebras and construct a full set of irreducible representations in the semisimple case, generalising Mitsuhashi's results.
There are left and right actions of the 0-Hecke monoid of the affine symmetric group $\tilde{S}_n$ on involutions whose cycles are labeled periodically by nonnegative integers. Using these actions we construct two bijections, which are length-preserving in an appropriate sense, from the set of involutions in $\tilde{S}_n$ to the set of $\mathbb{N}$-weighted matchings in the $n$-element cycle graph. As an application, we compute a formula for the bivariate generating function counting the involutions in $\tilde S_n$ by length and absolute length. The 0-Hecke monoid of $\tilde{S}_n$ also acts on…
We develop a new approach for the computation of the Mullineux involution for the symmetric group and its Hecke algebra using the notion of crystal isomorphism and the Iwahori-Matsumoto involution for the affine Hecke algebra of type A. As a consequence, we obtain several new elementary combinatorial algorithms for its computation, one of which is equivalent to Xu's algorithm (and thus Mullineux' original algorithm). We thus obtain a simple interpretation of these algorithms and a new elementary proof that they indeed compute the Mullineux involution.
It is proved that a Stein manifold acted on by a connected compact Lie group is spherical if and only if there exists an antiholomorphic involution preserving each orbit of the action. This involution can be chosen equivariant with respect to a Weyl involution of the group.
Let $H_k(W,q)$ be the Iwahori--Hecke algebra associated with a finite Weyl group $W$, where $k$ is a field and $0 \neq q \in k$. Assume that the characteristic of $k$ is not ``bad'' for $W$ and let $e$ be the smallest $i \geq 2$ such that $1+q+q^2+... +q^{i-1}=0$. We show that the number of simple $H_k(H,q)$-modules is ``generic'', i.e., it only depends on $e$. The proof uses some computations in the {\sf CHEVIE} package of {\sf GAP} and known results due to Dipper--James, Ariki--Mathas, Rouquier and the author.
This paper gives the classification of the Whittaker unitary dual for affine graded Hecke algebras of type E. By the Iwahori-Matsumoto involution, this is equivalent also to the classification of the spherical unitary dual for type E. This work completes the classification of the Whittaker Iwahori-spherical unitary dual, or equivalently, the spherical unitary dual, of split linear algebraic p-adic groups.
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…
In this paper, we introduce the sign q-permutation representation of the Iwahori-Hecke algebra on the tensor space of the graded vector space. We establish Schur-Weyl reciprocity between the quantum general super Lie algebra and the Iwahori-Hecke algebra. Our result includes Schur-Weyl reciprocity of both the super case and the quantum case, and unifies those two important cases.
Chinta and Gunnells introduced a rather intricate multi-parameter Weyl group action on rational functions on a torus, which, when the parameters are specialized to certain Gauss sums, describes the functional equations of Weyl group multiple Dirichlet series associated to metaplectic (n-fold) covers of algebraic groups. In subsequent joint work with Puskas, they extended this action to a "metaplectic" representation of the equal parameter affine Hecke algebra, which allowed them to obtain explicit formulas for the p-parts of these Dirichlet series. They have also verified by a computer check t…
Let $G$ be a connected reductive group over a non-archimedean local field $F$ and $I$ be an Iwahori subgroup of $G(F)$. Let $I_n$ is the $n$-th Moy-Prasad filtration subgroup of $I$. The purpose of this paper is two-fold: to give some nice presentations of the Hecke algebra of connected, reductive groups with $I_n$-level structure; and to introduce the Tits group of the Iwahori-Weyl group of groups $G$ that split over an unramified extension of $F$. The first main result of this paper is a presentation of the Hecke algebra $\mathcal H(G(F),I_n)$, generalizing the previous work of Iwahori-Matsu…
We prove a mean value theorem for the traces of Hecke operators acting on cusp forms of GL(n) over imaginary quadratic number fields together with an upper bound for the error term depending explicitly on the Hecke operator.
We first describe how the Kashiwara involution on crystals of affine type $A$ is encoded by the combinatorics of aperiodic multisegments. This yields a simple relation between this involution and the Zelevinsky involution on the set of simple modules for the affine Hecke algebras. We then give efficient procedures for computing these involutions. Remarkably, these procedures do not use the underlying crystal structure. They also permit to match explicitly the Ginzburg and Ariki parametrizations of the simple modules associated to affine and cyclotomic Hecke algebras, respectively .
Let $(W,S)$ be a Coxeter system and $\ast$ an automorphism of $W$ with order $\leq 2$ and $S^{\ast}=S$. Lusztig and Vogan ([11], [14]) have introduced a $u$-deformed version $M_u$ of Kottwitz's involution module over the Iwahori-Hecke algebra $\mathscr{H}_{u}(W)$ with Hecke parameter $u^2$, where $u$ is an indeterminate. Lusztig has proved that $M_u$ is isomorphic to the left $\mathscr{H}_{u}(W)$-submodule of ${\hat{\mathscr{H}}}_u$ generated by $X_{\emptyset}:=\sum_{w^*=w\in W}{u^{-\ell(w)}T_w}$, where ${\hat{\mathscr{H}}}_u$ is the vector space consisting of all formal (possibly infinite) su…
In this paper, we look at the problem of determining the composition factors for the affine graded Hecke algebra via the computation of Kazhdan-Lusztig type polynomials. We review the algorithms of \cite{L1,L2}, and use them in particular to compute, at every real central character which admits tempered modules, the geometric parameterization, the Kazhdan-Lusztig polynomials, the composition series, and the Iwahori-Matsumoto involution for the representations with Iwahori fixed vectors of the split $p$-adic groups of type $G_2$ and $F_4$.
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.
The Peter-Weyl idempotent $e_{\mathcal{P}}$ of a parahoric subgroup ${\mathcal{P}}$ is the sum of the idempotents of irreducible representations of $\mathcal{P}$ which have a nonzero Iwahori fixed vector. The convolution algebra associated to $e_{\mathcal{P}}$ is called a Peter-Weyl Iwahori algebra. We show any Peter-Weyl Iwahori algebra is Morita equivalent to the Iwahori-Hecke algebra. Both the Iwahori-Hecke algebra and a Peter-Weyl Iwahori algbera have a natural $\mathbb{C}^\star$-algebra structure, and the Morita equivalence preserves irreducible hermitian and unitary modules. Both algebra…
We give an explicit description of the "canonical basic set'' for all Iwahori-Hecke algebras of finite Weyl groups in "good'' characteristic. We obtain a complete classification of simple modules for this type of algebras.
We study coadjoint $B$-orbits on $\mathfrak{n}^*$, where $B$ is a Borel subgroup of a complex orthogonal group $G$, and $\mathfrak{n}$ is the Lie algebra of the unipotent radical of $B$. To each basis involution $w$ in the Weyl group $W$ of $G$ one can assign the associated $B$-orbit $Ω_w$. We prove that, given basis involutions $σ$, $τ$ in $W$, if the orbit $Ω_σ$ is contained in the closure of the orbit $Ω_τ$ then $σ$ is less than or equal to $τ$ with respect to the Bruhat order on $W$. For a basis involution $w$, we also compute the dimension of $Ω_w$ and present a conjectural description of…
We show that the irreducible representation of the asymptotic Hecke algebra corresponding to a special representation of a Weyl group admits a basis with strong positivity properties.
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 …
We study the Schur elements and the a-function for cyclotomic Hecke algebras. As a consequence, we show the existence of canonical basic sets, as defined by Geck-Rouquier, for certain complex reflection groups. This includes the case of finite Weyl groups for all choices of parameters (in characteristic 0).
In this paper we prove a quantum generalization of Regev's theorems in (Israel. J. Math. 195 (2013), 31--35) by applying the Schur-Weyl duality between the quantum superalgebra and Iwahori-Hecke algebra. We also present an alternative proof of the quantized generalizations using the skew character theory of Iwahori-Hecke algebras.
A type of directed multigraph called a W-digraph is introduced to model the structure of certain representations of Hecke algebras, including those constructed by Lusztig and Vogan from involutions in a Weyl group. Building on results of Lusztig, a complete characterization of W-digraphs is given in terms of subdigraphs for dihedral parabolic subgroups. Graph-theoretic properties of W-digraphs are established including, under certain assumptions, acyclicity. In case the Coxeter system is finite, a bound on the number of vertices of a connected W-digraph is obtained, and a graph-theoretic versi…
This article introduces the duplex Hecke algebra, which is an infinite dimensional algebra generated by two Hecke algebras. This concept originates from the degenerate duplex Hecke algebra in the theory of Schur-Weyl duality related to enhanced reductive algebraic groups. We will study the finite dimensional natural representation of the duplex Hecke algebra on tensor space and prove that the duplex Hecke algebra forms a duality with the Levi type quantum group.
We state four open problems on Iwahori-Hecke algebras. The first one states a relation between some algebras appearing in Solleveld's work and some explicit Hecke algebras appearing in the study of unipotent representations. The second one is a boundedness conjecture. The third one is a conjecture of well-definedness of an asymptotic Hecke algebra. The fourth one concerns positive conjugacy classes in a Weyl group.
The special representations of a Weyl group can be regarded as the vertices of a graph with an involution i such that any edge e has the following property: either e or i(e) joins two vertices whose a-functions differ by 1.
Involution words are variations of reduced words for twisted involutions in Coxeter groups. They arise naturally in the study of the Bruhat order, of certain Iwahori-Hecke algebra modules, and of orbit closures in flag varieties. Specifically, to any twisted involutions $x$, $y$ in a Coxeter group $W$ with automorphism $*$, we associate a set of involution words $\hat{\mathcal{R}}_*(x,y)$. This set is the disjoint union of the reduced words of a set of group elements $\mathcal{A}_*(x,y)$, which we call the atoms of $y$ relative to $x$. The atoms, in turn, are contained in a larger set $\mathca…
We define the algebraic Dirac induction map $\Ind_D$ for graded affine Hecke algebras. The map $\Ind_D$ is a Hecke algebra analog of the explicit realization of the Baum-Connes assembly map in the $K$-theory of the reduced $C^*$-algebra of a real reductive group using Dirac operators. The definition of $\Ind_D$ is uniform over the parameter space of the graded affine Hecke algebra. We show that the map $\Ind_D$ defines an isometric isomorphism from the space of elliptic characters of the Weyl group (relative to its reflection representation) to the space of elliptic characters of the graded af…
We introduce the computer algebra package {\sf PyCox}, written entirely in the {\sf Python} language. It implements a set of algorithms - in a spirit similar to the older {\sf CHEVIE} system - for working with Coxeter groups and Hecke algebras. This includes a new variation of the traditional algorithm for computing Kazhdan--Lusztig cells and $W$-graphs, which works efficiently for all finite groups of rank $\leq 8$ (except $E_8$). We also discuss the computation of Lusztig's leading coefficients of character values and distinguished involutions (which works for $E_8$ as well). Our experiments…
We generalize the geometric construction of quiver Hecke algebras from Varagnolo and Vasserot to a setup with arbitrary connected reductive groups. This corresponds to replacing quiver representations by generalized quiver representations introduced by Derksen and Weyman. The class of algebras which we construct contains (affine) nil Hecke algebras, skew group rings of Weyl groups with polynomial rings and quiver Hecke algebras. We describe an explicit faithful representation in a polynomial ring and we calculate the generators and relations for these algebras.
