Showing 1–29 of 29 results for author: Westbury, B W

A uniform trigonometric R-matrix for the exceptional series

Authors: Bruce W. Westbury, Paul Zinn-Justin

Abstract: The exceptional series is a finite list of points on a projective line with a simple Lie algebra attached to each point. This list of Lie algebras includes the five exceptional Lie algebras. We give a uniform trigonometric $R$-matrix for the exceptional series in the representation $L\oplus I$, where $L$ is the quantum deformation of the adjoint representation and $I$ is the trivial representation… ▽ More The exceptional series is a finite list of points on a projective line with a simple Lie algebra attached to each point. This list of Lie algebras includes the five exceptional Lie algebras. We give a uniform trigonometric $R$-matrix for the exceptional series in the representation $L\oplus I$, where $L$ is the quantum deformation of the adjoint representation and $I$ is the trivial representation. We construct a sixteen dimensional algebra, $A^\square(\mathit2)$, which interpolates the algebras $\mathrm{End}(\otimes^2(L\oplus I))$ and a 287 dimensional algebra, $A^\square(\mathit3)$, which interpolates the algebras $\mathrm{End}(\otimes^3(L\oplus I))$. The $R$-matrix lives in $A^\square(\mathit2)$ and satisfies the Yang-Baxter equation in $A^\square(\mathit3)$; it interpolates the trigonometric $R$-matrices for the points in the exceptional series. △ Less

Submitted 10 February, 2025; v1 submitted 3 June, 2024; originally announced June 2024.

Comments: v2: introduction rewritten

A universal plane of diagrammatic categories

Authors: Bruce W. Westbury

Abstract: We introduce quantum skein relations for a family of ribbon categories parametrised by the projective plane over $\bQ$. There are thirteen points for which the ribbon category admits a ribbon functor to a category of invariant tensors for a quantised enveloping algebra. These thirteen points lie on three projective lines. One line gives the first row of the Freudenthal magic square and anoth… ▽ More We introduce quantum skein relations for a family of ribbon categories parametrised by the projective plane over $\bQ$. There are thirteen points for which the ribbon category admits a ribbon functor to a category of invariant tensors for a quantised enveloping algebra. These thirteen points lie on three projective lines. One line gives the first row of the Freudenthal magic square and another gives the fourth row which is the exceptional series. △ Less

Submitted 8 November, 2022; originally announced November 2022.

MSC Class: 18M15; 18M30; 17B37

Quantum diagrammatics for $F_4$

Authors: Alistair Savage, Bruce W. Westbury

Abstract: We introduce a graphical calculus for the representation theory of the quantized enveloping algebra of type $F_4$. We do this by giving a diagrammatic description of the category of invariant tensors on the 26-dimensional fundamental representation. We introduce a graphical calculus for the representation theory of the quantized enveloping algebra of type $F_4$. We do this by giving a diagrammatic description of the category of invariant tensors on the 26-dimensional fundamental representation. △ Less

Submitted 23 May, 2024; v1 submitted 25 April, 2022; originally announced April 2022.

Comments: 31 pages; v2: minor corrections; v3: added section on affinization; v4: minor corrections, published version

MSC Class: 18M15; 18M30; 17B25; 17B37

Journal ref: Journal of Pure and Applied Algebra 228 (2024), no. 11, 107731

On some combinatorial sequences associated to invariant theory

Authors: Alin Bostan, Jordan Tirrell, Bruce W. Westbury, Yi Zhang

Abstract: We study the enumerative and analytic properties of some sequences constructed using tensor invariant theory. The octant sequences are constructed from the exceptional Lie group $G_2$ and the quadrant sequences from the special linear group $SL(3)$. In each case we show that the corresponding sequences are related by binomial transforms. The first three octant sequences and the first four quadrant… ▽ More We study the enumerative and analytic properties of some sequences constructed using tensor invariant theory. The octant sequences are constructed from the exceptional Lie group $G_2$ and the quadrant sequences from the special linear group $SL(3)$. In each case we show that the corresponding sequences are related by binomial transforms. The first three octant sequences and the first four quadrant sequences are listed in the On-Line Encyclopedia of Integer Sequences (OEIS). These sequences all have interpretations as enumerating two-dimensional lattice walks but for the octant sequences the boundary conditions are unconventional. These sequences are all P-recursive and we give the corresponding recurrence relations. In all cases the associated differential operators are of third order and have the remarkable property that they can be solved to give closed formulae for the ordinary generating functions in terms of classical Gaussian hypergeometric functions. Moreover, we show that the octant sequences and the quadrant sequences are related by the branching rules for the inclusion of $SL(3)$ in $G_2$. △ Less

