© | Dror Bar-Natan: Classes: 2013-14: AKT:  < > 

AKT-140310 Video

width: 400 720 ogg/AKT-140310_400.ogg orig/AKT-140310.MOD
Videography by Iva Halacheva troubleshooting

Notes on AKT-140310:    [edit, refresh]

The gl(N) weight system.

[edit navigation bar]

# Week of... Notes and Links
1 Jan 6 About This Class (PDF).
dbnvp Monday: Course introduction, knots and Reidemeister moves, knot colourings.
Tricolourability without Diagrams
dbnvp Wednesday: The Gauss linking number combinatorially and as an integral.
dbnvp Friday: The Schroedinger equation and path integrals.
Friday Introduction (the quantum pendulum)
2 Jan 13 Homework Assignment 1.
dbnvp Monday: The Kauffman bracket and the Jones polynomial.
dbnvp Wednesday: Self-linking using swaddling.
dbnvp Friday: Euler-Lagrange problems, Gaussian integration, volumes of spheres.
3 Jan 20 Homework Assignment 2.
dbnvp Monday: The definition of finite-type and some examples.
dbnvp Wednesday: The self-linking number and framings.
dbnvp Friday: Integrating a polynomial times a Gaussian.
Class Photo.
4 Jan 27 Homework Assignment 3.
dbnvp Monday: Chord diagrams and weight systems.
dbnvp Wednesday: Swaddling maps and framings, general configuration space integrals.
dbnvp Friday: Some analysis of d^{-1}.
5 Feb 3 Homework Assignment 4.
dbnvp Monday: 4T, the Fundamental Theorem and universal finite type invariants.
The Fulton-MacPherson Compactification (PDF).
dbnvp Wednesday: The Fulton-MacPherson Compactification, Part I.
dbnvp Friday: More on pushforwards, d^{-1}, and d^\ast.
6 Feb 10 Homework Assignment 5.
dbnvp Monday: The bracket-rise theorem and the invariance principle.
dbnvp Wednesday: The Fulton-MacPherson Compactification, Part II.
dbnvp Friday: Gauge fixing, the beginning of Feynman diagrams.
R Feb 17 Reading Week.
7 Feb 24 dbnvp Monday: A review of Lie algebras.
dbnvp Wednesday: Graph cohomology and \Omega_{dR}^\ast(\Gamma).
dbnvp Friday: More on Feynman diagrams, beginning of gauge theory.
From Gaussian Integration to Feynman Diagrams (PDF).
8 Mar 3 Homework Assignment 6 (PDF)
dbnvp Monday: Lie algebraic weight systems.
dbnvp Wednesday: Graph cohomology and the construction of Z_0.
Graph Cohomology and Configuration Space Integrals (PDF)
dbnvp Friday: Gauge invariance, Chern-Simons, holonomies.
Mar 9 is the last day to drop this class.
9 Mar 10 Homework Assignment 7 (PDF)
dbnvp Monday: The gl(N) weight system.
dbnvp Wednesday: The universal property, hidden faces.
dbnvp Friday: Insolubility of the quintic, naive expectations for CS perturbation theory.
10 Mar 17 Homework Assignment 8 (PDF)
dbnvp Monday: W_{\mathfrak g}\colon{\mathcal A}(\uparrow)\to{\mathcal U}({\mathfrak g}) and PBW.
dbnvp Wednesday: The anomaly.
dbnvp Friday: Faddeev-Popov, part I.
Gaussian Integration, Determinants, Feynman Diagrams (PDF).
11 Mar 24 Homework Assignment 9 (PDF)
dbnvp Monday: {\mathcal A} is a bi-algebra.
dbnvp Wednesday: Understanding and fixing the anomaly.
Friday: class cancelled.
12 Mar 31 Monday, Wednesday: class cancelled.
dbnvp Friday: A Monday class: back to expansions.
E Apr 7 dbnvp Monday: A Friday class on what we mostly didn't have time to do.
Add your name / see who's in!
Dror's Notebook
Managed by dbnvp: Click the "h:mm:ss" links on the right panel to jump to a specific video time.

