Pensieve header: A talk and a program about Archibald- and $\Gamma$-calculus and the Halacheva map between them. Continues pensieve://2021-03/

Title. I Still don’t Understand the Alexander Polynomial

Abstract. As an algebraic knot theorist, I still don’t understand the Alexander polynomial. There are two conventions as for how to present tangle theory in algebra: one may name the strands of a tangle, or one may name their ends. The distinction might seem too minor to matter, yet it leads to a completely different view of the set of tangles as an algebraic structure. There are lovely formulas for the Alexander polynomial as viewed from either perspective, and they even agree where they meet. But the “strands” formulas know about strand doubling while the “ends” ones don’t, and the “ends” formulas know about skein relations while the “strands” ones don’t. There ought to be a common generalization, but I don’t know what it is.

𝒜-Calculus

WP[Wedge[u___],Wedge[v___]]:=Signature[{u,v}]*Wedge@@Sort[{u,v}];
WP[0,_]=WP[_,0]=0;
WP[A_,B_]:=Expand[Distribute[A ** B] /. (a_. * u_Wedge) ** (b_. * v_Wedge):>a b WP[u,v]];

WExp[A_]:=Module[{s=Wedge[],t=Wedge[],k=0},
While[t=!=0,s+=(t=Expand[WP[t,A]/(++k)])]; s]

(Subscript[c, x_,y_])[w_Wedge]:=Module[{i,j},
{i}=FirstPosition[w,x,{0}]; {j}=FirstPosition[w,y,{0}];
(Piecewise[{{w, (i==0)∧(j==0)}, {(((-1))^(i+j+If[i>j,1,0]))Delete[w,{{i},{j}}], (i>0)∧(j>0)}}])
];
(Subscript[c, x_,y_])[ℰ_]:=ℰ/.w_Wedge:>(Subscript[c, x,y])[w]

𝒜[Γ[ω_,_,λ_]]:=Expand[ω WExp[Expand[λ]/.(Subscript[t, a_])(Subscript[h, b_]):>(Subscript[ξ, a])⋀(Subscript[x, b])]]

𝒜/:𝒜[is1_,os1_,cs1_,w1_]𝒜[is2_,os2_,cs2_,w2_]:=𝒜[is1⋃is2,os1⋃os2,Join[cs1,cs2],WP[w1,w2]]

