Various matrices and quantities will be needed throughout, so we define them here:

(1)
${I}_{m}$
is the
$m\times m$
identity matrix.

(2)
$R=\frac{1}{\sqrt{2}}\left(\begin{array}{cccc}1& 0& 0& 1\\ 0& 1& 1& 0\\ 0& 1& 1& 0\\ 1& 0& 0& 1\end{array}\right)$

(3)
$s=\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)$

(4)
${\sigma}_{x}=\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)$

(5)
${P}_{s}=\left(\begin{array}{cc}1& \sqrt{1}\\ \sqrt{1}& 1\end{array}\right)$

(6)
${P}_{{\sigma}_{x}}=\left(\begin{array}{cc}1& 1\\ 1& 1\end{array}\right)$

(7)
${P}_{n}=({P}_{s}\otimes {P}_{{\sigma}_{x}}{)}^{\otimes \lfloor n/2\rfloor}\otimes {I}_{2}^{\otimes (n2\lfloor n/2\rfloor )}$
where
$\lfloor a\rfloor $
is the integer part of
$a$
.

(8)
${\sigma}_{z}=\left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right)$

(9)
${g}_{i}={\pi}_{n}\left(\right({\sigma}_{i}{)}^{2})={I}_{2}^{\otimes (i1)}\otimes {R}^{2}\otimes {I}_{2}^{\otimes (ni1)}$
(observe we ignore the dependence of
${g}_{i}$
on
$n$
; the value of
$n$
will always be clear from the context).

(10)
$\zeta =\frac{1}{\sqrt{2}}(1+\sqrt{1})$
.

(11)
$d=\left(\begin{array}{cc}\zeta & 0\\ 0& \overline{\zeta}\end{array}\right)$

(12)
$D=\left(\begin{array}{cccc}\zeta & 0& 0& 0\\ 0& \overline{\zeta}& 0& 0\\ 0& 0& \overline{\zeta}& 0\\ 0& & 0& \zeta \end{array}\right)$

(13)
$M=\frac{1}{\sqrt{2}}\left(\begin{array}{cc}1& 1\\ 1& 1\end{array}\right)$
We will also need a few simple computations involving these matrices so we record them in the following:
Lemma 2.2.
The matrices defined above satisfy:

(a)
${R}^{2}=s\otimes {\sigma}_{x}$

(b)
$R=\frac{1}{\sqrt{2}}({R}^{2}+{I}_{4})$
,
${R}^{1}=\frac{1}{\sqrt{2}}({R}^{2}+{I}_{4})$

(c)
$({R}^{2}\otimes {I}_{2})({I}_{2}\otimes {R}^{2})=({I}_{2}\otimes {R}^{2})({R}^{2}\otimes {I}_{2})$

(d)
${g}_{i}{g}_{i+1}={g}_{i+1}{g}_{i}$

(e)
$({R}^{1}\otimes {I}_{2})({I}_{2}\otimes {R}^{2})(R\otimes {I}_{2})=({I}_{2}\otimes {R}^{2})({R}^{2}\otimes {I}_{2})$

(f )
${\pi}_{n}\left({\sigma}_{i}^{1}\right){g}_{i\pm 1}{\pi}_{n}\left({\sigma}_{i}\right)={g}_{i\pm 1}{g}_{i}$

(g)
${g}_{i}{g}_{j}={g}_{j}{g}_{i}$
and
${\pi}_{n}\left({\sigma}_{i}\right){g}_{j}={g}_{j}{\pi}_{n}\left({\sigma}_{i}\right)$
if
$ij\ge 2$

(h)
${R}^{4}={I}_{4}$
,
$({g}_{i}{)}^{2}={I}_{{2}^{n}}$
.

(i)
$({P}_{s}{)}^{1}s{P}_{s}=\sqrt{1}{\sigma}_{z}$
, and
$({P}_{s}{)}^{1}{\sigma}_{x}{P}_{s}={\sigma}_{x}$

(j)
$({P}_{{\sigma}_{x}}{)}^{1}{\sigma}_{x}{P}_{{\sigma}_{x}}={\sigma}_{z}$
,
$({P}_{{\sigma}_{x}}{)}^{1}s{P}_{{\sigma}_{x}}=s$

(k)
$({P}_{n}{)}^{1}{g}_{2i+1}{P}_{n}=\sqrt{1}({I}_{2}^{\otimes 2i}\otimes {\sigma}_{z}^{\otimes 2}\otimes {I}_{2}^{\otimes n2i2})$
, and
$({P}_{n}{)}^{1}{g}_{2i}{P}_{n}={g}_{2i}$
.

Proof.
The first assertions (a) and (b) are straightforward computations.
Having checked that
$s$
and
${\sigma}_{x}$
anticommute (c) follows, and (d) is immediate from (c). Using (b) and the observation
${R}^{2}={R}^{2}$
we express the lefthand side of the equality in (e) in terms of
${R}^{2}$
and then use (c) to derive the righthand side. Assertion (f ) is immediate from (e). Assertion (g) is a consequence of the “far commutation” relations satisfied by the braid group, and (h) follows from (b) and the definition of
${g}_{i}$
. The matrix
${P}_{s}$
(resp.
${P}_{{\sigma}_{x}}$
) is a change of bases matrix that diagonalizes
$s$
(resp.
${\sigma}_{x}$
) and commutes with
${\sigma}_{x}$
(resp.
$s$
). This is the statement (j), and (k) follows directly from this fact and the definition of
${P}_{n}$
. □
2.2 Restriction to
${\mathcal{P}}_{n}$
The homomorphism
${\mathcal{\mathcal{B}}}_{n}$
to the symmetric group on
$n$
letters
${S}_{n}$
given by
${\sigma}_{i}\to (i,i+1)$
has kernel
${\mathcal{P}}_{n}$
the socalled pure braid group.
${\mathcal{P}}_{n}$
is generated by all conjugates of the squares of the generators of
${\mathcal{\mathcal{B}}}_{n}$
:
$({\sigma}_{i}{)}^{2}$
. Actually a more economical presentation of
${\mathcal{P}}_{n}$
can be found (see e.g. [
B]
), but we shall not need it here. To exploit this relationship between
${\mathcal{\mathcal{B}}}_{n}$
and
${\mathcal{P}}_{n}$
we shall restrict
${\pi}_{n}$
to the subgroup
${\mathcal{P}}_{n}$
. For convenience of notation we introduce the following notation:
Definition 2.3.
${H}_{n}:={\pi}_{n}\left({\mathcal{P}}_{n}\right)$
and
${G}_{n}:={\pi}_{n}\left({\mathcal{\mathcal{B}}}_{n}\right)$
We can describe
${H}_{n}$
very succinctly:
Lemma 2.4.
${H}_{n}$
is generated by
${g}_{1},\dots ,{g}_{n1}$
.

