Doctor of Philosophy / This thesis presents a study of the cyclotomic BMW algebras, introduced by Haring-Oldenburg as a generalization of the BMW (Birman-Murakami-Wenzl) algebras related to 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. The motivation behind the definition of the BMW algebras may be traced back to an important problem in knot theory; namely, that of classifying knots (and links) up to isotopy. The algebraic definition of the BMW algebras uses generators and relations originally inspired by the Kauffman link invariant. They are intimately connected with the Artin braid group of type A, Iwahori-Hecke algebras of type A, and with many diagram algebras, such as the Brauer and Temperley-Lieb algebras. Geometrically, the BMW algebra is isomorphic to the Kauffman Tangle algebra. The representations and the cellularity of the BMW algebra have now been extensively studied in the literature. These algebras also feature in the theory of quantum groups, statistical mechanics, and topological quantum field theory. In view of these relationships between the BMW algebras and several objects of "type A", several authors have since naturally generalized the BMW algberas for other types of Artin groups. Motivated by knot theory associated with the Artin braid group of type B, Haring-Oldenburg introduced the cyclotomic BMW algebras B_n^k as a generalization of the BMW algebras such that the Ariki-Koike algebra h_{n,k} is a quotient of B_n^k, in the same way the Iwahori-Hecke algebra of type A is a quotient of the BMW algebra. In this thesis, we investigate the structure of these algebras and show they have a topological realization as a certain cylindrical analogue of the Kauffman Tangle algebra. In particular, they are shown to be R-free of rank k^n (2n-1)!! and bases that may be explicitly described both algebraically and diagrammatically in terms of cylindrical tangles are obtained. Unlike the BMW and Ariki-Koike algebras, one must impose extra so-called "admissibility conditions" on the parameters of the ground ring in order for these results to hold. This is due to potential torsion caused by the polynomial relation of order k imposed on one of the generators of B_n^k. It turns out that the representation theory of B_2^k is crucial in determining these conditions precisely. The representation theory of B_2^k is analysed in detail in a joint preprint with Wilcox in [45] (http://arxiv.org/abs/math/0611518). The admissibility conditions and a universal ground ring with admissible parameters are given explicitly in Chapter 3. The admissibility conditions are also closely related to the existence of a non-degenerate Markov trace function of B_n^k which is then used together with the cyclotomic Brauer algebras in the linear independency arguments contained in Chapter 4. Furthermore, in Chapter 5, we prove the cyclotomic BMW algebras are cellular, in the sense of Graham and Lehrer. The proof uses the cellularity of the Ariki-Koike algebras (Graham-Lehrer [16] and Dipper-James-Mathas [8]) and an appropriate "lifting" of a cellular basis of the Ariki-Koike algebras into B_n^k, which is compatible with a certain anti-involution of B_n^k. When k = 1, the results in this thesis specialize to those previously established for the BMW algebras by Morton-Wasserman [30], Enyang [9], and Xi [47]. REMARKS: During the writing of this thesis, Goodman and Hauschild-Mosley also attempt similar arguments to establish the freeness and diagram algebra results mentioned above. However, they withdrew their preprints ([14] and [15]), due to issues with their generic ground ring crucial to their linear independence arguments. A similar strategy to that proposed in [14], together with different trace maps and the study of rings with admissible parameters in Chapter 3, is used in establishing linear independency of our basis in Chapter 4. Since the submission of this thesis, new versions of these preprints have been released in which Goodman and Hauschild-Mosley use alternative topological and Jones basic construction theory type arguments to establish freeness of B_n^k and an isomorphism with the cyclotomic Kauffman Tangle algebra. However, they require their ground rings to be an integral domain with parameters satisfying the (slightly stronger) admissibility conditions introduced by Wilcox and the author in [45]. Also, under these conditions, Goodman has obtained cellularity results. Rui and Xu have also obtained freeness and cellularity results when k is odd, and later Rui and Si for general k, under the assumption that \delta is invertible and using another stronger condition called "u-admissibility". The methods and arguments employed are strongly influenced by those used by Ariki, Mathas and Rui [3] for the cyclotomic Nazarov-Wenzl algebras and involve the construction of seminormal representations; their preprints have recently been released on the arXiv. It should also be noted there are slight differences between the definitions of cyclotomic BMW algebras and ground rings used, as explained partly above. Furthermore, Goodman and Rui-Si-Xu use a weaker definition of cellularity, to bypass a problem discovered in their original proofs relating to the anti-involution axiom of the original Graham-Lehrer definition. This Ph.D. thesis, completed at the University of Sydney, was submitted September 2007 and passed December 2007.

Doctor of Philosophy / This thesis presents a study of the cyclotomic BMW algebras, introduced by Haring-Oldenburg as a generalization of the BMW (Birman-Murakami-Wenzl) algebras related to 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. The motivation behind the definition of the BMW algebras may be traced back to an important problem in knot theory; namely, that of classifying knots (and links) up to isotopy. The algebraic definition of the BMW algebras uses generators and relations originally inspired by the Kauffman link invariant. They are intimately connected with the Artin braid group of type A, Iwahori-Hecke algebras of type A, and with many diagram algebras, such as the Brauer and Temperley-Lieb algebras. Geometrically, the BMW algebra is isomorphic to the Kauffman Tangle algebra. The representations and the cellularity of the BMW algebra have now been extensively studied in the literature. These algebras also feature in the theory of quantum groups, statistical mechanics, and topological quantum field theory. In view of these relationships between the BMW algebras and several objects of "type A", several authors have since naturally generalized the BMW algberas for other types of Artin groups. Motivated by knot theory associated with the Artin braid group of type B, Haring-Oldenburg introduced the cyclotomic BMW algebras B_n^k as a generalization of the BMW algebras such that the Ariki-Koike algebra h_{n,k} is a quotient of B_n^k, in the same way the Iwahori-Hecke algebra of type A is a quotient of the BMW algebra. In this thesis, we investigate the structure of these algebras and show they have a topological realization as a certain cylindrical analogue of the Kauffman Tangle algebra. In particular, they are shown to be R-free of rank k^n (2n-1)!! and bases that may be explicitly described both algebraically and diagrammatically in terms of cylindrical tangles are obtained. Unlike the BMW and Ariki-Koike algebras, one must impose extra so-called "admissibility conditions" on the parameters of the ground ring in order for these results to hold. This is due to potential torsion caused by the polynomial relation of order k imposed on one of the generators of B_n^k. It turns out that the representation theory of B_2^k is crucial in determining these conditions precisely. The representation theory of B_2^k is analysed in detail in a joint preprint with Wilcox in [45] (http://arxiv.org/abs/math/0611518). The admissibility conditions and a universal ground ring with admissible parameters are given explicitly in Chapter 3. The admissibility conditions are also closely related to the existence of a non-degenerate Markov trace function of B_n^k which is then used together with the cyclotomic Brauer algebras in the linear independency arguments contained in Chapter 4. Furthermore, in Chapter 5, we prove the cyclotomic BMW algebras are cellular, in the sense of Graham and Lehrer. The proof uses the cellularity of the Ariki-Koike algebras (Graham-Lehrer [16] and Dipper-James-Mathas [8]) and an appropriate "lifting" of a cellular basis of the Ariki-Koike algebras into B_n^k, which is compatible with a certain anti-involution of B_n^k. When k = 1, the results in this thesis specialize to those previously established for the BMW algebras by Morton-Wasserman [30], Enyang [9], and Xi [47]. REMARKS: During the writing of this thesis, Goodman and Hauschild-Mosley also attempt similar arguments to establish the freeness and diagram algebra results mentioned above. However, they withdrew their preprints ([14] and [15]), due to issues with their generic ground ring crucial to their linear independence arguments. A similar strategy to that proposed in [14], together with different trace maps and the study of rings with admissible parameters in Chapter 3, is used in establishing linear independency of our basis in Chapter 4. Since the submission of this thesis, new versions of these preprints have been released in which Goodman and Hauschild-Mosley use alternative topological and Jones basic construction theory type arguments to establish freeness of B_n^k and an isomorphism with the cyclotomic Kauffman Tangle algebra. However, they require their ground rings to be an integral domain with parameters satisfying the (slightly stronger) admissibility conditions introduced by Wilcox and the author in [45]. Also, under these conditions, Goodman has obtained cellularity results. Rui and Xu have also obtained freeness and cellularity results when k is odd, and later Rui and Si for general k, under the assumption that \delta is invertible and using another stronger condition called "u-admissibility". The methods and arguments employed are strongly influenced by those used by Ariki, Mathas and Rui [3] for the cyclotomic Nazarov-Wenzl algebras and involve the construction of seminormal representations; their preprints have recently been released on the arXiv. It should also be noted there are slight differences between the definitions of cyclotomic BMW algebras and ground rings used, as explained partly above. Furthermore, Goodman and Rui-Si-Xu use a weaker definition of cellularity, to bypass a problem discovered in their original proofs relating to the anti-involution axiom of the original Graham-Lehrer definition. This Ph.D. thesis, completed at the University of Sydney, was submitted September 2007 and passed December 2007.

Nous définissons des formes normales géodésiques pour les séries générales des groupes de réflexions complexes G(de,e,n). Ceci nécessite l'élaboration d'une technique combinatoire afin de déterminer des décompositions réduites et de calculer la longueur des éléments de G(de,e,n) sur un ensemble générateur donné. En utilisant ces formes normales géodésiques, nous construisons des intervalles dans G(e,e,n) qui permettent d'obtenir des groupes de Garside. Certains de ces groupes correspondent au groupe de tresses complexe B(e,e,n). Pour les autres groupes de Garside, nous étudions certaines de leurs propriétés et nous calculons leurs groupes d'homologie sur Z d'ordre 2. Inspirés par les formes normales géodésiques, nous définissons aussi de nouvelles présentations et de nouvelles bases pour les algèbres de Hecke associées aux groupes de réflexions complexes G(e,e,n) et G(d,1,n) ce qui permet d'obtenir une nouvelle preuve de la conjecture de liberté de BMR (Broué-Malle-Rouquier) pour ces deux cas. Ensuite, nous définissons des algèbres de BMW (Birman-Murakami-Wenzl) et de Brauer pour le type (e,e,n). Ceci nous permet de construire des représentations de Krammer explicites pour des cas particuliers des groupes de tresses complexes B(e,e,n). Nous conjecturons que ces représentations sont fidèles. Enfin, en se basant sur nos calculs heuristiques, nous proposons une conjecture sur la structure de l'algèbre de BMW. / We define geodesic normal forms for the general series of complex reflection groups G(de,e,n). This requires the elaboration of a combinatorial technique in order to determine minimal word representatives and to compute the length of the elements of G(de,e,n) over some generating set. Using these geodesic normal forms, we construct intervals in G(e,e,n) that give rise to Garside groups. Some of these groups correspond to the complex braid group B(e,e,n). For the other Garside groups that appear, we study some of their properties and compute their second integral homology groups. Inspired by the geodesic normal forms, we also define new presentations and new bases for the Hecke algebras associated to the complex reflection groups G(e,e,n) and G(d,1,n) which lead to a new proof of the BMR (Broué-Malle-Rouquier) freeness conjecture for these two cases. Next, we define a BMW (Birman-Murakami-Wenzl) and Brauer algebras for type (e,e,n). This enables us to construct explicit Krammer's representations for some cases of the complex braid groups B(e,e,n). We conjecture that these representations are faithful. Finally, based on our heuristic computations, we propose a conjecture about the structure of the BMW algebra.