Namespaces
Variants
Actions

Braided group

From Encyclopedia of Mathematics
Jump to: navigation, search

braided Hopf algebra, braided bi-algebra

A Hopf algebra, or bi-algebra, in a braided category. In physical terms, this is a generalization of both the notion of a quantum group (cf. also Quantum groups) and a super-group, in which the role of Bose–Fermi statistics is now played by more general braid statistics. The term is sometimes also used (incorrectly) for an ordinary Hopf algebra equipped with a (co-) quasi-triangular structure, see Quasi-triangular Hopf algebra.

Associated to braided groups is a new "three-dimensional" kind of algebra, in which the algebraic information is expressed by braid and knot diagrams. In effect, algebraic operations are implemented by "wiring up" outputs of mappings to the inputs of other mappings. Algebraic information flows along these "wires" in much the same way as along the wiring in a computer except that, in braided algebra, under-crossings and over-crossings represent non-trivial (and generally distinct) operations. This braided algebra is one of the deeper structures behind quantum groups and their associated brand of non-commutative geometry.

To make this precise, one adds to the notation for working in a braided category as follows. Recall that morphisms are generally represented by nodes on a string and understood flowing downwards. By definition, a braided algebra, or algebra in a braided category, means an object of the category, a product morphism and a unit morphism , which is written as

Figure: b120430a

by an extension of the notation. The associativity and unity axioms are then

Figure: b120430b

In view of the associativity, one can also write multiple products as single nodes with multiple lines going in and one line coming out. Similarly, a braided co-algebra, or co-algebra in a braided category, is an object and morphisms and , denoted by

Figure: b120430c

and obeying co-associativity and co-unity axioms given by turning the above diagrams upside down.

Given two algebras , in a braided category, one has a braided tensor product algebra in the category. Its product is

Figure: b120430d

In concrete cases, where , are built on vector spaces, the product is

for and . This is a generalization of the supertensor product of two superalgebras.

It is now finally possible to define a braided group. This is , where

a) is a unital algebra in a braided category;

b) and form a co-algebra in the braided category;

c) , are algebra homomorphisms, where the braided tensor product algebra is used; here, , respect the product in the sense

Figure: b120430e

d) is a morphism obeying the diagram

Figure: b120430f

It is a remarkable fact that most constructions in group theory go over to this "diagrammatic group theory" , i.e. work universally for all braided groups. For example, every braided group acts on itself by ,

Figure: b120430g

The construction is modeled on the usual adjoint action of a group on itself, where

Figure: b120430h

Here, models the diagonal mapping and models group inversion. There is an implicit transposition of past which becomes in the general case a non-trivial braiding . Also in analogy with groups, one can show that the antipode is anti-multiplication preserving in the sense that

Examples.

Some basic examples of braided groups are the following. Let be a general field. Its invertible elements are denoted by .

1) Fix . The braided line is (polynomials in ) with the linear co-algebra and antipode

and the braiding

as an object in the braided category of -graded vector spaces. The braided group axioms above then determine that

where

So, the -integers (which are ubiquitous throughout the theory of quantum groups) arise in the structure of the braided-line itself.

Similarly, when is an th root of unity, one has an anyonic line , defined in the same way but with the additional relation . It lives in the category of -graded spaces as a generalization of Fermionic or Grassmann variables, where .

2) Fix . The quantum-braided plane is (the free associative algebra generated by ) modulo the relations . The co-algebra and antipode are

and the braiding is

The braiding here is the same one which gives rise to the Jones knot invariant; the braided group lives in the category of -modules or -co-modules (see Quasi-triangular Hopf algebra).

Similarly, there are quantum-braided planes covariantly associated to other quantum groups, or, more generally, braided co-vectors associated to any invertible matrix of the Yang–Baxter equation and a suitable matrix . They have the general form with relations and braiding

(summations in repeated indices). A common misconception is that associativity requires to obey the Yang–Baxter equations. In fact, it is in the braiding which requires this.

3) For , there is a braided group associated to any symmetrizable Cartan matrix. For example, for is modulo the -Serre relations

The co-algebra and antipode on the generators have the same linear form as above but the braiding is

where is the standard Cartan matrix of . Similar results hold when is the nil radical of the Borel subalgebra of a complex semi-simple or Kac–Moody Lie algebra . These have a natural Kashiwara–Lusztig canonical basis.

4) There are braided group enveloping algebras deforming the universal enveloping algebras (cf. also Universal enveloping algebra) of all complex semi-simple Lie algebras . They live in the category of -modules under the adjoint action. In fact, they have the same algebra as the quantum group enveloping algebra (see Quasi-triangular Hopf algebra) but a different co-product.

