# Braid*Temperley-Lieb=?

I would be very astonished if this algebra isn't named.

You simply have the braid AND the Temperley-Lieb generator in the algebra. Rules are the usual Reidemeister equivalents plus the kink and whirl move equivalents (2nd question - I call them that way, but are there established names?):

Sn braid generator
Hn Temperley-Lieb generator
and now you have obvious relations like
Sn*Hn=f*Hn (f writhe fudge factor) - Reidemeister 1
H1*H2*H1=H1 (kink)
H1*H2*S1=H1*R2 (whirl)
and so on. The fun is that since the Temperley-Lieb generator consists of cup PLUS cap, the rules are a bit weaker than the one you use for the abstract tensor approach. (Proof: Take H=tensorprod(id,id). Won't work in usual knot theory. But trivially in this algebra if S=R=H too.)

So please tell me the official name for pasting it in my great unfinished novel. I hate to call it Narf algebra due to my great impressedness :-)

Hauke

P.S. The algebra wasn't very useful yet, but if I pull the same stunt with Kuperbergs G2 invariant and B2 spider, it gets VERY interesting! (PM for details.)

• One presentation of TL is as the free undirected planar algebra in which the empty circle can be removed for multiplication by some scalar. Are you proposing anything deeper than the algebra of (framed) tangles in which an unlinked unknot can be removed for multiplication by a scalar (and framing changes can be made for some other scalar)? If so, then your algebra is called Knot Theory. As such, it is very much studied, and very rich, and very complicated. – Theo Johnson-Freyd Mar 28 '11 at 16:47
• You might want to look at the (type A) Hecke algebra or the BMW algebra. These have generators similar to what you describe but impose additional relations. One problem with your example is that the morphism spaces are infinite dimensional and difficult to analyze. – Kevin Walker Mar 29 '11 at 0:36
• @Theo - yes, I came up with this as a kind of reformulation of knot theory. But the "solution set" (if you interpret S and H as matrices, i.e. in the abstract tensor framework) of polynomial invariants is different: abstract tensor € Narf algebra € knot theory. (As it seems, already Kauffmans 2 variable polynomial is incompatible with abstract tensors. Or so I heard. The intent of all this was to "weaken the whirl move" in a plausible way. BTW, the K2VP is still incompatible.) @Kevin - are the additional relations compatible with knot theory? (I didn't list all of mine, they are.) Hauke – Hauke Reddmann Mar 29 '11 at 9:34
• @Kevin - I looked up the original BW paper - the pictures are the same, but an additional relation R+S=c(H+I) is imposed. Since the relations stay the same, I think I can simply make a reference to BW in my paper. Question declared solved. – Hauke Reddmann Mar 30 '11 at 8:51
• Are you just looking at the algebra of balanced tangles, with equal number of endpoints at the top and bottom? Also, I don't understand the relation you call "whirl". What is R2? – Dylan Thurston Apr 2 '11 at 19:47