SetDirectory["C:\\drorbn\\AcademicPensieve\\Talks\\Groningen-220620"];
<< Rho1.m

(Subscript[δ, i_,j_]):=If[i==j,1,0];
(Subscript[gRules, s_,i_,j_]):={(Subscript[g, i,β_]):>(Subscript[δ, i,β])+(T^s)(Subscript[g, i+1,β])+(1-(T^s))(Subscript[g, j+1,β]),
(Subscript[g, j,β_]):>(Subscript[δ, j,β])+(Subscript[g, j+1,β]),(Subscript[g, α_,i]):>(T^(-s))((Subscript[g, α,i+1])-(Subscript[δ, α,i+1])),
(Subscript[g, α_,j]):>(Subscript[g, α,j+1])-(1-(T^s))(Subscript[g, α,i])-(Subscript[δ, α,j+1])}

Proof of Reidemeister 3:

lhs=(Subscript[R, 1])[1,20,30]+(Subscript[R, 1])[1,10,31]+(Subscript[R, 1])[1,11,21]//.(Subscript[gRules, 1,20,30])⋃(Subscript[gRules, 1,10,31])⋃(Subscript[gRules, 1,11,21]);
rhs=(Subscript[R, 1])[1,10,20]+(Subscript[R, 1])[1,11,30]+(Subscript[R, 1])[1,21,31]//.(Subscript[gRules, 1,10,20])⋃(Subscript[gRules, 1,11,30])⋃(Subscript[gRules, 1,21,31]);
Simplify[lhs==rhs]

Next comes Reid1, where we use results from an earlier example:

(({{1, (T^(-1)), 1}, {0, (T^(-1)), 1}, {0, 0, 1}}))//Inverse//MatrixForm

(Subscript[R, 1])[1,2,1]-1((Subscript[g, 2,2])-1/2) /. (Subscript[g, α_,β_]):>(({{1, (T^(-1)), 1}, {0, (T^(-1)), 1}, {0, 0, 1}}))[[α,β]]

Invariance under the other moves is proven similarly.

Alternative (Subscript[R, 1])’s:

Simplify[(Subscript[R, 1])[s,i,j]==s((1-(T^s))(Subscript[g, j,i])((Subscript[g, j,i])-(Subscript[g, i,i]))+2(Subscript[g, j,j])(Subscript[g, j,i])-(Subscript[g, j,i])(Subscript[g, i,j])-(Subscript[g, j,j])(Subscript[g, i,i])-(Subscript[g, j,i])+(Subscript[g, i,i])-1/2)//.(Subscript[gRules, s,i,j])]

Simplify[(Subscript[R, 1])[s,i,j]==s(((Subscript[g, j,j+1])-(Subscript[g, j,j]))((Subscript[g, j,i])-(Subscript[g, i,i]))+2(Subscript[g, j,j])(Subscript[g, j,i])-(Subscript[g, j,i])(Subscript[g, i,j])-(Subscript[g, j,j])(Subscript[g, i,i])-(Subscript[g, j,i])+(Subscript[g, i,i])-1/2)//.(Subscript[gRules, s,i,j])]

Simplify[(Subscript[R, 1])[s,i,j]==s((Subscript[g, j,i]) (-1-(Subscript[g, i,j])+(Subscript[g, j,j])+(Subscript[g, j,1+j]))-(Subscript[g, i,i]) (-1+(Subscript[g, j,1+j]))-1/2)//.(Subscript[gRules, s,i,j])]

Simplify[(Subscript[R, 1])[s,i,j]==s((Subscript[g, j,i]) ((Subscript[g, j,j])+(Subscript[g, j,j+1])-(Subscript[g, i,j])-1)-(Subscript[g, i,i]) ((Subscript[g, j,j+1])-1)-1/2)//.(Subscript[gRules, s,i,j])]

Simplify[(Subscript[R, 1])[s,i,j]==s((Subscript[g, j,i]) ((Subscript[g, j+1,j])+(Subscript[g, j,j+1])-(Subscript[g, i,j]))-(Subscript[g, i,i]) ((Subscript[g, j,j+1])-1)-1/2)//.(Subscript[gRules, s,i,j])]

Simplify[((Subscript[g, j,i]) ((Subscript[g, j+1,j])+(Subscript[g, j,j+1])-(Subscript[g, i,j]))-(Subscript[g, i,i]) ((Subscript[g, j,j+1])-1)-1/2)]

Simplify[{(Subscript[g, j,j]),(Subscript[g, j,j+1]),(Subscript[g, i,j]),(Subscript[g, j+1,j])+(Subscript[g, j,j+1])}//.(Subscript[gRules, s,i,j])]