Semisimplicity Criteria for algebras with a Jones Basic Construction
We prove a semisimplicity criterion for a large class of algebras by a new method. This can be applied to Brauer, BMW, and $q$-Brauer algebras.
arXiv subjects
Publications and source records attributed to Frederick M. Goodman.
We prove a semisimplicity criterion for a large class of algebras by a new method. This can be applied to Brauer, BMW, and $q$-Brauer algebras.
We give a new proof that the restriction of a cell module of the Hecke algebra of the symmetric group on $n$ letters, to the Hecke algebra of the symmetric group on $n-1$ letters, has a filtration by cell modules.
We define a method which produces explicit cellular bases for algebras obtained via a Jones basic construction. For the class of algebras in question, our method gives formulas for generic Murphy--type cellular bases indexed by paths on branching diagrams and compatible with restriction and induction on cell modules. The construction given here allows for a uniform combinatorial treatment of cellular bases and representations of the Brauer, Birman-Murakami-Wenzl, Temperley-Lieb, and partition algebras, among others.
A cellular algebra is called cyclic cellular if all cell modules are cyclic. Most important examples of cellular algebras appearing in representation theory are in fact cyclic cellular. We prove that if $A$ is a cyclic cellular algebra, then the wreath product of $A$ with the symmetric group on $n$ letters is also cyclic cellular. We also introduce $A$--Brauer algebras, for algebras $A$ with an involution and trace. This class of algebras includes, in particular, $G$--Brauer algebras for non-abelian groups $G$. We prove that if $A$ is cyclic cellular then the $A$--Brauer algebras $D_n(A)$ are also cyclic cellular.
We relate the structure of cyclotomic and degenerate cyclotomic BMW algebras, for arbitrary parameter values, to that for admissible parameter values. In particular, we show that these algebras are cellular. We characterize those parameter sets for affine BMW algebras over an algebraically closed field that permit the algebras to have non--trivial cyclotomic quotients.
We study analogues of Jucys-Murphy elements in cellular algebras arising from repeated Jones basic constructions. Examples include Brauer and BMW algebras and their cyclotomic analogues.
We establish a framework for cellularity of algebras related to the Jones basic construction. Our framework allows a uniform proof of cellularity of Brauer algebras, ordinary and cyclotomic BMW algebras, walled Brauer algebras, partition algebras, and others. Our cellular bases are labeled by paths on certain branching diagrams rather than by tangles. Moreover, for the class of algebras that we study, we show that the cellular structures are compatible with restriction and induction of modules. Applied to cyclotomic BMW algebras, our method allows a new a shorter proof of the finite spanning result and isomorphism with cyclotomic Kauffman tangle algebras.
We study admissibility conditions for the parameters of degenerate cyclotomic BMW algebras. We show that the u-admissibility condition of Ariki, Mathas and Rui is equivalent to a simple module theoretic condition.
We show the equivalence of admissibility conditions proposed by Wilcox and Yu and by Rui and Xu for the parameters of cyclotomic BMW algebras.
We show that the cyclotomic Birman-Wenzl-Murakami algebras are cellular by producing a cellular basis of affine tangle diagrams.
The cyclotomic Birman-Wenzl-Murakami algebras are quotients of the affine BMW algebras in which the affine generator satisfies a polynomial relation. We show that the cyclotomic BMW algebras are free modules over any (admissible, integral) ground ring, and that they are isomorphic to cyclotomic versions of the Kauffman tangle algebras
The cyclotomic Birman-Wenzl-Murakami algebras are quotients of the affine BMW algebras in which the affine generator satisfies a polynomial relation. We study admissibility conditions on the ground ring for these algebras, and show that the algebras defined over an admissible integral ground ring $S$ are free $S$--modules and isomorphic to cyclotomic Kauffman tangle algebras. We also determine the representation theory in the generic semisimple case, obtain a recursive formula for the weights of the Markov trace, and give a sufficient condition for semisimplicity.
The ordinary (or classical) Birman-Wenzl-Murakami algebras were initially conceived as an algebraic framework for the Kauffman link invariant. They also appear as centralizer algebras for representations of quantum universal enveloping algebras of orthogonal or symplectic types. It was shown by Morton and Wassermann that the BMW algebras are isomorphic to algebras of tangles in (disc $\times$ interval), modulo Kauffman skein relations. This isomorphism allows one to see very clearly certain properties of the BMW algebras -- for example existence of Markov traces and conditional expectations and a good basis. In the present work, we establish the correponding results for affine BMW algebras, showing they are isomorphic to algebras of tangles in (annulus $\times$ interval), modulo Kaufffman skein relations. Again, this provides an important foundation for studying these algebras, as the existence of Markov traces and conditional expectations are consequences of the isomorphism. Moreover, we obtain a basis of the affine BMW algebras analogous to a well known basis of the affine Hecke algebras.
We generalize results of Mingo and Nica on graded independence from the context of $\mathbb Z_2$--graded (Fermionic) noncommutative probability spaces to that of $\mathbb Z_n$--graded noncommutative probability spaces. We show that for $q$ a primitive $n$-th root of unity, the $q$-cumulants defined by Nica linearize the addition of homogeneous $\mathbb Z_n$--graded independent random variables.
We prove the following result: For a generic value of the parameter, the Temperley-Lieb category has no non-zero, proper tensor ideal. When the parameter $d$ is equal to $2\cos(π/n)$ for some $n \ge 3$, then the Temperley-Lieb category has exactly one non-zero, proper ideal, namely the ideal of negligible morphisms.
We develop an algorithm for computing affine Kazhdan-Lusztig polynomials, for all Lie types. This generalizes our previously published algorithm for type A, which in turn is a faster version of an algorithm due to Lascouz, Leclerc and Thibon (proposed in the setting of Hecke algebras of type A, at roots of unity.)
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 the decomposition number $d_{λ, μ}$ is non-zero, and also appers to be a useful adjunct to the exact computation of the decomposition numbers.
We present a fast version of the algorithm of Lascoux, Leclerc, and Thibon for the lower global crystal base for the Fock representation of quantum affine sl_n. We also show that the coefficients of the lower global crystal base coincide with certain affine Kazhdan-Lusztig polynomials. It is known that the coefficients of the global crystal base are q-analogues of decomposition numbers for Specht modules of the Hecke algebra of type A_n, and that the coefficients of the affine Kazhdan-Lusztig polynomials are q-analogues of decomposition numbers for tilting modules for quantum sl_k. Thus our algorithm allows fast computation of these decomposition numbers.