Submitted 20 April, 2022; v1 submitted 26 October, 2021; originally announced October 2021.

Comments: arXiv admin note: text overlap with arXiv:1911.10288

Journal ref: European Journal of Combinatorics (2022)

On sequences associated to the invariant theory of rank two simple Lie algebras

Authors: Alin Bostan, Jordan Tirrell, Bruce W. Westbury, Yi Zhang

Abstract: We study two families of sequences, listed in the On-Line Encyclopedia of Integer Sequences (OEIS), which are associated to invariant theory of Lie algebras. For the first family, we prove combinatorially that the sequences A059710 and A108307 are related by a binomial transform. Based on this, we present two independent proofs of a recurrence equation for A059710, which was conjectured by Mihailo… ▽ More We study two families of sequences, listed in the On-Line Encyclopedia of Integer Sequences (OEIS), which are associated to invariant theory of Lie algebras. For the first family, we prove combinatorially that the sequences A059710 and A108307 are related by a binomial transform. Based on this, we present two independent proofs of a recurrence equation for A059710, which was conjectured by Mihailovs. Besides, we also give a direct proof of Mihailovs' conjecture by the method of algebraic residues. As a consequence, closed formulae for the generating function of sequence A059710 are obtained in terms of classical Gaussian hypergeometric functions. Moreover, we show that sequences in the second family are also related by binomial transforms. △ Less

Submitted 22 November, 2019; originally announced November 2019.

Comments: 12 pages

Interpolating between promotion and the long cycle

Authors: Bruce W. Westbury

Abstract: We give a new proof of the cyclic sieving phenomena for promotion on rectangular standard tableaux. This uses an action of the cactus groups in the seminormal bases of the irreducible representations of the Hecke algebras. We give a new proof of the cyclic sieving phenomena for promotion on rectangular standard tableaux. This uses an action of the cactus groups in the seminormal bases of the irreducible representations of the Hecke algebras. △ Less

Submitted 17 June, 2019; originally announced June 2019.

MSC Class: 05E18

Promotion on oscillating and alternating tableaux and rotation of matchings and permutations

Authors: Stephan Pfannerer, Martin Rubey, Bruce W. Westbury

Abstract: Using Henriques' and Kamnitzer's cactus groups, Schützenberger's promotion and evacuation operators on standard Young tableaux can be generalised in a very natural way to operators acting on highest weight words in tensor products of crystals. For the crystals corresponding to the vector representations of the symplectic groups, we show that Sundaram's map to perfect matchings intertwines promot… ▽ More Using Henriques' and Kamnitzer's cactus groups, Schützenberger's promotion and evacuation operators on standard Young tableaux can be generalised in a very natural way to operators acting on highest weight words in tensor products of crystals. For the crystals corresponding to the vector representations of the symplectic groups, we show that Sundaram's map to perfect matchings intertwines promotion and rotation of the associated chord diagrams, and evacuation and reversal. We also exhibit a map with similar features for the crystals corresponding to the adjoint representations of the general linear groups. We prove these results by applying van Leeuwen's generalisation of Fomin's local rules for jeu de taquin, connected to the action of the cactus groups by Lenart, and variants of Fomin's growth diagrams for the Robinson-Schensted correspondence. △ Less

Submitted 18 July, 2019; v1 submitted 18 April, 2018; originally announced April 2018.

MSC Class: 05E18; 05E10

Coboundary categories and local rules

Authors: Bruce W. Westbury

