Table of Contents
Fetching ...

Long-Moody construction of braid group representations and Haraoka's multiplicative middle convolution for KZ-type equations

Haru Negami

TL;DR

This work builds a bridge between algebraic (Katz-Long-Moody) and analytic (multiplicative middle convolution) constructions of braid-group representations, connecting $B_n$ and $P_n$ through the free-group $F_n$ and establishing a correspondence between the two frameworks. The authors prove an isomorphism between the twisted Long-Moody construction on $P_{n+1}$ and Haraoka's convolution via a natural transformation, and show that unitarity is preserved under the Katz-Long-Moody process, accompanied by a recursive algorithm for the signature of the monodromy Hermitian form $\widetilde{H}_{\widetilde{p},\widetilde{q}}$. They also address irreducibility under generic conditions and clarify how monodromy data from KZ-type equations inform algebraic braid representations. The results illuminate deep connections between monodromy of KZ-type systems and braid-group representations, with potential applications to knot invariants and unitary classifications in mathematical physics.

Abstract

In this paper, we establish a correspondence between algebraic and analytic approaches to constructing representations of the braid group $B_n$, namely Katz-Long-Moody construction and multiplicative middle convolution for Knizhnik-Zamolodchikov (KZ)-type equations, respectively. The Katz-Long-Moody construction yields an infinite sequence of representations of $F_n \rtimes B_n$. On the other hand, the fundamental group of the domain of the $n$-valued KZ-type equation is isomorphic to the pure braid group $P_n$. The multiplicative middle convolution for the KZ-type equation provides an analytical framework for constructing (anti-)representations of $P_n$. Furthermore, we show that this construction preserves unitarity relative to a Hermitian matrix and establish an algorithm to determine the signature of the Hermitian matrix.

Long-Moody construction of braid group representations and Haraoka's multiplicative middle convolution for KZ-type equations

TL;DR

This work builds a bridge between algebraic (Katz-Long-Moody) and analytic (multiplicative middle convolution) constructions of braid-group representations, connecting and through the free-group and establishing a correspondence between the two frameworks. The authors prove an isomorphism between the twisted Long-Moody construction on and Haraoka's convolution via a natural transformation, and show that unitarity is preserved under the Katz-Long-Moody process, accompanied by a recursive algorithm for the signature of the monodromy Hermitian form . They also address irreducibility under generic conditions and clarify how monodromy data from KZ-type equations inform algebraic braid representations. The results illuminate deep connections between monodromy of KZ-type systems and braid-group representations, with potential applications to knot invariants and unitary classifications in mathematical physics.

Abstract

In this paper, we establish a correspondence between algebraic and analytic approaches to constructing representations of the braid group , namely Katz-Long-Moody construction and multiplicative middle convolution for Knizhnik-Zamolodchikov (KZ)-type equations, respectively. The Katz-Long-Moody construction yields an infinite sequence of representations of . On the other hand, the fundamental group of the domain of the -valued KZ-type equation is isomorphic to the pure braid group . The multiplicative middle convolution for the KZ-type equation provides an analytical framework for constructing (anti-)representations of . Furthermore, we show that this construction preserves unitarity relative to a Hermitian matrix and establish an algorithm to determine the signature of the Hermitian matrix.

Paper Structure

This paper contains 19 sections, 12 theorems, 96 equations, 3 figures.

Key Result

Theorem 2.6

Let $V$ be a finite-dimensional $\bm{k}-$ vector space, and let $B$ be any subgroup of $B_n$. In addition, $\sigma_1, \dots, \sigma_{n-1}$ are generators of $B_n$. LM construction to $F_n \rtimes B$, for we obtain a homomorphism of $B$ The homomorphism is called LM construction of a subgroup B.

Figures (3)

  • Figure 1: Geometric realization of Artin representation
  • Figure 2: Settings for analytic construction
  • Figure 3: settings for path of analytic continutation

Theorems & Definitions (37)

  • Definition 1.1: Unitarity of representation long1994constructing
  • Definition 2.1: Artin's braid group $B_n$ Artin1925
  • Definition 2.2: half-twist
  • Definition 2.3: Artin representation
  • Definition 2.4: Semidirect product $F_n \rtimes_{\theta} B_n$
  • Definition 2.5: Long-Moody construction
  • Theorem 2.6: Long-Moody constructionbigelow2008generalized
  • Definition 2.7: Dettweiler-Reiter's convolution DETTWEILER2000761
  • Definition 2.8: Twisted Long-Moody construction
  • proof
  • ...and 27 more