English

Markov trace on Funar algebra

Geometric Topology 2024-12-04 v3 Representation Theory

Abstract

Funar algebra K=K(α,β;k)K_\infty=K_\infty(\alpha,\beta;k) is the quotient of the group algebra over a ring kk of the braid group BB_\infty by two cubic relations: σ13ασ12+βσ11=0\sigma_1^3-\alpha\sigma_1^2+\beta\sigma_1-1=0 and another one which involves σ1\sigma_1 and σ2\sigma_2. The universal Markov trace on KK_\infty is the quotient map tt of K(α,β,k[u,v])K_\infty(\alpha,\beta,k[u,v]) to its quotient (as a k[u,v]k[u,v]-module) by trace relations xy=yxxy=yx and by Markov relations σnx=ux\sigma_nx=ux, σn1x=vx\sigma_n^{-1}x=vx for xKnx\in K_n. It is easy to check that the quotient is of the form k[u,v]/Ik[u,v]/I for some ideal II (i. e. that the trace tt is determined by t(1)t(1)). We give an algorithm to compute the ideal II and we present the result of computations in some special cases. In the last section we discuss some properties of the resulting link invariant. This invariant for β=0\beta=0, k=GF(37)[α]k=GF(37)[\alpha] detects the chirality of the knots 104810_{48} and 109110_{91} and it distinguish many other pairs of knots with equal HOMFLY polynomials.

Keywords

Cite

@article{arxiv.1206.0765,
  title  = {Markov trace on Funar algebra},
  author = {Stepan Orevkov},
  journal= {arXiv preprint arXiv:1206.0765},
  year   = {2024}
}

Comments

23 pages, 5 figures, 3 tables

R2 v1 2026-06-21T21:14:10.059Z