Abstract: First we develop the theory of local rules for coboundary categories. Then we describe the local rules in two main cases. First for the quantum groups in general and in the seminormal representations of the Hecke algebras. Then for crystals in general and specifically for crystals of minuscule representations. Finally we show how growth diagrams can be extended to construct the action of the cactu… ▽ More First we develop the theory of local rules for coboundary categories. Then we describe the local rules in two main cases. First for the quantum groups in general and in the seminormal representations of the Hecke algebras. Then for crystals in general and specifically for crystals of minuscule representations. Finally we show how growth diagrams can be extended to construct the action of the cactus group on highest weight words. △ Less

Submitted 9 May, 2018; v1 submitted 12 May, 2017; originally announced May 2017.

MSC Class: 05E10; 18D10

Extending and quantising the Vogel plane

Authors: Bruce W. Westbury

Abstract: After introducing the Vogel plane we give the quantisation. Then we extend the Vogel plane to include certain symmetric spaces and give the quantisation of this extension. After introducing the Vogel plane we give the quantisation. Then we extend the Vogel plane to include certain symmetric spaces and give the quantisation of this extension. △ Less

Submitted 28 October, 2015; originally announced October 2015.

MSC Class: 17B20; 17B37

Combinatorics of symplectic invariant tensors

Authors: Martin Rubey, Bruce W. Westbury

Abstract: An important problem from invariant theory is to describe the subspace of a tensor power of a representation invariant under the action of the group. According to Weyl's classic, the first main (later: 'fundamental') theorem of invariant theory states that all invariants are expressible in terms of a finite number among them, whereas a second main theorem determines the relations between those bas… ▽ More An important problem from invariant theory is to describe the subspace of a tensor power of a representation invariant under the action of the group. According to Weyl's classic, the first main (later: 'fundamental') theorem of invariant theory states that all invariants are expressible in terms of a finite number among them, whereas a second main theorem determines the relations between those basic invariants. Here we present a transparent, combinatorial proof of a second fundamental theorem for the defining representation of the symplectic group Sp(2n). Our formulation is completely explicit and provides a very precise link to (n+1)-noncrossing perfect matchings, going beyond a dimension count. As a corollary, we obtain an instance of the cyclic sieving phenomenon. △ Less

Submitted 10 April, 2015; originally announced April 2015.

Comments: extended abstract accepted as contributed talk for FPSAC 2015, Daejeon, South Korea

A combinatorial approach to classical representation theory

Authors: Martin Rubey, Bruce W. Westbury

Abstract: A fundamental problem from invariant theory is to describe the endomorphism algebra of multilinear functions on a representation V invariant under the action of a group G. According to Weyl's classic, a first main (later: fundamental) theorem of invariant theory provides a finite spanning set for this algebra, whereas a a second main theorem describes the linear relations between those basic invar… ▽ More A fundamental problem from invariant theory is to describe the endomorphism algebra of multilinear functions on a representation V invariant under the action of a group G. According to Weyl's classic, a first main (later: fundamental) theorem of invariant theory provides a finite spanning set for this algebra, whereas a a second main theorem describes the linear relations between those basic invariants. We use diagrammatic methods to carry Weyl's programme a step further, providing explicit bases for the subspace of the r-th tensor powers of V invariant under the action of G, that are additionally preserved by the action of the long cycle of the symmetric group on r letters. The representations we study are essentially those that occur in Weyl's book: the defining representations of the symplectic groups, the defining representations of the symmetric groups considered as linear representations, and the adjoint representations of the linear groups. In particular, we present a transparent, combinatorial proof of a second fundamental theorem for the defining representation of the symplectic groups Sp(2n). Our formulation is explicit and provides a very precise link to (n+1)-noncrossing perfect matchings, going beyond a dimension count. Extending our argument to the k-th symmetric powers of these representations, the combinatorial objects involved turn out to be (n+1)-noncrossing k-regular graphs. As corollaries we obtain instances of the cyclic sieving phenomenon for these objects and the natural rotation action. In general, we derive branching rules for the diagram algebras corresponding to the representations in a uniform way. We also compute the Frobenius characteristics of modules of the diagram algebras restricted to the action of the symmetric group and obtain the isotypic decomposition of the r-th tensor power of V when n is large enough in comparison to r. △ Less

Submitted 15 May, 2015; v1 submitted 15 August, 2014; originally announced August 2014.

MSC Class: 05E15

On enumeration in classical invariant theory

