<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://drorbn.net/index.php?action=history&amp;feed=atom&amp;title=Notes_for_AKT-140307%2F0%3A41%3A01</id>
	<title>Notes for AKT-140307/0:41:01 - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://drorbn.net/index.php?action=history&amp;feed=atom&amp;title=Notes_for_AKT-140307%2F0%3A41%3A01"/>
	<link rel="alternate" type="text/html" href="https://drorbn.net/index.php?title=Notes_for_AKT-140307/0:41:01&amp;action=history"/>
	<updated>2026-05-09T23:36:20Z</updated>
	<subtitle>Revision history for this page on the wiki</subtitle>
	<generator>MediaWiki 1.39.6</generator>
	<entry>
		<id>https://drorbn.net/index.php?title=Notes_for_AKT-140307/0:41:01&amp;diff=16658&amp;oldid=prev</id>
		<title>Gavin.hurd at 00:15, 25 August 2018</title>
		<link rel="alternate" type="text/html" href="https://drorbn.net/index.php?title=Notes_for_AKT-140307/0:41:01&amp;diff=16658&amp;oldid=prev"/>
		<updated>2018-08-25T00:15:01Z</updated>

		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;table style=&quot;background-color: #fff; color: #202122;&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;en&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;Revision as of 20:15, 24 August 2018&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 1:&lt;/td&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 1:&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&#039;&#039;&#039;Proposition: &#039;&#039;&#039;$CS(A^g) = CS(A)$&lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&#039;&#039;&#039;Proposition: &#039;&#039;&#039;$CS(A^g) = CS(A&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;)+\frac13 \int_\mathbb{R^3}Tr(g^{-1} d g \wedge g^{-1} d g \wedge g^{-1} d g&lt;/ins&gt;)$&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$CS(A^g)=\int_\mathbb{R^3} Tr(A^g \wedge d A^g + \frac23 A^g \wedge A^g \wedge A^g)$$&lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$CS(A^g)=\int_\mathbb{R^3} Tr(A^g \wedge d A^g + \frac23 A^g \wedge A^g \wedge A^g)$$&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$Tr(A^g \wedge d A^g + \frac23 A^g \wedge A^g \wedge A^g) =$$&lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$Tr(A^g \wedge d A^g + \frac23 A^g \wedge A^g \wedge A^g) =$$&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 17:&lt;/td&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 17:&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$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 $$&lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$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 $$&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br /&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br /&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Combining this with the fact that the trace is invariant under cyclic permutations show that&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt; the &lt;/del&gt;&lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Combining this with the fact that the trace is invariant under cyclic permutations show that&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br /&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br /&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$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) +$$&lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$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) +$$&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 27:&lt;/td&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 27:&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$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))$$&lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$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))$$&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;This shows that&lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;This shows that&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$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))$$&lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$CS(A^g)=\int_\mathbb{R^3}Tr(g^{-1} A \wedge (d A) g +&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt; \frac23&lt;/ins&gt; 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))$$&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-empty diff-side-deleted&quot;&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br /&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;A similar argument shows that &lt;/div&gt;&lt;/td&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-empty diff-side-added&quot;&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-empty diff-side-deleted&quot;&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;If we assuming that A and g are compactly supported then by Stokes&#039; theorem&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;a class=&quot;mw-diff-movedpara-left&quot; title=&quot;Paragraph was moved. Click to jump to new location.&quot; href=&quot;#movedpara_11_3_rhs&quot;&gt;&amp;#x26AB;&lt;/a&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;a name=&quot;movedpara_8_0_lhs&quot;&gt;&lt;/a&gt;$$Tr(g^{-1} d g \&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;wedge&lt;/del&gt; g^{-1} &lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;d&lt;/del&gt; &lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;g&lt;/del&gt; \wedge g^{-1} d g&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;)&lt;/del&gt; &lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;=&lt;/del&gt; &lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;-Tr(&lt;/del&gt;g^{-1} d g \wedge&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt; d&lt;/del&gt; g^{-1}&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt; \wedge&lt;/del&gt; d g)&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt; = dTr( &lt;/del&gt;$$&lt;/div&gt;&lt;/td&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-empty diff-side-added&quot;&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-empty diff-side-deleted&quot;&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$\int_\mathbb{R^3}d Tr(g d(g^{-1} A)) = 0$$&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;to be completed&lt;/div&gt;&lt;/td&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-empty diff-side-added&quot;&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-empty diff-side-deleted&quot;&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br /&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-empty diff-side-deleted&quot;&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;So&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-empty diff-side-deleted&quot;&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br /&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-empty diff-side-deleted&quot;&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;a class=&quot;mw-diff-movedpara-right&quot; title=&quot;Paragraph was moved. Click to jump to old location.&quot; href=&quot;#movedpara_8_0_lhs&quot;&gt;&amp;#x26AB;&lt;/a&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;a name=&quot;movedpara_11_3_rhs&quot;&gt;&lt;/a&gt;$$&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;CS(A^g)=\int_\mathbb{R^3}&lt;/ins&gt;Tr(g^{-1} &lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;A \wedge (&lt;/ins&gt;d&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt; A)&lt;/ins&gt; g&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt; +&lt;/ins&gt; \&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;frac23&lt;/ins&gt; g^{-1} &lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;A&lt;/ins&gt; &lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\wedge A&lt;/ins&gt; \wedge&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt; A g + \frac13&lt;/ins&gt; g^{-1} d g &lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\wedge&lt;/ins&gt; g^{-1} d g \wedge g^{-1} d g)$$&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-empty diff-side-deleted&quot;&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$=\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)$$&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-empty diff-side-deleted&quot;&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$=\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)$$&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-empty diff-side-deleted&quot;&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$=CS(A)+\frac13 \int_\mathbb{R^3}Tr(g^{-1} d g \wedge g^{-1} d g \wedge g^{-1} d g)$$&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-empty diff-side-deleted&quot;&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br /&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-empty diff-side-deleted&quot;&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;If we define $CS_1(A,g)=CS(A^g)-CS(0^g)$&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-empty diff-side-deleted&quot;&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Then&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-empty diff-side-deleted&quot;&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$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)$$&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;