(Subscript[c, h_,t_])@𝒜[is_,os_,cs_,w_]:=𝒜[
DeleteCases[is,t],DeleteCases[os,h],KeyDrop[cs,{(Subscript[x, h]),(Subscript[ξ, t])}],(Subscript[c, (Subscript[x, h]),(Subscript[ξ, t])])[w]
] /. If[cs[(Subscript[ξ, t])][[1]]===\[FormalCapitalT], cs[(Subscript[ξ, t])]->cs[(Subscript[x, h])],cs[(Subscript[x, h])]-> cs[(Subscript[ξ, t])]];
c@𝒜[is_,os_,cs_,w_]:=Fold[(Subscript[c, #2,#2])[#1]&,𝒜[is,os,cs,w],is⋂os]

𝒜[(Subscript[X, i_,j_,k_,l_])[u_,o_]]:=𝒜[{i,l},{j,k},\[LeftAssociation](Subscript[ξ, i])->u,(Subscript[x, j])->o,(Subscript[x, k])->u,(Subscript[ξ, l])->o\[RightAssociation],Expand[(o^(-1/2))WExp[Expand[-{(Subscript[ξ, l]),(Subscript[ξ, i])}.(({{1, 1-o}, {0, o}})).{(Subscript[x, j]),(Subscript[x, k])}]/.(Subscript[ξ, a_])(Subscript[x, b_]):>(Subscript[ξ, a])⋀(Subscript[x, b])]]];
𝒜[(Subscript[(OverBar[X]), i_,j_,k_,l_])[u_,o_]]:=𝒜[{i,j},{k,l},\[LeftAssociation](Subscript[ξ, i])->u,(Subscript[ξ, j])->o,(Subscript[x, k])->u,(Subscript[x, l])->o\[RightAssociation],Expand[(o^(1/2))WExp[Expand[-{(Subscript[ξ, j]),(Subscript[ξ, i])}.(({{1, 1-(o^(-1))}, {0, (o^(-1))}})).{(Subscript[x, l]),(Subscript[x, k])}]/.(Subscript[ξ, a_])(Subscript[x, b_]):>(Subscript[ξ, a])⋀(Subscript[x, b])]]];
𝒜[(Subscript[X, i_,j_,k_,l_])]:=𝒜[(Subscript[X, i,j,k,l])[(Subscript[\[FormalCapitalT], i]),(Subscript[\[FormalCapitalT], l])]];
𝒜[(Subscript[(OverBar[X]), i_,j_,k_,l_])]:=𝒜[(Subscript[(OverBar[X]), i,j,k,l])[(Subscript[\[FormalCapitalT], i]),(Subscript[\[FormalCapitalT], j])]];

WP[Wedge[x],Wedge[y]]

WP[Wedge[y],Wedge[x]]

A=Sum[(Subscript[a, i])((Subscript[x, i])⋀(Subscript[y, i])),{i,2}]

WExp[Sum[(Subscript[a, i])((Subscript[x, i])⋀(Subscript[y, i])),{i,4}]]

(Subscript[c, (Subscript[x, 6]),(Subscript[x, 5])])[(Subscript[x, 1])⋀(Subscript[x, 2])⋀(Subscript[x, 3])⋀(Subscript[x, 4])]

lhs=(Subscript[c, (Subscript[x, 4]),(Subscript[y, 4])])[WExp[Sum[(Subscript[a, i])((Subscript[x, i])⋀(Subscript[y, i])),{i,4}]]]

rhs=Expand[(1-(Subscript[a, 4]))WExp[Sum[(Subscript[a, i])((Subscript[x, i])⋀(Subscript[y, i])),{i,3}]]]

lhs==rhs

lhs=(Subscript[c, (Subscript[x, 3]),(Subscript[y, 3])])[(Subscript[c, (Subscript[x, 4]),(Subscript[y, 4])])[WExp[Sum[(Subscript[a, i])((Subscript[x, i])⋀(Subscript[y, i])),{i,4}]]]]

n=4; γ0=Γ[ω, (∑_(a=1)^n)(Subscript[h, a])(Subscript[σ, a]), (∑_(a=1)^n)(∑_(b=1)^n)(Subscript[t, a])(Subscript[h, b])(Subscript[α, 10a+b])]
γ0 // tr[2]

lhs=𝒜[γ0//tr[1]]//Simplify

rhs=(Subscript[c, (Subscript[ξ, 1]),(Subscript[x, 1])])[𝒜[γ0]]//Simplify

Simplify[lhs==rhs]

Expand[((Subscript[Xp, a,b])//Γ)[[3]]]

Expand[((Subscript[Xp, a,b])//Γ)[[3]]]/.(Subscript[t, a_])(Subscript[h, b_]):>-((Subscript[ξ, a])⋀(Subscript[x, b]))/.{(Subscript[ξ, a])->(Subscript[ξ, l]),(Subscript[ξ, b])->(Subscript[ξ, i]),(Subscript[x, a])->(Subscript[x, j]),(Subscript[x, b])->(Subscript[x, k]),(Subscript[T, a])->o}

Expand[((Subscript[Xm, a,b])//Γ)[[3]]]/.(Subscript[t, a_])(Subscript[h, b_]):>-((Subscript[ξ, a])⋀(Subscript[x, b]))/.{(Subscript[ξ, a])->(Subscript[ξ, j]),(Subscript[ξ, b])->(Subscript[ξ, i]),(Subscript[x, a])->(Subscript[x, l]),(Subscript[x, b])->(Subscript[x, k]),(Subscript[T, a])->o}

The 𝒜-invariants of the crossings.

𝒜[(Subscript[X, i,j,k,l])]

𝒜[(Subscript[(OverBar[X]), i,j,k,l])]

𝒜[(Subscript[X, 2,5,4,1])]𝒜[(Subscript[X, 3,7,6,5])]𝒜[(Subscript[X, 6,9,8,4])] // Short

𝒜[(Subscript[X, 2,5,4,1])]𝒜[(Subscript[X, 3,7,6,5])]

(Subscript[c, 4,1])[𝒜[(Subscript[X, 2,5,4,1])]𝒜[(Subscript[X, 3,7,6,5])]]

c[𝒜[(Subscript[X, 2,5,4,1])]𝒜[(Subscript[X, 3,7,6,5])]]

lhs=c[𝒜[(Subscript[X, 2,5,4,1])]𝒜[(Subscript[X, 3,7,6,5])]𝒜[(Subscript[X, 6,9,8,4])]]

rhs=c[𝒜[(Subscript[X, 3,5,4,2])]𝒜[(Subscript[X, 4,6,8,1])]𝒜[(Subscript[X, 5,7,9,6])]]

lhs[[4]]==rhs[[4]]

c[𝒜[(Subscript[X, 2,4,3,1])]𝒜[(Subscript[(OverBar[X]), 3,4,6,5])]]

{c[𝒜[(Subscript[X, 1,1,2,3])]], c[𝒜[(Subscript[X, 1,2,3,3])]],c[𝒜[(Subscript[(OverBar[X]), 1,2,2,3])]],c[𝒜[(Subscript[(OverBar[X]), 1,2,3,1])]]}

c[𝒜[(Subscript[X, 1,1,2,3])]]//(Subscript[c, 2,3])

(c[𝒜[(Subscript[X, 1,1,2,3])]]c[𝒜[(Subscript[X, 1,1,4,5])]])//(Subscript[c, 2,3])