Authors: Bruce W. Westbury

Abstract: In this paper we study the Frobenius characters of the invariant subspaces of the tensor powers of a representation V. The main result is a formula for these characters for a polynomial functor of V involving the characters for V. The main application is to representations V for which these characters are known. The best understood case is for V the vector representation of a symplectic group or s… ▽ More In this paper we study the Frobenius characters of the invariant subspaces of the tensor powers of a representation V. The main result is a formula for these characters for a polynomial functor of V involving the characters for V. The main application is to representations V for which these characters are known. The best understood case is for V the vector representation of a symplectic group or special linear group. Other cases where there are some related results are the defining representations of the symmetric groups and the adjoint representations of the general linear groups. This formula uses methods of enumerative combinatorics and in particular is similar to the cycle index series of regular graphs. △ Less

Submitted 5 August, 2014; v1 submitted 25 February, 2014; originally announced February 2014.

MSC Class: 05E10

Descent sets for symplectic groups

Authors: Martin Rubey, Bruce Sagan, Bruce W. Westbury

Abstract: The descent set of an oscillating (or up-down) tableau is introduced. This descent set plays the same role in the representation theory of the symplectic groups as the descent set of a standard tableau plays in the representation theory of the general linear groups. In particular, we show that the descent set is preserved by Sundaram's correspondence. This gives a direct combinatorial interpretati… ▽ More The descent set of an oscillating (or up-down) tableau is introduced. This descent set plays the same role in the representation theory of the symplectic groups as the descent set of a standard tableau plays in the representation theory of the general linear groups. In particular, we show that the descent set is preserved by Sundaram's correspondence. This gives a direct combinatorial interpretation of the branching rules for the defining representations of the symplectic groups; equivalently, for the Frobenius character of the action of a symmetric group on an isotypic subspace in a tensor power of the defining representation of a symplectic group. △ Less

Submitted 28 September, 2013; v1 submitted 23 March, 2013; originally announced March 2013.

Comments: 22 pages, 2 figures

MSC Class: 05E05; 05E10; 20C15

Web bases for the general linear groups

Authors: Bruce W. Westbury

Abstract: Let V be the representation of the quantised enveloping algebra of a general linear group which is the q-analogue of the vector representation. In this paper we construct a basis of the representations obtained by tensoring copies of V and its dual. This basis restricts to a basis of the subspace of invariant tensors. Let V be the representation of the quantised enveloping algebra of a general linear group which is the q-analogue of the vector representation. In this paper we construct a basis of the representations obtained by tensoring copies of V and its dual. This basis restricts to a basis of the subspace of invariant tensors. △ Less

Submitted 7 April, 2011; v1 submitted 30 November, 2010; originally announced November 2010.

MSC Class: 17B37; 20G42

Hurwitz' theorem on composition algebras

Authors: Bruce W. Westbury

Abstract: The main aim of this article is to give an exposition of the diagrammatic proof due to Boos and Rost of the theorem of Hurwitz that the dimension of a composition algebra is one of 0,1,2,4,8. The main aim of this article is to give an exposition of the diagrammatic proof due to Boos and Rost of the theorem of Hurwitz that the dimension of a composition algebra is one of 0,1,2,4,8. △ Less

Submitted 29 November, 2010; originally announced November 2010.

MSC Class: 17A75

Recoupling theory for quantum spinors

Authors: Bruce W. Westbury

Abstract: This paper extends the Birman-Wenzl category by including a spin representation and then developing the recoupling theory, following Cvitanovic. In particular this gives a q-analogue of the chromatic evaluation of a spin network. The recoupling theory is developed up to an evaluation of the q-analogues of the Fierz coefficients. This paper extends the Birman-Wenzl category by including a spin representation and then developing the recoupling theory, following Cvitanovic. In particular this gives a q-analogue of the chromatic evaluation of a spin network. The recoupling theory is developed up to an evaluation of the q-analogues of the Fierz coefficients. △ Less

Submitted 15 July, 2010; originally announced July 2010.

MSC Class: 15A72

Invariant tensors and the cyclic sieving phenomenon

Authors: Bruce W. Westbury

