AKT-14/Homework Assignment 1

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

This assignment is due in class on Monday January 20. Here and everywhere, neatness counts!! You may be brilliant and you may mean just the right things, but if the your readers will be having hard time deciphering your work they will give up and assume it is wrong.

This assignment was written on the HW session of Friday January 10. See BBS/AKT14-140110-191441.jpg, BBS/AKT14-140110-192041.jpg, and BBS/AKT14-140110-192042.jpg.

Question 1.

A. Prove that the set of all 3-colourings of a knot diagram is a vector space over [math]\displaystyle{ {\mathbb F}_3 }[/math]. Hence [math]\displaystyle{ \lambda(K) }[/math] is always a power of 3.

B. Prove that [math]\displaystyle{ \lambda(K) }[/math] is computable in polynomial time in the number of crossings of [math]\displaystyle{ K }[/math].

Question 2. Using combinatorics alone prove that given a 2-component link diagram [math]\displaystyle{ D }[/math], with components [math]\displaystyle{ \gamma_1 }[/math] and [math]\displaystyle{ \gamma_2 }[/math],

[math]\displaystyle{ \frac12\sum_{\scriptstyle\text{xings }x\text{ between}\atop\scriptstyle\gamma_1\text{ and }\gamma_2}(-1)^x }[/math] [math]\displaystyle{ = \sum_{\scriptstyle\text{xings }x\text{ with}\atop\scriptstyle\gamma_1\text{ over }\gamma_2}(-1)^x }[/math] [math]\displaystyle{ = \sum_{\scriptstyle\text{xings }x\text{ with}\atop\scriptstyle\gamma_2\text{ over }\gamma_1}(-1)^x }[/math]

Question 3. Use the techniques from Friday January 10, along with that Friday's handout (the quantum pendulum), to write [math]\displaystyle{ U_t=e^{-itH} }[/math], with [math]\displaystyle{ H=-\frac12\Delta+\frac12x^2 }[/math], in explicit terms, for [math]\displaystyle{ 0\lt t\lt \frac{\pi}{2} }[/math]. Note that [math]\displaystyle{ U_t }[/math] interpolates between the identity and the Fourier transform.