arXiv:1609.06101v1 [math.RT] 20 Sep 2016

Clifford theory for Yokonuma–Hecke algebras and
deformation of complex reflection groups
N. Jacon and L. Poulain d’Andecy
Abstract
We define and study an action of the symmetric group on the Yokonuma–Hecke algebra. This leads to the definition
of two classes of algebras. The first one is connected with the image of the algebra of the braid group inside the
Yokonuma–Hecke algebras, and in turn with an algebra defined by Aicardi and Juyumaya known as the algebra of
braids and ties. The second one can be seen as new deformations of complex reflection groups of type G(d, p, n). We
provide several presentations for both algebras and a complete study of their representation theories using Clifford
theory.

1

Introduction

There are several known interesting ways to define an algebra deforming the group algebra of the complex
reflection group of type G(d, 1, n) (the wreath product Z/dZ ≀ Sn where d, n ∈ N>0 ). The first and maybe
the most famous way leads to the “Ariki–Koike algebra” whose representation theory has been intensively
studied in the last past decades, both in the semisimple and in the modular setting. Recently, several works
have been presented around another deformation of this group algebra: the Yokonuma–Hecke algebra Yd,n .
One reason of its recent interest comes from knot theory where the Yokonuma–Hecke algebra allows the
construction of knots and links invariants (in the same spirit as in the case of the Hecke algebra of type A).
The aim of this paper is to define two new remarkable types of algebras using the Yokonuma–Hecke
algebra, to study their structures and their representation theories. To do this, we use a very natural action
(by automorphisms) of the symmetric group Sd on the Yokonuma–Hecke algebra Yd,n and we define our
algebras to be the algebras of fixed points, first under the action of the full symmetric group Sd , and second
under the action of a certain subgroup Z/pZ of Sd (where p divides d).
Sd
We show that, over a suitable base ring, the subalgebra Yd,n
of fixed points under the action of Sd
coincides with the image of the group algebra of the braid group inside the Yokonuma–Hecke algebra. In
other words, it coincides with the subalgebra generated by the images of the braid generators. In particular,
Sd
the subalgebra Yd,n
is connected with an algebra defined in [1] by A. Aicardi and J. Juyumaya which has
applications again in knot theory [2]. This algebra, called the algebra of braids and ties BTn , is defined as
an abstract algebra by generators and relations. In [12] and [5], Espinoza and Ryom-Hansen have shown
that, when d ≥ n, the algebra BTn is isomorphic to the subalgebra of Yd,n generated by the images of the
braid generators. The authors also studied the representation theory of BTn . They gave a construction of
the irreducible representations in the semisimple case using a cellular structure.
As a consequence of the results of this paper, we obtain that the algebra BTn is isomorphic to the
Sd
algebra Yd,n
of fixed points under the action of the symmetric group. We moreover show that the algebra
BTn is isomorphic to the subalgebra generated by the images of the braid generators if and only if d ≥ n
(in particular, we give a different proof of the “if” part using the description as a subalgebra of fixed points).
Importantly, this approach allows to study the representation theory, in both the semisimple and the modular
Sd
situations, of the algebra BTn (as a particular case of Yd,n
) in a quite simple way using Clifford theory and
the known representation theory of Yd,n . This gives a more conceptual proof for the parametrization result
of the simple modules obtained in [12] in the semisimple case, and a new parametrization result in the non
semisimple one.
1

The second class of algebras provide deformations of the group algebras of complex reflection groups
of type G(d, p, n), as we will explain now. As noted above, the Yokonuma–Hecke algebra can be seen as
a deformation of the complex reflection groups of type G(d, 1, n). The complex reflection groups of this
type are particular cases of the unique infinite family G(d, p, n) (where p divides d) of irreducible complex
reflection groups in the classification by Shephard and Todd. Thus, it is natural to ask if one can define a
new class of algebras deforming the whole infinite series in the same spirit as the Yokonuma–Hecke algebra
deforms the group algebra of G(d, 1, n). We here show that such algebras naturally appear in our setting. To
do this, if p is an integer dividing d, we consider the action of the cyclic group Z/pZ (as a subgroup of Sd )
Z/pZ
by automorphisms on Yd,n . We then show that the subalgebra of fixed points Yd,n can be interpreted as a
(new) deformation of the group algebra of the complex reflection group of type G(d, p, n), thus generalizing
the known description of G(d, p, n) as a subgroup of G(d, 1, n). In particular, for p = d = 2, we obtain a
deformation of the group algebra of the Weyl group of type Dn , and we will provide in this case a rather
simple explicit presentation.
Z/pZ
We study the structure of the algebra Yd,n by giving several bases and presentations of it. In particular,
we show that this deformation can be described as a quotient of the braid group of type G(d, p, n) over certain
relations that we give explicitly. We moreover study its representation theory, again in both the semisimple
and modular cases using Clifford theory. We note that, as for the Yokonuma–Hecke algebra in the G(d, 1, n)
situation, a parametrization of the simple modules is easier to obtain than for the usual Hecke algebras
associated to these complex reflection groups.
The paper will be organized as follows. We describe the action of the symmetric group Sd on the
Yokonuma–Hecke algebra in Section 2. This action is then intensively used in the rest of the paper. In
Section 3, we recall several aspects of the representation theory of the Yokonuma–Hecke algebra. We then
use Clifford theory to obtain a parametrization result of the simple modules for the subalgebra of fixed points
of Yd,n under the action of an arbitrary subgroup of Sd . The two last parts are then devoted to the study
of the subalgebra of fixed points in two particular cases. Section 4 concerns the case of the full symmetric
group, while Section 5 deals with the subgroups Z/pZ.
Acknowledgement. The first author is supported by Agence National de la Recherche Project ACORT
ANR-12-JS01-0003.

2

Yokonuma–Hecke algebras and action of the symmetric group

Let d, n ∈ Z>0 and q be an indeterminate. In this section, we work over the ring C[q, q −1 ]. We here recall
the definition of the Yokonuma–Hecke algebras Yd,n and some of the properties we need in the following. We
end the section with the definition of the action of the symmetric group Sd on Yd,n .

2.1

Definitions

We denote Sn the symmetric group on n letters and πj , for j ∈ {1, . . . , n−1} the transposition (j, j+1) ∈ Sn .
The Yokonuma–Hecke algebra Yd,n is the associative C[q, q −1 ]-algebra with generators
g1 , . . . , gn−1 , t1 , . . . , tn ,
subject to the following defining relations (1)–(2):
gi gj
gi gi+1 gi
gi2

=
=
=

ti tj
g i tj
tdj

gj gi
gi+1 gi gi+1
1 + (q − q −1 ) ei gi
= tj ti
= tπi (j) gi
= 1

for i, j ∈ {1, . . . , n − 1} such that |i − j| > 1 ,
for i ∈ {1, . . . , n − 2} ,
for i ∈ {1, . . . , n − 1} ,
for i, j ∈ {1, . . . , n} ,
for i ∈ {1, . . . , n − 1} and j ∈ {1, . . . , n} ,
for j ∈ {1, . . . , n} ,
2

(1)

(2)

where ei :=

1 X s −s
ti ti+1 for i = 1, . . . , n − 1. The elements ei are idempotents and we have:
d
1≤s≤d

gi−1 = gi − (q − q −1 )ei

for all i = 1, . . . , n − 1 .

(3)

We note also the following easily verified characteristic equation for the generators gi :
(gi2 − 1)(gi2 − (q − q −1 )gi − 1) = 0 ,

for all i = 1, . . . , n − 1 .

(4)

Let w ∈ Sn and πi1 . . . πik a reduced expression for w. We define gw := gi1 . . . gik . Then the following set
forms a basis of Yd,n [8]:
αn
1
{ tα
1 . . . tn gw | α1 , . . . , αn ∈ {1, . . . , d} , w ∈ Sn } .

(5)

As a consequence, the commutative subalgebra Td,n := ht1 , . . . , tn i of Yd,n generated by t1 , . . . , tn is isomorphic to the group algebra of (Z/dZ)n over C[q, q −1 ].

2.2

Another presentation of Yd,n

Ordered partitions of {1, . . . , n}. For the definition below, note that for I = (I1 , . . . , Id ) ∈ Pd (n), some of
the subsets I1 , . . . , Id are allowed to be empty. We emphasize that the ordering of the subsets in I is relevant.
Definition 2.1. An ordered partition of {1, . . . , n} is a multiplet (I1 , . . . , Id ) of d pairwise disjoint subsets of
{1, . . . , n} such that I1 ∪ · · · ∪ Id = {1, . . . , n}. We denote by Pd (n) the set of ordered partitions of {1, . . . , n}
into d parts.
Let I = (I1 , . . . , Id ) ∈ Pd (n) and j ∈ {1, . . . , n}. We define the “position” of j in I by
posj (I) := a ,

if j ∈ Ia .

(6)

Let I = (I1 , . . . , Id ) ∈ Pd (n). We consider the following two natural actions of symmetric groups Sn and
Sd on the set Pd (n):
• Let π ∈ Sn . We set:


π(I) := π(I1 ), . . . , π(Id ) ,

where π(S) := {π(s) | s ∈ S} for any S ⊂ {1, . . . , n}.
• Let σ ∈ Sd . We set:


I σ := Iσ−1 (1) , . . . , Iσ−1 (d) .

We note that, for any i ∈ {1, . . . , n} and σ ∈ Sd , we have (recall that posi (I) ∈ {1, . . . , d} by definition):

posi (I σ ) = σ posi (I) .
(7)