&lt;!-- diff cache key drordb-drorbn_:diff:wikidiff2:1.12:old-16651:rev-16658:1.13.0 --&gt;
&lt;/table&gt;</summary>
		<author><name>Gavin.hurd</name></author>
	</entry>
	<entry>
		<id>https://drorbn.net/index.php?title=Notes_for_AKT-140307/0:41:01&amp;diff=16651&amp;oldid=prev</id>
		<title>Gavin.hurd at 18:52, 20 August 2018</title>
		<link rel="alternate" type="text/html" href="https://drorbn.net/index.php?title=Notes_for_AKT-140307/0:41:01&amp;diff=16651&amp;oldid=prev"/>
		<updated>2018-08-20T18:52:50Z</updated>

		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;table style=&quot;background-color: #fff; color: #202122;&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;en&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;Revision as of 14:52, 20 August 2018&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 1:&lt;/td&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 1:&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&#039;&#039;&#039;Proposition: &#039;&#039;&#039;$CS(A^g) = CS(A)$&lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&#039;&#039;&#039;Proposition: &#039;&#039;&#039;$CS(A^g) = CS(A)$&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$CS(A^g)=\int_\mathbb{R^3} Tr(A^g \wedge d A^g + \frac23 A^g \wedge A^g \wedge A^g)$$&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt; &lt;/del&gt;&lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$CS(A^g)=\int_\mathbb{R^3} Tr(A^g \wedge d A^g + \frac23 A^g \wedge A^g \wedge A^g)$$&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$Tr(A^g \wedge d A^g + \frac23 A^g \wedge A^g \wedge A^g) =$$&lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$Tr(A^g \wedge d A^g + \frac23 A^g \wedge A^g \wedge A^g) =$$&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-empty diff-side-deleted&quot;&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$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)))=$$&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$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 +$$&lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$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 +$$&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$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) +$$&lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$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) +$$&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;

