Lawrence–Krammer representation

Lawrence–Krammer representation

In mathematics the Lawrence–Krammer representation is a representation of the braid groups. It fits into a family of representations called the Lawrence representations. The 1st Lawrence representation is the Burau representation and the 2nd is the Lawrence–Krammer representation.

The Lawrence–Krammer representation is named after Ruth Lawrence and Daan Krammer. [cite arXiv |author=Stephen Bigelow |authorlink= |eprint=math/0204057 |title=The Lawrence–Krammer representation |class= |year=2002 |version=v1 |accessdate=2008-09-08 ]

Definition

Consider the braid group B_n to be the mapping class group of a disc with "n" marked points P_n. The Lawrence–Krammer representation is defined as the action of B_n on the homology of a certain covering space of the configuration space C_2 P_n. Specifically, H_1 C_2 P_n simeq mathbb Z^{n+1}, and the subspace of H_1 C_2 P_n invariant under the action of B_n is primitive, free and of rank 2. Generators for this invariant subspace are denoted by q, t.

The covering space of C_2 P_n corresponding to the kernel of the projection map

:pi_1 C_2 P_n o mathbb Z^2 langle q,t angle

is called the Lawrence–Krammer cover and is denoted overline{C_2 P_n}. Diffeomorphisms ofP_n act on P_n, thus also on C_2 P_n, moreover they lift uniquely to diffeomorphisms of overline{C_2 P_n} which restrict to identity on the co-dimension two boundary stratum (where both points are on the boundary circle). The action of B_n on

:H_2 overline{C_2 P_n},

thought of as a

:mathbb Zlangle t^{pm},q^{pm} angle-module,

is the Lawrence–Krammer representation. Here H_2 overline{C_2 P_n} is known to be a free mathbb Zlangle t^{pm},q^{pm} angle-module, of rank n choose 2.

Matrices

Using Bigelow's conventions for the Lawrence–Krammer representation, generators for H_2 overline{C_2 P_n} are denoted v_{i,j} for 1 leq i < j leq n. Letting sigma_i denote the standard Artin generators of the braid group, we get the expression:

sigma_icdot v_{j,k} = left{egin{array}{lr}v_{j,k} & i otin {j-1,j,k-1,k}, \qv_{i,k} + (q^2-q)v_{i,j} + (1-q)v_{j,k} & i=j-1 \v_{j+1,k} & i=j eq k-1, \qv_{j,i} + (1-q)v_{j,k} - (q^2-q)tv_{i,k} & i=k-1 eq j,\v_{j,k+1} & i=k,\-tq^2v_{j,k} & i=j=k-1.end{array} ight.

Faithfulness

Stephen Bigelow and Daan Krammer have independent proofs that the Lawrence–Krammer representation is faithful.

Geometry

The Lawrence–Krammer representation preserves a non-degenerate sesquilinear form which is known to be negative-definite Hermitian provided q, t are specialized to suitable unit complex numbers. Thus the braid group is a subgroup of the unitary group of frac{n(n-1)}{2}-square matrices. Recently it has been shown that the image of the Lawrence–Krammer representation is dense subgroup of the unitary group in this case.

The sesquilinear form has the explicit description:

langle v_{i,j}, v_{k,l} angle = -(1-t)(1+qt)(q-1)^2t^{-2}q^{-3}left{egin{array}{lr}-q^2t^2(q-1) & i=k

References

* Bigelow, "Braid groups are linear." JAMS 2001.
* Bigelow, "The Lawrence–Krammer representation." Topology and geometry of manifolds, Proc. Sympos. Pure Math., 71 (2003)
* Budney, "On the image of the Lawrence–Krammer representation," J Knot. Thry. Ram. (2005)
* Krammer, "Braid groups are linear." Ann. Math. 2002.

Notes


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Ruth Lawrence — Ruth Elke Lawrence Naimark ( he. רות אלקה לורנס נאימרק, born 2 August 1971) is an Associate Professor of mathematics at the Einstein Institute of Mathematics, Hebrew University of Jerusalem, and a researcher in knot theory and algebraic topology …   Wikipedia

  • Braid group — In mathematics, the braid group on n strands, denoted by B n , is a certain group which has an intuitive geometrical representation, and in a sense generalizes the symmetric group S n . Here, n is a natural number; if n gt; 1, then B n is an… …   Wikipedia

  • List of mathematics articles (L) — NOTOC L L (complexity) L BFGS L² cohomology L function L game L notation L system L theory L Analyse des Infiniment Petits pour l Intelligence des Lignes Courbes L Hôpital s rule L(R) La Géométrie Labeled graph Labelled enumeration theorem Lack… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”