We establish the existence of an IC basis for the generalized Temperley--Lieb algebra associated to a Coxeter system of arbitrary type. We determine this basis explicitly in the case where the Coxeter system is simply laced and the algebra is finite dimensional.
We study a finite-dimensional quotient of the Hecke algebra of type $H_n$ for general $n$, using a calculus of diagrams. This provides a basis of monomials in a certain set of generators. Using this, we prove a conjecture of C.K. Fan about the semisimplicity of the quotient algebra. We also discuss the cellular structure of the algebra, with certain restrictions on the ground ring.
We study a class of representations over the degenerate double affine Hecke algebra of gl_n by an algebraic method. As fundamental objects in this class, we introduce certain induced modules and study some of their properties. In particular, it is shown that these induced modules have unique simple quotient modules under certain conditions. Moreover, we show that any simple module in this class is obtained as such a simple quotient, and give a classification of all the simple modules.
We introduce a class of induced representations of the degenerate double affine Hecke algebra of gl_N and analyze their structure mainly by means of intertwiners. We also construct them from modules of the affine Lie algebra using Knizhnik-Zamolodchikov connections in the conformal field theory. This construction provides a natural quotient of induced modules, which turns out to be the unique irreducible one under a certain condition. Some cunjectual formulas are presented for the symmetric part of these quotients.
A criterion of irreducibility for induction products of evaluation modules of type A affine Hecke algebras is given. It is derived from multiplicative properties of the canonical basis of a quantum deformation of the Bernstein-Zelevinsky ring.
In this paper, we explore the use of path idempotents for the Hecke algebra of type $A$ at roots of unity. For $q$ a primitive $\ell$-th root of unity we obain a non-unital imbedding of (a quotient of) the group algebra of $S_m$ into (a quotient of) the Hecke algebra $H_n(q)$ for certain $m$ and $n$. From this we recover certain instances of irreducibility criteria of Dipper, James, and Mathas, and we derive estimates on the decomposition numbers for the Hecke algebra at roots of unity. The bounds are easily computed, provide a good geometric picture of the pairs of diagrams $λ$, $μ$ for which…
To some braiding R of Hecke type (a Hecke symmetry) we put into correspondence an associative algebra called the modified Reflection Equation Algebra (mREA). We construct a series of matrices L_(m), m=1,2,... with entries belonging to mREA such that each of them satisfies a version of the Cayley-Hamilton identity with central coefficients. We also consider some quotients of the mREA which are called the non-commutative orbits. For each of these orbits we construct a large family of projective modules. In this family we introduce an algebraic structure which is close to that of $K^0(\Fl(\C^n))$…
The Temperley--Lieb algebra, invented by Temperley and Lieb in 1971, is a finite dimensional associative algebra that arose in the context of statistical mechanics. Later in 1971, Penrose showed that this algebra can be realized in terms of certain diagrams. Then in 1987, Jones showed that the Temperley--Lieb algebra occurs naturally as a quotient of the Hecke algebra arising from a Coxeter group of type $A$. This realization of the Temperley--Lieb algebra as a Hecke algebra quotient was later generalized to the case of an arbitrary Coxeter group by Graham. Cellular algebras were introduced by…
The affine Hecke algebra $\dot H_n$ of type $A$ is often presented as a quotient of the braid algebra of $n$-braids in the annulus. This leads to diagrammatic representations in terms of braids in the annulus, subject to a quadratic relation for the simple Artin braids, as in the description by Graham and Lehrer in \cite{GL03}. I show here that the use of more general framed oriented $n$-tangle diagrams in the annulus, subject to the Homfly skein relations, produces an algebra which is isomorphic to $\dot H_n$ with an extended ring of coefficients. This setting allows the use of some attractiv…
We give an explicit expression for the central elements of affine Hecke algebras of type A in the Coxeter presentation, in terms of (parabolic) affine Kazhdan-Lusztig polynomials. Our approach is based on a version of quantum affine Schur-Weyl duality involving the Hall algebra of a cyclic quiver, on the theory of canonical bases and on the higher-level q-deformed Fock spaces recently introduced by Uglov.
We establish a q-generalization of Gordon's theorem that the space of diagonal coinvariants has a quotient identified with a perfect representation of the rational double affine Hecke algebra. It leads to a simple proof of his theorem and relates it to the Weyl algebras at roots of unity. The universal double affine Hecke algebra and the corresponding universal double Dunkl operators acting in noncommutative polynomials in terms of two sets of variables are introduced.
We formalize some known categorical equivalences to give a rigorous treatment of smooth representations of p-adic general linear groups, as ungraded modules over quiver Hecke algebras of type A. Graded variants of RSK-standard modules are constructed for quiver Hecke algebras. Exporting recent results from the p-adic setting, we describe an effective method for construction and classification of all simple modules as quotients of modules induced from maximal homogenous data. It is established that the products involved in the RSK construction fit the Kashiwara-Kim notion of normal sequences of…
We prove that the quotient of the polynomial representation of the double affine Hecke algebra (DAHA) by the radical of the duality pairing is always irreducible assuming that it is finite dimensional (apart from the roots of unity). We also find necessary and sufficient conditions for the radical to be zero, which is a q-generalization of Opdam's formula for the singular k-parameters with the multiple zero-eigenvalues of the corresponding Dunkl operators.
To each partition $\frak p$ of $n$ we associate in a canonical way a simple $S_n$ module with an orthogonal basis indexed by Young diagrams in a way which carries over immediately to the quantized case. With this we show that the Hecke algebra of $S_n$ is a global solution to the Donald--Flanigan problem for $S_n.$ The procedure gives ``canonical'' primitive idempotents different from the classical ones of Frobenius--Young and makes some number--theoretic statements.
We relate completions of infinitesimal Hecke algebras of sl2 to noncommutative deformations of Kleinian singularities of type D of Crawley-Boevey and Holland. As a consequence, we show an analogue of the inequality of Bernstein and simplicity of generic maximal primitive quotients of these algebras. We also establish Skryabin type equivalence for these algebras.
We give closed formulas for all vectors of the canonical basis of a level 2 irreducible integrable representation of $U_v(sl_\infty)$. These formulas coincide at v=1 with Lusztig's formulas for the constructible characters of the Iwahori-Hecke algebras of type B and D.
Zhedanov's algebra AW(3) is considered with explicit structure constants such that, in the basic representation, the first generator becomes the second order q-difference operator for the Askey-Wilson polynomials. It is proved that this representation is faithful for a certain quotient of AW(3) such that the Casimir operator is equal to a special constant. Some explicit aspects of the double affine Hecke algebra (DAHA) related to symmetric and non-symmetric Askey-Wilson polynomials are presented and proved without requiring knowledge of general DAHA theory. Finally a central extension of this …
Obstructions to smoothing orbicurves and Orbifold Hecke algebras
University of California, Los Angeles(加州大学洛杉矶分校);School of Mathematical Sciences, Beijing Normal University(北京师范大学数学科学学院;教育部数学与复杂系统重点实验室);Laboratory of Mathematics and Complex Systems, Ministry of Education(东方理工学院数学科学学院);School of Mathematical Sciences, Eastern Institute of Technology
This paper has been withdrawn because of a gap in the proof of Lemma 3.10. The main reults in this paper have now been proved, and extended in the following papers: S. Ariki and A. Mathas, The number of simple modules of the Hecke algebras of type G(r,1,n) S. Ariki, On the classification of simple modules for cyclotomic Hecke algebras of type G(m,1,n) and Kleshchev multipartitions
We propose a framization of the Temperley-Lieb algebra. The framization is a procedure that can briefly be described as the adding of framing to a known knot algebra in a way that is both algebraically consistent and topologically meaningful. Our framization of the Temperley-Lieb algebra is defined as a quotient of the Yokonuma-Hecke algebra. The main theorem provides necessary and sufficient conditions for the Markov trace defined on the Yokonuma-Hecke algebra to pass through to the quotient algebra. Using this we construct 1-variable invariants for classical knots and links, which, as we sho…
We introduce and study the Koszul complex for a Hecke $R$-matrix. Its cohomologies, called the Berezinian, are used to define quantum superdeterminant for a Hecke $R$-matrix. Their behaviour with respect to Hecke sum of $R$-matrices is studied. Given a Hecke $R$-matrix in $n$-dimensional vector space, we construct a Hecke $R$-matrix in $2n$-dimensional vector space commuting with a differential. The notion of a quantum differential supergroup is derived. Its algebra of functions is a differential coquasitriangular Hopf algebra, having the usual algebra of differential forms as a quotient. Exam…
We study a quotient of the group algebra of the braid group in which the Artin generators satisfy a cubic relation. This quotient is maximal among the ones satisfying such a cubic relation. It is finite-dimensional for at least n at most 5 and we investigate its module structure in this range. We also investigate the proper quotients of it that appear in the realm of quantum groups, and describe another maximal quotient related to the usual Hecke algebras. Finally, we describe the connection between this algebra and a quotient of the algebra of horizontal chord diagrams introduced by Vogel. We…
These are notes prepared for ICRA workshop at Torun, Poland, August 2007. In the first part, we explain results on canonical basic sets by Geck and Jacon and propose a categorification framework which is suitable for our example of Hecke algebras. In the second part, we review basics of Kashiwara crystal and explain the Fock space theory of cyclotomic Hecke algebras and its applications. In the third part, we explain Rouquier's theory of quasihereditary covers of cyclotomic Hecke algebras. We add detailed explanation of the proofs here. The third part is based on my intensive course given at N…
We establish a Schur type duality between a coideal subalgebra of the quantum group of type A and the Hecke algebra of type B with 2 parameters. We identify the $\imath$-canonical basis on the tensor product of the natural representation with Lusztig's canonical basis of the type B Hecke algebra with unequal parameters associated to a weight function.
We introduce an affine Schur algebra via the affine Hecke algebra associated to Weyl group of affine type C. We establish multiplication formulas on the affine Hecke algebra and affine Schur algebra. Then we construct monomial bases and canonical bases for the affine Schur algebra. The multiplication formula allows us to establish a stabilization property of the family of affine Schur algebras that leads to the modified version of an algebra ${\mathbf K}^{\mathfrak c}_n$. We show that ${\mathbf K}^{\mathfrak c}_n$ is a coideal subalgebra of quantum affine algebra ${\bf U}(\hat{\mathfrak{gl}}_n…
We introduce an analogue of the $q$-Schur algebra associated to Coxeter systems of type $\hat A_{n-1}$. We give two constructions of this algebra. The first construction realizes the algebra as a certain endomorphism algebra arising from an affine Hecke algebra of type $\hat A_{r-1}$, where $n \geq r$. This generalizes the original $q$-Schur algebra as defined by Dipper and James, and the new algebra contains the ordinary $q$-Schur algebra and the affine Hecke algebra as subalgebras. Using this approach we can prove a double centralizer property. The second construction realizes the affine $q$…
We derive the q-deformation of the chiral Gross-Taylor holomorphic string large N expansion of two dimensional SU(N) Yang-Mills theory. Delta functions on symmetric group algebras are replaced by the corresponding objects (canonical trace functions) for Hecke algebras. The role of the Schur-Weyl duality between unitary groups and symmetric groups is now played by q-deformed Schur-Weyl duality of quantum groups. The appearance of Euler characters of configuration spaces of Riemann surfaces in the expansion persists. We discuss the geometrical meaning of these formulae.
The spin analogues of several classical concepts and results for Hecke algebras are established. A Frobenius type formula is obtained for irreducible characters of the Hecke-Clifford algebra. A precise characterization of the trace functions allows us to define the character table for the algebra. The algebra is endowed with a canonical symmetrizing trace form, with respect to which the spin generic degrees are formulated and shown to coincide with the spin fake degrees. We further provide a characterization of the trace functions and the symmetrizing trace form on the spin Hecke algebra which…
We develop an inductive approach to the representation theory of the Yokonuma-Hecke algebra ${\rm Y}_{d,n}(q)$, based on the study of the spectrum of its Jucys-Murphy elements which are defined here. We give explicit formulas for the irreducible representations of ${\rm Y}_{d,n}(q)$ in terms of standard $d$-tableaux; we then use them to obtain a semisimplicity criterion. Finally, we prove the existence of a canonical symmetrising form on ${\rm Y}_{d,n}(q)$ and calculate the Schur elements with respect to that form.
We determine the finite-dimensional simple modules for two-parameter quantum groups corresponding to the general linear and special linear Lie algebras gl_n and sl_n, and give a complete reducibility result. These quantum groups have a natural n-dimensional module V. We prove an analogue of Schur-Weyl duality in this setting: the centralizer algebra of the quantum group action on the k-fold tensor power of V is a quotient of a Hecke algebra for all n and is isomorphic to the Hecke algebra in case n\geq k.
We investigate certain bases of Hecke algebras defined by means of the Yang-Baxter equation, which we call Yang-Baxter bases. These bases are essentially self-adjoint with respect to a canonical bilinear form. In the case of the degenerate Hecke algebra, we identify the coefficients in the expansion of the Yang-Baxter basis on the usual basis of the algebra with specializations of double Schubert polynomials. We also describe the expansions associated to other specializations of the generic Hecke algebra.
Let $U$ be a quantized enveloping algebra. We consider the adjoint action of an $\mathfrak{sl}_2$-subalgebra of $U$ on a subalgebra of $U^+$ that is maximal integrable for this action. We categorify this representation in the context of quiver Hecke algebras. We obtain an action of the 2-category associated with $\mathfrak{sl}_2$ on a category of modules over certain quotients of quiver Hecke algebras. Our approach is similar to that of Kang-Kashiwara for categorifications of highest weight modules via cyclotomic quiver Hecke algebras. One of the main new features is a compatibility of the cat…
We identify the ring of odd symmetric functions introduced by Ellis and Khovanov as the space of skew polynomials fixed by a natural action of the Hecke algebra at q=-1. This allows us to define graded modules over the Hecke algebra at q=-1 that are `odd' analogs of the cohomology of type A Springer varieties. The graded module associated to the full flag variety corresponds to the quotient of the skew polynomial ring by the left ideal of nonconstant odd symmetric functions. The top degree component of the odd cohomology of Springer varieties is identified with the corresponding Specht module …
We propose a generalization of meanders, i.e., configurations of non-selfintersecting loops crossing a line through a given number of points, to SU(N). This uses the reformulation of meanders as pairs of reduced elements of the Temperley-Lieb algebra, a SU(2)-related quotient of the Hecke algebra, with a natural generalization to SU(N). We also derive explicit formulas for SU(N) meander determinants, defined as the Gram determinants of the corresponding bases of the Hecke algebra.