&lt;!-- diff cache key drordb-drorbn_:diff:wikidiff2:1.12:old-16650:rev-16651:1.13.0 --&gt;
&lt;/table&gt;</summary>
		<author><name>Gavin.hurd</name></author>
	</entry>
	<entry>
		<id>https://drorbn.net/index.php?title=Notes_for_AKT-140307/0:41:01&amp;diff=16650&amp;oldid=prev</id>
		<title>Gavin.hurd at 18:36, 20 August 2018</title>
		<link rel="alternate" type="text/html" href="https://drorbn.net/index.php?title=Notes_for_AKT-140307/0:41:01&amp;diff=16650&amp;oldid=prev"/>
		<updated>2018-08-20T18:36:48Z</updated>

		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;table style=&quot;background-color: #fff; color: #202122;&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;en&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;Revision as of 14:36, 20 August 2018&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 2:&lt;/td&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 2:&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$CS(A^g)=\int_\mathbb{R^3} Tr(A^g \wedge d A^g + \frac23 A^g \wedge A^g \wedge A^g)$$ &lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$CS(A^g)=\int_\mathbb{R^3} Tr(A^g \wedge d A^g + \frac23 A^g \wedge A^g \wedge A^g)$$ &lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$Tr(A^g \wedge d A^g + \frac23 A^g \wedge A^g \wedge A^g) =$$&lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$Tr(A^g \wedge d A^g + \frac23 A^g \wedge A^g \wedge A^g) =$$&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$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 +$$&lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$Tr(g^{-1} A \wedge &lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;(&lt;/ins&gt;d A&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;)&lt;/ins&gt; g + g^{-1} A g \wedge d g^{-1} \wedge g^{-1} A g + g^{-1} d g \wedge g^{-1} &lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;(&lt;/ins&gt;d A&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;)&lt;/ins&gt; g - g^{-1} d g \wedge g^{-1} A \wedge d g +$$&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$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) +$$&lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$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) +$$&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$\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 +$$ &lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$\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 +$$ &lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$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) $$&lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$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) $$&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br /&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br /&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Now $0 = d g^{-1} g = d g g^{-1} + g d g^{-1}$&lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Now $0 = d &lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;(&lt;/ins&gt;g^{-1} g&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;)&lt;/ins&gt; = &lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;(&lt;/ins&gt;d g&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;)&lt;/ins&gt; g^{-1} + g d g^{-1}$&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br /&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br /&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;So $&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;d g&lt;/del&gt; g^{-1} = - g d g^{-1}$ &lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;So $&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;(dg)&lt;/ins&gt; g^{-1} = - g d g^{-1}$ &lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br /&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br /&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Applying this to the fifth and seventh terms of the equation above yields  &lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Applying this to the fifth and seventh terms of the equation above yields  &lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 18:&lt;/td&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 18:&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Combining this with the fact that the trace is invariant under cyclic permutations show that the &lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Combining this with the fact that the trace is invariant under cyclic permutations show that the &lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br /&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br /&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$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) +$$&lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$Tr(g^{-1} A \wedge &lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;(&lt;/ins&gt;d A&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;)&lt;/ins&gt; 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) +$$&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$ \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) =$$&lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$ \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) =$$&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$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)$$&lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$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)$$&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Now deal with the extra terms&lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Now deal with the extra terms&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$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)$$&lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$Tr(g^{-1} d g \wedge g^{-1} &lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;(&lt;/ins&gt;d A&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;)&lt;/ins&gt; 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)$$&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Finally &lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Finally &lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$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))$$&lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$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))$$&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-empty diff-side-deleted&quot;&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;This shows that&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Substituting this into equation one and rearranging gives.&lt;/div&gt;&lt;/td&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-empty diff-side-added&quot;&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$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))$$&lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;CS(A^g)=\int_\mathbb{R^3}&lt;/ins&gt;Tr(g^{-1} A \wedge &lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;(&lt;/ins&gt;d A&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;)&lt;/ins&gt; g + g^{-1} A \wedge A \wedge A g + \frac13 g^{-1} d g \wedge d g^{-1} \wedge d g) +&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\int_\mathbb{R^3}&lt;/ins&gt; d Tr(g d(g^{-1} A))$$&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;A similar argument shows that &lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;A similar argument shows that &lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$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( $$&lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$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( $$&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;

