In this paper, we give a necessary and sufficient condition for a cyclotomic Brauer algebra being semisimple. This generalizes previous result for a Brauer algebra.
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.
We exhibit a correspondence between subcategories of modules over an algebra and sub-bimodules of the dual of that algebra. We then prove that the semisimplicity of certain such categories is equivalent to the existence of a Peter-Weyl decomposition of the corresponding sub-bimodule. Finally, we use this technique to establish the semisimplicity of certain finite-dimensional representations of the quantum double of sl_2 for generic q.
We show how to use Jantzen's sum formula for Weyl modules to prove semisimplicity criteria for endomorphism algebras of $\textbf{U}_q$-tilting modules (for any field $\mathbb{K}$ and any parameter $q\in\mathbb{K}-\{0,-1\}$). As an application, we recover the semisimplicity criteria for the Hecke algebras of types $\textbf{A}$ and $\textbf{B}$, the walled Brauer algebras and the Brauer algebras from our more general approach.
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.
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
We give a presentation of cyclotomic q-Schur algebras by generators and defining relations. As an application, we give an algorithm for computing decomposition numbers of cyclotomic q-Schur algebras.
We define the induction and restriction functors for cyclotomic q-Schur algebras, and study some properties of them. As an application, we categorify a higher level Fock space by using the module categories of cyclotomic q-Schur algebras.
Motivated by Brundan-Kleshchev's work on higher Schur-Weyl duality, we establish mixed Schur-Weyl duality between general linear Lie algebras and cyclotomic walled Brauer algebras in an arbitrary level. Using weakly cellular bases of cyclotomic walled Brauer algebras, we classify highest weight vectors of certain mixed tensor modules of general linear Lie algebras. This leads to an efficient way to compute decomposition matrices of cyclotomic walled Brauer algebras arising from mixed Schur-Weyl duality, which generalizes early results on level two walled Brauer algebras.
The cyclotomic Birman-Murakami-Wenzl (BMW) algebras B_n^k, introduced by R. Häring-Oldenburg, are a generalisation of the BMW algebras associated with the cyclotomic Hecke algebras of type G(k,1,n) (aka Ariki-Koike algebras) and type B knot theory. In this paper, we prove the algebra is free and of rank k^n (2n-1)!! over ground rings with parameters satisfying so-called "admissibility conditions". These conditions are necessary in order for these results to hold and originally arise from the representation theory of B_2^k, which is analysed by the authors in a previous paper. Furthermore, we o…
We construct an explicit isomorphism between blocks of cyclotomic Hecke algebras and (sign-modified) Khovanov-Lauda algebras in type A. These isomorphisms connect the categorification conjecture of Khovanov and Lauda to Ariki's categorification theorem. The Khovanov-Lauda algebras are naturally graded, which allows us to exhibit a non-trivial Z-grading on blocks of cyclotomic Hecke algebras, including symmetric groups in positive characteristic.
We prove a super Frobenius formula for the characters of the cyclotomic Hecke algebras by applying the super Schur-Weyl reciprocity between the quantum superalgebras and cyclotomic Hecke algebras, which is a super analogue of the Frobenius formula in (T. Shoji, J. Algebra 226: 2000, 818--856) and a cyclotomic analogue of the super Frobeinus formula in (H. Mitsuhashi, Linear Multilinear Algebra 58: 2010, 941--955).
An inductive approach to the representation theory of cyclotomic Hecke algebras, inspired by Okounkov and Vershik, is developed. We study the common spectrum of the Jucys-Murphy elements using representations of the simplest affine Hecke algebra. Representations are constructed with the help of a new associative algebra whose underlying vector space is the tensor product of the cyclotomic Hecke algebra with the free associative algebra generated by standard m-tableaux.
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.
The cyclotomic Birman-Murakami-Wenzl (or BMW) algebras B_n^k, introduced by R. Haring-Oldenburg, are extensions of the cyclotomic Hecke algebras of Ariki-Koike, in the same way as the BMW algebras are extensions of the Hecke algebras of type A. In this paper we focus on the case n=2, producing a basis of B_2^k and constructing its left regular representation.
In this paper, we prove that the cyclotomic BMW algebras B2p+1,n are cellular in the sense of [16]. We also classify the irreducible B2p+1,nmodules over a field.
Let $S$ be the cyclotomic $q$-Schur algebra associated to the Ariki-Koike algebra $H_{n,r}$ of rank $n$, introduced by Dipper-James-Mathas. For each $p = (r_1, ..., r_g)$ such that $r_1 + ... + r_g = r$, we define a subalgebra $S^p$ of $S$ and its quotient algebra $\bar S^p$. It is shown that $S^p$ is a standardly based algebra and $\bar S^p$ is a cellular algebra. By making use of these algebras, we show that certain decomposition numbers for $S$ can be expressed as a product of decomposition numbers for cyclotomic $q$-Schur algebras associated to smaller Ariki_koike algebras $H_{n_k,r_k}$.
Nazarov \cite{Nazarov:brauer} introduced an infinite dimensional algebra, which he called the \textit{affine Wenzl algebra}, in his study of the Brauer algebras. In this paper we study certain ``cyclotomic quotients'' of these algebras. We construct the irreducible representations of these algebras in the generic case and use this to show that these algebras are free of rank $r^n(2n-1)!!$ (when $Ω$ is $\bu$--admissible). We next show that these algebras are cellular and give a labelling for the simple modules of the cyclotomic Nazarov--Wenzl algebras over an arbitrary field. In particular, thi…
A complete system of primitive pairwise orthogonal idempotents for cyclotomic Hecke algebras is constructed by consecutive evaluations of a rational function in several variables on quantum contents of multi-tableaux. This function is a product of two terms, one of which depends only on the shape of the multi-tableau and is proportional to the inverse of the corresponding Schur element.
In this paper, we give a criterion on the semisimplicity of quantized walled Brauer algebras $\mathscr B_{r,s}$ and classify its simple modules over an arbitrary field $κ$.
Let $\Sc(\vL)$ be the cyclotomic $q$-Schur algebra associated to the Ariki-Koike algebra $\He_{n,r}$, introduced by Dipper-James-Mathas. In this paper, we consider $v$-decomposition numbers of $\Sc(\vL)$, namely decomposition numbers with respect to the Jantzen filtrations of Weyl modules. We prove, as a $v$-analogue of the result obtained by Shoji-Wada, a product formula for $v$-decomposition numbers of $\Sc(\vL)$, which asserts that certain $v$-decomposition numbers are expressed as a product of $v$-decomposition numbers for various cyclotomic $q$-Schur algebras associated to Ariki-koike alg…
We give a proof of a conjecture that Kleshchev multipartitions are those partitions which parametrize non-zero simple modules obtained as factor modules of Specht modules by their own radicals.
These are lecture notes prepared for London Mathematical Society Symposium "Quantum Groups" held in Durham 19-29 July 1999. We give a survey on cyclotomic Hecke algebras. These algebras have been studied by Dipper, James, Malle, Mathas and the author. In lecture one, we start with definitions. We then go on to Specht module theory of cyclotomic Hecke algebras constructed by Dipper, James and Mathas. In lecture two, we explain Ginzburg and Lusztig's theory on affine Hecke algebras and its application to cyclotomic Hecke algebras due to the author. As Kazhdan-Lusztig bases of Hecke algebras desc…
In our earlier work, we have proved a product formula for certain decomposition numbers of the cyclotomic v-Schur algebra associated to the Ariki-Koike algebra. It is conjectured by Yvonne that the decomposition numbers of this algebra can be described in terms of the canonical basis of the higher level Fock space studied by Uglov. In this paper we prove a product formula related to the canonical basis of the Fock space. In view of Yvonne's conjecture, this formula is regarded as a counter-part for the Fock space of our previous formula.
----- Please see the pdf file for the actual abstract and important remarks, which could not be put here due to the arXiv length restrictions. ----- This thesis presents a study of the cyclotomic BMW (Birman-Murakami-Wenzl) algebras, introduced by Haring-Oldenburg as a generalization of the BMW algebras associated with the cyclotomic Hecke algebras of type G(k,1,n) (also known as Ariki-Koike algebras) and type B knot theory involving affine/cylindrical tangles. They are shown to be free of rank k^n (2n-1)!! and to have a topological realization as a certain cylindrical analogue of the Kauffman…
In this paper, we go on Rui-Xu's work on cyclotomic Birman-Wenzl algebras $\W_{r, n}$ in \cite{RX}. In particular, we use the representation theory of cellular algebras in \cite{GL} to classify the irreducible $\W_{r, n}$-modules for all positive integers $r$ and $n$. By constructing cell filtrations for all cell modules of $\W_{r, n}$, we compute the discriminants associated to all cell modules for $\W_{r, n} $. Via such discriminats together with induction and restriction functors given in section~5, we determine explicitly when $\W_{r, n}$ is semisimple over a field. This generalizes our pr…
Let $k$ be a field, and $H$ a Hopf algebra with bijective antipode. If $H$ is commutative, noetherian, semisimple and cosemisimple, then the category ${}_{H}{\mathcal {YD}}^H$ of Yetter-Drinfeld modules is semisimple. We also prove a similar statement for the category of Long dimodules, without the assumption that $H$ is commutative.
We study on Weyl modules of cyclotomic $q$-Schur algebras. In particular, we give the character formula of the Weyl modules by using the Kostka numbers and some numbers which are computed by a generalization of Littlewood-Richardson rule. We also study corresponding symmetric functions. Finally, we give some simple applications to modular representations of cyclotomic $q$-Schur algebras.
We construct a new basis for a slim cyclotomic $q$-Schur algebra $\cysSr$ via symmetric polynomials in Jucys--Murphy operators of the cyclotomic Hecke algebra $\cysHr$. We show that this basis, labelled by matrices, is not the double coset basis when $\cysHr$ is the Hecke algebra of a Coxeter group, but coincides with the double coset basis for the corresponding group algebra, the Hecke algebra at $q=1$. As further applications, we then discuss the cyclotomic Schur--Weyl duality at the integral level. This also includes a category equivalence and a classification of simple objects.
Let $V\subseteq A$ be a conformal inclusion of vertex operator algebras and let $\mathcal{C}$ be a category of grading-restricted generalized $V$-modules that admits the vertex algebraic braided tensor category structure of Huang-Lepowsky-Zhang. We give conditions under which $\mathcal{C}$ inherits semisimplicity from the category of grading-restricted generalized $A$-modules in $\mathcal{C}$, and vice versa. The most important condition is that $A$ be a rigid $V$-module in $\mathcal{C}$ with non-zero categorical dimension, that is, we assume the index of $V$ as a subalgebra of $A$ is finite a…
In this article, we define and study the affine and cyclotomic Yokonuma-Hecke algebras. These algebras generalise at the same time the Ariki-Koike and affine Hecke algebras and the Yokonuma-Hecke algebras. We study the representation theory of these algebras and construct several bases for them. We then show how we can define Markov traces on them, which we in turn use to construct invariants for framed and classical knots in the solid torus. Finally, we study the Markov trace with zero parameters on the cyclotomic Yokonuma-Hecke algebras and determine the Schur elements with respect to that t…
An approach, based on Jucys--Murphy elements, to the representation theory of cyclotomic Hecke algebras is developed. The maximality (in the cyclotomic Hecke algebra) of the set of the Jucys--Murphy elements is established. A basis of the cyclotomic Hecke algebra is suggested; this basis is used to establish the flatness of the deformation without use of the representation theory.
We show some properties on a special case of level 1 cyclotomic KLR algebras of type $A_{n}^{(1)}$; the number of primitive idempotents, systematic change of structures, the dimension.
We prove a ``positive'' Jantzen sum formula for the Specht modules of the cyclotomic Hecke algebras of type~$A$. That is, in the Grothendieck group, we show that the sum of the pieces of the Jantzen filtration is equal to an explicit non-negative linear combination of modules $E^ν_{f,e}$, which are modular reductions of simple modules for closely connected Hecke algebras in characteristic zero. The coefficient of $E^ν_{f,e}$ in the sum formula is determined by the graded decomposition numbers in characteristic zero, which are known, and the characteristic of the field. As a consequence we see …
We introduce a Lie algebra $\mathfrak{g}_{\mathbf{Q}}(\mathbf{m})$ and an associative algebra $\mathcal{U}_{q,\mathbf{Q}}(\mathbf{m})$ associated with the Cartan data of $\mathfrak{gl}_m$ which is separated into $r$ parts with respect to $\mathbf{m}=(m_1, \dots, m_r)$ such that $m_1+ \dots + m_r =m$. We show that the Lie algebra $\mathfrak{g}_{\mathbf{Q}} (\mathbf{m})$ is a filtered deformation of the current Lie algebra of $\mathfrak{gl}_m$, and we can regard the algebra $\mathcal{U}_{q, \mathbf{Q}}(\mathbf{m})$ as a "$q$-analogue" of $U(\mathfrak{g}_{\mathbf{Q}}(\mathbf{m}))$. Then, we reali…
Recently a new class of quantum integrable models, the cyclotomic Gaudin models, were described in arXiv:1409.6937, arXiv:1410.7664. Motivated by these, we identify a class of affine hyperplane arrangements that we call cyclotomic discriminantal arrangements. We establish correspondences between the flag and Aomoto complexes of such arrangements and chain complexes for nilpotent subalgebras of Kac-Moody type Lie algebras with diagram automorphisms. As a byproduct, we show that the Bethe vectors of cyclotomic Gaudin models associated to diagram automorphisms are nonzero.
This paper investigates the tilting modules of the cyclotomic q-Schur algebras, the Young modules of the Ariki-Koike algebras, and the interconnections between them. The main tools used to understand the tilting modules are contragredient duality, and the Specht filtrations and dual Specht filtrations of certain permutation modules. Surprisingly, Weyl filtrations -- which are in general more powerful than Specht filtrations -- play only a secondary role.
Gordon James proved that the socle of a Weyl module of a classical Schur algebra is a sum of simple modules labelled by $p$-restricted partitions. We prove an analogue of this result in the very general setting of "Schur pairs". As an application we show that the socle of a Weyl module of a cyclotomic $q$-Schur algebra is a sum of simple modules labelled by Kleshchev multipartitions and we use this result to prove a conjecture of Fayers that leads to an efficient LLT algorithm for the higher level cyclotomic Hecke algebras of type $A$. Finally, we prove a cyclotomic analogue of the Carter-Lusz…
Given a vertex Lie algebra $\mathscr L$ equipped with an action by automorphisms of a cyclic group $Γ$, we define spaces of cyclotomic coinvariants over the Riemann sphere. These are quotients of tensor products of smooth modules over `local' Lie algebras $\mathsf L(\mathscr L)_{z_i}$ assigned to marked points $z_i$, by the action of a `global' Lie algebra ${\mathsf L}^Γ_{\{z_i \}}(\mathscr L)$ of $Γ$-equivariant functions. On the other hand, the universal enveloping vertex algebra $\mathbb V (\mathscr L)$ of $\mathscr L$ is itself a vertex Lie algebra with an induced action of $Γ$. This gives…
To any simple Lie algebra $\mathfrak g$ and automorphism $σ:\mathfrak g\to \mathfrak g$ we associate a cyclotomic Gaudin algebra. This is a large commutative subalgebra of $U(\mathfrak g)^{\otimes N}$ generated by a hierarchy of cyclotomic Gaudin Hamiltonians. It reduces to the Gaudin algebra in the special case $σ= \text{id}$. We go on to construct joint eigenvectors and their eigenvalues for this hierarchy of cyclotomic Gaudin Hamiltonians, in the case of a spin chain consisting of a tensor product of Verma modules. To do so we generalize an approach to the Bethe ansatz due to Feigin, Frenke…
Generalizing the construction of the cyclotomic Gaudin algebra from arXiv:1409.6937, we define the universal cyclotomic Gaudin algebra. It is a cyclotomic generalization of the Gaudin models with irregular singularities defined in arXiv:math/0612798. We go on to solve, by Bethe ansatz, the special case in which the Lax matrix has simple poles at the origin and arbitrarily many finite points, and a double pole at infinity.
We prove a Morita reduction theorem for the cyclotomic Hecke algebras H_{r,p,n}({q,Q})$ of type G(r,p,n). As a consequence, we show that computing the decomposition numbers of H_{r,p,n}(Q) reduces to computing the p'-splittable decomposition numbers of the cyclotomic Hecke algebras H_{r',p',n'}(Q'), where $1\le r'\le r$, $1\le n'\le n$, $ p'\mid p$ and where the parameters Q' are contained in a single $(ε,q)$-orbit and $ε$ is a primitive p'th root of unity.
In this paper we consider all possible generalizations of the B-type Hecke algebras, namely the cyclotomic and what we call 'generalized', and we construct Markov traces on each of them, so as to obtain all possible different levels of homfly-pt analogues in the solid torus related to the (Hecke) algebras of B-type.
The graded Specht module $S^λ$ for a cyclotomic Hecke algebra comes with a distinguished generating vector $z^λ\in S^λ$, which can be thought of as a "highest weight vector of weight $λ$". This paper describes the {\em defining relations} for the Specht module $S^λ$ as a graded module generated by $z^λ$. The first three relations say precisely what it means for $z^λ$ to be a highest weight vector of weight $λ$. The remaining relations are homogeneous analogues of the classical {\em Garnir relations}. The homogeneous Garnir relations, which are {\em simpler} than the classical ones, are associa…
Properties of relative traces and symmetrizing forms on chains of cyclotomic and affine Hecke algebras are studied. The study relies on a use of bases of these algebras which generalize a normal form for elements of the complex reflection groups $G(m,1,n)$, $m=1,2,\dots,\infty$, constructed by a recursive use of the Coxeter--Todd algorithm. Formulas for inducing, from representations of an algebra in the chain, representations of the next member of the chain are presented.
We develop a cyclotomic analogue of the theory of associators. Using a trigonometric version of the universal KZ equations, we prove the formality of a morphism B_n^1 -> (ZZ/N ZZ)^n rtimes S_n, where B_n^1 is a braid group of type B. The formality isomorphism depends algebraically on a series Psi_KZ, the ``KZ pseudotwist''. We study the scheme of pseudotwists and show that it is a torsor under a group GTM(N,k), mapping to Drinfeld's group GT(k), and whose Lie algebra is isomorphic to its associated graded grtm(N,k). We prove that Ihara's subgroup GTK of the Grothendieck-Teichmüller group, defi…