Proof.
Observe that
${H}_{n}$
is generated by all conjugates of
${g}_{i}$
, so that
${H}_{n}$
is the smallest normal subgroup of
${G}_{n}$
containing the subgroup
$\langle {g}_{1},\dots ,{g}_{n1}\rangle $
generated by the
${g}_{i}$
. But by Lemma 2.2 (f ),(g)
$\langle {g}_{1},\dots ,{g}_{n1}\rangle $
is normal in
${G}_{n}$
so
$\langle {g}_{1},\dots ,{g}_{n1}\rangle ={H}_{n}$
. □
Remark 2.5.
Combining this with Lemma 2.2 (a) we have a very powerful tool for studying the representation
${\pi}_{n}$
of
${\mathcal{\mathcal{B}}}_{n}$
. After decomposing the representation
${\pi}_{n}$
restricted to
${\mathcal{P}}_{n}$
into its irreducible components and computing the corresponding images of the
$({\sigma}_{i}{)}^{2}$
, we can immediately determine the decomposition of the images of the
${\sigma}_{i}$
under
${\pi}_{n}$
as
${\pi}_{n}\left({\sigma}_{i}\right)=\frac{1}{\sqrt{2}}({g}_{i}+{I}_{{2}^{n}})$
.
Once we understand
${H}_{n}$
as an abstract group and decompose its defining representation (as it is presented to us as a matrix group) we will need to consider the group
${G}_{n}/{H}_{n}$
. We can immediately see that
${G}_{n}/{H}_{n}$
is a homomorphic image of
${S}_{n}$
as
${\pi}_{n}$
induces a surjective homomorphism
${\overline{\pi}}_{n}:{\mathcal{\mathcal{B}}}_{n}/{\mathcal{P}}_{n}\to {G}_{n}/{H}_{n}$
and
${\mathcal{\mathcal{B}}}_{n}/{\mathcal{P}}_{n}\sim ={S}_{n}$
. We would like to know if
${\overline{\pi}}_{n}$
is an isomorphism, so we must determine if
$Ker\left({\overline{\pi}}_{n}\right)$
is trivial. Observing that the kernel of
${\overline{\pi}}_{n}$
is (isomorphic to) a normal subgroup of
${S}_{n}$
we need only check that the kernel is not
${S}_{n}$
,
${A}_{n}$
or the normal subgroup of
${S}_{4}$
isomorphic to
${\mathbb{Z}}_{2}\times {\mathbb{Z}}_{2}$
. For
$n\ge 4$
it is sufficient to check that the element
$\left(12\right)\left(34\right)$
is not in the kernel, while for
$n=3$
we should check that
$\left(123\right)$
is not in the kernel. Since
${H}_{n}$
is a normal subgroup of
${G}_{n}$
, we also have a homomorphism
$\vartheta :{G}_{n}\to Aut\left({H}_{n}\right)$
where
$Aut\left({H}_{n}\right)$
is the automorphism group of
${H}_{n}$
and
$\vartheta \left(s\right)$
is conjugation by
$s\in {G}_{n}$
. Restricting to
${H}_{n}$
we see that
$\vartheta \left({H}_{n}\right)=Inn\left({H}_{n}\right)\subset Aut\left({H}_{n}\right)$
the normal subgroup of inner automorphisms of
${H}_{n}$
and so we have the induced homomorphism
$\overline{\vartheta}:{G}_{n}/{H}_{n}\to Aut\left({H}_{n}\right)/Inn\left({H}_{n}\right)$
.
Since
$Ker\left({\overline{\pi}}_{n}\right)\subset Ker(\overline{\vartheta}\circ {\overline{\pi}}_{n})$
if we can show the composition has trivial kernel then
${\overline{\pi}}_{n}$
must be an isomorphism. By Lemma 2.2 (d) the generators
${g}_{i}$
of
${H}_{n}$
commute or anticommute, so the elements of
$Inn\left({H}_{n}\right)$
act by sign changes.
So if we can show that the automorphisms corresponding to
$\left(12\right)\left(34\right)$
(for
$n\ge 4$
) and
$\left(123\right)$
are not simply sign changes, we will have shown that
${\overline{\pi}}_{n}$
is an isomorphism. The corresponding elements of
${\mathcal{\mathcal{B}}}_{n}$
are
$\left({\sigma}_{1}{\sigma}_{3}\right)$
and
$\left({\sigma}_{2}{\sigma}_{1}\right)$
and we use Lemma 2.2 (f ) to compute that under
$\overline{\vartheta}{\overline{\pi}}_{n}$
the element
$\left({\sigma}_{1}{\sigma}_{3}\right)$
maps
${g}_{2}$
to
${g}_{2}{g}_{1}{g}_{3}$
, and
$\left({\sigma}_{2}{\sigma}_{1}\right)$
maps
${g}_{2}$
to
${g}_{2}{g}_{1}{g}_{2}={g}_{1}$
. We check directly that
${g}_{1}{g}_{3}\ne \pm 1$
using Lemma 2.2 (a),(i) and (j), so
${\overline{\pi}}_{n}$
is an isomorphism for
$n\ge 3$
. In the case
$n=2$
we see that
${G}_{2}$
is the group generated by the matrix
$R$
which is isomorphic to
${\mathbb{Z}}_{4}$
, so combining, we have:
Theorem 2.6.
We have an exact sequence:
$$1\to {H}_{n}\stackrel{\subset}{\to}{G}_{n}\stackrel{\vartheta}{\to}{S}_{n}\to 1$$
for all
$n\ge 2$
. In other words,
${G}_{n}$
is an extension of
${H}_{n}$
by
${S}_{n}$
.
3 Extraspecial 2groups and related groups
Definition 3.1.
The group
${\mathbf{E}}_{m}^{\nu}$
is the abstract group generated by
$${x}_{1},\dots ,{x}_{m}$$
with relations:
$$\begin{array}{ccc}& & {x}_{i}^{2}=\nu ,1\le i\le m\end{array}$$ 
(1)

$$\begin{array}{ccc}& & {x}_{i}{x}_{j}={x}_{j}{x}_{i},ij\ge 2\end{array}$$ 
(2)

$$\begin{array}{ccc}& & {x}_{i+1}{x}_{i}={x}_{i}{x}_{i+1},1\le i\le m\end{array}$$ 
(3)

where
$1$
is an order two central element, and
$\nu =\pm 1$
.
These groups appear classically and have important connections with Clifford algebras. The case
$\nu =1$
appears in Exercise 3.9 in the text by Fulton and Harris [FH] , and other cases appeared in [G] . The necessary facts about these groups are found in various places, but are elementary so we reprove them here for the reader's convenience.
3.1 Properties of
${\mathbf{E}}_{m}^{\nu}$
Any element in
${\mathbf{E}}_{m}^{\nu}$
can be expressed in the normal form:
$\pm {x}_{1}^{{\alpha}_{1}}\cdots {x}_{m}^{{\alpha}_{m}}$
where
${\alpha}_{i}\in {\mathbb{Z}}_{2}$
. The following lemma will show that it is unique.
Lemma 3.2.
Denote by
$Z\left({\mathbf{E}}_{m}^{\nu}\right)$
the center of
${\mathbf{E}}_{m}^{\nu}$
. We have:

