Drorbn - User contributions [en]

Notes for AKT-140113/0:50:27

2018-08-25T00:35:56Z

Gavin.hurd:

This post has an example of two knots with fewer than 10 crossings that cannot be distinguished by the Jones Polynomial. [https://math.stackexchange.com/questions/1303743/is-there-a-one-to-one-correspondence-between-jones-polynomials-and-knots]. The example comes from the book ''Knot Theory and its Applications'' by Kunio Murasugi. The full text can be found here [https://www.maths.ed.ac.uk/~v1ranick/papers/murasug3.pdf]. The relevant example is on page 227.

Notes for AKT-140113/0:50:27

2018-08-25T00:32:34Z

Gavin.hurd: Created page with "This post has an example of two knots with fewer than 10 crossings that cannot be distinguished by the Jones Polynomial. [https://math.stackexchange.com/questions/1303743/is-t..."

This post has an example of two knots with fewer than 10 crossings that cannot be distinguished by the Jones Polynomial. [https://math.stackexchange.com/questions/1303743/is-there-a-one-to-one-correspondence-between-jones-polynomials-and-knots]. The example comes from the book ''Knot Theory and its Applications''. The full text can be found here [https://www.maths.ed.ac.uk/~v1ranick/papers/murasug3.pdf]. The relevant example is on page 227.

Notes for AKT-140307/0:41:01

2018-08-25T00:15:01Z

Gavin.hurd:

'''Proposition: '''$CS(A^g) = CS(A)+\frac13 \int_\mathbb{R^3}Tr(g^{-1} d g \wedge g^{-1} d g \wedge g^{-1} d g)$
$$CS(A^g)=\int_\mathbb{R^3} Tr(A^g \wedge d A^g + \frac23 A^g \wedge A^g \wedge A^g)$$
$$Tr(A^g \wedge d A^g + \frac23 A^g \wedge A^g \wedge A^g) =$$
$$Tr((g^{-1} A g + g^{-1} dg)\wedge d(g^{-1} A g + g^{-1} dg)+\frac23((g^{-1} A g + g^{-1} dg)\wedge(g^{-1} A g + g^{-1} dg)\wedge(g^{-1} A g + g^{-1} dg)))=$$
$$Tr(g^{-1} A \wedge (d A) g + g^{-1} A g \wedge d g^{-1} \wedge g^{-1} A g + g^{-1} d g \wedge g^{-1} (d A) g - g^{-1} d g \wedge g^{-1} A \wedge d g +$$
$$g^{-1} d g \wedge d g^{-1} \wedge A g - g^{-1} A \wedge A \wedge d g + g^{-1} A g \wedge d g^{-1} \wedge d g + g^{-1} d g \wedge d g^{-1} \wedge d g) +$$
$$\frac23 Tr( g^{-1} A \wedge A \wedge A g + g^{-1} A \wedge A \wedge d g + g^{-1} A g \wedge g^{-1} d g \wedge g^{-1} A g + g^{-1} A g \wedge g^{-1} d g \wedge g^{-1} d g +$$
$$g^{-1} d g \wedge g^{-1} A \wedge A g + g^{-1} d g \wedge g^{-1} A g \wedge g^{-1} d g + g^{-1} A g \wedge g^{-1} d g \wedge g^{-1} A g + g^{-1} d g \wedge g^{-1} d g \wedge g^{-1} d g) $$

Now $0 = d (g^{-1} g) = (d g) g^{-1} + g d g^{-1}$

So $(dg) g^{-1} = - g d g^{-1}$

Applying this to the fifth and seventh terms of the equation above yields
$$ g^{-1} d g \wedge d g^{-1} \wedge A g = g^{-1} d g \wedge d g^{-1} g \wedge g^{-1} A g = - g^{-1} d g \wedge g^{-1} d g \wedge g^{-1} A g$$
and
$$g^{-1} A g \wedge d g^{-1} \wedge d g = g^{-1} A g \wedge d g^{-1} g \wedge g^{-1} d g = - g^{-1} A g \wedge g^{-1} d g \wedge g^{-1} d g $$

Combining this with the fact that the trace is invariant under cyclic permutations show that

$$Tr(g^{-1} A \wedge (d A) g - 2 g^{-1} A \wedge A \wedge d g - 2 g^{-1} A g \wedge g^{-1} d g \wedge g^{-1} d g +g^{-1} d g \wedge g^{-1} d A g - g^{-1} d g \wedge g^{-1} A \wedge d g + g^{-1} d g \wedge d g^{-1} \wedge d g) +$$
$$ \frac23 Tr( g^{-1} A \wedge A \wedge A g + 3 g^{-1} A \wedge A \wedge d g + 3 g^{-1} A g \wedge g^{-1} d g \wedge g^{-1} d g +g^{-1} d g \wedge g^{-1} d g \wedge g^{-1} d g) =$$
$$Tr(g^{-1} A \wedge d A g + g^{-1} d g \wedge g^{-1} d A g - g^{-1} d g \wedge g^{-1} A \wedge d g+ g^{-1} d g \wedge d g^{-1} \wedge d g) + \frac23 Tr( g^{-1} A \wedge A \wedge A g + g^{-1} d g \wedge g^{-1} d g \wedge g^{-1} d g)$$
Now deal with the extra terms
$$Tr(g^{-1} d g \wedge g^{-1} (d A) g ) = Tr(g^{-1} d g \wedge d(g^{-1} A) g - g^{-1} d g \wedge d g^{-1} \wedge A g) = Tr(g^{-1} d g \wedge d(g^{-1} A) g + g^{-1} d g \wedge g^{-1} A \wedge d g)$$
Finally
$$Tr(g^{-1} d g \wedge d(g^{-1} A) g) = Tr(d g \wedge d(g^{-1} A)) = Tr(d (gd(g^{-1} A))) = d Tr(g d(g^{-1} A))$$
This shows that
$$CS(A^g)=\int_\mathbb{R^3}Tr(g^{-1} A \wedge (d A) g + \frac23 g^{-1} A \wedge A \wedge A g + \frac13 g^{-1} d g \wedge d g^{-1} \wedge d g) +\int_\mathbb{R^3} d Tr(g d(g^{-1} A))$$

If we assuming that A and g are compactly supported then by Stokes' theorem
$$\int_\mathbb{R^3}d Tr(g d(g^{-1} A)) = 0$$

So

$$CS(A^g)=\int_\mathbb{R^3}Tr(g^{-1} A \wedge (d A) g + \frac23 g^{-1} A \wedge A \wedge A g + \frac13 g^{-1} d g \wedge g^{-1} d g \wedge g^{-1} d g)$$
$$=\int_\mathbb{R^3}Tr(g^{-1} A \wedge (d A) g + \frac23 g^{-1} A \wedge A \wedge A g) +\frac13 \int_\mathbb{R^3}Tr(g^{-1} d g \wedge g^{-1} d g \wedge g^{-1} d g)$$
$$=\int_\mathbb{R^3}Tr(A \wedge d A + \frac23 A \wedge A \wedge A) +\frac13 \int_\mathbb{R^3}Tr(g^{-1} d g \wedge g^{-1} d g \wedge g^{-1} d g)$$
$$=CS(A)+\frac13 \int_\mathbb{R^3}Tr(g^{-1} d g \wedge g^{-1} d g \wedge g^{-1} d g)$$

If we define $CS_1(A,g)=CS(A^g)-CS(0^g)$
Then
$$CS_1(A,g) = CS(A^g) - \frac13 \int_\mathbb{R^3}Tr(g^{-1} d g \wedge g^{-1} d g \wedge g^{-1} d g) = CS_1(A,I) = CS(A)$$

Notes for AKT-140210/0:15:29

2018-08-24T21:19:44Z

Gavin.hurd: Created page with "Showing the STU relation implies the IHX relation. 500px"

Showing the STU relation implies the IHX relation.

[[File:IHX-1.jpg|500px]]

File:IHX-1.jpg

2018-08-24T21:18:14Z

Gavin.hurd:

Notes for AKT-140228/0:48:42

2018-08-23T04:15:59Z

Gavin.hurd: Created page with "Proof of the claim: $$d(gs) = (dg)s+gds \implies (dg)s = d(gs)-gds$$ So <center><math>\begin{align} D_{g^{-1} A g+g^{-1} d g} (s)\\ &=ds+(g^{-1} A g+g^{-1} d g)s\\ &= ds + g..."

Proof of the claim:

$$d(gs) = (dg)s+gds \implies (dg)s = d(gs)-gds$$

So
<center><math>\begin{align}
D_{g^{-1} A g+g^{-1} d g} (s)\\
&=ds+(g^{-1} A g+g^{-1} d g)s\\
&= ds + g^{-1} A g s + g^{-1} (d g) s \\
&=ds + g^{-1} A g s + g^{-1} d(gs)-g^{-1}gds\\
&= g^{-1} A g s + g^{-1} d(gs)\\
&= g^{-1} D_A(gs)\\
&= (D_A)^g(s)\\
\end{align}
</math></center>

Notes for AKT-140307/0:41:01

2018-08-20T18:52:50Z

Gavin.hurd:

'''Proposition: '''$CS(A^g) = CS(A)$
$$CS(A^g)=\int_\mathbb{R^3} Tr(A^g \wedge d A^g + \frac23 A^g \wedge A^g \wedge A^g)$$
$$Tr(A^g \wedge d A^g + \frac23 A^g \wedge A^g \wedge A^g) =$$
$$Tr((g^{-1} A g + g^{-1} dg)\wedge d(g^{-1} A g + g^{-1} dg)+\frac23((g^{-1} A g + g^{-1} dg)\wedge(g^{-1} A g + g^{-1} dg)\wedge(g^{-1} A g + g^{-1} dg)))=$$
$$Tr(g^{-1} A \wedge (d A) g + g^{-1} A g \wedge d g^{-1} \wedge g^{-1} A g + g^{-1} d g \wedge g^{-1} (d A) g - g^{-1} d g \wedge g^{-1} A \wedge d g +$$
$$g^{-1} d g \wedge d g^{-1} \wedge A g - g^{-1} A \wedge A \wedge d g + g^{-1} A g \wedge d g^{-1} \wedge d g + g^{-1} d g \wedge d g^{-1} \wedge d g) +$$
$$\frac23 Tr( g^{-1} A \wedge A \wedge A g + g^{-1} A \wedge A \wedge d g + g^{-1} A g \wedge g^{-1} d g \wedge g^{-1} A g + g^{-1} A g \wedge g^{-1} d g \wedge g^{-1} d g +$$
$$g^{-1} d g \wedge g^{-1} A \wedge A g + g^{-1} d g \wedge g^{-1} A g \wedge g^{-1} d g + g^{-1} A g \wedge g^{-1} d g \wedge g^{-1} A g + g^{-1} d g \wedge g^{-1} d g \wedge g^{-1} d g) $$

Now $0 = d (g^{-1} g) = (d g) g^{-1} + g d g^{-1}$

So $(dg) g^{-1} = - g d g^{-1}$

Applying this to the fifth and seventh terms of the equation above yields
$$ g^{-1} d g \wedge d g^{-1} \wedge A g = g^{-1} d g \wedge d g^{-1} g \wedge g^{-1} A g = - g^{-1} d g \wedge g^{-1} d g \wedge g^{-1} A g$$
and
$$g^{-1} A g \wedge d g^{-1} \wedge d g = g^{-1} A g \wedge d g^{-1} g \wedge g^{-1} d g = - g^{-1} A g \wedge g^{-1} d g \wedge g^{-1} d g $$

Combining this with the fact that the trace is invariant under cyclic permutations show that the

$$Tr(g^{-1} A \wedge (d A) g - 2 g^{-1} A \wedge A \wedge d g - 2 g^{-1} A g \wedge g^{-1} d g \wedge g^{-1} d g +g^{-1} d g \wedge g^{-1} d A g - g^{-1} d g \wedge g^{-1} A \wedge d g + g^{-1} d g \wedge d g^{-1} \wedge d g) +$$
$$ \frac23 Tr( g^{-1} A \wedge A \wedge A g + 3 g^{-1} A \wedge A \wedge d g + 3 g^{-1} A g \wedge g^{-1} d g \wedge g^{-1} d g +g^{-1} d g \wedge g^{-1} d g \wedge g^{-1} d g) =$$
$$Tr(g^{-1} A \wedge d A g + g^{-1} d g \wedge g^{-1} d A g - g^{-1} d g \wedge g^{-1} A \wedge d g+ g^{-1} d g \wedge d g^{-1} \wedge d g) + \frac23 Tr( g^{-1} A \wedge A \wedge A g + g^{-1} d g \wedge g^{-1} d g \wedge g^{-1} d g)$$
Now deal with the extra terms
$$Tr(g^{-1} d g \wedge g^{-1} (d A) g ) = Tr(g^{-1} d g \wedge d(g^{-1} A) g - g^{-1} d g \wedge d g^{-1} \wedge A g) = Tr(g^{-1} d g \wedge d(g^{-1} A) g + g^{-1} d g \wedge g^{-1} A \wedge d g)$$
Finally
$$Tr(g^{-1} d g \wedge d(g^{-1} A) g) = Tr(d g \wedge d(g^{-1} A)) = Tr(d (gd(g^{-1} A))) = d Tr(g d(g^{-1} A))$$
This shows that
$$CS(A^g)=\int_\mathbb{R^3}Tr(g^{-1} A \wedge (d A) g + g^{-1} A \wedge A \wedge A g + \frac13 g^{-1} d g \wedge d g^{-1} \wedge d g) +\int_\mathbb{R^3} d Tr(g d(g^{-1} A))$$
A similar argument shows that
$$Tr(g^{-1} d g \wedge g^{-1} d g \wedge g^{-1} d g) = -Tr(g^{-1} d g \wedge d g^{-1} \wedge d g) = dTr( $$
to be completed

Notes for AKT-140307/0:41:01

2018-08-20T18:36:48Z

Gavin.hurd:

'''Proposition: '''$CS(A^g) = CS(A)$
$$CS(A^g)=\int_\mathbb{R^3} Tr(A^g \wedge d A^g + \frac23 A^g \wedge A^g \wedge A^g)$$
$$Tr(A^g \wedge d A^g + \frac23 A^g \wedge A^g \wedge A^g) =$$
$$Tr(g^{-1} A \wedge (d A) g + g^{-1} A g \wedge d g^{-1} \wedge g^{-1} A g + g^{-1} d g \wedge g^{-1} (d A) g - g^{-1} d g \wedge g^{-1} A \wedge d g +$$
$$g^{-1} d g \wedge d g^{-1} \wedge A g - g^{-1} A \wedge A \wedge d g + g^{-1} A g \wedge d g^{-1} \wedge d g + g^{-1} d g \wedge d g^{-1} \wedge d g) +$$
$$\frac23 Tr( g^{-1} A \wedge A \wedge A g + g^{-1} A \wedge A \wedge d g + g^{-1} A g \wedge g^{-1} d g \wedge g^{-1} A g + g^{-1} A g \wedge g^{-1} d g \wedge g^{-1} d g +$$
$$g^{-1} d g \wedge g^{-1} A \wedge A g + g^{-1} d g \wedge g^{-1} A g \wedge g^{-1} d g + g^{-1} A g \wedge g^{-1} d g \wedge g^{-1} A g + g^{-1} d g \wedge g^{-1} d g \wedge g^{-1} d g) $$

Now $0 = d (g^{-1} g) = (d g) g^{-1} + g d g^{-1}$

So $(dg) g^{-1} = - g d g^{-1}$

Applying this to the fifth and seventh terms of the equation above yields
$$ g^{-1} d g \wedge d g^{-1} \wedge A g = g^{-1} d g \wedge d g^{-1} g \wedge g^{-1} A g = - g^{-1} d g \wedge g^{-1} d g \wedge g^{-1} A g$$
and
$$g^{-1} A g \wedge d g^{-1} \wedge d g = g^{-1} A g \wedge d g^{-1} g \wedge g^{-1} d g = - g^{-1} A g \wedge g^{-1} d g \wedge g^{-1} d g $$

Combining this with the fact that the trace is invariant under cyclic permutations show that the

$$Tr(g^{-1} A \wedge (d A) g - 2 g^{-1} A \wedge A \wedge d g - 2 g^{-1} A g \wedge g^{-1} d g \wedge g^{-1} d g +g^{-1} d g \wedge g^{-1} d A g - g^{-1} d g \wedge g^{-1} A \wedge d g + g^{-1} d g \wedge d g^{-1} \wedge d g) +$$
$$ \frac23 Tr( g^{-1} A \wedge A \wedge A g + 3 g^{-1} A \wedge A \wedge d g + 3 g^{-1} A g \wedge g^{-1} d g \wedge g^{-1} d g +g^{-1} d g \wedge g^{-1} d g \wedge g^{-1} d g) =$$
$$Tr(g^{-1} A \wedge d A g + g^{-1} d g \wedge g^{-1} d A g - g^{-1} d g \wedge g^{-1} A \wedge d g+ g^{-1} d g \wedge d g^{-1} \wedge d g) + \frac23 Tr( g^{-1} A \wedge A \wedge A g + g^{-1} d g \wedge g^{-1} d g \wedge g^{-1} d g)$$
Now deal with the extra terms
$$Tr(g^{-1} d g \wedge g^{-1} (d A) g ) = Tr(g^{-1} d g \wedge d(g^{-1} A) g - g^{-1} d g \wedge d g^{-1} \wedge A g) = Tr(g^{-1} d g \wedge d(g^{-1} A) g + g^{-1} d g \wedge g^{-1} A \wedge d g)$$
Finally
$$Tr(g^{-1} d g \wedge d(g^{-1} A) g) = Tr(d g \wedge d(g^{-1} A)) = Tr(d (gd(g^{-1} A))) = d Tr(g d(g^{-1} A))$$
This shows that
$$CS(A^g)=\int_\mathbb{R^3}Tr(g^{-1} A \wedge (d A) g + g^{-1} A \wedge A \wedge A g + \frac13 g^{-1} d g \wedge d g^{-1} \wedge d g) +\int_\mathbb{R^3} d Tr(g d(g^{-1} A))$$
A similar argument shows that
$$Tr(g^{-1} d g \wedge g^{-1} d g \wedge g^{-1} d g) = -Tr(g^{-1} d g \wedge d g^{-1} \wedge d g) = dTr( $$
to be completed

Notes for AKT-140324/0:51:37

2018-08-09T03:33:24Z

Gavin.hurd:

Showing that the box coproduct respects the 4T relation.

Throughout, the tensor of two diagrams actually refers to a sum of all possible ways of placing the connected components of the sub-diagrams 1, 2, 3, and 4 on the left or right side of the tensor, in line with the definition of box.

[[File:Box with 4T-1.jpg|800px]]

Notes for AKT-140324/0:51:37

2018-08-09T03:30:20Z

Gavin.hurd: Created page with "Showing that the box coproduct respects the 4T relation. Throughout, the tensor of two diagrams actually refers to a sum of all possible ways of placing the connected compone..."

File:Box with 4T-1.jpg

2018-08-09T03:22:47Z

Gavin.hurd: Showing that box is well defined.

Showing that box is well defined.

Notes for AKT-140307/0:41:01

2018-07-26T05:28:30Z

Gavin.hurd:

'''Proposition: '''$CS(A^g) = CS(A)$
$$CS(A^g)=\int_\mathbb{R^3} Tr(A^g \wedge d A^g + \frac23 A^g \wedge A^g \wedge A^g)$$
$$Tr(A^g \wedge d A^g + \frac23 A^g \wedge A^g \wedge A^g) =$$
$$Tr(g^{-1} A \wedge d A g + g^{-1} A g \wedge d g^{-1} \wedge g^{-1} A g + g^{-1} d g \wedge g^{-1} d A g - g^{-1} d g \wedge g^{-1} A \wedge d g +$$
$$g^{-1} d g \wedge d g^{-1} \wedge A g - g^{-1} A \wedge A \wedge d g + g^{-1} A g \wedge d g^{-1} \wedge d g + g^{-1} d g \wedge d g^{-1} \wedge d g) +$$
$$\frac23 Tr( g^{-1} A \wedge A \wedge A g + g^{-1} A \wedge A \wedge d g + g^{-1} A g \wedge g^{-1} d g \wedge g^{-1} A g + g^{-1} A g \wedge g^{-1} d g \wedge g^{-1} d g +$$
$$g^{-1} d g \wedge g^{-1} A \wedge A g + g^{-1} d g \wedge g^{-1} A g \wedge g^{-1} d g + g^{-1} A g \wedge g^{-1} d g \wedge g^{-1} A g + g^{-1} d g \wedge g^{-1} d g \wedge g^{-1} d g) $$

Now $0 = d g^{-1} g = d g g^{-1} + g d g^{-1}$

So $d g g^{-1} = - g d g^{-1}$

Applying this to the fifth and seventh terms of the equation above yields
$$ g^{-1} d g \wedge d g^{-1} \wedge A g = g^{-1} d g \wedge d g^{-1} g \wedge g^{-1} A g = - g^{-1} d g \wedge g^{-1} d g \wedge g^{-1} A g$$
and
$$g^{-1} A g \wedge d g^{-1} \wedge d g = g^{-1} A g \wedge d g^{-1} g \wedge g^{-1} d g = - g^{-1} A g \wedge g^{-1} d g \wedge g^{-1} d g $$

Combining this with the fact that the trace is invariant under cyclic permutations show that the

$$Tr(g^{-1} A \wedge d A g - 2 g^{-1} A \wedge A \wedge d g - 2 g^{-1} A g \wedge g^{-1} d g \wedge g^{-1} d g +g^{-1} d g \wedge g^{-1} d A g - g^{-1} d g \wedge g^{-1} A \wedge d g + g^{-1} d g \wedge d g^{-1} \wedge d g) +$$
$$ \frac23 Tr( g^{-1} A \wedge A \wedge A g + 3 g^{-1} A \wedge A \wedge d g + 3 g^{-1} A g \wedge g^{-1} d g \wedge g^{-1} d g +g^{-1} d g \wedge g^{-1} d g \wedge g^{-1} d g) =$$
$$Tr(g^{-1} A \wedge d A g + g^{-1} d g \wedge g^{-1} d A g - g^{-1} d g \wedge g^{-1} A \wedge d g+ g^{-1} d g \wedge d g^{-1} \wedge d g) + \frac23 Tr( g^{-1} A \wedge A \wedge A g + g^{-1} d g \wedge g^{-1} d g \wedge g^{-1} d g)$$
Now deal with the extra terms
$$Tr(g^{-1} d g \wedge g^{-1} d A g ) = Tr(g^{-1} d g \wedge d(g^{-1} A) g - g^{-1} d g \wedge d g^{-1} \wedge A g) = Tr(g^{-1} d g \wedge d(g^{-1} A) g + g^{-1} d g \wedge g^{-1} A \wedge d g)$$
Finally
$$Tr(g^{-1} d g \wedge d(g^{-1} A) g) = Tr(d g \wedge d(g^{-1} A)) = Tr(d (gd(g^{-1} A))) = d Tr(g d(g^{-1} A))$$
Substituting this into equation one and rearranging gives.
$$Tr(g^{-1} A \wedge d A g + g^{-1} A \wedge A \wedge A g + \frac13 g^{-1} d g \wedge d g^{-1} \wedge d g) + d Tr(g d(g^{-1} A))$$
A similar argument shows that
$$Tr(g^{-1} d g \wedge g^{-1} d g \wedge g^{-1} d g) = -Tr(g^{-1} d g \wedge d g^{-1} \wedge d g) = dTr( $$
to be completed

Notes for AKT-140307/0:41:01

2018-07-26T05:25:26Z

Gavin.hurd: Created page with "$CS(A^g)=\int_\mathbb{R^3} Tr(A^g \wedge d A^g + A^g \wedge A^g \wedge A^g)$ $$Tr(A^g \wedge d A^g + A^g \wedge A^g \wedge A^g) =$$ $$Tr(g^{-1} A \wedge d A g + g^{-1} A g \w..."

$CS(A^g)=\int_\mathbb{R^3} Tr(A^g \wedge d A^g + A^g \wedge A^g \wedge A^g)$
$$Tr(A^g \wedge d A^g + A^g \wedge A^g \wedge A^g) =$$
$$Tr(g^{-1} A \wedge d A g + g^{-1} A g \wedge d g^{-1} \wedge g^{-1} A g + g^{-1} d g \wedge g^{-1} d A g - g^{-1} d g \wedge g^{-1} A \wedge d g +$$
$$g^{-1} d g \wedge d g^{-1} \wedge A g - g^{-1} A \wedge A \wedge d g + g^{-1} A g \wedge d g^{-1} \wedge d g + g^{-1} d g \wedge d g^{-1} \wedge d g) +$$
$$\frac23 Tr( g^{-1} A \wedge A \wedge A g + g^{-1} A \wedge A \wedge d g + g^{-1} A g \wedge g^{-1} d g \wedge g^{-1} A g + g^{-1} A g \wedge g^{-1} d g \wedge g^{-1} d g +$$
$$g^{-1} d g \wedge g^{-1} A \wedge A g + g^{-1} d g \wedge g^{-1} A g \wedge g^{-1} d g + g^{-1} A g \wedge g^{-1} d g \wedge g^{-1} A g + g^{-1} d g \wedge g^{-1} d g \wedge g^{-1} d g) $$

Now $0 = d g^{-1} g = d g g^{-1} + g d g^{-1}$

So $d g g^{-1} = - g d g^{-1}$

Applying this to the fifth and seventh terms of the equation above yields
$$ g^{-1} d g \wedge d g^{-1} \wedge A g = g^{-1} d g \wedge d g^{-1} g \wedge g^{-1} A g = - g^{-1} d g \wedge g^{-1} d g \wedge g^{-1} A g$$
and
$$g^{-1} A g \wedge d g^{-1} \wedge d g = g^{-1} A g \wedge d g^{-1} g \wedge g^{-1} d g = - g^{-1} A g \wedge g^{-1} d g \wedge g^{-1} d g $$

Combining this with the fact that the trace is invariant under cyclic permutations show that the

$$Tr(g^{-1} A \wedge d A g - 2 g^{-1} A \wedge A \wedge d g - 2 g^{-1} A g \wedge g^{-1} d g \wedge g^{-1} d g +g^{-1} d g \wedge g^{-1} d A g - g^{-1} d g \wedge g^{-1} A \wedge d g + g^{-1} d g \wedge d g^{-1} \wedge d g) +$$
$$ \frac23 Tr( g^{-1} A \wedge A \wedge A g + 3 g^{-1} A \wedge A \wedge d g + 3 g^{-1} A g \wedge g^{-1} d g \wedge g^{-1} d g +g^{-1} d g \wedge g^{-1} d g \wedge g^{-1} d g) =$$
$$Tr(g^{-1} A \wedge d A g + g^{-1} d g \wedge g^{-1} d A g - g^{-1} d g \wedge g^{-1} A \wedge d g+ g^{-1} d g \wedge d g^{-1} \wedge d g) + \frac23 Tr( g^{-1} A \wedge A \wedge A g + g^{-1} d g \wedge g^{-1} d g \wedge g^{-1} d g)$$
Now deal with the extra terms
$$Tr(g^{-1} d g \wedge g^{-1} d A g ) = Tr(g^{-1} d g \wedge d(g^{-1} A) g - g^{-1} d g \wedge d g^{-1} \wedge A g) = Tr(g^{-1} d g \wedge d(g^{-1} A) g + g^{-1} d g \wedge g^{-1} A \wedge d g)$$
Finally
$$Tr(g^{-1} d g \wedge d(g^{-1} A) g) = Tr(d g \wedge d(g^{-1} A)) = Tr(d (gd(g^{-1} A))) = d Tr(g d(g^{-1} A))$$
Substituting this into equation one and rearranging gives.
$$Tr(g^{-1} A \wedge d A g + g^{-1} A \wedge A \wedge A g + \frac13 g^{-1} d g \wedge d g^{-1} \wedge d g) + d Tr(g d(g^{-1} A))$$
A similar argument shows that
$$Tr(g^{-1} d g \wedge g^{-1} d g \wedge g^{-1} d g) = -Tr(g^{-1} d g \wedge d g^{-1} \wedge d g) = dTr( $$
to be completed