For any n>3, we give a family of finite dimensional irreducible representations of the braid group B_n. Moreover, we give a subfamily parametrized by 0<m<n of dimension the combinatoric number (n,m). The representation obtained in the case m=1 is equivalent to the Standard representation.
We list the irreducible two dimensional complex representations of the Braid group B3 in elementary way. Then, we make a decomposition of the square of its irreducible Burau representation.
The irreducible representations of two intermediate Casimir elements associated to the recoupling of three identical irreducible representations of $U_q(\mathfrak{sl}_2)$ are considered. It is shown that these intermediate Casimirs are related by a conjugation involving braid group representations. Consequently, the entries of the braid group matrices are explicitly given in terms of the $q$-Racah polynomials which appear as $6j$-symbols in the Racah problem for $U_q(\mathfrak{sl}_2)$. Formulas for these polynomials are derived from the algebraic relations satisfied by the braid group represen…
Motivated by physical and topological applications, we study representations of the group $\mathcal{LB}_3$ of motions of $3$ unlinked oriented circles in $\mathbb{R}^3$. Our point of view is to regard the three strand braid group $\mathcal{B}_3$ as a subgroup of $\mathcal{LB}_3$ and study the problem of extending $\mathcal{B}_3$ representations. We introduce the notion of a \emph{standard extension} and characterize $\mathcal{B}_3$ representations admiting such an extension. In particular we show, using a classification result of Tuba and Wenzl, that every irreducible $\mathcal{B}_3$ represent…
As the 3-string braid group B(3) and the modular group PSL(2,Z) are both of wild representation type one cannot expect a full classification of all their finite dimensional simple representations. Still, one can aim to describe 'most' irreducible representations by constructing for each d-dimensional irreducible component X of the variety iss(n,B(3)) classifying the isomorphism classes of semi-simple n-dimensional representations of B(3) an explicit minimal etale rational map A^d --> X having a Zariski dense image. Such rational dense parametrizations were obtained for all components when n < …
In a recent paper here arXiv:1508.0005 it is shown that irreducible representations of the three string braid group $B_3$ of dimensions $\leq 5$ extend to representations of the 3-component loop braid group $LB_3$. Further, an explicit $6$-dimensional irreducible $B_3$-representation is given that does not extend. In this note we give a necessary and sufficient condition, in all dimensions, on the components of irreducible representations of the modular group $Γ$ such that sufficiently general representations extend to $Γ\ast_{C_3} S_3$. As a consequence, the corresponding irreducible $B_3$-re…
We consider Albeverio- Rabanovich linear representation $π$ of the braid group $B_3$. After specializing the indeterminates used in defining the representation to non-zero complex numbers, we prove that the restriction of $π$ to the pure braid group $P_3$ of dimension three is irreducible.
A fundamental open problem in algebraic combinatorics is to find a positive combinatorial formula for Kronecker coefficients, which are multiplicities of the decomposition of the tensor product of two §_r-irreducibles into irreducibles. Mulmuley and Sohoni attempt to solve this problem using canonical basis theory, by first constructing a nonstandard Hecke algebra B_r, which, though not a Hopf algebra, is a u-analogue of the Hopf algebra \CC §_r in some sense (where u is the Hecke algebra parameter). For r=3, we study this Hopf-like structure in detail. We define a nonstandard Hecke algebra \b…
We construct a [(n+1)/2]+1 parameters family of irreducible representations of the Braid group B_3 in arbitrary dimension n\in N, using a q-deformation of the Pascal triangle. This construction extends in particular results by S.P.Humphries [8], who constructed representations of the braid group B_3 in arbitrary dimension using the classical Pascal triangle. E.Ferrand [7] obtained an equivalent representation of B_3 by considering two special operators in the space C^n[X]. Slightly more general representations were given by I.Tuba and H.Wenzl [11]. They involve [(n+1)/2] parameters (and also u…
We consider the algebra ${\cal E}_n(u)$ introduced by F. Aicardi and J. Juyumaya as an abstraction of the Yokonuma-Hecke algebra. We construct a tensor space representation for ${\cal E}_n(u)$ and show that this is faithful. We use it to give a basis for ${\cal E}_n(u)$ and to classify its irreducible representations.
We give a method to construct new self-adjoint representations of the braid group. In particular, we give a family of irreducible self-adjoint representations of dimension arbitrarily large. Moreover we give sufficient conditions for a representation to be constructed with this method.
We give a method to produce representations of the braid group $B_n$ of $n-1$ generators ($n\leq \infty$). Moreover, we give sufficient conditions over a non unitary representation for being of this type. This method produces examples of irreducible representations of finite and infinite dimension.
In this paper the author finds explicitly all finite-dimensional irreducible representations of a series of finite permutation groups that are homomorphic images of Artin braid group.
We propose a ribbon braided category approach to zeta-functions in q-deformed geometry. As a proof of concept we compute $ζ_t(C^n)$ where $C^n$ is viewed as the standard representation in the category of modules of $U_q(sl_n)$. We show that the same $ζ_t(C^n)$ is obtained for the $n$-dimensional representation in the category of $U_q(sl_2)$ modules. We show that this implies and is equivalent to the generating function for the decomposition into irreducibles of the symmetric tensor products $S^j(V)$ for $V$ an irreducible representation of $sl_2$. We discuss $ζ_t(C_q(S^2))$ for the standard q-…
We prove that the quotients of the group algebra of the braid group on 3 strands by a generic quartic and quintic relation respectively, have finite rank. This is a special case of a conjecture by Broué, Malle and Rouquier for the generic Hecke algebra of an arbitrary complex reflection group. Exploring the consequences of this case, we will prove that we can determine completely the irreducible representations of this braid group for dimension at most 5, thus reproving a classification of Tuba and Wenzl in a more general framework.
This article extends the works of Gonçalves, Guaschi, Ocampo [GGO] and Marin [MAR2] on finite subgroups of the quotients of generalized braid groups by the derived subgroup of their pure braid group. We get explicit criteria for subgroups of the (complex) reflection group to lift to subgroups of this quotient. In the specific case of the classical braid group, this enables us to describe all its finite subgroups : we show that every odd-order finite group can be embedded in it, when the number of strands goes to infinity. We also determine a complete list of the irreducible reflection groups f…
We define an action of the braid group of a simple Lie algebra on the space of imaginary roots in the corresponding quantum affine algebra. We then use this action to determine an explicit condition for a tensor product of arbitrary irreducible finite--dimensional representations is cyclic. This allows us to determine the set of points at which the corresponding $R$--matrix has a zero.
In his seminal paper on complex reflection arrangements, Bessis introduces a Garside structure for the braid group of a well-generated irreducible complex reflection group. Using this Garside structure, he establishes a strong connection between regular elements in the reflection group, and roots of the "full twist" element of the pure braid group. He then suggests that it would be possible to extend the conclusion of this theorem to centralizers of regular elements in well-generated groups. In this paper we give a positive answer to this question and we show moreover that these results hold f…
Let V be the 7-dimensional irreducible representation of the quantum group U_q(g_2). For each n, there is a map from the braid group B_n to the endomorphism algebra of the n-th tensor power of V, given by R-matrices. We can extend this linearly to a map on the braid group algebra. Lehrer and Zhang (MR2271576) prove this map is surjective, as a special case of a more general result. Using Kuperberg's spider for G_2 from arXiv:math.QA/9201302, we give an elementary diagrammatic proof of this result.
We consider quotients of the group algebra of the $3$-string braid group $B_3$ by $p$-th order generic polynomial relations on the elementary braids. In cases $p=2,3,4,5$ these quotient algebras are finite dimensional. We give semisimplicity criteria for these algebras and present explicit formulas for all their irreducible representations.
We investigate a family of (reducible) representations of Artin's braid groups corresponding to a specific solution to the Yang-Baxter equation. The images of the braid groups under these representations are finite groups, and we identify them precisely as extensions of extra-special 2-groups. The decompositions of the representations into their irreducible constituents are determined, which allows us to relate them to the well-known Jones representations of the braid groups factoring over Temperley-Lieb algebras and the corresponding link invariants.
We show that ${\rm End}_{\bf U}(V_λ\otimes V^{\otimes n})$ is generated by the affine braid group $AB_n$ where ${\bf U}=U_q\mathfrak g(G_2)$, $V$ is its 7-dimensional irreducible representation and $V_λ$ is an arbitrary irreducible representation.
Let B be the generalized braid group associated to some finite complex reflection group. We define a representation of B of dimension the number of reflections of the corresponding reflection group, which generalizes the Krammer representation of the classical braid groups, and is thus a good candidate in view of proving the linearity of these groups. We decompose this representation in irreducible components and compute its Zariski closure, as well as its restriction to parabolic subgroups. We prove that it is faithful when W is a Coxeter group of type ADE and odd dihedral types, and conjectu…
The necklace braid group $\mathcal{NB}_n$ is the motion group of the $n+1$ component necklace link $\mathcal{L}_n$ in Euclidean $\mathbb{R}^3$. Here $\mathcal{L}_n$ consists of $n$ pairwise unlinked Euclidean circles each linked to an auxiliary circle. Partially motivated by physical considerations, we study representations of the necklace braid group $\mathcal{NB}_n$, especially those obtained as extensions of representations of the braid group $\mathcal{B}_n$ and the loop braid group $\mathcal{LB}_n$. We show that any irreducible $\mathcal{B}_n$ representation extends to $\mathcal{NB}_n$ in …
The equivariant Kazhdan-Lusztig polynomial of a braid matroid may be interpreted as the intersection cohomology of a certain partial compactification of the configuration space of n distinct labeled points in the plane, regarded as a graded representation of the symmetric group. We show that, in fixed cohomological degree, this sequence of representations of symmetric groups naturally admits the structure of an FS-module, and that the dual FS^op-module is finitely generated. Using the work of Sam and Snowden, we give an asymptotic formula for the dimensions of these representations and obtain …
Governed by locality, we explore a connection between unitary braid group representations associated to a unitary $R$-matrix and to a simple object in a unitary braided fusion category. Unitary $R$-matrices, namely unitary solutions to the Yang-Baxter equation, afford explicitly local unitary representations of braid groups. Inspired by topological quantum computation, we study whether or not it is possible to reassemble the irreducible summands appearing in the unitary braid group representations from a unitary braided fusion category with possibly different positive multiplicities to get rep…
In this paper we consider the cohomology of four groups related to the virtual braids of [Kauffman] and [Goussarov-Polyak-Viro], namely the pure and non-pure virtual braid groups (PvB_n and vB_n, respectively), and the pure and non-pure flat braid groups (PfB_n and fB_n, respectively). The cohomologies of PvB_n and PfB_n admit an action of the symmetric group S_n. We give a description of the cohomology modules H^i(PvB_n,Q) and H^i(PfB_n,Q) as sums of S_n-modules induced from certain one-dimensional representations of specific subgroups of S_n. This in particular allows us to conclude that H^i…
Every irreducible component of the variety of semi-simple n-dimensional representations of the modular group has a Zariski dense subset contained in the image of an etale map from a rational quotient variety of representations of a fixed quiver Q. As an application we prove that there is a unique component of 6-dimensional representations of the three string braid group B(3) able to detect braid-reversion. Further, we give explicit rational parametrizations of dense families of simple B(3)-representations in all dimensions < 12.
Ng and Schauenburg proved that the kernel of a $(2+1)$-dimensional topological quantum field theory representation of $\mathrm{SL}(2, \mathbb{Z})$ is a congruence subgroup. Motivated by their result, we explore when the kernel of an irreducible representation of the braid group $B_3$ with finite image enjoys a congruence subgroup property. In particular, we show that in dimensions two and three, when the projective order of the image of the braid generator $σ_1$ is between 2 and 5 the kernel projects onto a congruence subgroup of $\mathrm{PSL}(2,\mathbb{Z})$ and compute its level. However, we …
We study the restriction to Sylow subgroups of irreducible characters of symmetric groups. In particular, we focus our attention on constituents of degree greater than 1. Our main result is a wide generalization of Theorem 3.1 of Giannelli and Navarro, "Restricting irreducible characters to Sylow p-subgroups".
In [1] we have constructed a [n+1/2]+1 parameters family of irreducible representations of the Braid group B_3 in arbitrary dimension using a $q-$deformation of the Pascal triangle. This construction extends in particular results by S.P. Humphries (2000), who constructed representations of the braid group B_3 in arbitrary dimension using the classical Pascal triangle. E. Ferrand (2000) obtained an equivalent representation of B_3 by considering two special operators in the space ${\mathbb C}^n[X].$ Slightly more general representations were given by I. Tuba and H. Wenzl (2001). They involve [n…
We consider a type III subfactor $N\subset M$ of finite index with a finite system of braided $N$-$N$ morphisms which includes the irreducible constituents of the dual canonical endomorphism. We apply $α$-induction and, developing further some ideas of Ocneanu, we define chiral generators for the double triangle algebra. Using a new concept of intertwining braiding fusion relations, we show that the chiral generators can be naturally identified with the $α$-induced sectors. A matrix $Z$ is defined and shown to commute with the S- and T-matrices arising from the braiding. If the braiding is non…
We study irreducible restrictions from modules over symmetric groups to subgroups. We get reduction results which substantially restrict the classes of subgroups and modules for which this is possible. Such results are known when the characteristic of the ground field is greater than $3$, but the small characteristics cases require a substantially more delicate analysis and new ideas. This work fits into the Aschbacher-Scott program on maximal subgroups of finite classical groups.
Building on reduction theorems and dimension bounds for symmetric groups obtained in our earlier work, we classify the irreducible restrictions of representations of the symmetric and alternating groups to proper subgroups. Such classification is known when the characteristic of the ground field is greater than $3$, but the small characteristics cases require a substantially more delicate analysis and new ideas. Our results fit into the Aschbacher-Scott program on maximal subgroups of finite classical groups.
We classify all triples $(G,V,H)$ such that $SL_n(q)\leq G\leq GL_n(q)$, $V$ is a representation of $G$ of dimension greater than one over an algebraically closed field $\FF$ of characteristic coprime to $q$, and $H$ is a proper subgroup of $G$ such that the restriction $V\dar_{H}$ is irreducible. This problem is a natural part of the Aschbacher-Scott program on maximal subgroups of finite classical groups.
We study irreducible restrictions from modules over alternating groups to subgroups. We get reduction results which substantially restrict the classes of subgroups and modules for which this is possible. This is known when the characteristic of the ground field is greater than $3$, but the small characteristics cases require a substantially more delicate analysis and new ideas. In view of our earlier work on symmetric groups we may consider only the restriction of irreducible modules over alternating groups which do not extend to symmetric groups. This work fits into the Aschbacher-Scott progr…
We show that the Lawrence-Krammer representation based on two parameters that was used by Bigelow and independently Krammer to show the linearity of the braid group is generically irreducible, but that when its parameters are specialized to some nonzero complex numbers, the representation is reducible. To do so, we construct a representation of the BMW algebra inside the Lawrence-Krammer space. As a representation of the braid group, this representation is equivalent to the Lawrence-Krammer representation, where the two parameters of the algebra are related to the parameters of the Lawrence-Kr…
In representation theory of finite groups an important role is played by irreducible characters of p-defect 0, for a prime p dividing the group order. These are exactly those vanishing at the p-singular elements. In this paper we generalize this notion investigating the irreducible characters that are constant at the p-singular elements. We determine all such characters of non-zero defect for alternating, symmetric and sporadic simple groups. We also classify the irreducible characters of quasi-simple groups of Lie type that are constant on the non-identity unipotent elements. In particular, w…
We study the spectra of non-regular semisimple elements in irreducible representations of simple algebraic groups. More precisely, we prove that if G is a simply connected simple linear algebraic group and f is a non-trivial irreducible representation of G in some GL(V) for which there exists a non-regular non-central semisimple element s in G such that f(s) has almost simple spectrum, then, with few exceptions, G is of classical type and dim V is minimal possible. Here the spectrum of a diagonalizable matrix is called simple if all eigenvalues are of multiplicity 1, and almost simple if at mo…
We study the problem of deciding whether or not the image of an irreducible representation of the braid group $\B_3$ of degree $\leq 5$ has finite image if we are only given the eigenvalues of a generator. We provide a partial algorithm that determines when the images are finite or infinite in all but finitely many cases, and use these results to study examples coming from quantum groups. Our technique uses two classification theorems and the computational group theory package GAP.
Let g be a complex, simple Lie algebra with Cartan subalgebra h and Weyl group W. We construct a one-parameter family of flat connections D on h with values in any finite-dimensional h-module V and simple poles on the root hyperplanes. The corresponding monodromy representation of the braid group B of type g is a deformation of the action of (a finite extension of) W on V. The residues of D are the Casimirs of the sl(2)-subalgebras of g corresponding to its roots. The irreducibility of a subspace U of V under these implies that, for generic values of the parameter, the braid group B acts irred…
Several finite complex reflection groups have a braid group which is isomorphic to a torus knot group. The reflection group is obtained from the torus knot group by declaring meridians to have order $k$ for some $k\geq 2$, and meridians are mapped to reflections. We study all possible quotients of torus knot groups obtained by requiring meridians to have finite order. Using the theory of $J$-groups of Achar and Aubert, we show that these groups behave like (in general infinite) complex reflection groups of rank two. The large family of "toric reflection groups" which we obtain includes, among …
We define a representation of the Artin groups of type ADE by monodromy of generalized KZ-systems which is shown to be isomorphic to the generalized Krammer representation originally defined by A.M. Cohen and D. Wales, and independantly by F. Digne. It follows that all pure Artin groups of spherical type are residually torsion-free nilpotent, hence (bi-)orderable. Using that construction we show that these irreducible representations are Zariski-dense in the corresponding general linear group. It follows that all irreducible Artin groups of spherical type can be embedded as Zariski-dense subgr…
Under the local Langlands correspondence, the conductor of an irreducible representation of $\Gl_n(F)$ is greater than the Swan conductor of the corresponding Galois representation. In this paper, we establish the geometric analogue of this statement by showing that the conductor of a categorical representation of the loop group is greater than the irregularity of the corresponding meromorphic connection.
If Gamma is a nonuniform, irreducible lattice in a semisimple Lie group whose real rank is greater than 1, we show Gamma contains a subgroup that is isomorphic to a nonuniform, irreducible lattice in either SL(3,R), SL(3,C), or a direct product SL(2,R)^m x SL(2,C)^n$, with m + n > 1. (In geometric terms, this can be interpreted as a statement about the existence of totally geodesic subspaces of finite-volume, noncompact, locally symmetric spaces of higher rank.) Another formulation of the result states that if G is any isotropic, almost simple algebraic group over Q (the rational numbers), suc…
Given two nonzero complex parameters $l$ and $m$, we construct by the mean of knot theory a matrix representation of size $\chl$ of the BMW algebra of type $A_{n-1}$ with parameters $l$ and $m$ over the field $\Q(l,r)$, where $m=\unsurr-r$. As a representation of the braid group on $n$ strands, it is equivalent to the Lawrence-Krammer representation that was introduced by Lawrence and Krammer to show the linearity of the braid groups. We prove that the Lawrence-Krammer representation is generically irreducible, but that for some values of the parameters $l$ and $r$, it becomes reducible. In pa…
After having established elementary results on the relationship between a finite complex (pseudo-)reflection group W < GL(V) and its reflection arrangement A, we prove that the action of W on A is canonically related with other natural representations of W, through a `periodic' family of representations of its braid group. We also prove that, when W is irreducible, then the squares of defining linear forms for A span the quadratic forms on V, which imply |A| >= n(n+1)/2 for n = dim V, and relate the W-equivariance of the corresponding map with the period of our family.