GENERALISATIONS OF HECKE ALGEBRAS FROM LOOP BRAID GROUPS

被引:0
作者
Damiani, Celeste [1 ]
Martin, Paul [2 ]
Rowell, Eric C. [3 ]
机构
[1] Istituto Italiano Technol, CHT Erzelli, Genoa, Italy
[2] Univ Leeds, Dept Pure Math, Leeds, England
[3] Texas A&M Univ, Dept Math, College Stn, TX 77843 USA
基金
英国工程与自然科学研究理事会;
关键词
Loop braid group; Hecke algebra; charge conservation; LINK POLYNOMIALS; BURAU REPRESENTATION; INVARIANTS; FAITHFUL; MOTION; KNOTS;
D O I
10.2140/pjm.2023.323.31
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
We introduce a generalisation LHn of the ordinary Hecke algebras informed by the loop braid group LBn and the extension of the Burau representation thereto. The ordinary Hecke algebra has many remarkable arithmetic and representation theoretic properties, and many applications. We show that LHn has analogues of several of these properties. In particular we consider a class of local (tensor space/functor) representations of the braid group derived from a meld of the (nonfunctor) Burau representation (1935) and the (functor) Deguchi et al., Kauffman and Saleur, and Martin and Rittenberg representations here called Burau–Rittenberg representations. In its most supersymmetric case somewhat mystical cancellations of anomalies occur so that the Burau–Rittenberg representation extends to a loop Burau– Rittenberg representation. And this factors through LHn. Let SPn denote the corresponding (not necessarily proper) quotient algebra, k the ground ring, and t ∈ k the loop-Hecke parameter. We prove the following: (1) LHn is finite dimensional over a field. (2) The natural inclusion LBn ↪LBn+1 passes to an inclusion SPn ↪SPn+1. (3) Over k=C, SPn / rad is generically the sum of simple matrix algebras of dimension (and Bratteli diagram) given by Pascal’s triangle. (Specifically SPn / rad ≅ CSn/e1 (2,2) where Sn is the symmetric group and e1 (2,2) is a λ = (2, 2) primitive idempotent.) (4) We determine the other fundamental invariants of SPn representation theory: the Cartan decomposition matrix; and the quiver, which is of type-A. (5) The structure of SPn is independent of the parameter t, except for t = 1. (6) For t2 ≠ 1 then LHn ≅ SPn at least up to rank n = 7 (for t = −1 they are not isomorphic for n > 2; for t = 1 they are not isomorphic for n > 1). Finally we discuss a number of other intriguing points arising from this construction in topology, representation theory and combinatorics. © 2023 The Authors, under license to MSP (Mathematical Sciences Publishers). Distributed under the Creative Commons Attribution License 4.0 (CC BY). Open Access made possible by subscribing institutions via Subscribe to Open.
引用
收藏
页码:31 / 65
页数:36
相关论文
共 78 条
[1]   KNOT INVARIANTS AND THE CRITICAL STATISTICAL SYSTEMS [J].
AKUTSU, Y ;
WADATI, M .
JOURNAL OF THE PHYSICAL SOCIETY OF JAPAN, 1987, 56 (03) :839-842
[2]  
[Anonymous], 1974, Representations of Hecke algebras of finite groups with BN-pairs of classical type
[3]   THEORY OF BRAIDS [J].
ARTIN, E .
ANNALS OF MATHEMATICS, 1947, 48 (01) :101-125
[4]  
Baez JC, 2007, ADV THEOR MATH PHYS, V11, P707
[5]  
Bakalov B., 2001, LECT TENSOR CATEGORI
[6]   The Generic Representation Theory of the Juyumaya Algebra of Braids and Ties [J].
Banjo, Elizabeth O. .
ALGEBRAS AND REPRESENTATION THEORY, 2013, 16 (05) :1385-1395
[7]   Extending representations of braid groups to the automorphism groups of free groups [J].
Bardakov, VG .
JOURNAL OF KNOT THEORY AND ITS RAMIFICATIONS, 2005, 14 (08) :1087-1098
[8]  
Baxter Rodney J, 2007, EXACTLY SOLVED MODEL
[9]   The braid group of a necklace [J].
Bellingeri, Paolo ;
Bodin, Arnaud .
MATHEMATISCHE ZEITSCHRIFT, 2016, 283 (3-4) :995-1010
[10]  
Benson D. J, 1991, Cambridge Studies in Advanced Mathematics, V30