0:04:19 [add] Reminders.
0:16:39 [add] The $gl(N)$ structure constants.
0:27:25 [add] A $gl(N)$ computation.
0:31:53 [add] Further $gl(N)$ computations.
0:35:43 [add] The $so(N)$ case.
0:35:45 [edit] In this note, we compute and interpret the structure constants $f_{abc}$ of $so(N)$, as well as the two-index tensors $t_{ab}$ encoding the information from the metric. In other words, we follow a similar process to the lecture, while disregarding the representation/skeleton edges.

Let $so(N) = \{Q \in gl(N) | Q^TQ = QQ^T = I, detQ = 1\}$, with the commutator as its bracket (i.e. $[A,B] = AB - BA$), and the metric $\langle A, B \rangle = tr(AB)$.

Let $\{\pm M_{ij}\}_{i < j}$ be a basis for $so(N)$, where $(M_{ij})_{kl} = \delta_{ij}\delta_{jl} - \delta_{il}\delta_{jk}$.

With this, compute $$t_{(ij)(kl)} = \langle M_{ij}, M_{kl} \rangle = tr(M_{ij}M_{kl}) = const\cdot\delta_{ik}\delta_{jl}$$

Note that this also gives us the inverses $t^{(ij)(kl)} = const\cdot\delta^{ik}\delta^{jl}$.

Now the structure constants: $$f_{(ij)(kl)(mn)} = \langle[M_{ij}, M_{kl}], M_{mn} \rangle = \langle M_{ij}M_{kl}, M_{mn} \rangle - \langle M_{kl}M_{ij}, M_{mn} \rangle$$ $$f_{(ij)(kl(mn)} = tr(M_{ij}M_{kl}M_{mn}) - tr(M_{kl}M_{ij}M_{mn}) = const\cdot\epsilon_{(ij)(kl)(mn)}$$

(With an appropriate choice of signs and ordering of the basis. In $so(3)$, an appropriate ordering and choice of signs is $\mathcal{B} = \{M_{12}, M_{23}, -M_{13}\}$.

If we order the basis, we can associate an integer lying somewhere from 1 to $N(N-1)/2$ (the dimension of $so(N)$) to each pair of indices $(ij)$, so the expression $\epsilon_{(ij)(kl)(mn)}$ makes sense - namely, let $a$, $b$, and $c$ correspond to $(ij)$, $(kl)$, and $(mn)$, respectively, and let $\epsilon_{(ij)(kl)(mn)} = \epsilon_{abc}$, the usual totally antisymmetric tensor.

Thus, up to a constant, $t^{(ij)(kl)} = \delta^{ik}\delta^{jl}$ and $f_{(ij)(kl)(mn)} = \epsilon_{(ij)(kl)(mn)}$.

As in the $gl(N)$ case, we can represent the result $t^{(ij)(kl)} = \delta^{ik}\delta^{jl}$ as a splitting of two lines in the diagram, as in the image below. In addition, we can represent the result $f_{(ij)(kl)(mn)} = \epsilon_{(ij)(kl)(mn)}$ as a trivalent vertex becoming a sum of diagrams, over transpositions of certain lines.

So(N) 1.jpg

The diagram illustrated below goes to the following expression: $$I = \sum_{i,...,n,i',...,n'}f_{(ij)(kl)(mn)}t^{(ij)(i'j')}t^{(kl)(k'l')}t^{(mn)(m'n')}$$ $$I = \sum_{i,...,n,i',...,n'}\epsilon_{(ij)(kl)(mn)}\delta^{ii'}\delta^{jj'}\delta^{kk'}\delta^{ll'}\delta^{mm'}\delta^{nn'}$$ $$I = \sum_{i,...,n}\epsilon_{(ij)(kl)(mn)}$$

The last line exactly corresponds with the last illustration.

So(N) 2.jpg

0:41:20 [add] $4T$ for $gl(N)$.
0:48:21 [add] A preview of bi-algebras.