Drorbn at 12:39, 24 November 2009

2009-11-24T12:39:43Z

← Older revision		Revision as of 08:39, 24 November 2009
Line 1:		Line 1:
	'''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.		'''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.

	'''Theorem.''' (Essentially due to Murakami and Ohtsuki, {{ref\|MO}}) 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.		'''Theorem.''' (Essentially due to Murakami and Ohtsuki, {{ref\|MO}}; see also Dancso {{ref\|Da}}) 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.

	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.		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.

Drorbn at 20:32, 27 February 2007

2007-02-27T20:32:04Z

New page

'''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.

'''Theorem.''' (Essentially due to Murakami and Ohtsuki, {{ref|MO}}) 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.

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 <math>{\mathcal A}^\nu</math>.

'''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>.

'''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>), but the unzip operations on <math>{\mathcal A}^\nu</math> get "renormalized":
;The edge-unzip operations.
:Let <math>\nu</math> denote the specific element of <math>{\mathcal A}(\uparrow)</math> defined in the following subsection. 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>".

Template:06-1350/The Fundamental Theorem - Revision history

Drorbn at 12:39, 24 November 2009

Drorbn at 20:32, 27 February 2007