(a)
$Z\left({\mathbf{E}}_{m}^{\nu}\right)=\{\begin{array}{cc}\{\pm 1\}& \text{}m\text{even}\\ \{\pm 1,\pm {x}_{1}{x}_{3}\cdots {x}_{m}\}& \text{}m\text{odd}\end{array}$

(b)
${\mathbf{E}}_{m}^{\nu}/\{\pm 1\}\sim =({\mathbb{Z}}_{2}{)}^{m}$

(c)
Any
$x\in {\mathbf{E}}_{m}^{\nu}\backslash Z\left({\mathbf{E}}_{m}^{\nu}\right)$
is conjugate to
$x$
.

(d)
Any nontrivial normal subgroup of
${\mathbf{E}}_{m}^{\nu}$
intersects
$Z\left({\mathbf{E}}_{m}^{\nu}\right)$
nontrivially.

(e)
For
$m=2k1$
odd,
$Z\left({\mathbf{E}}_{2k1}^{\nu}\right)\sim =\{\begin{array}{cc}{\mathbb{Z}}_{2}\times {\mathbb{Z}}_{2}& \text{if}\nu =1\text{or}k\text{even}\\ {\mathbb{Z}}_{4}& \text{if}\nu =1\text{and}k\text{odd}\end{array}$

(f )
The normal form
$\pm {x}_{1}^{{\alpha}_{1}}\cdots {x}_{m}^{{\alpha}_{m}}$
is unique.

Proof.
Using the abovementioned normal form we may assume, without loss of generality, that
$z={x}_{1}^{{\alpha}_{1}}\cdots {x}_{2k}^{{\alpha}_{m}}\in Z\left({\mathbf{E}}_{m}^{\nu}\right)$
since if
$z$
is central, so is
$z$
. By the commutation/anticommutation relations in
${\mathbf{E}}_{m}^{\nu}$
we have
${x}_{i}z=(1{)}^{{\alpha}_{i1}+{\alpha}_{i+1}}z{x}_{i}=z{x}_{i}$
for all
$i$
where we take
${\alpha}_{1}={\alpha}_{m+1}=0$
.
Thus we get the system of equations over
${\mathbb{Z}}_{2}$
:
$$\begin{array}{ccc}& & {\alpha}_{2}=0\end{array}$$  
$$\begin{array}{ccc}& & {\alpha}_{m1}=0\end{array}$$  
$$\begin{array}{ccc}& & {\alpha}_{i}+{\alpha}_{i+2}=0(mod2),1\le i\le m2\end{array}$$  
If
$m$
is even then the system has only the trivial solution
$\mathit{\alpha}=0$
, but if
$m$
is odd there are two solutions
$0$
and
$(1,0,1,\dots ,0,1)$
, that is, all the
${\alpha}_{2i}=0$
and
${\alpha}_{2i+1}=1$
. Thus we have (a). It is clear from the relations in
${\mathbf{E}}_{m}^{\nu}$
that
${\mathbf{E}}_{m}^{\nu}/\{\pm 1\}$
is presented by
$m$
commuting generators of order 2, i.e
$({\mathbb{Z}}_{2}{)}^{m}$
. To prove (c) observe that any noncentral element
$x\in {\mathbf{E}}_{m}^{\nu}$
must anticommute with some
${x}_{i}$
. So (d) follows from (c) as any nontrivial normal subgroup
$N$
must either be central or contain
$\{x,x\}$
for some noncentral element
$x$
so that
$1\in N$
as well. For (e) we compute the order of the central element
${x}_{1}{x}_{3}\cdots {x}_{2k1}$
and find that it is 2 or 4, which gives us the two cases.
Assertion (f ) follows from a simple counting argument as
$\left{\mathbf{E}}_{m}^{\nu}\right={2}^{m+1}$
by (b). □
Definition 3.3.
A group
$G$
of order
${2}^{m+1}$
is an extraspecial 2group if (see [
G]
):

(1)
The center
$Z\left(G\right)$
and the commutator subgroup
${G}^{\prime}$
coincide and are isomorphic to
${\mathbb{Z}}_{2}$
.

(2)
$G/Z\left(G\right)\sim =({\mathbb{Z}}_{2}{)}^{m}$
.
It is immediate from the anticommutation relations that the commutator subgroup of
${\mathbf{E}}_{m}^{\nu}$
is
$\{\pm 1\}$
, and for
$m=2k$
the other conditions were verified in Lemma 3.2 so we have:
Proposition 3.4.
${\mathbf{E}}_{2k}^{\nu}$
is an extraspecial 2group.
Remark 3.5.
Since the group
${\mathbf{E}}_{2k+1}^{\nu}$
contain
${\mathbf{E}}_{2k}^{\nu}$
, we call the groups
${\mathbf{E}}_{m}^{\nu}$
nearly extraspecial 2groups for any
$m$
(so they include extraspecial 2groups). This should not be confused with almost extraspecial 2groups found in the literature which are central products of extraspecial 2groups with
${\mathbb{Z}}_{4}$
. The cases where the center of
${\mathbf{E}}_{m}^{\nu}$
is isomorphic to
${\mathbb{Z}}_{4}$
are almost extraspecial, but when the center is
${\mathbb{Z}}_{2}\times {\mathbb{Z}}_{2}$
they are not (see [
G]
).
3.2 Representations of
${\mathbf{E}}_{m}^{\nu}$
We wish to construct the irreducible representations of
${\mathbf{E}}_{m}^{\nu}$
. There are 4 cases corresponding to the parity of
$m$
and the choice of
$\nu $
. For the reader's convenience we recall the following standard facts from the character theory of finite groups (see any standard text, e.g. [
FH]
):
Proposition 3.6.
Let
$G$
be a finite group, and
$Irr\left(G\right)=\{{\chi}_{i}{\}}_{i\in \mathcal{\mathcal{I}}}$
the set of irreducible characters of
$G$
, corresponding to irreducible representations
${V}_{i}$
.

(a)
$Irr(G\left)\right$
is equal to the number of conjugacy classes of elements of
$G$
.

(b)
$\leftG\right={\sum}_{\mathcal{\mathcal{I}}}(dim{V}_{i}{)}^{2}$