Abstract: We construct a large class of examples of the cyclic sieving phenomenon by expoiting the representation theory of semi-simple Lie algebras. Let $M$ be a finite dimensional representation of a semi-simple Lie algebra and let $B$ be the associated Kashiwara crystal. For $r\ge 0$, the triple $(X,c,P)$ which exhibits the cyclic sieving phenomenon is constructed as follows: the set $X$ is the set of is… ▽ More We construct a large class of examples of the cyclic sieving phenomenon by expoiting the representation theory of semi-simple Lie algebras. Let $M$ be a finite dimensional representation of a semi-simple Lie algebra and let $B$ be the associated Kashiwara crystal. For $r\ge 0$, the triple $(X,c,P)$ which exhibits the cyclic sieving phenomenon is constructed as follows: the set $X$ is the set of isolated vertices in the crystal $\otimes^rB$; the map $c\colon X\rightarrow X$ is a generalisation of promotion acting on standard tableaux of rectangular shape and the polynomial $P$ is the fake degree of the Frobenius character of a representation of $\mathfrak{S}_r$ related to the natural action of $\mathfrak{S}_r$ on the subspace of invariant tensors in $\otimes^rM$. Taking $M$ to be the defining representation of $\mathrm{SL}(n)$ gives the cyclic sieving phenomenon for rectangular tableaux. △ Less

Submitted 31 October, 2016; v1 submitted 8 December, 2009; originally announced December 2009.

MSC Class: 05E10; 22E45

Journal ref: Electron. J. Combin. 23 (2016), no. 4, Paper 4.25

R-matrices for the adjoint representations of Uq(so(n))

Authors: Deepak Parashar, Bruce W. Westbury

Abstract: We calculate a two-parameter R-matrix which specialises to the trigonometric R-matrix of the minimal affinisation of the adjoint representation of each of the classical simple Lie algebras so(n) and sp(n). We calculate a two-parameter R-matrix which specialises to the trigonometric R-matrix of the minimal affinisation of the adjoint representation of each of the classical simple Lie algebras so(n) and sp(n). △ Less

Submitted 18 June, 2009; originally announced June 2009.

Comments: 10 pages, LaTeX, 8 figures

MSC Class: 16T25; 82B23; 20G42

Invariant tensors and cellular categories

Authors: Bruce W. Westbury

Abstract: Let U be the quantised enveloping algebra associated to a Cartan matrix of finite type. Let W be the tensor product of a finite list of highest weight representations of U. Then the centraliser algebra of W has a basis called the dual canonical basis which gives an integral form. We show that this integral form is cellular by using results due to Lusztig. Let U be the quantised enveloping algebra associated to a Cartan matrix of finite type. Let W be the tensor product of a finite list of highest weight representations of U. Then the centraliser algebra of W has a basis called the dual canonical basis which gives an integral form. We show that this integral form is cellular by using results due to Lusztig. △ Less

Submitted 25 June, 2008; originally announced June 2008.

Comments: 6 pages; to appear in Journal of Algebra

MSC Class: 20G42

Journal ref: Journal of Algebra Volume 321, Issue 11, 1 June 2009, Pages 3563-3567

Confluence Theory for Graphs

Authors: Adam S. Sikora, Bruce W. Westbury

Abstract: We develop a theory of confluence of graphs. We describe an algorithm for proving that a given system of reduction rules for abstract graphs and graphs in surfaces is locally confluent. We apply this algorithm to show that each simple Lie algebra of rank at most 2, gives rise to a confluent system of reduction rules of graphs (via Kuperberg's spiders) in an arbitrary surface. As a further conseq… ▽ More We develop a theory of confluence of graphs. We describe an algorithm for proving that a given system of reduction rules for abstract graphs and graphs in surfaces is locally confluent. We apply this algorithm to show that each simple Lie algebra of rank at most 2, gives rise to a confluent system of reduction rules of graphs (via Kuperberg's spiders) in an arbitrary surface. As a further consequence of this result, we find canonical bases of SU_3-skein modules of cylinders over orientable surfaces. △ Less

Submitted 29 September, 2006; originally announced September 2006.

Comments: 34 pages, 218 figures

MSC Class: 57M15; 57M27; 05C10; 16S15

