Difference between revisions of "06-1350/Class Notes for Tuesday November 7"

From Drorbn
Jump to: navigation, search
(The Fundamental Theorem of Finite Type Invariants)
 
(8 intermediate revisions by one user not shown)
Line 1: Line 1:
 
{{06-1350/Navigation}}
 
{{06-1350/Navigation}}
  
{{In Preparation}}
+
==The Fundamental Theorem of Finite Type Invariants==
  
Today's handout was taken from [http://www.math.toronto.edu/~drorbn/Talks/HUJI-001116/index.html Talks: HUJI-001116 (Knotted Trivalent Graphs, Tetrahedra and Associators)].
+
{{06-1350/The Fundamental Theorem}}
  
==The Fundamental Theorem of Finite Type Invariants==
+
===The Mysterious <math>\nu</math>===
 +
 
 +
It remains to define <math>\nu\in{\mathcal A}(\uparrow)</math>. Well, it is the element often called "the invariant of the unknot", for indeed, by a long chain of reasoning, it is the invariant of the unknot. It is also given by the following explicit formula of {{ref|BGRT}} and {{ref|BLT}}:
 +
 
 +
<center><math>\nu=\chi\left(\exp_\cup\left(\sum_{n=1}^\infty b_{2n}\omega_{2n}\right)\right).</math></center>
 +
 
 +
In the above formula \chi denotes the PBW "symmetrization" map, <math>\exp_\cup</math> means "exponentiation in the disjoint union sense", <math>\omega_{2n}</math> is the "wheel with <math>2n</math> legs" (so <math>\omega_2=\twowheel,</math> <math>\omega_4=\fourwheel,</math> etc.) and the <math>b_{2n}</math>'s are the "modified Bernoulli numbers" defined by the power series expansion
 +
 
 +
<center><math>\sum_{n=0}^\infty b_{2n}x^{2n} = \frac12\log\frac{\sinh x/2}{x/2}</math></center>
 +
 
 +
(so <math>b_2=1/48</math>, <math>b_4=-1/5760</math>, <math>b_6=1/362880</math>, etc.).
 +
 
 +
===Some values of the invariant===
  
'''Almost Theorem.''' There exists a universal TG-morphism <math>Z=(Z_\Gamma):KTG\to{\mathcal A}</math> from the TG-algebra of knotted trivalent graphs to the TG-algebra of Jacobi diagrams. Furthermore, any two such TG-morphisms are twist equivalent.
+
While these are not necessary for the statement of the theorem, it is worthwhile to note that the invariants of the unknot, the unknotted <math>\theta</math>-graph and the unknotted dumbbell are as follows:
  
'''Theorem.''' (Essentially due to {{ref|Murakami-Ohtsuki_97}}) There exists an R-normal TG-morphism <math>Z=(Z_\Gamma):KTG\to{\mathcal A}^\nu</math> from the TG-algebra of knotted trivalent graphs to the <math>\nu</math>-twisted TG-algebra of Jacobi diagrams. Furthermore, any two such TG-morphisms are twist equivalent.
+
[[Image:UnknotThetaDumbbell.png|thumb|center|640px|Some noteworthy invariants]]
  
The above theorem is simply the accurate formulation of the almost theorem above it. The "almost theorem" is just what you would have expected, with an additional uniqueness statement. The "theorem" just adds to it a few normalizations that actually make it right. The determination of these normalizations is quite a feat; even defining them takes a page or two. I'm not entirely sure why the Gods of mathematics couldn't have just allowed the "almost theorem" to be true and make our lives a bit simpler.
+
===References===
  
Enough whining; we just need to define "R-normal" and <math>{\mathcal A}^\nu</math>.
+
{{note|BGRT}} D. Bar-Natan, S. Garoufalidis, L. Rozansky and D. P. Thurston, ''Wheels, wheeling, and the Kontsevich integral of the unknot'', Israel Journal of Mathematics '''119''' (2000) 217-237, {{arXiv|q-alg/9703025}}.
  
