Braid group representations from twisted tensor products of algebras (Q827060)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Braid group representations from twisted tensor products of algebras
scientific article

    Statements

    Braid group representations from twisted tensor products of algebras (English)
    0 references
    0 references
    6 January 2021
    0 references
    The authors outline an approach to finding families of braid group representations from twisted tensor products of algebras and propose to study the following problem: Find and classify braid group representations inside twisted tensor products of (group) algebras. This approach is motivated by the following two examples: 1) Set \(q = e^{2 \pi i/m}\) for \(m\) odd and let \(A_n(\mathbb{Z}_m)\) be the \(\mathbb{C}\)-algebra generated by \(u_i\), for \(1 \leq i \leq n - 1\) satisfying: \begin{itemize} \item[1.] \(u^m_i = 1\) for all \(i\), \item[2.] \(u_i u_{i+1} = q^2 u_{i+1} u_{i}\), \item[3.] \(u_i u_{j} = u_{j} u_{i}\) for \(|i - j| \not= 1\). \end{itemize} The algebra \(A_n(\mathbb{Z}_m)\) as an iterated twisted tensor product of the group algebra \(\mathbb{C}[\mathbb{Z}_m]\): \[ A_n(\mathbb{Z}_m) = \mathbb{C}[\mathbb{Z}_m] \otimes_{\vartheta} \mathbb{C}[\mathbb{Z}_m] \otimes_{\vartheta} \dots \otimes_{\vartheta} \mathbb{C}[\mathbb{Z}_m], \] where \(\vartheta\) is the twisting map corresponding to the second relation above. The map \[ \rho_n(\sigma_i) = \frac{1}{\sqrt{m}} \sum_{j=0}^m q^{j^2} u_i^j \] defines a representation \(B_n \to A_n(\mathbb{Z}_m)\). This representation is known to have finite image. 2) Another example of braid group representations related to twisted tensor products of algebras where the quaternion group \(Q_8\) appears. For \(1 \leq i \leq n - 1\) let \(A_n(Q_8)\) be the algebra generated by \(u_i\), \(v_i\) satisfying: \begin{itemize} \item[1.] \(u_i^2 = v_i^2= -1\) for all \(i\), \item[2.] \([u_i , v_j] = -1\) if \(|i - j| < 2\), \item[3.] \([u_i, u_j] = [v_i, v_j] = 1\), \item[4.] \([u_i, v_j] = 1\) if \(|i - j| \geq 2\). \end{itemize} There exists braid group representations via \(\sigma_i \mapsto (1 + u_i + v_i + u_i v_i)\).
    0 references
    braid group
    0 references
    Yang-Baxter operator
    0 references
    twisted tensor product
    0 references
    group algebra
    0 references
    unitary representations
    0 references
    property \(F\)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references