Journal ref: Algebr. Geom. Topol. 7 (2007) 439-478

Invariant tensors for the spin representation of so(7)

Authors: Bruce W. Westbury

Abstract: We construct a pivotal category by a finite presentation and show that it is an integral form of the category of invariant tensors of the spin representation of the quantum group U_q(B_3) over the field of rational functions in q. We construct a pivotal category by a finite presentation and show that it is an integral form of the category of invariant tensors of the spin representation of the quantum group U_q(B_3) over the field of rational functions in q. △ Less

Submitted 10 January, 2006; originally announced January 2006.

Comments: Uses pstricks

MSC Class: 18D10; 16W35

Journal ref: Mathematical Proceedings of the Cambridge Philosophical Society (2008), 144:

Enumeration of non-positive planar trivalent graphs

Authors: Bruce W. Westbury

Abstract: In this paper we construct inverse bijections between two sequences of finite sets. One sequence is defined by planar diagrams and the other by lattice walks. G. Kuperberg has shown that the number of elements in these two sets are equal. This problem and the methods we use are motivated by the representation theory of the exceptional simple Lie algebra $G_2$. However in this account we have emp… ▽ More In this paper we construct inverse bijections between two sequences of finite sets. One sequence is defined by planar diagrams and the other by lattice walks. G. Kuperberg has shown that the number of elements in these two sets are equal. This problem and the methods we use are motivated by the representation theory of the exceptional simple Lie algebra $G_2$. However in this account we have emphasised the combinatorics. △ Less

Submitted 6 July, 2005; originally announced July 2005.

MSC Class: 05A15; 17B10

Journal ref: J Algebr Comb (2007) 25:357-373

Sextonions and the magic square

Authors: Bruce W. Westbury

Abstract: Associated to any complex simple Lie algebra is a non-reductive complex Lie algebra which we call the intermediate Lie algebra. We propose that these algebras can be included in both the magic square and the magic triangle to give an additional row and column. The extra row and column in the magic square corresponds to the sextonions. This is a six dimensional subalgebra of the split octonions w… ▽ More Associated to any complex simple Lie algebra is a non-reductive complex Lie algebra which we call the intermediate Lie algebra. We propose that these algebras can be included in both the magic square and the magic triangle to give an additional row and column. The extra row and column in the magic square corresponds to the sextonions. This is a six dimensional subalgebra of the split octonions which contains the split quaternions. △ Less

Submitted 19 November, 2004; originally announced November 2004.

Journal ref: J. London Math. Soc. (2006) 73 (2): 455-474

Representation theory for dilute lattice models

Authors: Bruce W Westbury

Abstract: In this paper we study the representation theory of the algebras generated by the single bond transfer matrices in dilute lattice models. This representation theory is related to a tensor product of monoidal categories. This construction is illustrated by an elementary example and by the dilute Temperley-Lieb algebras. In this paper we study the representation theory of the algebras generated by the single bond transfer matrices in dilute lattice models. This representation theory is related to a tensor product of monoidal categories. This construction is illustrated by an elementary example and by the dilute Temperley-Lieb algebras. △ Less

Submitted 16 March, 2004; originally announced March 2004.

Comments: LaTeX, 16 pages, no figures

MSC Class: 81R05; 82B23

Series of nilpotent orbits

Authors: J. M. Landsberg, L. Manivel, B. W. Westbury

Abstract: We organize the nilpotent orbits in the exceptional complex Lie algebras into series using the triality model and show that within each series the dimension of the orbit is a linear function of the natural parameter a=1,2,4,8, respectively for f_4,e_6,e_7,e_8. We also obtain explicit representatives in a uniform manner. We observe similar regularities for the centralizers of nilpotent elements i… ▽ More We organize the nilpotent orbits in the exceptional complex Lie algebras into series using the triality model and show that within each series the dimension of the orbit is a linear function of the natural parameter a=1,2,4,8, respectively for f_4,e_6,e_7,e_8. We also obtain explicit representatives in a uniform manner. We observe similar regularities for the centralizers of nilpotent elements in a series and graded components in the associated grading of the ambient Lie algebra. More strikingly, for a greater than one, the degrees of the unipotent characters of the corresponding Chevalley groups, associated to these series through the Springer correspondance are given by polynomials which have uniform expressions in terms of a. △ Less