Characters of Td,n . Recall that the subalgebra Td,n = ht1 , . . . , tn i of Yd,n is isomorphic to the group algebra
of (Z/dZ)n . We will implicitly make and use this identification in all the following.
Let {ξ1 , . . . , ξd } be the set of complex roots of unity of order d such that ξ1 := exp(2iπ/d) and ξj = ξ1j
for j = 1, . . . , d. An irreducible complex character χ of the subalgebra Td,n is determined by the choice of
χ(tj ) ∈ {ξ1 , . . . , ξd } for each j = 1, . . . , n.
The set of irreducible complex characters of Td,n is in bijection with the set Pd (n). The bijection is given
by associating to a character χ the ordered partition I(χ) ∈ Pd (n) defined by
I(χ) = (I(χ)1 , . . . , I(χ)d ) ,

where I(χ)a := {j ∈ {1, . . . , n} | χ(tj ) = ξa } .

(8)

Furthermore, the symmetric group Sn acts naturallyon the set of irreducible complex characters of Td,n .
For π ∈ Sn , the character π(χ) is defined by π(χ) tj := χ(tπ−1 (j) ), for j = 1, . . . , n. It is straightforward
3

to check that this action corresponds to the action of Sn on Pd (n) given above in the following sense: the
character π(χ) corresponds to π(I) if χ corresponds to the partition I (that is, π I(χ) = I π(χ) ).
Now, for χ an irreducible complex character of Td,n , let Eχ be the corresponding primitive idempotent.
A formula for Eχ is:

Y 1 X
Eχ =
χ(ti )s t−s
.
(9)
i
d
1≤i≤n

1≤s≤d

The primitive idempotents Eχ , where χ runs over the set of irreducible complex characters, form a complete
set of pairwise orthogonal idempotents of Td,n . In particular, they form a basis of the subalgebra Td,n .
Therefore, for i ∈ {1, . . . , n − 1}, the element ei can be expressed in terms of the primitive idempotents
Eχ . Explicitly, since we have χ(ei ) = 1 if χ(ti ) = χ(ti+1 ) and 0 otherwise, we obtain
X
Eχ ,
(10)
ei =
χ(ti )=χ(ti+1 )

where the sum is over all irreducible complex characters χ such that χ(ti ) = χ(ti+1 ).
Another presentation of Yd,n . For I ∈ Pd (n), we define EI := Eχ , where χ is the character such that
I = I(χ). From the knowledge of the basis (5) of Yd,n , it follows that the following set also forms a basis of
Yd,n :
{ EI gw | I ∈ Pd (n) , w ∈ Sn } .
(11)
In particular, the algebra Yd,n is generated by the elements
and

g1 , . . . , gn−1

EI , I ∈ Pd (n) .

(12)

A set of defining relations is (1) together with:
EI EJ
gi EI
P
I∈Pd (n) EI

=
=
=

for I, J ∈ Pd (n) ,
for i ∈ {1, . . . , n − 1} and I ∈ Pd (n) ,

δI,J EI
Eπi (I) gi
1,

where, following (10), we have now, for i = 1, . . . , n − 1,
X
ei =

EI ,

(13)

(14)

I ∈ Pd (n)
posi (I) = posi+1 (I)

where posj (I) is the position defined in (6). Relations (13) are obviously satisfied in Yd,n . The stronger
assertion that they form with (1) a set of defining relations follows easily from the fact that they allow to
write any product of the generators (12) as a linear combination of the basis elements (11).

2.3

Action of Sd on Yd,n

Let σ ∈ Sd . We define a linear map Yd,n ∋ x 7→ xσ ∈ Yd,n by extending linearly the following formula:
(EI gw )σ := EI σ gw ,

for I ∈ Pd (n) and w ∈ Sn .

(15)

Proposition 2.2. The map (15) induces an action of Sd on Yd,n by automorphisms of algebras.
Proof. Let σ ∈ Sd . The map (15) is given on the generators of Yd,n by
EIσ := EI σ , for I ∈ Pd (n),

and

giσ := gi , for i = 1, . . . , n − 1.

(16)

We shall check that the map x 7→ xσ is an algebra automorphism of Yd,n , by verfying that the formulas (16)
preserve the defining relations (1) and (13).
4

We first consider the defining relations (1). For the braid relations, there is nothing to check. For the
quadratic relation, it is enough to note that eσi = ei . This follows directly from Formula (14) together with
the obvious fact that posi (I σ ) = posi+1 (I σ ) if and only if posi (I) = posi+1 (I). Now, it remains to consider
the defining relations (13).
• First, we note that, for I, J ∈ Pd (n), we have I σ = J σ if and only if I = J (all the stabilizers of the
action of Sd on Pd (n) are trivial). This gives the first line of (13).
• For the second line, it is enough to remark that the two actions of Sn and Sd on Pd (n) commute, and
therefore πi (I σ ) = πi (I)σ for any i ∈ {1, . . . , n − 1} and I ∈ Pd (n).
P
P
• For the third line of (13), we have obviously I∈Pd (n) EI σ = I∈Pd (n) EI .

The proof of the proposition is concluded by noticing that Formulas (15), for σ ∈ Sd , indeed define an action
of Sd on Yd,n since I 7→ I σ is an action of Sd on Pd (n).
G
For any subgroup G of Sd , G acts on Yd,n by automorphisms. We denote Yd,n
the subalgebra of Yd,n of
G
fixed points under the action of G. Namely, the subalgebra Yd,n is formed by elements x of Yd,n satisfying
xσ = x for any σ ∈ G.

3

Representation theory of Yd,n

In this part, we study the representation theory of the Yokonuma–Hecke algebra using an isomorphism
theorem that we first recall. Let θ : C[q, q −1 ] → C be a specialization. Our results will concern the algebras
G
G
Cθ Yd,n := C ⊗C[q,q−1 ] Yd,n and Cθ Yd,n
:= C ⊗C[q,q−1 ] Yd,n
for G, an arbitrary subgroup of Sd .

3.1

An isomorphism theorem

Compositions of n. Let Comp
P d (n) be the set of d-compositions of n, that is the set of d-tuples µ =
(µ1 , . . . , µd ) ∈ Zd≥0 such that 1≤a≤d µa = n. We denote µ =|d n.
For µ =|d n, the Young subgroup Sµ is the subgroup Sµ1 × · · · × Sµd of Sn , where Sµ1 acts on the
letters {1, . . . , µ1 }, Sµ2 acts on the letters {µ1 + 1, . . . , µ2 }, and so on.
For µ = (µ1 , . . . , µd ) =|d n, we define P(µ) to be the subset of Pd (n) consisting of ordered partitions
(I1 , . . . , Id ) satisfying in addition |Ia | = µa for a = 1, . . . , d.
Finally, the natural action of Sd on the set of compositions of n into d parts is given by
µσ := (µσ−1 (1) , . . . , µσ−1 (d) )
if µ = (µ1 , . . . , µd ) =|d n. We then have naturally I σ ∈ P(µσ ) if I ∈ P(µ). We set
mµ := |P(µ)| =

n!
.
µ1 !µ2 ! . . . µd !

Hecke algebra. By definition, the Iwahori–Hecke algebra Hn over C[q, q −1 ] has a presentation by generators
T1 , . . . , Tn−1 and relations
Ti Tj
Ti Ti+1 Ti
Ti2

=
=
=

Tj Ti
Ti+1 Ti Ti+1
1 + (q − q −1 )Ti

for i, j ∈ {1, . . . , n − 1} such that |i − j| > 1 ,
for i ∈ {1, . . . , n − 2} ,
for i ∈ {1, . . . , n − 1} ,

(17)

If µ =|d n, we denote by Hµ the algebra Hµ1 ⊗ . . . ⊗ Hµd . As usual, if θ : C[q, q −1 ] → C is a specialization,
we denote by Cθ Hn and Cθ Hµ the associated specialized algebras.

5

Isomorphism. In [7], an algebra isomorphism
M

Ψd,n : Yd,n →

Matmµ (Hµ )

(18)

µ=|d n

is given. Such an isomorphism has been previously obtained in [9], even in a more general setting. For
x ∈ Yd,n , the element Ψd,n (x) is thus a collection of matrices indexed by compositions of n into d parts.
Moreover, rows and columns of a matrix in Matmµ (Hµ ) are indexed by the set P(µ). Thus, the element
Ψd,n (x) is given by:

(Ψd,n (x)I,J )I,J∈P(µ) µ=| n .
d

We will give the images by Ψd,n of the generators EI , I ∈ Pd (n), and g1 , . . . , gn−1 , by giving their
non-zero coefficients.
First, let I ∈ Pd (n). Let µ =|d n be the composition such that I ∈ P(µ). Then, the only non-zero
coefficient in Ψd,n (EI ) is
Ψd,n (EI )I,I = 1 ;

