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

AKT-140224 Video

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

Notes on AKT-140224:    [edit, refresh]

A review of Lie algebras.

[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: Tip: blackboard shots are taken when the discussion of their content has just ended. To see the beginning of the discussion on a certain blackboard, roll the video to the time of the preceeding blackboard.

0:13:32 [add] Reminders.
0:22:08 [edit] We will check that the prospective Lie algebra $g = F^2$ satisfies the Jacobi identity $[x,[y,z]] + [y,[z,x]] + [z,[x,y]] = 0$, and thus is indeed a Lie algebra. In contrast with the notation given in lecture, let $\alpha$ and $\beta$ be the basis elements of $F^2$ over $F$, so that $F^2 = \{a\alpha + b\beta: a, b \in F\}$. Now, let $x = a_1\alpha + a_2\beta$, $y = b_1\alpha + b_2\beta$, and $z = c_1\alpha + c_2\beta$ be arbitrary elements in $F^2$.

Using bilinearity,

$[y,z] = b_1c_1[\alpha,\alpha] + b_1c_2[\alpha, \beta] + b_2c_1[\beta,\alpha] + b_2c_2[\beta,\beta]$

Since $[\alpha, \alpha] = [\beta,\beta] = 0$, $[\alpha, \beta] = \alpha$, and $[\beta,\alpha] = -\alpha$, this evaluates to $$[y,z] = (b_1c_2 - b_2c_1)\alpha$$ Similar calculations yield $$[z,x] = (c_1a_2 - c_2a_1)\alpha$$ and $$[x,y] = (a_1b_2 - a_2b_1)\alpha$$ Thus, $$[x,[y,z]] + [y,[z,x]] + [z,[x,y]] = (a_2(b_1c_2 - b_2c_1) + b_2(c_1a_2-c_2a_1) + c_2(a_1b_2+a_2b_1))[\beta, \alpha]$$ $$= -\alpha(a_2b_1c_2 - a_2b_2c_1 + a_2b_2c_1 - a_1b_2c_2 + a_1b_2c_2 - a_2b_1c_2) = 0$$

As a result, the Jacobi identity holds.

0:27:53 [edit] Lie algebra of dimensions 1 and 2

1. one-dimensional Lie algebras are unique up to isomorphism. For if \mathfrak{g} = \langle x \rangle is a one dimensional Lie algebra, then since the bracket is antisymmetric, we have [x, x] = 0. Thus the bracket is zero and \mathfrak{g} is unique up to isomorphism.

2. \mathfrak{g} = \mathbb{F}^2 = \{ax + by \;|\; a, b \in  \mathbb{F}\}. \mathfrak{g} is a two-dimensional Lie algebra. There are only two of such up to isomorphism, that is, the one with the bracket equal to zero and the other with bracket [x, y] = x.

0:27:53 [add] Lie algebras and representations.
0:37:01 [add] Constructing weight systems from Lie algebras.
0:46:32 [add] Metrized Lie algebras.
0:48:29 [edit] The last few minutes of this video were lost for an unclear reason.
0:51:46 [add] The structure constants.