Submitted 19 September, 2003; v1 submitted 19 December, 2002; originally announced December 2002.

Comments: 20 pages, revised version with more formulas for unipotent characters

MSC Class: 14L30; 17B25; 20C33

The equality of 3-manifold invariants

Authors: John W. Barrett, Bruce W. Westbury

Abstract: The invariants of 3-manifolds defined by Kuperberg for involutory Hopf algebras and those defined by the authors for spherical Hopf algebras are the same for Hopf algebras on which they are both defined. The invariants of 3-manifolds defined by Kuperberg for involutory Hopf algebras and those defined by the authors for spherical Hopf algebras are the same for Hopf algebras on which they are both defined. △ Less

Submitted 20 April, 1995; v1 submitted 3 June, 1994; originally announced June 1994.

Comments: 8 pages, definition of state sum invariant improved for clarity, plus minor typos corrected. With 3 postscript figures. further change: BoxedEPSF macro now included

Report number: Nott-94.11

Journal ref: Math.Proc.Camb.Phil.Soc. 118 (September 1995)

A three parameter invariant of oriented links

Authors: Bruce W. Westbury

Abstract: This paper defines a new sequence of finite dimensional algebras as quotients of the group algebras of the braid groups. This sequence depends on three homogeneous parameters and has a one-parameter family of Markov traces, and so gives a three parameter invariant of oriented links. This paper defines a new sequence of finite dimensional algebras as quotients of the group algebras of the braid groups. This sequence depends on three homogeneous parameters and has a one-parameter family of Markov traces, and so gives a three parameter invariant of oriented links. △ Less

Submitted 22 April, 1994; originally announced April 1994.

Comments: 6 pages

Invariants of Piecewise-Linear 3-Manifolds

Authors: John W. Barrett, Bruce W. Westbury

Abstract: In this paper we develop a theory for constructing an invariant of closed oriented 3-manifolds, given a certain type of Hopf algebra. Examples are given by a quantised enveloping algebra of a semisimple Lie algebra, or by a semisimple involutory Hopf algebra. The invariant is defined by a state sum model on a triangulation. In some cases, the invariant is the partition function of a topological… ▽ More In this paper we develop a theory for constructing an invariant of closed oriented 3-manifolds, given a certain type of Hopf algebra. Examples are given by a quantised enveloping algebra of a semisimple Lie algebra, or by a semisimple involutory Hopf algebra. The invariant is defined by a state sum model on a triangulation. In some cases, the invariant is the partition function of a topological quantum field theory. △ Less

Submitted 8 August, 1995; v1 submitted 25 November, 1993; originally announced November 1993.

Comments: 30 pages, with postscript figures. Manuscript slightly revised to version of 24 June 1994, and TeX standardised to eliminate the use of non-standard macros or fonts

Journal ref: Trans.Amer.Math.Soc. 348 (1996) 3997-4022

Spherical Categories

Authors: John W. Barrett, Bruce W. Westbury

Abstract: This paper is a study of monoidal categories with duals where the tensor product need not be commutative. The motivating examples are categories of representations of Hopf algebras and the motivating application is the definition of 6j-symbols as used in topological field theories. We introduce the new notion of a spherical category. In the first section we prove a coherence theorem for a mono… ▽ More This paper is a study of monoidal categories with duals where the tensor product need not be commutative. The motivating examples are categories of representations of Hopf algebras and the motivating application is the definition of 6j-symbols as used in topological field theories. We introduce the new notion of a spherical category. In the first section we prove a coherence theorem for a monoidal category with duals following MacLane (1963). In the second section we give the definition of a spherical category, and construct a natural quotient which is also spherical. In the third section we define spherical Hopf algebras so that the category of representations is spherical. Examples of spherical Hopf algebras are involutory Hopf algebras and ribbon Hopf algebras. Finally we study the natural quotient in these cases and show it is semisimple. △ Less

Submitted 21 July, 1998; v1 submitted 25 October, 1993; originally announced October 1993.

Comments: 16 pages. Minor corrections

Journal ref: Adv.Math.143:357-375,1999