A new basis for the Homflypt skein module of the solid torus

详细信息    查看全文

• 作者：Ioannis Diamantis ^{diamantis@math.ntua.gr" class="auth_mail" title="E-mail the corresponding author} ; Sofia Lambropoulou ; ^{sofia@math.ntua.gr" class="auth_mail" title="E-mail the corresponding author}
• 关键词：57M27 ; 57M25 ; 57N10 ; 20F36 ; 20C08
• 刊名：Journal of Pure and Applied Algebra
• 出版年：2016
• 出版时间：February 2016
• 年：2016
• 卷：220
• 期：2
• 页码：577-605
• 全文大小：677 K

文摘

In this paper we give a new basis, 螞, for the Homflypt skein module of the solid torus, d="mmlsi1" class="mathmlsrc">data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0022404915001826&_mathId=si1.gif&_user=111111111&_pii=S0022404915001826&_rdoc=1&_issn=00224049&md5=8c8dc9593f366f9002fb0f0c85c4ab9f" title="Click to view the MathML source">S(ST)dden">de">$\mathcal{S}(\mathrm{ST})$, which topologically is compatible with the handle sliding moves and which was predicted by J.H. Przytycki. The basis 螞 is different from the basis d="mmlsi2" class="mathmlsrc">data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0022404915001826&_mathId=si2.gif&_user=111111111&_pii=S0022404915001826&_rdoc=1&_issn=00224049&md5=b5e12ed4b0e76e7d1c97ae70432c4445" title="Click to view the MathML source">螞^′dden">de">${\mathrm{螞}}^{\prime }$, discovered independently by Hoste and Kidwell d="bbr0010">[1] and Turaev d="bbr0020">[2] with the use of diagrammatic methods, and also different from the basis of Morton and Aiston d="bbr0030">[3]. For finding the basis 螞 we use the generalized Hecke algebra of type B, d="mmlsi3" class="mathmlsrc">data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0022404915001826&_mathId=si3.gif&_user=111111111&_pii=S0022404915001826&_rdoc=1&_issn=00224049&md5=dcda08e1067464280ec360303a1698d5" title="Click to view the MathML source">H_1,ndden">de">${\mathrm{H}}_{1,n}$, which is generated by looping elements and braiding elements and which is isomorphic to the affine Hecke algebra of type A d="bbr0040">[4]. More precisely, we start with the well-known basis d="mmlsi2" class="mathmlsrc">data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0022404915001826&_mathId=si2.gif&_user=111111111&_pii=S0022404915001826&_rdoc=1&_issn=00224049&md5=b5e12ed4b0e76e7d1c97ae70432c4445" title="Click to view the MathML source">螞^′dden">de">${\mathrm{螞}}^{\prime }$ of d="mmlsi1" class="mathmlsrc">data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0022404915001826&_mathId=si1.gif&_user=111111111&_pii=S0022404915001826&_rdoc=1&_issn=00224049&md5=8c8dc9593f366f9002fb0f0c85c4ab9f" title="Click to view the MathML source">S(ST)dden">de">$\mathcal{S}(\mathrm{ST})$ and an appropriate linear basis d="mmlsi322" class="mathmlsrc">data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0022404915001826&_mathId=si322.gif&_user=111111111&_pii=S0022404915001826&_rdoc=1&_issn=00224049&md5=5fae6d1e73b15e623783a87675745e22" title="Click to view the MathML source">危_ndden">de">${\mathrm{危}}_n$ of the algebra d="mmlsi3" class="mathmlsrc">data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0022404915001826&_mathId=si3.gif&_user=111111111&_pii=S0022404915001826&_rdoc=1&_issn=00224049&md5=dcda08e1067464280ec360303a1698d5" title="Click to view the MathML source">H_1,ndden">de">${\mathrm{H}}_{1,n}$. We then convert elements in d="mmlsi2" class="mathmlsrc">data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0022404915001826&_mathId=si2.gif&_user=111111111&_pii=S0022404915001826&_rdoc=1&_issn=00224049&md5=b5e12ed4b0e76e7d1c97ae70432c4445" title="Click to view the MathML source">螞^′dden">de">${\mathrm{螞}}^{\prime }$ to sums of elements in d="mmlsi322" class="mathmlsrc">data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0022404915001826&_mathId=si322.gif&_user=111111111&_pii=S0022404915001826&_rdoc=1&_issn=00224049&md5=5fae6d1e73b15e623783a87675745e22" title="Click to view the MathML source">危_ndden">de">${\mathrm{危}}_n$. Then, using conjugation and the stabilization moves, we convert these elements to sums of elements in 螞 by managing gaps in the indices, by ordering the exponents of the looping elements and by eliminating braiding tails in the words. Further, we define total orderings on the sets d="mmlsi2" class="mathmlsrc">data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0022404915001826&_mathId=si2.gif&_user=111111111&_pii=S0022404915001826&_rdoc=1&_issn=00224049&md5=b5e12ed4b0e76e7d1c97ae70432c4445" title="Click to view the MathML source">螞^′dden">de">${\mathrm{螞}}^{\prime }$ and 螞 and, using these orderings, we relate the two sets via a block diagonal matrix, where each block is an infinite lower triangular matrix with invertible elements in the diagonal. Using this matrix we prove linear independence of the set 螞, thus 螞 is a basis for d="mmlsi1" class="mathmlsrc">data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0022404915001826&_mathId=si1.gif&_user=111111111&_pii=S0022404915001826&_rdoc=1&_issn=00224049&md5=8c8dc9593f366f9002fb0f0c85c4ab9f" title="Click to view the MathML source">S(ST)dden">de">$\mathcal{S}(\mathrm{ST})$.

d="sp0080">d="mmlsi1" class="mathmlsrc">data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0022404915001826&_mathId=si1.gif&_user=111111111&_pii=S0022404915001826&_rdoc=1&_issn=00224049&md5=8c8dc9593f366f9002fb0f0c85c4ab9f" title="Click to view the MathML source">S(ST)dden">de">$\mathcal{S}(\mathrm{ST})$ plays an important role in the study of Homflypt skein modules of arbitrary c.c.o. 3-manifolds, since every c.c.o. 3-manifold can be obtained by integral surgery along a framed link in d="mmlsi5" class="mathmlsrc">data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0022404915001826&_mathId=si5.gif&_user=111111111&_pii=S0022404915001826&_rdoc=1&_issn=00224049&md5=9ab3e2ac6abefa020c322a6549af48c7" title="Click to view the MathML source">S³dden">de">$S^3$ with unknotted components. In particular, the new basis of d="mmlsi1" class="mathmlsrc">data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0022404915001826&_mathId=si1.gif&_user=111111111&_pii=S0022404915001826&_rdoc=1&_issn=00224049&md5=8c8dc9593f366f9002fb0f0c85c4ab9f" title="Click to view the MathML source">S(ST)dden">de">$\mathcal{S}(\mathrm{ST})$ is appropriate for computing the Homflypt skein module of the lens spaces. In this paper we provide some basic algebraic tools for computing skein modules of c.c.o. 3-manifolds via algebraic means.