&lt;!-- diff cache key drordb-drorbn_:diff:wikidiff2:1.12:old-16622:rev-16650:1.13.0 --&gt;
&lt;/table&gt;</summary>
		<author><name>Gavin.hurd</name></author>
	</entry>
	<entry>
		<id>https://drorbn.net/index.php?title=Notes_for_AKT-140307/0:41:01&amp;diff=16622&amp;oldid=prev</id>
		<title>Gavin.hurd at 05:28, 26 July 2018</title>
		<link rel="alternate" type="text/html" href="https://drorbn.net/index.php?title=Notes_for_AKT-140307/0:41:01&amp;diff=16622&amp;oldid=prev"/>
		<updated>2018-07-26T05:28:30Z</updated>

		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;table style=&quot;background-color: #fff; color: #202122;&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;en&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;Revision as of 01:28, 26 July 2018&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 1:&lt;/td&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 1:&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-empty diff-side-deleted&quot;&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&#039;&#039;&#039;Proposition: &#039;&#039;&#039;$CS(A^g) = CS(A)$&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;a class=&quot;mw-diff-movedpara-left&quot; title=&quot;Paragraph was moved. Click to jump to new location.&quot; href=&quot;#movedpara_3_0_rhs&quot;&gt;&amp;#x26AB;&lt;/a&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;a name=&quot;movedpara_1_0_lhs&quot;&gt;&lt;/a&gt;$&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;CS(A^g)=\int_\mathbb{R^3} &lt;/del&gt;Tr(A^g \wedge d A^g + A^g \wedge A^g \wedge A^g)&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;$&lt;/del&gt; &lt;/div&gt;&lt;/td&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-empty diff-side-added&quot;&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$Tr(A^g \wedge d A^g + A^g \wedge A^g \wedge A^g)&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt; =&lt;/del&gt;$$&lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;CS(A^g)=\int_\mathbb{R^3} &lt;/ins&gt;Tr(A^g \wedge d A^g +&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt; \frac23&lt;/ins&gt; A^g \wedge A^g \wedge A^g)$$&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt; &lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-empty diff-side-deleted&quot;&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;a class=&quot;mw-diff-movedpara-right&quot; title=&quot;Paragraph was moved. Click to jump to old location.&quot; href=&quot;#movedpara_1_0_lhs&quot;&gt;&amp;#x26AB;&lt;/a&gt;&lt;/td&gt;
  &lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;a name=&quot;movedpara_3_0_rhs&quot;&gt;&lt;/a&gt;$&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;$&lt;/ins&gt;Tr(A^g \wedge d A^g +&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt; \frac23&lt;/ins&gt; A^g \wedge A^g \wedge A^g) &lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;=$$&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$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 +$$&lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$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 +$$&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$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) +$$&lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;
  &lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;$$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) +$$&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;

&lt;!-- diff cache key drordb-drorbn_:diff:wikidiff2:1.12:old-16621:rev-16622:1.13.0 --&gt;
&lt;/table&gt;</summary>
		<author><name>Gavin.hurd</name></author>
	</entry>
	<entry>
		<id>https://drorbn.net/index.php?title=Notes_for_AKT-140307/0:41:01&amp;diff=16621&amp;oldid=prev</id>
		<title>Gavin.hurd: Created page with &quot;$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...&quot;</title>
		<link rel="alternate" type="text/html" href="https://drorbn.net/index.php?title=Notes_for_AKT-140307/0:41:01&amp;diff=16621&amp;oldid=prev"/>
		<updated>2018-07-26T05:25:26Z</updated>

		<summary type="html">&lt;p&gt;Created page with &amp;quot;$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...&amp;quot;&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;$CS(A^g)=\int_\mathbb{R^3} Tr(A^g \wedge d A^g + A^g \wedge A^g \wedge A^g)$ &lt;br /&gt;
$$Tr(A^g \wedge d A^g + A^g \wedge A^g \wedge A^g) =$$&lt;br /&gt;
$$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 +$$&lt;br /&gt;
$$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) +$$&lt;br /&gt;
$$\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 +$$ &lt;br /&gt;
$$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) $$&lt;br /&gt;
&lt;br /&gt;
Now $0 = d g^{-1} g = d g g^{-1} + g d g^{-1}$&lt;br /&gt;
&lt;br /&gt;
So $d g g^{-1} = - g d g^{-1}$ &lt;br /&gt;
&lt;br /&gt;
Applying this to the fifth and seventh terms of the equation above yields  &lt;br /&gt;
$$ 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$$ &lt;br /&gt;
and &lt;br /&gt;
$$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 $$&lt;br /&gt;
&lt;br /&gt;
Combining this with the fact that the trace is invariant under cyclic permutations show that the &lt;br /&gt;
&lt;br /&gt;
$$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) +$$&lt;br /&gt;
$$ \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) =$$&lt;br /&gt;
$$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)$$&lt;br /&gt;
Now deal with the extra terms&lt;br /&gt;
$$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)$$&lt;br /&gt;
Finally &lt;br /&gt;
$$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))$$&lt;br /&gt;
Substituting this into equation one and rearranging gives.&lt;br /&gt;
$$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))$$&lt;br /&gt;
A similar argument shows that &lt;br /&gt;
$$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( $$&lt;br /&gt;
to be completed&lt;/div&gt;</summary>
		<author><name>Gavin.hurd</name></author>
	</entry>
</feed>