(c)
For
${\chi}_{i}$
,
${\chi}_{j}\in Irr\left(G\right)$
${\sum}_{g\in G}{\chi}_{i}\left(g\right)\overline{{\chi}_{j}\left(g\right)}=\{\begin{array}{cc}0& \text{if}{V}_{i}\text{\u2241}\text{=}{V}_{j}\text{}\\ \leftG\right& \text{if}{V}_{i}\text{\u223c}\text{=}{V}_{j}\text{}\end{array}$
.

(d)
If
$g$
and
$h$
are not conjugate then
${\sum}_{\mathcal{\mathcal{I}}}{\chi}_{i}\left(h\right)\overline{{\chi}_{i}\left(g\right)}=0$
.
3.2.1
${\mathbf{E}}_{2k}^{1}$
To determine the number of irreducible representations we count conjugacy classes. The center
$\{\pm 1\}$
gives us two singleton classes, and Lemma 3.2 (c) shows that the nonsingleton conjugacy classes are given by
$[\pm {x}_{1}^{{\alpha}_{1}}\cdots {x}_{2k}^{{\alpha}_{2k}}]$
for any
$\mathit{\alpha}\in ({\mathbb{Z}}_{2}{)}^{2k}\backslash \{0\}$
. So we have
$2+({2}^{2k}1)={2}^{2k}+1$
inequivalent irreducible representations. Let
$Irr\left({\mathbf{E}}_{2k}^{1}\right)=\{{V}_{1},\cdots ,{V}_{{2}^{2k}+1}\}$
denote a set of inequivalent irreducible representations of
${\mathbf{E}}_{2k}^{1}$
. By Lemma 3.2 we can induce 1dimensional representations of
${\mathbf{E}}_{2k}^{1}$
from any representation of
$(\mathbb{Z}{)}^{2k}$
by letting the center act trivially. Thus we have
${2}^{2k}$
1dimensional representations (say,
${V}_{2},\dots ,{V}_{{2}^{2k}+1}$
) leaving only one representation,
${V}_{1}$
to determine. Using the class equation
$${2}^{2k+1}=\left{\mathbf{E}}_{2k}^{1}\right=(dim{V}_{1}{)}^{2}+{\sum}_{2}^{{2}^{2k}+1}(dim{V}_{i}{)}^{2}=(dim{V}_{1}{)}^{2}+{2}^{2k}$$
we find that
$dim{V}_{1}={2}^{k}$
. The 1dimensional representations are equal to their characters so for
$2\le i\le {2}^{2k}+1$
we have
${\chi}_{i}\left(1\right)={\chi}_{i}(1)=1$
, and
${\chi}_{i}\left(\right[\pm {x}_{j}\left]\right)=\pm 1$
for all possible choices of sign. From Proposition 3.6 (c),(d) we find that
${\chi}_{1}\left(1\right)={\chi}_{1}(1)={2}^{k}$
, and
${\chi}_{1}\left(\right[\pm {x}_{1}^{{\alpha}_{1}}\cdots {x}_{2k}^{{\alpha}_{2k}}\left]\right)=0$
. We can construct the representation
$({\rho}_{1},{V}_{1})$
as follows (recall the definition of the matrices
$s$
and
${\sigma}_{z}$
from section 2.1 ):
$$\begin{array}{ccc}& & {\rho}_{1}\left({x}_{1}\right)=\sqrt{1}({\sigma}_{z}\otimes {I}_{2}^{\otimes k1})\end{array}$$  
$$\begin{array}{ccc}& & {\rho}_{1}\left({x}_{2}\right)=s\otimes {I}_{2}^{\otimes k1}\end{array}$$  
$$\begin{array}{ccc}& & \vdots \end{array}$$  
$$\begin{array}{ccc}& & {\rho}_{1}\left({x}_{2i}\right)={I}_{2}^{\otimes i1}\otimes s\otimes {I}_{2}^{\otimes ki}\end{array}$$  
$$\begin{array}{ccc}& & {\rho}_{1}\left({x}_{2i+1}\right)=\sqrt{1}({I}_{2}^{\otimes i1}\otimes {\sigma}_{z}\otimes {\sigma}_{z}\otimes {I}_{2}^{\otimes ki1})\end{array}$$  
$$\begin{array}{ccc}& & \vdots \end{array}$$  
$$\begin{array}{ccc}& & {\rho}_{1}\left({x}_{2k}\right)={I}_{2}^{\otimes k1}\otimes s\end{array}$$  
As
$({\sigma}_{z}{)}^{2}={I}_{2}$
,
${s}^{2}={I}_{2}$
and
${\sigma}_{z}s{\sigma}_{z}=s$
we see that this is indeed a representation of
${\mathbf{E}}_{2k}^{1}$
, and since
$tr\left(s\right)=tr\left({\sigma}_{z}\right)=0$
it follows from the orthogonality of characters that this is the irreducible
${2}^{k}$
dimensional representation of
${\mathbf{E}}_{2k}^{1}$
.
3.2.2
${\mathbf{E}}_{2k1}^{1}$
We now construct the irreducible representations of
${\mathbf{E}}_{2k1}^{1}$
. Denote by
$z$
the central element
${x}_{1}{x}_{3}\cdots {x}_{2k1}$
for convenience. Using Lemma 3.2 we find that there are
${2}^{2k1}+2$
distinct conjugacy classes in
${\mathbf{E}}_{2k1}^{1}$
and therefore we may label the inequivalent classes of irreducible representations by
$Irr\left({\mathbf{E}}_{2k1}^{1}\right)=\{{W}_{1},\dots ,{W}_{({2}^{2k1}+2)}\}$
. We get
${2}^{2k1}$
distinct 1dimensional representations from
$({\mathbb{Z}}_{2}{)}^{2k1}$
by composing with the projection onto
${\mathbf{E}}_{2k}/\{\pm 1\}$
, and them by
${W}_{3},\dots ,{W}_{({2}^{2k1}+2)}$
. We compute their characters
${\psi}_{i}$
for
$3\le i\le {2}^{2k1}+2$
as in the
${\mathbf{E}}_{2k}^{1}$
case
${\psi}_{i}\left(1\right)={\psi}_{i}(1)=1$
and
${\psi}_{i}(\pm {x}_{j})=\pm 1$
which determines their values on all classes (observe that
${\psi}_{i}\left(z\right)={\psi}_{i}(z)$
for nontrivial central elements
$\pm z$
for these 1dimensional representations).
From Proposition
3.6 (b) we get
$dim{W}_{1}+dim{W}_{2}={2}^{k}$
for the remaining two irreducible representations. Since
$dim{W}_{i}{2}^{2k}$
we see that in fact,
$dim{W}_{1}=dim{W}_{2}={2}^{k1}$
. Using Proposition 3.6 (c) we find that the characters
${\psi}_{1}$
and
${\psi}_{2}$
vanish on all equivalence classes except for the central classes:
$\left[1\right]$
,
$[1]$
,
$\left[z\right]$
and
$[z]$
. Observing that the restrictions of
${W}_{1}$
and
${W}_{2}$
to the subgroup
${\mathbf{E}}_{2k2}^{1}\subset {\mathbf{E}}_{2k1}^{1}$
must both be the unique nontrivial irreducible
${2}^{k1}$
dimensional representation we find that
${\psi}_{1}(1)={\psi}_{2}(1)={2}^{k1}$
.
Proposition
3.6 (c),(d) then implies first that
${\psi}_{1}\left(z\right)={\psi}_{2}(z)={\psi}_{1}(z)={\psi}_{2}\left(z\right)$
, and then using this and the orthogonality of
${\psi}_{1}$
and
${\psi}_{2}$
to see that
$\parallel {\psi}_{1}\left(z\right)\parallel ={2}^{k1}$
. Restricting to
$Z\left({\mathbf{E}}_{2k1}^{1}\right)$
and recalling that
${\mathbb{Z}}_{2}\times {\mathbb{Z}}_{2}$
has only real characters while the nontrivial characters of
${\mathbb{Z}}_{4}$
have pure complex values on its generators we determine the value of
${\psi}_{1}\left(z\right)$
up to a choice of sign coming from switching
${W}_{1}$
and
${W}_{2}$
. For the purpose of simplifying notation later we include a sign depending on the value of
$k(mod4)$
and define:
$$\begin{array}{ccc}{\psi}_{1}\left(x\right)=\{\begin{array}{cc}\pm {2}^{k1}& \text{for}x=\pm 1\text{}\\ \pm (1{)}^{(k/2}({2}^{k1})& \text{for}x=\pm z\text{}\\ 0& \text{otherwise}\end{array}& & \end{array}$$ 
(4)

and
$$\begin{array}{ccc}{\psi}_{2}\left(x\right)=\{\begin{array}{cc}\pm {2}^{k1}& \text{for}x=\pm 1\text{}\\ \mp (1{)}^{(k/2}({2}^{k1})& \text{for}x=\pm z\text{}\\ 0& \text{otherwise}\end{array}& & \end{array}$$ 
(5)

Next we give explicit matrix realizations of
${W}_{1}$
and
${W}_{2}$
. Since
$Z\left({\mathbf{E}}_{2k1}^{1}\right)$
must act nontrivially (although not necessarily faithfully) on
${W}_{1}$
and
${W}_{2}$
we use the inclusion
${\mathbf{E}}_{2k1}^{1}\subset {\mathbf{E}}_{2k}^{1}$
to observe:
$$In{d}_{{\mathbf{E}}_{2k1}^{1}}^{{\mathbf{E}}_{2k}^{1}}\left({W}_{1}\right)=In{d}_{{\mathbf{E}}_{2k1}^{1}}^{{\mathbf{E}}_{2k}^{1}}\left({W}_{2}\right)={V}_{1}$$
where
${V}_{1}$
is the
${2}^{k}$
dimensional irreducible representation of
${\mathbf{E}}_{2k}^{1}$
given in 3.2 . Thus by Frobenius reciprocity (and a dimension count) we have that
$$\begin{array}{ccc}Re{s}_{{\mathbf{E}}_{2k1}^{1}}^{{\mathbf{E}}_{2k}^{1}}\left({V}_{1}\right)={W}_{1}\oplus {W}_{2}& & \end{array}$$ 
(6)

From this we get explicit realizations
$({\lambda}_{1},{W}_{1})$
and
$({\lambda}_{2},{W}_{2})$
. (N.b. the only difference of
${\lambda}_{1}$
and
${\lambda}_{2}$
on the generators is that the image of
${x}_{2k1}$
differs in sign.)
$$\begin{array}{ccc}& & {\lambda}_{1}\left({x}_{1}\right)={\lambda}_{2}\left({x}_{1}\right)=\sqrt{1}{\sigma}_{z}\otimes {I}_{2}^{\otimes k2}\end{array}$$  
$$\begin{array}{ccc}& & {\lambda}_{1}\left({x}_{2}\right)={\lambda}_{2}\left({x}_{2}\right)=s\otimes {I}_{2}^{\otimes k2}\end{array}$$  
$$\begin{array}{ccc}& & \vdots \end{array}$$  
$$\begin{array}{ccc}& & {\lambda}_{1}\left({x}_{2i}\right)={\lambda}_{2}\left({x}_{2i}\right)={I}_{2}^{\otimes i1}\otimes s\otimes {I}_{2}^{\otimes ki1}\end{array}$$  
$$\begin{array}{ccc}& & {\lambda}_{1}\left({x}_{2i+1}\right)={\lambda}_{2}\left({x}_{2i+1}\right)=\sqrt{1}{I}_{2}^{\otimes i1}\otimes {\sigma}_{z}\otimes {\sigma}_{z}\otimes {I}_{2}^{\otimes ki2}\end{array}$$  
$$\begin{array}{ccc}& & \vdots \end{array}$$  
$$\begin{array}{ccc}& & {\lambda}_{1}\left({x}_{2k2}\right)={\lambda}_{2}\left({x}_{2k2}\right)={I}_{2}^{\otimes k2}\otimes s\end{array}$$  
$$\begin{array}{ccc}& & {\lambda}_{1}\left({x}_{2k1}\right)={\lambda}_{2}\left({x}_{2k1}\right)=\sqrt{1}{I}_{2}^{\otimes k2}\otimes {\sigma}_{z}\end{array}$$  
One easily checks that these indeed define irreducible representations of
${\mathbf{E}}_{2k1}^{1}$
just as in the
$m=2k$
case. It is perhaps worth computing the traces of the images of the central element
$z$
under
${\lambda}_{1}$
and
${\lambda}_{2}$
. We have:
${\lambda}_{1}\left(z\right)={\lambda}_{2}\left(z\right)=\left(\sqrt{1}{)}^{k}\right(({\sigma}_{z}{)}^{2}\otimes \cdots \otimes ({\sigma}_{z}{)}^{2})=(\sqrt{1}{)}^{k}{I}_{{2}^{k1}}$
so that:
$tr\left({\lambda}_{1}\right(z\left)\right)=tr\left({\lambda}_{2}\right(z\left)\right)=\{\begin{array}{cc}{2}^{k1}& \text{if}k\equiv 0(mod4)\text{}\\ {2}^{k1}& \text{if}k\equiv 2(mod4)\text{}\\ \sqrt{1}\left({2}^{k1}\right)& \text{if}k\equiv 1(mod4)\text{}\\ \sqrt{1}\left({2}^{k1}\right)& \text{if}k\equiv 3(mod4)\text{}\end{array}$
The traces of the images of
$\pm 1$
are also easily computed, and comparing these values with the above formulas 4 and 5 , we check that the characters of
${\lambda}_{1}$
and
${\lambda}_{2}$
are
${\psi}_{1}$
and
${\psi}_{2}$
respectively.
3.2.3
${\mathbf{E}}_{m}^{1}$
Suppose that
$(\rho ,V)$
is any representation of
${\mathbf{E}}_{m}^{1}$
defined on generators
$\rho \left({x}_{i}\right)={A}_{i}$
for some set of matrices
$\{{A}_{i}{\}}_{1\le i\le m}$
. Denote by
${x}_{1}^{\prime},\dots ,{x}_{m}^{\prime}$
the generators of
${\mathbf{E}}_{m}^{1}$
and define
${\rho}^{\prime}\left({x}_{i}^{\prime}\right)=\sqrt{1}{A}_{i}$
. Then since
$({A}_{i}{)}^{2}=I{d}_{V}$
we have
$\left({\rho}^{\prime}\right({x}_{i}^{\prime}){)}^{2}=I{d}_{V}$
and
$({\rho}^{\prime},V)$
defines a representation of
${\mathbf{E}}_{m}^{1}$
(observe that the commutation/anticommutation relations are homogeneous and hence also satisfied). Obviously this process is reversible, so that all representations of
${\mathbf{E}}_{m}^{1}$
are obtained in this way. If we define representations
${\lambda}_{1}^{\prime}$
and
${\lambda}_{2}^{\prime}$
of
${\mathbf{E}}_{2k1}^{1}$
corresponding to the two
${2}^{k1}$
dimensional representations of
${\mathbf{E}}_{2k1}^{1}$
then we find that the characters
${\psi}_{1}^{\prime}$
and
${\psi}_{2}^{\prime}$
always have real values on the central elements
$\pm {z}^{\prime}=\pm {x}_{1}^{\prime}{x}_{3}^{\prime}\cdots {x}_{2k1}^{\prime}$
as they should–since according to Lemma 3.2 the center of
${\mathbf{E}}_{2k1}^{1}$
is always isomorphic to
${\mathbb{Z}}_{2}\times {\mathbb{Z}}_{2}$
.
4 Applications
In this section we describe the abstract structure of the groups
${G}_{n}$
and
${H}_{n}$
and decompose the representation
${\pi}_{n}:{\mathcal{\mathcal{B}}}_{n}\to ({\mathbb{C}}^{2}{)}^{\otimes n}$
into its irreducible constituents. We then extend these ideas to the renormalized representation of
${\mathcal{\mathcal{B}}}_{n}$
that factors over the TemperleyLieb algebra.
4.1
${H}_{n}$
and
${G}_{n}$
as abstract groups
Theorem 4.1.
${H}_{n}\sim ={\mathbf{E}}_{n1}^{1}$
.

Proof.
To verify that the map
$\phi :{\mathbf{E}}_{n1}^{1}\to {H}_{n}$
defined by
${x}_{i}\to {g}_{i}$
extends to a (surjective) group homomorphism one just checks that the
${g}_{i}$
satisfy the defining relations of
${\mathbf{E}}_{n1}^{1}$
. Since
$Ker\left(\phi \right)$
is normal it must be trivial or intersect
$Z\left({\mathbf{E}}_{m}^{1}\right)$
by Lemma 3.2 (d). We check that
$\phi (1)=\phi \left({x}_{1}^{2}\right)={g}_{1}^{2}={I}_{{2}^{n}}$
so
$1\notin Ker\left(\phi \right)$
and we have proved the theorem for
$n1$
even. If
$n1=2k1$
is odd, we must also check that
$\pm z\notin Ker\left(\phi \right)$
where
$z$
is the nontrivial central element defined in Lemma 3.2 . For this we must use Lemma 2.2 (k) which shows that there is a change of basis which diagonalizes the oddindexed
${g}_{2i+1}$
while fixing the even indexed
${g}_{2i}$
. We compute the image of
$z$
in this basis:
$$\begin{array}{ccc}\left({P}_{n}{)}^{1}\phi \right(\pm z){P}_{n}=({P}_{n}{)}^{1}(\pm {g}_{1}{g}_{3}\cdots {g}_{2k1}){P}_{n}=\pm \left(\sqrt{1}{)}^{k}\right({\sigma}_{z}^{\otimes 2k})& & \end{array}$$  
which is a diagonal matrix of trace
$0$
, so not the identity. □
Combining with Theorem 2.6 we have:
Theorem 4.2.
The image of
${\mathcal{\mathcal{B}}}_{n}$
under the representation
${\pi}_{n}$
is an extension of
${\mathbf{E}}_{n1}^{1}$
by
${S}_{n}$
.
4.2 Decomposition of
${\pi}_{n}$
By Theorem 4.1 we have
${\mathbf{E}}_{n1}^{1}\sim ={H}_{n}$
as an abstract group so the (defining) representation
$({\pi}_{n},({\mathbb{C}}^{2}{)}^{\otimes n})$
of
${H}_{n}$
induces a representation
${\phi}_{n}:={\pi}_{n}\circ \phi $
of
${\mathbf{E}}_{n1}^{1}$
.
4.2.1
$n$
odd
Assume that
$n=2k+1$
is odd. Then we may decompose
$({\mathbb{C}}^{2}{)}^{\otimes 2k+1}\sim ={\oplus}_{i}{m}_{i}{V}_{i}$
as representations of
${\mathbf{E}}_{2k}^{1}$
for some multiplicities
${m}_{i}$
. Let
$\chi $
be the character of
${\phi}_{2k+1}$
. Since
$${\phi}_{2k+1}(1)=({I}_{2}\otimes \cdots \otimes {g}_{i}^{2}\cdots \otimes {I}_{2})={I}_{{2}^{n}}$$
we see that
$\chi (1)={2}^{2k+1}$
and
$\chi \left(1\right)={2}^{2k+1}$
. By Proposition 3.6 we can compute the multiplicities
${m}_{i}$
of the irreducible components
${V}_{i}$
:
$${m}_{i}=\frac{1}{{2}^{2k+1}}{\sum}_{x\in {\mathbf{E}}_{2k}^{1}}{\chi}_{i}\left(x\right)\overline{\chi \left(x\right)}$$
The character
${\chi}_{1}$
of the
${2}^{k}$
dimensional representation
${V}_{1}$
vanishes on the noncentral elements of
${\mathbf{E}}_{2k}^{1}$
so we compute the multiplicity
$${m}_{1}={\frac{{2}^{k}\cdot {2}^{2k+1}+{2}^{k}\cdot {2}^{2k+1}}{2}}^{2k+1}={2}^{k+1}$$
so
${V}_{1}$
appears
${2}^{k+1}$
times. But
$dim{V}_{1}={2}^{k}$
so
$dim\left({2}^{k+1}{V}_{1}\right)={2}^{2k+1}=dim({\mathbb{C}}^{2}{)}^{\otimes 2k+1}$
, so in fact
${\pi}_{2k+1}$
decomposes diagonally as
${2}^{k+1}$
copies of the unique
${2}^{k}$
dimensional representation
$({\rho}_{1},{V}_{1})$
of
${\mathbf{E}}_{2k}^{1}$
.
4.2.2
$n$
even
Suppose
$n=2k$
is even. We have already established (see 6 in Section 3.2 ) that the restriction of the irreducible
${2}^{k}$
dimensional representation
${V}_{1}$
of
${\mathbf{E}}_{2k}^{1}$
to
${\mathbf{E}}_{2k1}^{1}$
decomposes as the direct sum
${W}_{1}\oplus {W}_{2}$
of the two inequivalent irreducible
${2}^{k1}$
dimensional representations
${W}_{1}$
and
${W}_{1}$
. So the
${2}^{2k}$
dimensional representation
${\phi}_{2k}$
decomposes diagonally as the direct sum of
${2}^{k}$
copies of each of
$({\lambda}_{1},{W}_{1})$
and
$({\lambda}_{2},{W}_{2})$
. One could also use the characters
${\psi}_{i}$
to determine these multiplicities.
Remark 4.3.
As
${\pi}_{n}\left({\mathcal{P}}_{n}\right)={\phi}_{n}\left({\mathbf{E}}_{n1}^{1}\right)$
, all of the arguments above hold mutatis mutandis for decomposing
${\pi}_{n}$
restricted to
${\mathcal{P}}_{n}$
.
4.2.3 Extension to
${\mathcal{\mathcal{B}}}_{n}$
With the explicit formulas for the representations
${\rho}_{1}$
,
${\lambda}_{1}$
and
${\lambda}_{2}$
in hand, we easily compute the extensions
${\hat{\rho}}_{1}$
,
${\hat{\lambda}}_{1}$
and
${\hat{\lambda}}_{2}$
to
${\mathcal{\mathcal{B}}}_{n}$
using Lemma 2.2 (a).
Using the matrices
$d$
,
$M$
and
$D$
from Section 2.1 we give the explicit matrices for the
${2}^{k}$
dimensional irreducible representation
${\hat{\rho}}_{1}$
with
$n=2k+1$
noting that the
${\hat{\lambda}}_{1}\oplus {\hat{\lambda}}_{2}$
is just the restriction of
${\hat{\rho}}_{1}$
.
$$\begin{array}{ccc}& & {\hat{\rho}}_{1}\left({\sigma}_{1}\right)=d\otimes {I}_{2}^{\otimes k1}\end{array}$$  
$$\begin{array}{ccc}& & \vdots \end{array}$$  
$$\begin{array}{ccc}& & {\hat{\rho}}_{1}\left({\sigma}_{2i}\right)={I}_{2}^{\otimes i1}\otimes M\otimes {I}_{2}^{\otimes ki}\end{array}$$  
$$\begin{array}{ccc}& & {\hat{\rho}}_{1}\left({\sigma}_{2i+1}\right)={I}_{2}^{\otimes i1}\otimes D\otimes {I}_{2}^{\otimes ki1}\end{array}$$  
$$\begin{array}{ccc}& & \vdots \end{array}$$  
$$\begin{array}{ccc}& & {\hat{\rho}}_{1}\left({\sigma}_{2k}\right)={I}_{2}^{\otimes k1}\otimes M\end{array}$$  
The decomposition of
${\pi}_{n}$
remains the same, so summarizing we have:
Theorem 4.4.
The representation
${\pi}_{n}$
of
${\mathcal{\mathcal{B}}}_{n}$
decomposes as
$({\mathbb{C}}^{2}{)}^{\otimes n}\sim =\{\begin{array}{cc}({\mathbb{C}}^{2}{)}^{\otimes (n+1)/2}\otimes {V}_{1}& \text{}n\text{odd}\\ ({\mathbb{C}}^{2}{)}^{\otimes n/2}\otimes ({W}_{1}\oplus {W}_{2})& \text{}n\text{even}\end{array}$
5 Jones representation and Jones polynomial
The Jones representation of the braid groups
${\mathcal{\mathcal{B}}}_{n}$
are defined using the TemperleyLieb algebras
$T{L}_{n}\left(q\right)$
. Jones representation
${\rho}_{r}$
in the following means the unitary representation of the braid groups at
$q={e}^{2\pi i/r}$
factoring through the semisimple TemperleyLieb algebras, which are quotients of the Hecke algebras in [
J1]
. The specific formulas that we use are the ones in [
FLW]
.
Definition 5.1.
Let
$q=\sqrt{1}$
. The TemperleyLieb algebra
$T{L}_{n}\left(q\right)$
is defined as the (semisimple) quotient of the braid group algebra
$\mathbb{C}\left[{\mathcal{\mathcal{B}}}_{n}\right]$
by (the ideal generated by) the relations:

TL1:
$({\sigma}_{i}+1)({\sigma}_{i}q)=0$

TL2:
${\sigma}_{i}{\sigma}_{i+1}{\sigma}_{i}+{\sigma}_{i}{\sigma}_{i+1}+{\sigma}_{i+1}{\sigma}_{i}+{\sigma}_{i}+{\sigma}_{i+1}+1=0$

TL3:
$({\sigma}_{i}{\sigma}_{i+1}{)}^{2}=\sqrt{1}$
(i.e. JonesWenzl projector
${p}_{3}=0$
)
Observing that the YangBaxter operator
$R$
satisfies
$(R\zeta {I}_{4})(R\overline{\zeta}{I}_{4})=0$
we can define a new matrix
${R}^{\prime}=\overline{\zeta}R$
that satisfies
$({R}^{\prime}\sqrt{1}{I}_{4})({R}^{\prime}+{I}_{4})=0$
. Since the equation (YBE) is homogeneous, (YBE) is satisfied by
${R}^{\prime}$
also.
It is a (mildly tedious) computation to verify that the matrices
${A}_{1}=({R}^{\prime}\otimes {I}_{2})$
and
${A}_{2}=({I}_{2}\otimes {R}^{\prime})$
satisfy
${A}_{1}{A}_{2}{A}_{1}+{A}_{1}{A}_{2}+{A}_{2}{A}_{1}+{A}_{1}+{A}_{2}+{I}_{4}=0$
, and
$({A}_{1}{A}_{2}{)}^{2}=\sqrt{1}{I}_{4}$
. Thus the representation
${\pi}_{n}^{\prime}$
of
${\mathcal{\mathcal{B}}}_{n}$
afforded us by
${R}^{\prime}$
(or
$\mathbb{C}{\mathcal{\mathcal{B}}}_{n}$
if we prefer) factors over the TemperleyLieb algebra
$T{L}_{n}\left(\sqrt{1}\right)$
.
We can easily extend what we have learned about the representation
${\pi}_{n}$
of
${\mathcal{\mathcal{B}}}_{n}$
to this slight variation by observing the effect of renormalizing
$R$
. We record the result in the following (compare to [
J1]
):
Corollary 5.2.
Denote by
${H}_{n}^{\prime}={\pi}_{n}^{\prime}\left({\mathcal{P}}_{n}\right)$
and
${G}_{n}^{\prime}={\pi}_{n}^{\prime}\left({\mathcal{\mathcal{B}}}_{n}\right)$
. Then we have
${H}_{n}^{\prime}\sim ={\mathbf{E}}_{n1}^{1}$
, and
${G}_{n}^{\prime}/{H}_{n}^{\prime}\sim ={S}_{n}$
.

Proof.
This follows easily from the observation that renormalizing
$R$
by
$\overline{\zeta}$
has the effect of multiplying the generators
${g}_{i}$
of
${H}_{n}$
by
$\sqrt{1}$
. Doing the same to the generators of the group
${\mathbf{E}}_{n1}^{1}$
just gives us a presentation of the group
${\mathbf{E}}_{n1}^{1}$
, and the same arguments as in the original representation
${\pi}_{n}$
go through verbatim. □
To relate
${\pi}_{n}^{\prime}$
to the Jones representation
${\rho}_{4}$
of
${\mathcal{\mathcal{B}}}_{n}$
, we recall some facts about the Jones representation. The TemperleyLieb algebras at a 4th root of unity are complex Clifford algebras and are isomorphic to the matrix algebra of
${2}^{n1}\times {2}^{n1}$
matrices if
$n$
is odd, and the direct sum of two matrix algebras of
${2}^{\frac{n}{2}1}\times {2}^{\frac{n}{2}1}$
matrices if
$n$
is even [J2] . (Note here
$n$
is the number of strands in the geometric realization of
${\mathcal{\mathcal{B}}}_{n}$
, and differs by 1 from Jones' notation in [J1] .) So the Jones representation
${\rho}_{4}$
consists of a single irreducible sector if
$n$
is odd, and the direct sum of two irreducible sectors if
$n$
is even. Comparing with the comments in Subsection 3.2.3 we can also determine the decomposition of the representation
${\pi}_{n}^{\prime}$
as before. It follows that the restriction of the Jones representation
${\rho}_{4}$
to
${\mathcal{P}}_{n}$
for
$n$
even is the odd representation
${V}_{1}$
of the extraspecial 2group
${\mathbf{E}}_{n1}^{1}$
, and for
$n$
odd,
${W}_{1}\oplus {W}_{2}$
as in Theorem 4.4. The images
${\rho}_{4}\left({\mathcal{\mathcal{B}}}_{n}\right)$
fit into the following exact sequence:
$$1\to {\mathbf{E}}_{n1}^{1}\to {\rho}_{4}\left({\mathcal{\mathcal{B}}}_{n}\right)\to {S}_{n}\to 1.$$
Projectively, we have
$$1\to {\mathbb{Z}}_{2}^{n1}\to {\rho}_{4}\left({\mathcal{\mathcal{B}}}_{n}\right)\to {S}_{n}\to 1.$$
The symmetric group
${S}_{n}$
acts on the coordinates of
${\mathbb{Z}}_{2}^{n}$
, hence
${\mathbb{Z}}_{2}^{n1}$
when
$n$
is even. This action splits the exact sequence. But when
$n$
is odd, this sequence does not split as is shown in [
J1]
.
The Jones polynomial of a link at
$\sqrt{1}$
is given by the following formula [
FLW]
:
$${J}_{4}\left(\hat{\sigma}\right)=(1{)}^{n1+\frac{e\left(\sigma \right)}{4}}\cdot (\sqrt{2}{)}^{\frac{1+(1{)}^{n}}{2}}\cdot \text{Trace}\left({\rho}_{4}\right(\sigma \left)\right),$$
where
$e\left(\sigma \right)$
is the sum of all exponents of the standard braid generators appearing in
$\sigma $
, and
$\hat{\sigma}$
is the closure of
$\sigma $
. We can also define link invariants using the flipped Rmatrix
$R$
. The conditions for enhancement
$({\mu}_{i},\alpha ,\beta )$
is given in [
T]
Theorem 2.3.1. Working through the conditions, we found two link invariants:
${T}_{R}(\hat{\sigma},\alpha )={\alpha}^{ne\left(\sigma \right)}\cdot (\sqrt{2}{)}^{n}\cdot \text{Trace}({\pi}_{n}\left(\sigma \right))$
, where
$\alpha =\pm 1$
.
Comparing with the Jones polynomial we get the relation:
$${T}_{R}(\hat{\sigma},\alpha )=(1{)}^{n1+e\left(\sigma \right)}\cdot {\alpha}^{ne\left(\sigma \right)}\cdot \sqrt{2}\cdot {J}_{4}(\hat{\sigma}).$$
As we know that Jones polynomial
${J}_{4}\left(\hat{\sigma}\right)$
is
$(\sqrt{2}{)}^{c\left(\hat{\sigma}\right)1}\cdot (1{)}^{\text{Arf}\left(\hat{\sigma}\right)}$
if
$\text{Arf}\left(\hat{\sigma}\right)$
is defined and
$0$
otherwise, where
$c\left(\hat{\sigma}\right)$
is the number of components of the link
$\hat{\sigma}$
[
J2]
. It follows that
${T}_{R}(\hat{\sigma},\alpha )$
computes essentially the Arf invariant of a link.
References

J. Birman, Braids, links, and mapping class groups. Annals of Mathematics Studies, No. 82. Princeton University Press, Princeton, N.J.; University of Tokyo Press, Tokyo, 1974.

H. Dye, Unitary solutions to the YangBaxter equation in dimension four. Quantum information processing 2 (2002) nos. 12, 117–150 (2003).

M. Freedman, M. Larsen, Z. Wang, The twoeigenvalue problem and density of Jones representation of braid groups. Comm. Math. Phys. 228 (2002), 177199, arXiv: math.GT/0103200.

M. Freedman, A. Kitaev, M. Larsen, Z. Wang, Topological quantum computation. Bull. Amer. Math. Soc. (N.S.) 40 (2003), no. 1, 31–38.

W. Fulton, J. Harris, Representation theory, A first course. Graduate Texts in Mathematics, 129. Readings in Mathematics. SpringerVerlag, New York, 1991

R. Griess, Automorphisms of extra special groups and nonvanishing degree two cohomology. Pacific J. Math. 48 no. 2 (1973) 403–422.

J. Hietarinta, All solutions to the constant quantum YangBaxter equation in two dimensions. Phys. Lett. A, 165 (1992), 245252.

V. F. R. Jones, Braid groups, Hecke algebras and type
$I{I}_{1}$
factors. Geometric methods in operator algebras (Kyoto, 1983), 242–273, Pitman Res. Notes Math. Ser., 123, Longman Sci. Tech., Harlow, 1986.

———, Hecke algebra representations of braid groups and link polynomials. Ann. Math. 126 (1987), 335–388.

L. Kauffmann, S. Lomonaco Jr., Braiding operators are universal quantum gates. New J. Phys. 6 (2004), 134.1134.40 (electronic), arXiv: quantph/0401090.

N. Read, Nonabelian braid statisitcs versus projective permutation statistics. J. Math. Phys. 44 (2003), no. 2, 558–563, hepth/0201240.

V. Turaev, The YangBaxter equation and invaraints of links. Invent. Math. 92 (1988), 527553.

F. Wilczek, Fractional statistics and anyon superconductivity. World Scentific, 1990.
Email address : jefranko@indiana.edu Department of Mathematics, Indiana University, Bloomington, IN 47405, U.S.A. Email address : errowell@indiana.edu Department of Mathematics, Indiana University, Bloomington, IN 47405, U.S.A. Email address : zhewang@indiana.edu Department of Mathematics, Indiana University, Bloomington, IN 47405, U.S.A.