In other words, the image of EI is the elementary matrix in Matmµ Hµ with 1 in the diagonal position
corresponding to I.
Let i ∈ {1, . . . , n − 1} and recall that πi := (i, i + 1). The non-zero coefficients in Ψd,n (gi ) are
(
1
if πi (I) 6= I ,
Ψd,n (gi )I,πi (I) =
(19)
1 ⊗ . . . 1 ⊗ Tk ⊗ 1 · · · ⊗ 1
if πi (I) = I ,
where I varies in Pd (n), and, in the second line above, Tk is in the a-th factor if posi (I) = a and k is
determined by k = ♯{j ∈ Ia | j ≤ i}.

3.2

Representation theory

Simple modules. From the isomorphism (18), we have that any simple module for Cθ Yd,n is of the form
V = (V1 ⊗ . . . ⊗ Vd )mµ = (V1 ⊗ . . . ⊗ Vd ) ⊗ Wµ ,

(20)

where Va is an irreducible module for Cθ Hµa for each a ∈ {1, . . . , d}, and Wµ is a vector space with basis
{wI }I∈P(µ) .
Let (v1 ⊗ · · · ⊗ vd ) ⊗ wI be an arbitrary vector in V . Then the action of the generators of Cθ Yd,n is given
as follows:


and
EJ (v1 ⊗ · · · ⊗ vd ) ⊗ wI = 0 if J 6= I , (21)
EI (v1 ⊗ · · · ⊗ vd ) ⊗ wI = (v1 ⊗ · · · ⊗ vd ) ⊗ wI
(
(v1 ⊗ · · · ⊗ vd ) ⊗ wπi (I)
if πi (I) 6= I ,

gi (v1 ⊗ · · · ⊗ vd ) ⊗ wI =
(22)
(v1 ⊗ · · · ⊗ Tk (va ) ⊗ · · · ⊗ vd ) ⊗ wI
if πi (I) = I ,

where a and k are determined as in (19).

Parametrization. Let us now study more precisely the representation theory of Yd,n using the isomorphism
(18). This will be needed in the following. We also fix several useful additional notations. To this extent,
consider the Hecke algebra Cθ Hn . Let us denote :
e := min{i > 0 | 1 + θ(q)2 + . . . + θ(q)2i−2 = 0}.
(we set e = ∞ if no such integer exist)

6

Then, by Dipper-James (see [6, Thm. 3.5.14]) the simple Cθ Hn -modules are labeled by the set of eregular partitions of rank n which we denote by Λen (with the convention that Λ∞
n =: Λn is the set of all
partitions of rank n). We thus have:
Irr(Cθ Hn ) = {V λ | λ ∈ Λen }.
Now for µ = (µ1 , . . . , µd ) ∈ Compd (n), let us denote
Λeµ := {λ = (λ1 , . . . , λd ) |∀i ∈ {1, . . . , d}, λi ∈ Λeµi }
For λ = (λ1 , . . . , λd ) ∈ Λeµ , we also set :
d

1

V λ = (V λ ⊗ . . . ⊗ V λ ) ⊗ Wmµ .
In our situation, using the isomorphism (18), we get (see [7, §4.1]):
Irr(Cθ Yd,n ) = {V λ | λ ∈ Λeµ , µ ∈ Compd (n)}.
We denote by y(λ, e) the dimension of V λ (it indeed only depends on e and λ). We have:
Y
y(λ, e) = mµ .
y(λi , e),
1≤i≤d

where µ = (|λ1 |, . . . , |λd |) and, for i = 1, . . . , d, the number y(λi , e) is the dimension of the simple Hµi i
module V λ . Note that if e ∈ N, this dimension may be recursively computed using the LLT algorithm and
the connection with the theory of canonical bases for Fock spaces (we refer to [6, Ch. 4, 5] for details.) In
the case where e = ∞, all partitions are e-regular. Moreover, the dimension is given in thise case by n!
divided by the product of the hook lengths of the Young diagrams of the λi ’s.
Relation with cyclotomic Ariki-Koike algebras. The algebra Yd,n is a deformation of the complex reflection
group of type G(d, 1, n) over C[q, q −1 ]. On the other hand, there exists another well known one-parameter
deformation of G(d, 1, n) over C[q, q −1 ]: the cyclotomic (specialization of) Ariki–Koike algebra (see [6, §5.5]).
Let (m1 , . . . , md ) ∈ Nd and set ηd := exp(2iπ/d). The cyclotomic Ariki–Koike algebra Hd,n has a presentation
by generators T0 , T1 , . . . , Tn−1 and relations :
Ti Tj
Ti Ti+1 Ti
T0 T1 T0 T1
Ti2

=
=
=
=

Tj Ti
Ti+1 Ti Ti+1
T1 T0 T1 T0 ,
1 + (q − q −1 ) Ti

for i, j ∈ {1, . . . , n − 1} such that |i − j| > 1 ,
for i ∈ {1, . . . , n − 2} ,

(23)

for i ∈ {1, . . . , n − 1} ,

together with the relation
(T0 − ηd0 q 2m1 )(T0 − ηd1 q 2m2 ) . . . (T0 − ηdd−1 q 2md ) = 0
It is natural to ask if Yd,n and Hd,n are isomorphic over C[q, q −1 ]. They are both free with the same
rank and moreover, with the specialization θ1 : C[q, q −1 ] → C such that θ1 (q) = ±1, we get two algebras
Cθ1 Yd,n and Cθ1 Hd,n which are both isomorphic to the group algebra of the complex reflection group of type
G(d, 1, n) over C.
To answer this question, we can consider a specialization θ : C[q, q −1 ] → C such that θ(q)2 is a primitive
root of unity of order d > 1 and remark that the number of simple modules for both algebras are different
in general. More precisely, thanks to Ariki’s theory and the connections with the crystal basis theory for
quantum groups, several possible parametrizations for the set of simple Cθ Hd,n -modules are available. One
can use the parametrization obtained in [6, §5] to deduce that the parametrization set of the simple modules
of Cθ Yd,n that we get here is strictly contained in the one obtained in for Cθ Hd,n in the case where n ≥ d.
As a consequence, the two algebras Yd,n and Hd,n cannot be isomorphic.
7

Action of Sd on representations. The action of Sd on Yd,n is translated as an action of Sd on the set of
representations of Cθ Yd,n . Let σ ∈ Sd and ρ : Cθ Yd,n → EndC (V ) be a representation of Cθ Yd,n . Then V σ
is the Cθ Yd,n -module with the same underlying vector space as V and with action given by ρσ (x) := ρ(xσ )
for x ∈ Cθ Yd,n .
Let V be a simple module as in (20) and let σ ∈ Sd . We define a linear map Φσ from the vector space
V to the vector space (Vσ−1 (1) ⊗ . . . ⊗ Vσ−1 (d) ) ⊗ Wµσ by
Φσ : (v1 ⊗ · · · ⊗ vd ) ⊗ wI 7→ (vσ−1 (1) ⊗ . . . ⊗ vσ−1 (d) ) ⊗ wI σ .

(24)

We note that Φσ ◦ Φσ′ = Φσσ′ .
Lemma 3.1. The map Φσ gives the following isomorphism of Cθ Yd,n -modules:
Vσ

−1

∼
= (Vσ−1 (1) ⊗ . . . ⊗ Vσ−1 (d) ) ⊗ Wµσ ,

(25)

Proof. We need to prove that, for x ∈ Cθ Yd,n and v ∈ V , we have
−1

Φσ (xσ · v) = x · Φσ (v) .

(26)

Recall that on the generators of Cθ Yd,n , we have EIσ = EI σ and giσ = gi . Then, from Formulas (21)-(22)
giving the action of the generators on V , it is straightforward to check that (26) is satisfied.

3.3

Clifford theory

Let G be a subgroup of Sd . For each V ∈ Irr(Cθ Yd,n ), we set
HV (G) := {g ∈ G | V g ≃ V }
to be the inertia subgroup of V with respect to G. Note that for σ ∈ Sd , we have HV (G) = σHV σ (G)σ −1 ,
and so, in particular, we have HV (G) ∼
= HV σ (G).
The maps Φσ , with σ ∈ HV (G), studied above provide a representation of HV (G) on V , and moreover,
G
this action of HV (G) commutes with the action of Cθ Yd,n
; this follows from (26).
The following proposition is a formulation in our situation of a more general result which can be found
in [11, Th. A.13].
G
Proposition 3.2. For all V ∈ Irr(Cθ Yd,n ), we have a decomposition as a Cθ Yd,n
⊗ CHV (G)-module:

V =

M

VM ⊗ M ,

M∈Irr(HV (G))
G
and the non zero VM give a complete set of simple Cθ Yd,n
-modules. Moreover, for (V, W ) ∈ Irr(Cθ Yd,n )2 ,
M ∈ Irr(HV (G)) and M ′ ∈ Irr(HW (G)), we have VM ≃ WM ′ if and only if, first, there exists g ∈ G such
that V ≃ W g and second, identifying HV (G) with HW (G), we have M ≃ M ′ .
G
Hence, to obtain a concrete description of the simple Cθ Yd,n
-modules, it is now necessary to understand
which modules VM are non zero. In our case, the situation is quite simple as we can notice in the following
proposition.

Proposition 3.3. Keeping the above notations, for all V ∈ Irr(Cθ Yd,n ) and M ∈ Irr(HV (G)), we have
VM 6= 0. In addition, we have:
dimC (V ). dimC (M )
dimC (VM ) =
.
♯HV (G)

8

Proof. Let V = (V1 ⊗ . . . Vd ) ⊗ Wµ ∈ Irr(Cθ Yd,n ) as in (20). Let v = (v1 ⊗ · · · ⊗ vd ) ⊗ wI ∈ V . We recall
that the action I 7→ I σ of Sd is is semiregular (that is, all the stabilizers are trivial). Therefore, it follows
that such a vector v has a trivial stabilizer under the action of HV (G) described in (24). Denoting Xv the
subspace of V generated by al the {Φσ (v)}σ∈HV (G) , we obtain that Xv is isomorphic as a HV (G)-module to
the regular representation.
As a consequence of the preceding discussion, we have that V is isomorphic, as a HV (G)-module, to
a direct sum of finitely many copies of the regular representation. The number of copies is obviously
dimC (V )
. This shows that all the modules VM are non zero and moreover that the multiplicity of M in the
♯HV (G)
decomposition of V as a HV (G)-module is
dimC (V ).dimC (M )
.
♯HV (G)
This proves the formula for dimC (VM ) and concludes the proof.

4

Action of the symmetric group

In this section, we consider the action of the full symmetric group Sd on Yd,n . We consider the algebra of
fixed points under this action, study its structure and its relation with the algebra of braid and ties.

4.1

Sd
Subalgebra Yd,n

Let Pd (n)/Sd denote the set of orbits of Pd (n) under the action of Sd . By definition of Pd (n) and of the
action of Sd on it, the orbits are in bijection with the (unordered) partitions of {1, . . . , n} into d parts:

Pd (n)/Sd = {I1 , . . . , Id } such that I1 ∪ · · · ∪ Id = {1, . . . , n} .
Note again that some parts among I1 , . . . , Id can be empty. Denote
Bd (n) := |Pd (n)/Sd | ,
the cardinal of Pd (n)/Sd , which is the number of partitions of {1, . . . , n} into at most d parts.
Let [I] ∈ Pd (n)/Sd be the orbit of some element I ∈ Pd (n). We set
X
EI σ .
E[I] :=
σ∈Sd

From Formula (15) giving the action of Sd on Yd,n , it follows at once that
{ E[I] gw | [I] ∈ Pd (n)/Sd , w ∈ Sn }

(27)

Sd
Sd
is a C[q, q −1 ]-basis of the subalgebra Yd,n
. In particular, Yd,n
is free of rank:
Sd
rk(Yd,n
) = Bd (n) n! .

Elements e[I] .

(28)

We introduce some notations. First, for any i, j ∈ {1, . . . , n}, let
ei,j :=

1 X s −s
ti tj ,
d

(29)

1≤s≤d

so that we have in particular ei = ei,i+1 for i = 1, . . . , n − 1. Note also that ei,i = 1 by definition, and that
these elements ei,j commute with each other. Then, for I ∈ Pd (n), we set
Y
Y
(1 − ei,j ) .
(30)
ei,j ·
e[I] :=
i, j = 1, . . . , n
posi (I) 6= posj (I)

i, j = 1, . . . , n
posi (I) = posj (I)

9

The element e[I] depends only on the class [I] since it depends only on the subsets I1 , . . . , Id forming the
ordered partition I and not on their ordering.
Lemma 4.1. Let I ∈ Pd (n). We have:
e[I] = E[I] .
Proof. By definition of E[I] , it is the unique element of Td,n satisfying, for all complex characters χ of Td,n ,
χ(E[I] ) = 1

if I(χ) ∈ [I],

and

χ(E[I] ) = 0 otherwise ,

(31)

where I(χ) is the ordered partition in Pd (n) corresponding to χ. The condition I(χ) ∈ [I] means that
I(χ) = I σ for some σ ∈ Sd . From the definition of I(χ), this is equivalent to the property that,
for i, j = 1, . . . , n :

posi (I) = posj (I)

⇐⇒

χ(ti ) = χ(tj ) .

On the other hand, we have, for any i, j ∈ {1, . . . , n} and any character χ, that χ(ei,j ) = 1 if χ(ti ) = χ(tj )
and χ(ei,j ) = 0 otherwise. Therefore, the element e[I] satisfies the same formulas (31) as the element E[I]
and thus coincides with it.
Sd
Proposition 4.2. The subalgebra Yd,n
of Yd,n coincides with the subalgebra generated by g1 , . . . , gn−1 and
e1 , . . . , en−1 .
Sd
Proof. From Formulas (16) giving the action of Sd on Yd,n , we have immediately that g1 , . . . , gn−1 ∈ Yd,n
.
Sd
The fact that e1 , . . . , en−1 ∈ Yd,n follows directly from Formula (14) with the remark that the property
posi (I) = posi+1 (I) is unaltered by the action of Sd on I.
Sd
Reciprocally, Lemma 4.1 shows that any element of the basis (27) of Yd,n
is in the subalgebra generated
by g1 , . . . , gn−1 and e1 , . . . , en−1 .

Remark 4.3.
Sd
(i) Due to Proposition 4.2, the algebra Yd,n
of fixed points under the action of the symmetric group Sd
has the following interpretation and motivation in connections with knot theory. The generators gi ’s
are invertible and satisfy the braid relations, thus providing a morphism from the algebra of the braid
group on n strands into Yd,n . By definition, the image of this morphism is the subalgebra generated
by elements gi±1 ’s.

Let extend the ring C[q, q −1 ] by localizing it with respect to q − q −1 . Over this extended ring, it follows
Sd
from Proposition 4.2 and the formula gi−1 = gi − (q − q −1 )ei that Yd,n
coincides with the subalgebra
±1
generated by the gi ’s, and therefore coincides with the image of the algebra of the braid group inside
Yd,n .
(ii) Due to the characteristic equation (4), the image of the algebra of the braid group (over C[q, q −1 ])
inside Yd,n can also be described as the subalgebra generated only by the generators gi ’s.

4.2

The algebra of braids and ties

The algebra BTn is the associative C[q, q −1 ]-algebra with generators

subject to the defining relations:


gei gej = e
gj gei

gei gei+1 e
gi = e
gi+1 e
gi gei+1


gei2 = 1 + (q − q −1 ) eei e
gi

g1 , . . . , gen−1 , ee1 , . . . , een−1 ,
e
for i, j ∈ {1, . . . , n − 1} such that |i − j| > 1 ,
for i ∈ {1, . . . , n − 2} ,
for i ∈ {1, . . . , n − 1} ,
10

(32)















ee2i
eei e
ej
gei e
ej
eei gej gei
eei eej e
gj

=
=
=
=
=

eei
eej eei
eej gei
gj gei eej
e
eei gej eei

=

for
for
for
for
for

gj e
e
ei eej

i ∈ {1, . . . , n − 1} ,
i, j ∈ {1, . . . , n − 1} ,
i, j ∈ {1, . . . , n − 1} such that |i − j| 6= 1 ,
i, j ∈ {1, . . . , n − 1} such that |i − j| = 1 ,
i, j ∈ {1, . . . , n − 1} such that |i − j| = 1 .

(33)

It is a straightforward verification to check that all these defining relations are satisfied in Yd,n , for any
d > 0, if we replace elements e
gi by gi and elements eei by ei . In other words, there is a morphism of algebras
from BTn to Yd,n given by
φd,n : e
gi 7→ gi

and

ei 7→ ei ,
e

for i = 1, . . . , n − 1.

(34)

For i = 1, . . . , n − 1, let eei,i := 1. For i, j ∈ {1, . . . , n}, if i < j then let
−1
−1
eei,j := gej−1 . . . e
gi+1 · eei · gei+1
...e
gj−1
,

so that we have in particular eei,i+1 = e
ei for i = 1, . . . , n − 1. Finally if i > j let eei,j := e
ej,i .

Remark 4.4. For any i, j = 1, . . . , n − 1, we have φd,n (e
ei,j ) = ei,j , with ei,j defined in (29).

Consider an arbitrary (unordered) partition of the set {1, . . . , n}. Of course it has at most n non-empty
parts so we can see it as a class [I] ∈ Pn (n)/Sn for a certain element I in Pn (n). We set
Y
eei,j ,
(35)
f˜[I] :=
i, j = 1, . . . , n
posi (I) = posj (I)

which is well-defined for similar reasons as elements e[I] in (30).
In [12], it is proved by direct calculations that the following set is a spanning set of BTn :
{ f˜[I] gew | [I] ∈ Pn (n)/Sn , w ∈ Sn } ,

(36)

where gew , for w ∈ Sn , is defined as in Yd,n since the braid relations are satisfied in BTn .
Sd
Using the results on Yd,n
from the previous subsection, we obtain the following corollary on the structure
of BTn .
Corollary 4.5.

(i) The set (36) is a C[q, q −1 ]-basis of BTn , which is therefore free of rank Bn (n) n! .

(ii) The algebra BTn is isomorphic to the subalgebra of Yd,n generated by g1 , . . . , gn−1 , e1 , . . . , en−1 if and
only if d ≥ n.
Proof. First note that for any d > 0, the image of the morphism φd,n defined in (34) is the subalgebra of
Sd
Yd,n generated by g1 , . . . , gn−1 , e1 , . . . , en−1 , which is, by Proposition 4.2, isomorphic to Yd,n
. We know that
Sd
Yd,n is free of rank Bd (n) n! .
Assume that d ≥ n. Then, in this case, we have Bd (n) = Bn (n). Therefore the image of the set (36) by
Sd
Sd
φd,n form a spanning set of Yd,n
of cardinality the rank of Yd,n
. We conclude that the set (36) is linearly
independent in BTn , which shows (i). We also conclude that, when d ≥ n, the morphism φd,n provides an
isomorphism between BTn and the subalgebra of Yd,n generated by g1 , . . . , gn−1 , e1 , . . . , en−1 .
Now let d < n. Then in this case Bd (n) < Bn (n) (since, the partition {1} ∪ · · · ∪ {n} is not counted in
Bd (n)). We already know that the rank of BTn is Bn (n) n! while the rank of the subalgebra of Yd,n generated
by g1 , . . . , gn−1 , e1 , . . . , en−1 is Bd (n) n!. We conclude that they cannot be isomorphic.
Remark 4.6. Item (i) was proved in [12] by a different argument relying on the construction of a certain
faithful representation of BTn on a tensor space. The “if” part of (ii) was subsequently obtained in [5].

11

4.3

Sd
-modules
Parametrization of the simple Cθ Yd,n

Sd
Let us now apply the results of Subsection 3.3 in order to study the representation theory of Cθ Yd,n
where
−1
θ : C[q, q ] → C is a specialization. We first need to understand precisely the structure of the inertia
subgroups. Let λ ∈ Λeµ with µ ∈ Compd (n). There exists k := k(λ) ∈ {1, . . . , d} and 1 ≤ i1 < . . . < ik ≤ d
such that λi1 6= . . . 6= λik and such that

{λi1 , . . . , λik } = {λ1 , . . . , λd }.
We set for all s = 1, . . . , k :
Js = {j ∈ {1, . . . , d} | λj = λis },
so that we have
{1, . . . , n} = J1 ⊔ . . . ⊔ Jk .
Then the inertia subgroup of V

λ

as defined by [11] is

HV λ (Sd ) = {σ ∈ Sd | ∀s ∈ {1, . . . , k}, σ(Js ) = Js }.
This is a Young subgroup of Sd conjugate to
S|J1 | × . . . × S|Jk | .
The cardinal |J1 |! . . . |Jk |! of HV λ (Sd ) is denoted by x(λ) .
Remark 4.7. If we have λi 6= λj for all i 6= j, we obtain HV λ (Sd ) = {Id} and if λ1 = . . . = λd , we obtain
HV λ (Sd ) = Sd .
In the general case, note that the simple HV λ (Sd )-modules are parametrized by the set
M(λ) := {ν = (ν 1 , . . . , ν k ), ∀i ∈ {1, . . . , k}, ν i ∈ Λ|Ji | }
and we denote
Irr(HV λ (Sd )) = {S ν | ν ∈ M(λ)}
We can then apply Proposition 3.3 to deduce the following result which provides a parametrization of the
Sd
simple Cθ Yd,n
-modules. Such a parametrization has been also obtained in [12] in the semisimple case (that
is for e >> 0 or e = ∞).
Sd
Theorem 4.8. Keeping the above notations, the simple Cθ Yd,n
-modules are given by the set

{VSλν | λ ∈ Λeµ , µ ∈ Compd (n), ν ∈ M(λ)}
′

and we have VSλν ≃ VSλν ′ if and only if λ and λ′ are in the same Sd -orbit and ν = ν ′ . In addition we have
dimC (VSλν ) =

5

Q
y(λ, e)( 1≤i≤k y(ν i , ∞))
x(λ)

Action of the cyclic group Z/pZ

In this section, we consider the cyclic group Z/pZ (for p dividing d) as a subgroup of Sd , and we study its
action on the Yokonuma–Hecke algebra. We will see that the subalgebra of fixed points can be seen as a
new deformation of the complex reflection group of type G(d, p, n).

12

5.1

Z/pZ

Subalgebra Yd,n

Let us consider the element σd/p of Sd such that for all a ∈ {1, . . . , d} we have σd/p (a) = a + d/p(mod d).
Let I ∈ Pd (n). By construction of the idempotent EI , we have ti EI = ξposi (I) EI for any i ∈ {1, . . . , n}.
We recall that the d-th roots of unity {ξ1 , . . . , ξd } are ordered such that ξ1 := exp(2iπ/d) and ξa = ξ1a for
a = 1, . . . , d. Using Formula (7), we obtain
d/p

ti EI σd/p = ξposi (I)+d/p(mod d) EI σd/p = ξ1 ti EI σd/p .
Since this is true for any I ∈ Pd (n), we have that, for all i = 1, . . . , n, the action of σd/p on the generators
ti is given by:
σ
d/p
(37)
ti d/p = ξ1 ti ,
d/p

where ξ1 = exp(2iπ/p) is thus a primitive root of order p. Note that the action on ti of an arbitrary
element of Sd is in general far more complicated to describe. We consider the action on Yd,n of the subgroup
Z/pZ
generated by σd/p , which is isomorphic to Z/pZ. We denote Yd,n the corresponding subalgebra of fixed
points.
We will use the following notation. For i = 1, . . . , n − 1, we set
ai := ti−1 ti+1 ,
d/p

and we set a0 = tp1 . Note that we have a0
Z/pZ
gives a basis of Yd,n .
Z/pZ

Proposition 5.1. A basis of Yd,n

= 1 and adi = 1 for all i = 1, . . . , n − 1. The following proposition

is given by the following set

αn
1
B1 := { tα
1 . . . tn gw | α1 , . . . , αn ∈ {0, . . . , d − 1} , α1 + . . . + αn ≡ 0(mod p) , w ∈ Sn } .

(38)

In addition, the elements of this basis can be rewritten as follows:
β

n−1
{ aβ0 0 . . . an−1
gw | β1 , . . . , βn−1 ∈ {0, . . . , d − 1} , β0 ∈ {0, . . . , d/p − 1} , w ∈ Sn } .

(39)

In particular we have
Z/pZ

rk(Yd,n ) = dn n!/p .
d/p

Proof. Consider the standard basis (5) of Yd,n . Each of these elements is multiplied by a power of ξ1 under
the action of σd/p . It is easy to see that the elements in B1 are precisely the ones which are multiplied by 1.
Therefore, for an arbitrary element h of Yd,n written as a linear combination of the standard basis elements,
Z/pZ
we have h ∈ Yd,n if and only if h is a linear combination of the elements in B1 . This shows that B1 is a
Z/pZ

generating set of Yd,n . The linear independence of the elements of B1 follows from the fact that B1 is a
subset of the standard basis of Yd,n .
αn
1
Now let us consider an element y = tα
1 . . . tn with α1 , . . . , αn ∈ {1, . . . , d} and α1 + . . . + αn ≡ 0(mod p).
We have:
αn−1 +αn αn
1
y = tα
an−1
1 . . . tn−1
= .P
..
P
1≤i≤n

=

t1

=

a0

(

P

αi

1≤i≤n

a1

2≤i≤n

αi )/p

αi

P

a1

α

n−1
. . . an−2

2≤i≤n

αi

+αn αn
an−1

α

n−1
. . . an−2

+αn αn
an−1

.

Taking into account that a0 is of order d/p and, for i = 1, . . . , n − 1, ai is of order d, this shows that any
element of B1 is also an element of (39). As the two sets have the same cardinality, they coincide. This
concludes the proof.

13

Z/pZ

Proposition 5.2. There is a presentation of Yd,n by generators g1 , g2 , . . . gn−1 , a0 , a1 , . . . , an−1 and the
following relations:


gi gj = gj gi
for i, j ∈ {1, . . . , n − 1} such that |i − j| > 1 ,

gi gi+1 gi = gi+1 gi gi+1
for i ∈ {1, . . . , n − 2} ,
• (R1) :


2
−1
gi = 1 + (q − q ) ei gi
for i ∈ {1, . . . , n − 1} ,

for i, j ∈ {0, . . . , n − 1} ,

 ai aj = aj ai
d/p
• (R2) :
a0
= 1,


d
ai = 1
for i ∈ {1, . . . , n − 1} ,

p
a0 a1
if i = 1 ,
• (R3) : gi a0 gi−1 =
a0
for i = 2, . . . , n − 1 ,

aj−1 aj
if i = j − 1 ,



 a−1
if i = j ,
j
• (R4) : gi aj gi−1 =
,
for i, j = 1, . . . , n − 1 ,

a
a
if i = j + 1 ,
j
j+1



aj
otherwise ,
X
1
where ei :=
asi , for i = 1, . . . , n − 1.
d
1≤s≤d

Proof. The defining relations (R1)–(R4) are easily checked to be satisfied in Yd,n . Let us denote Yd,p,n the
algebra defined with the above presentation (by a slight abuse of notation, we keep the same notations than
for the elements of Yd,n ). Thus we have an algebra homomorphism:
Z/pZ

Θ : Yd,p,n → Yd,n

which is obviously surjective, using Proposition 5.1.
Now, the relations (R1)–(R4) clearly allows to write any element of Yd,p,n as a linear combination of
elements in (39) (seen as a subset of elements of Yd,p,n ). So (39) is a generating set for Yd,p,n . It is also
Z/pZ
linearly independent since it is in Yd,n and because Θ is a morphism. As a consequence, (39) is also a basis
of Yd,p,n and Θ is thus bijective.
The following lemma, that we will need later, reduces the number of generators and of relations in the
Z/pZ
above presentation of Yd,n .
Z/pZ

Lemma 5.3. There is a presentation of Yd,n

by generators g1 , g2 , . . . gn−1 , a0 , a1 and defining relations:
d/p

(R1) , (R3) , (R4) for j = 1 , a0

= 1 , a0 a1 = a1 a0

and a1 a2 = a2 a1 ,

where the elements ai , i = 2, . . . , n − 1, and ei , i = 1, . . . , n − 1 are defined by:
1 X s
−1
ai := gi−1 gi ai−1 gi−1 gi−1
, i = 2, . . . , n − 1 ,
and
ei :=
ai , i = 1, . . . , n − 1 .
d
1≤s≤d

Proof. It is easy to see that the elements ai (i = 2, . . . , n − 1) and the elements ei (i = 1, . . . , n − 1) satisfy
the relations of the lemma in Yd,n . As the relations of the lemma are contained in (R1)–(R4), we only have
to check that Relations (R1)–(R4) are consequences of the relations listed in the lemma. Note first that,
d/p
using (R3), we have that a0 ap1 is conjugate to a0 . As a0 and a1 commutes and a0 = 1, we obtain that
ad1 = 1. Since all ai , i = 1, . . . , n − 1, are conjugate, we thus have that adi = 1 for i = 1, . . . , d − 1.
We now check Relations (R4) by induction on j (for j = 1 it is listed in the lemma). Let j > 1. Note
−1
that, by induction hypothesis, we have aj = a−1
j−1 gj aj−1 gj . We will treat several cases.
14

• Let i < j − 2 or i > j + 1. Then gi commutes with aj−1 by induction hypothesis and gi commutes with
−1
gj . So gi commutes with aj = a−1
j−1 gj aj−1 gj .
• Let i = j − 2. By induction hypothesis, we have gj−2 aj−1 = aj−2 aj−1 gj−2 and, taking inverses, we
−1 −1
have also gj−2 a−1
j−1 = aj−1 aj−2 gj−2 . Therefore we have, using that gj−2 and gj commute,
−1
−1
−1
gj−2 aj = gj−2 · aj−1
gj aj−1 gj−1 = a−1
j−1 aj−2 gj aj−2 aj−1 gj · gj−2 = aj gj−2 ,

where we used in the last equality that gj commutes with aj−2 by induction hypothesis.
• Let i = j − 1. By induction hypothesis, we have gj−1 a−1
j−1 = aj−1 gj−1 . Therefore, we obtain
−1
−1
−1
−1 −1
gj−1 · aj · gj−1
= gj−1 · a−1
j−1 gj aj−1 gj · gj−1 = aj−1 · gj−1 gj aj−1 gj gj−1 = aj−1 aj ,

by definition of aj .
• Let i = j. We have:
−1
−1 −1
−1
gj aj = gj · gj−1 gj aj−1 gj−1 gj−1
= gj−1 gj a−1
j−1 gj gj−1 · gj = aj gj ,

where we used successively the definition of aj , the braid relation gj · gj−1 gj = gj−1 gj · gj−1 , the
−1
−1
−1
induction hypothesis gj−1 aj−1 = aj−1
gj−1 and the braid relation gj−1 · gj−1 gj−1
= gj−1 gj−1
· gj .
−1 −1
−1
• Let i = j + 1. By definition, we have aj+1 = gj gj+1 aj gj+1
gj . We replace aj by a−1
and
j−1 gj aj−1 gj
we find
−1
−1 −1
−1
−1 −1
aj+1 = gj gj+1 · aj−1
gj aj−1 gj−1 · gj+1
gj = gj a−1
j−1 · gj+1 gj gj+1 · aj−1 gj gj+1 ,
−1 −1
−1 −1 −1
where we used the braid relation gj−1 gj+1
gj = gj+1
gj gj+1 and that gj+1 commutes with aj−1 by
−1
induction hypothesis. Then we transform the expression gj+1 gj gj+1
into gj−1 gj+1 gj and we use that
−1
gj aj−1 gj = aj−1 aj (and its inverse) by induction hypothesis. We obtain
−1
−1
−1
aj+1 = aj−1 aj−1
· gj+1 · aj−1 aj · gj+1
= a−1
j gj+1 aj gj+1 ,

where we used in the last equality that gj+1 commutes with aj−1 by induction hypothesis. We conclude
−1
that gj+1 aj gj+1
= aj aj+1 .
It remains to check that ai aj = aj ai for any i, j ∈ {0, 1 . . . , n − 1} so that (R2) will be satisfied. It is
enough to consider j > i. First let i = 0. We use induction on j. For j = 1, a0 a1 = a1 a0 is listed in the
−1
lemma. Let j > 1. From Relation (R4), we have aj = aj−1
gj aj−1 gj−1 . Since a0 commutes with gj by (R3)
and a0 commutes with aj−1 by induction hypothesis, we obtain that a0 commutes with aj .
Let now i > 0. We treat several cases.
• Let i = 1. We use induction on j. For j = 2, a1 a2 = a2 a1 is listed in the lemma. Let j > 2. We write
−1
aj = a−1
j−1 gj aj−1 gj , from Relation (R4), and then we use that a1 commutes with gj , from (R4), and
with aj−1 by induction hypothesis. So a1 commutes with aj .
−1
• Let now i > 1 and j > i + 1. We use induction on i. We write ai = a−1
i−1 gi ai−1 gi . By (R4), aj
commutes with gi and aj commutes with ai−1 by induction hypothesis. So ai and aj commute.

• It remains to consider i > 1 and j = i + 1. We still use induction on i. Since, from (R4), ai =
−1
a−1
and ai+1 commutes with ai−1 by induction hypothesis, we have that ai+1 commutes
i−1 gi ai−1 gi
with ai if and only if ai+1 commutes with gi ai−1 gi−1 . Recall that, by (R4), we have gi ai+1 gi−1 = ai ai+1 .
This easily implies the following:
ai+1 gi−1 = gi−1 ai ai+1

and
15

ai+1 gi = a−1
i gi ai+1 .

We use these two relations together with the fact that ai+1 and ai−1 commute to calculate:
−1
−1
−1
ai+1 · gi ai−1 gi−1 = a−1
= a−1
= a−1
i gi ai+1 · ai−1 gi
i gi ai−1 · ai+1 gi
i gi ai−1 gi ai · ai+1

It remains to note that ai commutes with gi ai−1 gi−1 . This is equivalent to say that ai commutes with
ai−1 , which is known by induction hypothesis. This concludes the verification that ai+1 commutes
with ai and the proof of the lemma.

Remark 5.4.
(i) Consider the group generated by g1 , . . . , gn−1 , a0 , a1 , . . . , an−1 with all relations (R1)–(R4) except the
d/p
quadratic relation for the gi ’s and a0 = adi = 1. Then it is easy to see, looking at the proof, that the
d/p
statement of the lemma (with the quadratic relation for the gi ’s and a0 = 1 removed) is still valid
for this group.
(ii) We apply the preceding remark to the case p = 1. In this case, the group is the framed braid group
Bn ⋉ Zn , where Bn is the usual braid group. Denote in this case a0 = t1 to be consistent. With
−1
(R3), element a1 is now expressed as a1 = t−1
1 g1 t1 g1 , and thus can be removed from the set of
generators. The lemma gives then a presentation of this group only in terms of g1 , . . . , gn−1 and t1 .
It is straightforward to see that the obtained presentation is equivalent to the following: the group
Bn ⋉ Zn is generated by g1 , . . . , gn−1 and t1 with defining relations:
(Bra1) ,

g1 t1 g1−1 = g1−1 t1 g1 ,

g1 t1 g1−1 t1 = t1 g1 t1 g1−1

and gi t1 = t1 gi (i = 2, . . . , n − 1) ,

where (Bra1) consists of the two first lines in (R1).
(iii) Pursuing further the preceding remark, we obtain a presentation of the Yokonuma–Hecke algebra only
in terms of g1 , . . . , gn−1 and t1 . Indeed, if we define t2 , . . . , tn−1 by ti+1 := gi ti gi−1 , then Yd,n is
the quotient of the group algebra of Bn ⋉ ZnP(with the presentation above) by the relations td1 = 1
and gi2 = 1 + (q − q −1 )ei gi , where ei := d1 1≤s≤d tsi t−s
i+1 . We indicate that, in Yd,n , the relation
−1
−1
g1 t1 g1 = g1 t1 g1 is not necessary as a defining relation, since it is actually a consequence of the
others.
Consider the specializations q 7→ ±1 of Yd,n . Denoting si the specialization of gi , the generators are
now t1 , s1 , . . . , sn−1 and the relations become:
(Brb1) , s2i = 1 (i = 1, . . . , n−1) , td1 = 1 , s1 t1 s1 t1 = t1 s1 t1 s1

and si t1 = t1 si (i = 2, . . . , n−1) .

This recovers the standard presentation of the complex reflection group G(d, 1, n) and the well-known
fact that Yd,n is a deformation of G(d, 1, n).

5.2

Deformations of complex reflection groups of type G(d, p, n)

In the classification of irreducible complex reflection groups by Shephard–Todd, there is a collection of 34
exceptional cases, together with a unique infinite series G(d, p, n), where d, p, n ≥ 1 with p dividing d. We
refer to [3] for details. The braid group of type G(d, p, n) has a presentation by generators s0 , s1 , . . . , sn−1
and α0 subject to the following relations :

si sj = sj si
for i, j ∈ {1, . . . , n − 1} such that |i − j| > 1 ,
• (Br1) :
si si+1 si = si+1 si si+1
for i ∈ {1, . . . , n − 2} ,

si s0 = s0 si
for i ∈ {3, . . . , n − 1} ,
• (Br2) :
s0 s2 s0 = s2 s0 s2 ,
16

• (Br3) :

(s2 s0 s1 )2 = (s0 s1 s2 )2 ,

• (Br4) :

s α s s1 s0 s1 . . . = α0 s0 s1 s0 s1 . . . ,
|1 0 0 {z
} |
{z
}
p+1 terms

• (Br5) :





α0
α0 s0 s1


α0 si

p+1 terms

=
=
=

if p = d ,

1,
s0 s1 α0 ,
si α0

for i ∈ {2, . . . , n − 1} .

The complex reflection group G(d, p, n) is then the quotient of the braid group of type G(d, p, n) by the
relations:
d/p
α0 = 1
and
s2i = 1 , i = 0, 1, . . . , n − 1 .
(40)
Remark 5.5.
(i) Let p = 1. In this case, (Br4) gives that s0 = α−1
0 s1 α0 and therefore, s0 can be removed from the set
of generators. It is easy to check that the second line of (Br5) becomes then s1 α0 s1 α0 = α0 s1 α0 s1 ,
and moreover, Relations (Br2) and (Br3) are consequences of the other defining relations. Therefore,
if d = 1, the braid group of type G(1, 1, n) is generated by s1 , . . . , sn−1 with Relations (Br1), and is
then simply the usual braid group (of type A). If d > 1, the braid group of type G(d, 1, n) is generated
by α0 , s1 , . . . , sn−1 with relations (Br1) together with
s1 α0 s1 α0 = α0 s1 α0 s1

and

α0 si = si α0 , i = 2, . . . , n − 1 ,

and is then simply the braid group of type B (also called affine braid group).
(ii) Let p = d. In this case, α0 is equal to 1 and thus α0 can be removed from the set of generators.
Relations (Br5) disappear and Relation (Br4) becomes s1 s0 s1 . . . = s0 s1 s0 . . ..
| {z } | {z }
p terms

p terms

Assume moreover that p = d = 2. Then (Br4) is simply s0 s1 = s1 s0 and it is easy to check and
well-known that in this case (Br3) is a consequence of the other defining relations. Therefore the braid
group of type G(2, 2, n) is simply the braid group of type Dn .

Quotients of braid groups of type G(d, p, n). We now formulate the main result of this section, showing in
Z/pZ
particular that the subalgebra of fixed points Yd,n is a deformation of the group G(d, p, n), and moreover
expressing it as a quotient of the braid group of type G(d, p, n).
Z/pZ

Theorem 5.6. The algebra Yd,n
type G(d, p, n) by the relations
d
(s0 s−1
1 ) = 1,

where e0 = e1 :=

d/p

α0

is isomorphic to the quotient of the group algebra of the braid group of

=1

and

s2i = 1 + (q − q −1 )ei si (i = 0, 1, . . . , n − 1) ,

(41)

1 X
−1 −1
s
(s0 s−1
1 ) and ei := si−1 si ei−1 si si−1 , for i = 2, . . . , n − 1.
d
1≤s≤d

The rest of this section will be devoted to the proof of the theorem. Before that, we give some remarks
and examples, focusing on G(d, 1, n) in item (i) and on the Weyl group of type Dn (that is, G(2, 2, n)) in
item (ii).
Remark 5.7.
(i) Let p = 1. We pursue further Remark 5.5(i). Note first that if d = 1 then s0 = s1 , ei = 1 and the
presentation of the theorem is nothing but the usual presentation of Y1,n (which is the Hecke algebra
of type A).
17

Let d > 1. The theorem gives then a presentation of the Yokonuma–Hecke algebra Yd,n as a quotient of
the group algebra of the braid group of type B. For convenience, let us rename in this remark α0 = t1 .
Recall that here s0 is removed from the set of generators since s0 = t−1
1 s1 t1 . Then in (41) the relation
−1
2
−1
expressing s20 reads (t−1
s
t
)
=
1
+
(q
−
q
)e
t
s
t
.
This
is
equivalent
to t1 e1 = e1 t1 which is
1
1
1
1
1
1
1
−1
equivalent to t1 s21 = s21 t1 , which is in turn equivalent to s−1
t
s
=
s
t
s
.
1
1
1
1
1
1
Moreover, taking into account the braid relation t1 s1 t1 s1 = s1 t1 s1 t1 , this easily implies that t1 s1 t1 s−1
1 =
−1
−1 d
d
s1 t1 s−1
t
,
and
in
turn
that
(t
s
t
s
)
=
1
using
t
=
1.
1
1
1
1
1
1
1
We conclude that, in this case, an equivalent formulation of the theorem is that the Yokonuma–Hecke
algebra Yd,n is isomorphic to the quotient of the group algebra of the braid group of type B by the
relations:
−1
s−1
1 t1 s 1 = s 1 t1 s 1 ,

where e1 :=

td1 = 1

s2i = 1 + (q − q −1 )ei si (i = 1, . . . , n − 1) ,

and

(42)

1 X −1
−1 −1
s
(t1 s1 t1 s−1
1 ) and ei := si−1 si ei−1 si si−1 , for i = 2, . . . , n − 1.
d
1≤s≤d

The correspondence with the usual presentation of Yd,n is simply t1 ↔ t1 and si ↔ gi for i = 1, . . . , n−1.
The proof of the general result (to be given below) is much simpler in this case. A sketch is as follows.
On one hand, note that all relations of the braid group of type B and relations (42) are satisfied in
Yd,n . On the other hand, we first reduced the number of generators and relations in the presentation
of Yd,n : this was done in Lemma 5.3 in general and made explicit for p = 1 in Remark 5.4(iii). So it
−1
remains to check that the relation t1 s1 t1 s−1
1 = s1 t1 s1 t1 is satisfied in the quotient by (42). This is
−1
−1
obvious using s1 t1 s1 = s1 t1 s1 and t1 s1 t1 s1 = s1 t1 s1 t1 .
(ii) Let p = d = 2. We pursue further Remark 5.5(ii), where we recalled that the braid group of type
G(2, 2, n) is the braid group of type Dn . In this case, it is easy to see that, in (41), the relations
−1
expressing s20 and s21 are: s20 = s21 = 1 + (q−q2 ) (s0 + s1 ). Using that s0 and s1 commutes, the fact that
2
s20 = s21 implies that (s0 s−1
1 ) = 1. As a consequence, the theorem can be formulated in this case as
Z/2Z
follows: the algebra Y2,n is the quotient of the braid group of type Dn by the relations:
s20 = s21 = 1 +

(q − q −1 )
(q − q −1 )
(s0 + s1 ) and s2i = 1 +
(Si + si ) , i = 2, . . . , n − 1 ,
2
2

−1
where S1 := s0 and Si := si−1 si Si−1 s−1
i si−1 for i = 2, . . . , n − 1.

Proof of the theorem. As an intermediary step towards the proof of Theorem 5.6, we provide another
Z/pZ
presentation of Yd,n . To do so, we will consider the algebra Yed,p,n with generators ge0 , ge1 , . . . , gen−1 and e
a0
subject to the following relations :


gi e
e
gj = gej e
gi
for i, j ∈ {1, . . . , n − 1} such that |i − j| > 1 ,

gi e
e
gi+1 gei = gei+1 gei e
gi+1
for i ∈ {1, . . . , n − 2} ,
• (R’1) :


gi2 = 1 + (q − q −1 ) eei gei
e
for i ∈ {1, . . . , n − 1} ,


gei ge0 = e
g0 e
gi
for i ∈ {3, . . . , n − 1} ,

g0 e
e
g2 ge0 = e
g2 e
g0 ge2 ,
• (R’2) :


ge02 = 1 + (q − q −1 ) ee0 e
g0 ,
• (R’3) : ge2 ge0 ge1−1 e
g2−1 ge0 ge1−1 = e
g0 e
g1−1 ge2 ge0 e
g1−1 e
g2−1 ,

• (R’4) : ge1 e
a0 ge0−1 ge1 e
g −1 e
g1 . . . = e
a0 e
g0 e
g1−1 e
g0 ge−1 . . . ,
|
{z 0
} |
{z 1
}
p+1 terms

p+1 terms

18





d/p

e
a0
• (R’5) :
e
a0 e
g0 e
g1−1


e
a0 gei

=
=
=

1,
g0 e
e
g1−1e
a0 ,
gi e
e
a0

for i ∈ {2, . . . , n − 1} ,

where eei for i = 0, 1, . . . , n − 1 are defined as follows :
e0 = ee1 =
e

1 X
(e
g0 e
g1−1 )s
d

and

1≤s≤d

−1
eei := e
gi−1 gei eei−1 e
gi−1 gei−1
(i = 2, . . . , n − 1) .

Z/pZ
Proposition 5.8. The algebra Yed,p,n is isomorphic to Yd,n .

(43)

Z/pZ

Proof. We consider the following map from the set of generators of Yd,n (from the presentation of Lemma
5.3) to Yed,p,n :
Φ : a0 7→ e
a0 ,
a1 7→ e
g0 ge1−1 ,
gi 7→ gei , i = 1, . . . , n − 1
Z/pZ
and the following map from the set of generators of Yed,p,n to Yd,n :

Ψ :

e
a0 7→ a0 ,

g0 7→ a1 g1 ,
e

gei 7→ gi , i = 1, . . . , n − 1 .

We need to check that both maps extend to algebra homomorphisms. Then they will clearly be inverse to
Z/pZ
each other and thus provide the desired isomorphism. To do so, we use the presentation of Yd,n given in
Lemma 5.3. We start with the following list of remarks:
• Relations (R’1) correspond to Relations (R1).
• To see that Relation (R’4) corresponds to g1 a0 g1−1 = a0 ap1 , we add a factor e
g1−1 e
g1 in the left hand side
−1
−1
−1
of (R’4) to obtain e
g1 e
a0 e
g1 (e
g1 e
g0 ge1 ge0 ge1 . . .). This gives the desired relations thanks to the definitions
|
{z
}
p terms

of Φ and Ψ.

d/p

• Relations (R’5) correspond to a0

= 1, a0 a1 = a1 a0 and gi a0 gi−1 = a0 if i ≥ 2.

• The first relation in (R’2) corresponds to gi a1 = a1 gi if i ≥ 3.
• The second relation in (R’2) corresponds to g2 a1 g1 g2 = a1 g1 g2 a1 g1 . Now take the rightmost g1
and send it to the left hand side. Then, using the braid relation between g1 and g2 , one obtains
g2 a1 g2−1 g1 g2 = a1 g1 g2 a1 which is equivalent to g2 a1 g2−1 = a1 a2 .
• Relation (R’3) corresponds to the fact that g2 a1 g2−1 commutes with a1 . Taking into account that
g2 a1 g2−1 = a1 a2 (preceding item), it is equivalent to the fact that a1 commutes with a2 .
As a consequence of the preceding list of remarks, to prove that Ψ extends to a morphism, it remains
only to check that the relation ge02 = 1 + (q − q −1 )e
e0 e
g0 is preserved. We thus need to show that (a1 g1 )2 =
−1
−1
1 + (q − q )e1 a1 g1 . Using that g1 a1 = a1 g1 , we see that the left hand side is g12 , and using that ad1 = 1,
we see that e1 a1 = e1 . This shows the desired assertion.
Now, to prove that Φ extends to a morphism and to conclude the proof, it remains only to check that
the relation g1 a1 g1−1 = a−1
is preserved by Φ. We thus have to show that e
g1 e
g0 e
g1−1 ge1−1 = ge1 ge0−1 , which is
1
equivalent to
(44)
ge02 = ge12 .
By (R’2), this is equivalent to the relation ee1 e
g0 = ee1 e
g1 . We have already seen above that (R’4) can be
d/p
−1
−1 p
written e
g1 e
a0 e
g1 = e
a0 (e
g0 ge1 ) . Together with e
a0 = 1 and the fact that e
a0 and e
g0 e
g1−1 commute, this yields
−1 d
−1
(e
g0 ge1 ) = 1. Using this, we have then ee1 e
g0 e
g1 = ee1 which gives ee1 ge0 = ee1 e
g1 and thus (44) is satisfied.
19

End of the proof of Theorem 5.6. By Proposition 5.8, we need to prove that the quotient of the group algebra
of the braid group of type G(d, p, n) by Relations (41) is isomorphic to the algebra Yed,p,n . We will prove
that an isomorphism is given by si ↔ e
gi (i = 0, 1, . . . , n − 1) and α0 ↔ e
a0 .

First we will check that Relations (R’1)–(R’5) are satisfied for the generators s0 , s1 , s2 , α0 in the considered
quotient of the braid group (for the rest of the proof, s0 , s1 , s2 , α0 will denote the generators in the quotient).
A verification is needed only for Relations (R’3), (R’4) and the second line in (R’5).
−1
d
2
2
First note that (s0 s−1
1 ) = 1 implies that e1 s0 s1 = e1 and thus e1 s0 = e1 s1 . This in turn means s0 = s1 ,
or in other forms,
−1
−1
s0 s−1
and s1 s−1
(45)
1 = s0 s1
0 = s1 s0 .
Now we proceed in several steps:
• We deal first with (R’4). We start with (Br4) and write it on the form
s1 α0 s1−1 · (s1 s0 s1 . . .) · (. . . s−1
s−1 s−1 ) = α0 .
| {z }
| 0 {z1 0 }
p terms

p terms

−1 p
Using (45), we can reorganise the position of the negative exponents to obtain s1 α0 s−1
1 (s1 s0 ) = α0 .
This gives Relation (R’4) for α0 , s0 , s1 .

• Then we prove that α0 s0 s1−1 = s0 s−1
1 α0 . The braid relation α0 s0 s1 = s0 s1 α0 asserts that α0 commutes
with s0 s1 . Therefore, in order to prove that α0 commutes with s0 s−1
1 , it is enough to prove that α0
commutes with s1−2 (or, equivalently, with s21 ). To do so, we note that we have proved in the preceding
−1
−1
item that s1 α0 s1−1 = α0 (s0 s1−1 )p . Besides, using (45), we have s1 · s0 s−1
= s1 · s−1
=
1 · s1
0 s1 · s1
−1
−1 −1
s1 s0 = (s0 s1 ) . Therefore, we have
−1
−1 p
−1 −p
p
s21 · α0 · s1−2 = s1 · α0 (s0 s−1
= α0 .
1 ) · s1 = α0 (s0 s1 ) (s0 s1 )
−1
This concludes the verification of α0 s0 s−1
1 = s0 s1 α0 .

• Finally, we prove (R’3) for s0 , s1 , s2 . We start from (Br3), which asserts that s0 s1 commutes with
s2 s0 s1 s2 , and we make the following reasoning, where [x, y] denotes xy − yx:
[s0 s1 , s2 s0 s1 s2 ] = 0

⇒

[s0 s−1
1 , s2 s0 s1 s2 ] = 0

( if [s−2
1 , s2 s0 s1 s2 ] = 0 )

⇒

−1 −1
[s0 s−1
1 , s2 s0 s1 s2 ] = 0

2
−1
( if [s0 s−1
]=0).
1 , (s2 s1 s2 )

The last assertion is Relation (R’3) for s0 , s1 , s2 .
2
So we need first to check that indeed s−2
1 (or, equivalently, s1 ) commutes with s2 s0 s1 s2 . This follows
from the following calculation

s2 s0 s1 s2 · s1 = s2 s0 · s2 · s1 s2 = s0 · s2 s0 s1 s2 ,
together with s20 = s21 , which was stated in (45).
Then it remains to check that s0 s1−1 commutes with (s2 s21 s2 )−1 (or, equivalently, with s2 s21 s2 ). In fact,
both s0 and s1 commute with s2 s21 s2 . For s1 , it follows from the braid relation between s1 and s2 . For
s0 , it follows from the fact that s21 = s20 (this is (45) again) and the braid relation between s0 and s2 .
Reciprocally, we need to prove that all the braid relations (Br1)–(Br5) together with Relations (41) are
satisfied by the generators of Yed,p,n . The only non-trivial relations to check are:
(e
g0 ge1 )d = 1 ,

e
a0 e
g0 e
g1 = ge0 ge1 e
a0 ,

a ge ge e
g e
g ...
ge1 e
a ge ge1 ge0 e
g1 . . . = e
} | 0 0 1{z0 1 }
| 0 0 {z
p+1 terms

p+1 terms

and (e
g2 ge0 e
g1 )2 = (e
g0 ge1 e
g2 )2 .

By Proposition 5.8 we can check these relations in Yd,n , where e
a0 , ge0 , ge1 , e
g2 correspond respectively to
tp1 , t−1
t
g
,
g
,
g
.
This
is
immediate
for
the
two
first
relations
and
straightforward
for the two remain2
1
1
2
1
ing ones. Alternatively, for the two last relations, one can use that (e
g0 ge1 )d = 1 to obtain the analogues of
(45) and then reverse the arguments used to prove (R’4) and (R’3) in the first part of the proof. We skip
the details.
20

5.3

Z/pZ

Parametrization of the simple Cθ Yd,n -modules

Let θ : C[q, q −1 ] → C be a specialization. We now apply the results of Section 3.3 in order to study the
Z/pZ
representation theory of Cθ Yd,n .
Let us fix λ ∈ Λeµ with µ ∈ Compd (n). For convenience we write λ = (λ1 , . . . , λp ) where each λi consists
in d/p-partitions of µ(d/p−1)i+1 + . . . + µdi/p . We set s := s(λ) to be the minimal integer such that for all
i ∈ {1, . . . , p}, we have λi = λi+s (where the indices are understood modulo p).
s
The inertia subgroup HV λ (Z/pZ) is then generated by σd/p
, where the permutation σd/p of Sd was
introduced at the beginning of Section 5.1. So HV λ (Z/pZ) is isomorphic to Z/(p/s)Z and thus its irreducible
representations are of all one dimensional and naturally indexed by {1, . . . , p/s}
Irr(HV λ (Z/pZ)) = {S i | i = 1, . . . , p/s(λ)}
We are now ready to apply Proposition 3.3.
Z/pZ

Theorem 5.9. The simple Cθ Yd,n -modules are given by the set
{VSλi | λ ∈ Λeµ , µ ∈ Compd (n), i = 1, . . . , p/s(λ)}
′

and we have VSλi ≃ VSλi′ if and only if λ and λ′ are in the same Z/pZ-orbit and i = i′ . In addition, we have
dimC (VSλi ) =

y(λ, e)s(λ)
p
Z/pZ

Remark 5.10. In the same spirit as in Section 3.2, one can also show that the algebra Yd,n is not isomorphic
to the usual cyclotomic Hecke algebra of type G(d, p, n) (see the definition for example in [4, §6.1]), using
the parametrization result obtained in [4, Th. 6.4] and looking at the specialization θ : C[q, q −1 ] → C such
that θ(q)2 is a primitive root of order d.

References
[1] F. Aicardi and J. Juyumaya, An algebra involving braids and ties, Preprint ICTP IC/2000/179,
Trieste.
[2] F. Aicardi and J. Juyumaya, Markov trace on the algebra of braids and ties, Mosc. Math. J. 16
(2016), no. 3, 397-431.
[3] M. Broué, Introduction to complex reflection groups and their braid groups. Lecture Notes in Mathematics, 1988. Springer-Verlag, Berlin, 2010.
[4] M. Chlouveraki and N. Jacon, Schur elements for the Ariki-Koike algebra and applications. J.
Algebraic Combin. 35 (2012), no. 2, 291-311.
[5] J. Espinoza and S. Ryom-Hansen, Cell structures for the Yokonuma–Hecke algebra and the algebra
of braids and ties, arXiv:1506.00715.
[6] M. Geck and N. Jacon, Representations of Hecke algebras at roots of unity. Algebra and Applications,
15. Springer-Verlag London, Ltd., London, 2011. xii+401
[7] N.Jacon and L. Poulain d’Andecy, An isomorphism theorem for Yokonuma–Hecke algebras and
applications to link invariants. Math. Z. 283 (2016), no. 1-2, 301-338.
[8] J. Juyumaya, Markov trace on the Yokonuma–Hecke algebra, J. Knot Theory Ramifications 13 (2004)
25–39.
21

[9] G. Lusztig, Character sheaves on disconnected groups. VII. Represent. Theory 9 (2005), 209–266.
[10] L. Poulain d’Andecy, Invariants for links from classical and affine Yokonuma–Hecke algebras, to apperar in “Algebraic Modeling of Topological and Computational Structures and Applications", Springer
Proceedings in Mathematics and Statistics (2016).
[11] A. Ram and J. Ramagge, Affine Hecke algebras, cyclotomic Hecke algebras and Clifford theory.
(English summary) A tribute to C. S. Seshadri (Chennai, 2002), 428–466, Trends Math., Birkhäuser,
Basel, 2003.
[12] S. Ryom-Hansen, On the Representation Theory of an Algebra of Braids and Ties, J. Algebra Comb.
33 (2011) 57–79.

Addresses:
Nicolas Jacon, Université de Reims Champagne-Ardenne, UFR Sciences exactes et naturelles, Laboratoire
de Mathématiques EA 4535 Moulin de la Housse BP 1039, 51100 Reims, FRANCE
nicolas.jacon@univ-reims.fr
Loïc Poulain d’Andecy, Université de Reims Champagne-Ardenne, UFR Sciences exactes et naturelles,
Laboratoire de Mathématiques EA 4535 Moulin de la Housse BP 1039, 51100 Reims, FRANCE
loic.poulain-dandecy@univ-reims.fr

22