'''Definition.''' <math>Z</math> is called R-normal if <math>Z(\bigcirc)^{-1}Z(\MobiusSymbol)=\exp(\isolatedchord/4)</math> in <math>{\mathcal A}(\bigcirc)</math>, where <math>(\MobiusSymbol)</math> denotes the positively-twisted Möbius band and where <math>(\isolatedchord)</math> denotes the unique degree 1 chord diagram in <math>{\mathcal A}(\bigcirc)</math>.
+
{{note|BLT}} D. Bar-Natan, T. Q. T. Le and D. P. Thurston, ''Two applications of elementary knot theory to Lie algebras and Vassiliev invariants'', [http://www.msp.warwick.ac.uk/gt/2003/07/p001.xhtml Geometry and Topology '''7-1''' (2003) 1-31], {{arXiv|math.QA/0204311}}.
  
'''Definition.''' <math>{\mathcal A}^\nu</math> is almost the same as <math>{\mathcal A}</math>. It has the same spaces (i.e., for any <math>\Gamma</math>, <math>{\mathcal A}^\nu(\Gamma)={\mathcal A}(\Gamma)</math>) and the same operations except the unzip operation. Let <math>\nu</math> denote the specific element of <math>{\mathcal A}(\uparrow)</math> defined in the following definition. If <math>u_e</math> denotes the unzip operation of an edge <math>e</math> for the TG-algebra <math>{\mathcal A}</math> and <math>u^\nu_e</math> is the corresponding operation in <math>{\mathcal A}^\nu</math>, the two operations are related by <math>u^\nu_e=\nu^{1/2}_{e'}\nu^{1/2}_{e''}u_e\nu^{-1/2}_e</math>. Here "<math>\nu^{-1/2}_e</math>" means "inject a copy of <math>\nu^{-1/2}</math> on the edge <math>e</math> of <math>\Gamma</math>, and likewise, "<math>\nu^{1/2}_{e'}\nu^{1/2}_{e''}</math>" means "inject copies of <math>\nu^{1/2}</math> on the edges <math>e'</math> and <math>e''</math> of <math>u_e\Gamma</math> that are created by the unzip of <math>e</math>".
+
{{note|Da}} Z. Dancso, ''On the Kontsevich integral for knotted trivalent graphs'', {{arXiv|0811.4615}}.
  
{{note|Murakami-Ohtsuki_97}} J. Murakami and T. Ohtsuki, ''Topological Quantum Field Theory for the Universal Quantum Invariant'', Communications in Mathematical Physics '''188''' (1997) 501-520.
+
{{note|MO}} J. Murakami and T. Ohtsuki, ''Topological Quantum Field Theory for the Universal Quantum Invariant'', Communications in Mathematical Physics '''188''' (1997) 501-520.

Latest revision as of 08:43, 24 November 2009

Contents

The Fundamental Theorem of Finite Type Invariants

Almost Theorem. There exists a universal TG-morphism Z=(Z_\Gamma):KTG\to{\mathcal A} from the TG-algebra of knotted trivalent graphs to the TG-algebra of Jacobi diagrams. Furthermore, any two such TG-morphisms are twist equivalent.

Theorem. (Essentially due to Murakami and Ohtsuki, [MO]; see also Dancso [Da]) There exists an R-normal TG-morphism Z=(Z_\Gamma):KTG\to{\mathcal A}^\nu from the TG-algebra of knotted trivalent graphs to the \nu-twisted TG-algebra of Jacobi diagrams. Furthermore, any two such TG-morphisms are twist equivalent.

The above theorem is simply the accurate formulation of the almost theorem above it. The "almost theorem" is just what you would have expected, with an additional uniqueness statement. The "theorem" just adds to it a few normalizations that actually make it right. The determination of these normalizations is quite a feat; even defining them takes a page or two. I'm not entirely sure why the Gods of mathematics couldn't have just allowed the "almost theorem" to be true and make our lives a bit simpler.

Enough whining; we just need to define "R-normal" and {\mathcal A}^\nu.

Definition. Z is called R-normal if Failed to parse (unknown function\MobiusSymbol): Z(\bigcirc)^{-1}Z(\MobiusSymbol)=\exp(\isolatedchord/4)

in {\mathcal A}(\bigcirc), where Failed to parse (unknown function\MobiusSymbol): (\MobiusSymbol)
denotes the positively-twisted Möbius band and where Failed to parse (unknown function\isolatedchord): (\isolatedchord)
denotes the unique degree 1 chord diagram in {\mathcal A}(\bigcirc).

Definition. {\mathcal A}^\nu is almost the same as {\mathcal A}. It has the same spaces (i.e., for any \Gamma, {\mathcal A}^\nu(\Gamma)={\mathcal A}(\Gamma)), but the unzip operations on {\mathcal A}^\nu get "renormalized":

The edge-unzip operations.
Let \nu denote the specific element of {\mathcal A}(\uparrow) defined in the following subsection. If u_e denotes the unzip operation of an edge e for the TG-algebra {\mathcal A} and u^\nu_e is the corresponding operation in {\mathcal A}^\nu, the two operations are related by u^\nu_e=\nu^{-1/2}_{e'}\nu^{-1/2}_{e''}u_e\nu^{1/2}_e. Here "\nu^{1/2}_e" means "inject a copy of \nu^{1/2} on the edge e of \Gamma, and likewise, "\nu^{-1/2}_{e'}\nu^{-1/2}_{e''}" means "inject copies of \nu^{-1/2} on the edges e' and e'' of u_e\Gamma that are created by the unzip of e".

The Mysterious \nu

It remains to define \nu\in{\mathcal A}(\uparrow). Well, it is the element often called "the invariant of the unknot", for indeed, by a long chain of reasoning, it is the invariant of the unknot. It is also given by the following explicit formula of [BGRT] and [BLT]:

\nu=\chi\left(\exp_\cup\left(\sum_{n=1}^\infty b_{2n}\omega_{2n}\right)\right).

In the above formula \chi denotes the PBW "symmetrization" map, \exp_\cup means "exponentiation in the disjoint union sense", \omega_{2n} is the "wheel with 2n legs" (so Failed to parse (unknown function\twowheel): \omega_2=\twowheel,

Failed to parse (unknown function\fourwheel): \omega_4=\fourwheel,
etc.) and the b_{2n}'s are the "modified Bernoulli numbers" defined by the power series expansion
\sum_{n=0}^\infty b_{2n}x^{2n} = \frac12\log\frac{\sinh x/2}{x/2}

(so b_2=1/48, b_4=-1/5760, b_6=1/362880, etc.).

Some values of the invariant

While these are not necessary for the statement of the theorem, it is worthwhile to note that the invariants of the unknot, the unknotted \theta-graph and the unknotted dumbbell are as follows:

Some noteworthy invariants

References

[BGRT] ^  D. Bar-Natan, S. Garoufalidis, L. Rozansky and D. P. Thurston, Wheels, wheeling, and the Kontsevich integral of the unknot, Israel Journal of Mathematics 119 (2000) 217-237, arXiv:q-alg/9703025.

[BLT] ^  D. Bar-Natan, T. Q. T. Le and D. P. Thurston, Two applications of elementary knot theory to Lie algebras and Vassiliev invariants, Geometry and Topology 7-1 (2003) 1-31, arXiv:math.QA/0204311.

[Da] ^  Z. Dancso, On the Kontsevich integral for knotted trivalent graphs, arXiv:0811.4615.

[MO] ^  J. Murakami and T. Ohtsuki, Topological Quantum Field Theory for the Universal Quantum Invariant, Communications in Mathematical Physics 188 (1997) 501-520.