Arun Ram
Department of Mathematics and Statistics
University of Melbourne
Parkville, VIC 3010 Australia
aram@unimelb.edu.au
Last update: 17 September 2013
Appendix B
B7. The Birman-Murakami-Wenzl algebras
A is viewed as two rows of vertices, one above the
other, and strands that connect vertices in such a way that each vertex is incident to precisely one strand. Strands cross over and
under each other in three-space as they pass from one vertex to the next. For example, the following are 7-tangles:
We multiply and
using the concatenation product given by identifying the vertices in the top row of with the corresponding vertices in
the bottom row of to obtain the product tangle
Then we allow the following “moves.”
Reidemeister moves II and III:
(R2)
(R3)
Given a Brauer diagram we will make a tangle tracing the edges in order from left to
right across the top row and then from left to right across the bottom row. Any time an edge that we are tracing crosses and edge that has been already traced we
raise the pen briefly so that the edge being traced goes under the edge which is already there. Applying this process to all of the Brauer diagrams on
dots produces a set of tangles.
Fix r,q∈ℂ. The Birman-Murakami-Wenzl algebraBMWk(r,q) is the span of the
(2k)!! tangles produced by tracing the Brauer diagrams with multiplication
determined by the tangle multiplication and the Reidemeister moves and the following tangle identities.
-=(q-q-1)(-).=r-1,=r.=x,wherex=r-r-1q-q1+1.
The Reidemeister moves and the tangle identities can be applied in any appropriate local portion of the tangle.
Theorem B7.1.
Fix r,q∈ℂ. The Birman-Murakami-Wenzl algebra
BMWk(r,q) is the
algebra generated over ℂ by 1,g1,g2,…,gk-1,
which are assumed to be invertible, subject to the relations
gigi+1gi=gi+1gigi+1,gigj=gjgiif|i-j|≥2,(gi-r-1)(gi+q-1)(gi-q)=0,Eigi-1±1Ei=r±1EiandEiri+1±1Ei=r±1Ei,
where Ei is defined by the equation
(q-q-1)(1-Ei)=gi-gi-1.
The BMW-algebra is a q-analogue of the Brauer algebra in the same sense that the Iwahori-Hecke algebra of type
A is a q-analogue of the group algebra of the symmetric group. If we allow ourselves to
be imprecise (about the limit) we can write
limq→1BMWk(qn+1,q)=Bk(n).
It would be interesting to sharpen the following theorem to make it an if and only if statement.
Theorem B7.2 (Wz3).
The Birman-Murakami-Wenzl algebra is semisimple if q is not a root of unity and
r≠qn+1 for any
n∈ℤ.
Partial results for BMWk(r,q)
The following results hold when r and q
are such that BMWk(r,q) is semisimple.
I. What are the irreducible BMWk(r,q)-modules?
(a)
How do we index/count them?
There is a bijectionPartitions ofk-2h,h-0,1,…,⌊k/2⌋⟷1-1Irreducible representationsWλ.
(b)
What are their dimensions?
The dimension of the irreducible representation Wλ is given by
dim(Wλ)=# of up-down tableaux of shapeλand lengthk=(k2h)(2h-1)!!(k-2h)!∏x∈λhx,
where hx is the hook length at the box x in λ,
and up-down tableaux is as in the case of the Brauer algebra, see Section B6 (Ib).
(c)
What are their characters?
A Murnaghan-Nakayama rule for the irreducible characters of the BMW-algebras was given in [HRa1995].
References
(1)
The Birman-Murakami-Wenzl algebra was defined independently by Birman and Wenzl in [BWe1989] and by Murakami in [Mur1987]. See [CPr1994] for references to the
analogue of Schur-Weyl duality for the BMW-algebras. The articles [HRa1995], [LRa1977], [Mur1990], [Rem1992], and [Wen1990] contain further
important information about the BMW-algebras.
(2)
Although the tangle description of the BMW algebra was always in everybody’s minds it was Kaufmann that really made it precise see [Kau1990].
Notes and references
This is the survey paper Combinatorial Representation Theory, written by Hélène Barcelo and Arun Ram.
Key words and phrases. Algebraic combinatorics, representations.
Barcelo was supported in part by National Science Foundation grant DMS-9510655.
Ram was supported in part by National Science Foundation grant DMS-9622985.
This paper was written while both authors were in residence at MSRI. We are grateful for the hospitality and financial support of MSRI..