In a general algebraic formulation, every quasi-triangular Hopf algebra has a braided version living in the category of -modules by the adjoint action. This is called the transmutation of to a braided group .

5) There are braided group coordinate rings which are braided versions of the usual quantum group coordinate rings . They are built on the same co-algebra with a modified product and live in the category of -co-modules by the adjoint action.

For example, for , the braided group is modulo the relations

and the "braided q-determinant" relation

The co-algebra is

(matrix multiplication understood) and the antipode is

The braiding is

etc. ( relations).

In a general algebraic formulation, every dual quasi-triangular Hopf algebra has a braided version with the same co-algebra and a modified product, called its transmutation. It lives in the braided category of co-modules of the Hopf algebra by the adjoint co-action.

6) In an -matrix formulation, there is a braided bi-algebra of braided matrices associated to every bi-invertible solution of the Yang–Baxter equations. This is (a matrix of generators) modulo relations

(summation of repeated indices). The co-algebra has the matrix form

(summation over ) and the braiding is defined by

(summation over repeated indices). A spectral parameter version of the algebra here occurs in the theory of integrable systems as Cherednik's reflection equations. The quadratic algebras themselves arose in the theory of braided groups by transmutation from the quantum matrices (see Quasi-triangular Hopf algebra). It is for this reason that they have many similar properties to the latter.

7) Given a braided group in the category of (co-)modules of a ({co-})quasi-triangular Hopf algebra , one has an ordinary Hopf algebra , called its bosonization. It is such that the (co-)modules of in the braided category are in one-to-one correspondence with the (co-)modules of .

More generally, given a braided group , the category of crossed modules under (with invertible antipode), one has an ordinary Hopf algebra (an algebra cross product by the action of and a co-algebra cross product by the co-action of ). Conversely, let be a surjection between Hopf algebras split by a Hopf algebra inclusion , and assume that has an invertible antipode. Then it can be shown that for some braided group .

For example, the bosonization of the quantum-braided plane is the Hopf algebra . One similarly constructs Poincaré and other inhomogeneous quantum groups by bosonization of braided groups.

There is also a "double bosonization" construction when a braided group is equipped with a suitable dual . In particular, this allows the inductive construction of all quantum groups by repeatedly adjoining braided planes of additional roots and their duals. It also allows one to construct , a version of due to G. Lusztig. Here, is the Cartan or torus part viewed as a commutative dual quasi-triangular Hopf algebra.

Transmutation, bosonization and double bosonization provide a close relationship between quantum groups and braided groups, allowing the diagrammatic methods to be applied to the latter (rather than inserting randomly here and there). As well as providing a systematic approach, there is a theory of braided-Lie algebras which provides a finite-dimensional object generating (and hence ) as some kind of enveloping algebra.

There are some remarkable and unexpected consequences as well, with no analogue. One of them is that and are essentially isomorphic as braided groups. They are also dual to each other, i.e. the braided versions are essentially self-dual. This self-duality isomorphism is singular when . Consequently, and hence , although an analogue of an enveloping algebra, can be described when as an analogue of an algebraic-group coordinate algebra by a matrix of generators and relations. One has to take certain versions of these algebras for a precise isomorphism here.

As well applications to quantum groups, braided groups have their own intrinsic braided geometry. For example, in the braided line one can define braided differentiation as an infinitesimal translation via the braided co-product. Thus,

for any polynomial in the braided line. This works out as

which occurs in the theory of -special functions. Similarly, one can define the partial braided derivatives and on the quantum braided plane by

which comes out as

One also has a braided Taylor theorem, braided exponentials, etc. This naturally extends the theory of -special functions to higher dimensions as the braided geometry of quantum-braided planes. Note that non-trivial co-products of the above linear form on the generators are not possible in the context of ordinary Hopf algebras.

References

[a1] S. Majid, "Examples of braided groups and braided matrices" J. Math. Phys. , 32 (1991) pp. 3246–3253
[a2] S. Majid, "Algebras and Hopf algebras in braided categories" , Lecture Notes Pure Appl. Math. , 158 , M. Dekker (1994) pp. 55–105
[a3] S. Majid, "Foundations of quantum group theory" , Cambridge Univ. Press (1995)
[a4] S. Majid, "Double bosonisation and the construction of " Math. Proc. Cambridge Philos. Soc. , 125 (1999) pp. 151–192
How to Cite This Entry:
Braided group. S. Majid (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Braided_group&oldid=11439
This text originally appeared in Encyclopedia of Mathematics - ISBN 1402006098