Khovanov Homology of Alternating Tangles - Revision history

Drorbn at 22:40, 8 March 2008

2008-03-08T22:40:57Z

← Older revision		Revision as of 18:40, 8 March 2008
Line 1:		Line 1:
	{{Paperlets Navigation}}		{{Paperlets Navigation}}
	{{In Preparation}}		{{In Preparation}}

			'''Note added March 8, 2008.''' The problem this paperlet addresses remain interesting. The solution suggested here is probably false.

	Joint with '''Hernando Burgos Soto'''.		Joint with '''Hernando Burgos Soto'''.

Drorbn at 16:02, 23 July 2007

2007-07-23T16:02:24Z

← Older revision		Revision as of 12:02, 23 July 2007
Line 19:		Line 19:
	We call the type of complexes appearing in Theorem 1 "on-diagonal complexes". Our second theorem is in fact the key to the proof of the first; for it reduces that proof to the simple task of verifying that the Khovanov homologies of the one-crossing tangles <math>(\overcrossing)</math> and <math>(\undercrossing)</math> (which are of course "alternating") are on-diagonal:		We call the type of complexes appearing in Theorem 1 "on-diagonal complexes". Our second theorem is in fact the key to the proof of the first; for it reduces that proof to the simple task of verifying that the Khovanov homologies of the one-crossing tangles <math>(\overcrossing)</math> and <math>(\undercrossing)</math> (which are of course "alternating") are on-diagonal:

	'''Theorem 2.''' "On-diagonal complexes" form a planar algebra (that is, they are closed under "horizontal compositions").		'''Theorem 2.''' "On-diagonal complexes" form an "alternating" planar algebra (that is, they are closed under "horizontal compositions").

			An "alternating" planar algebra is a planar algebra that carries a tiny bit of extra restrictions, as will be discussed in the forthcoming paper by Hernando Burgos Soto. A key point is that alternating tangles form an alternating planar algebra - the alternating-planar-algebra composition of any number of alternating tangles is again an alternating tangle. Furthermore, the alternating planar algebra of alternating tangles is still generated by the two one-crossing tangles <math>(\overcrossing)</math> and <math>(\undercrossing)</math>.

	==References==		==References==

Drorbn at 15:52, 12 June 2007

2007-06-12T15:52:31Z

← Older revision		Revision as of 11:52, 12 June 2007
Line 1:		Line 1:
	{{Paperlets Navigation}}		{{Paperlets Navigation}}
			{{In Preparation}}

	Joint with '''Hernando Burgos Soto'''.		Joint with '''Hernando Burgos Soto'''.

Drorbn at 14:10, 12 June 2007

2007-06-12T14:10:58Z

New page

{{Paperlets Navigation}}

Joint with '''Hernando Burgos Soto'''.

The purpose of this paperlet is to state a generalization to the world of tangles of Lee's theorem {{ref|Lee}} about the Khovanov homology of alternating links.

In a later paper Hernando Burgos Soto will define a certain category <math>\operatorname{Cob}_o</math> of "oriented cobordisms", in the same spirit as the category <math>\operatorname{Cob}</math> of {{ref|Bar-Natan}}. The objects of <math>\operatorname{Cob}_o</math> are "oriented smoothing"; the orientations of the strands in an oriented smoothing <math>S</math> allows us to define a certain integer parameter associated with it, its "rotation number" <math>R(S)</math>. For degree-shifted smoothings <math>S\{d\}</math>, we further define a "degree-shifted" rotation number by <math>R(S\{d\}):=R(S)+d</math>. With these definitions we can state our two main theorems:

'''Theorem 1.''' Let <math>T</math> be an alternating tangle. Then the Khovanov homology <math>\operatorname{Kh}(T)</math> of <math>T</math> can be intepreted as a complex in the category <math>\operatorname{Cob}_o</math> and within that category it is homotopy equivalent to a "one-diagonal" complex of the form
{{Equation*|<math>{\mathcal C}:\qquad \cdots \longrightarrow \left[S^r_j\right]_j \longrightarrow \left[S^{r+1}_j\right]_j \longrightarrow \cdots</math>,}}
in which the homological degrees and the degree-shifted rotation numbers always lie along a single diagonal; i.e., for all smoothings <math>S^r_j</math> in <math>\operatorname{Kh}(T)</math> we have
{{Equation*|<math>r-R(S^r_j)=C</math>,}}
where the constant <math>C</math> is equal to ...
Furthermore, all the differentials appearing in <math>{\mathcal C}</math> are either simple saddles or "identity curtains with a single dot". (The precise definitions will appear in the forthcoming paper by Burgos Soto).

It is a simple matter to verify that in the case of alternating tangles with no boundary, i.e., in the case of alternating links, this theorem reduces to Lee's theorem on the Khovanov homology of alternating links.

We call the type of complexes appearing in Theorem 1 "on-diagonal complexes". Our second theorem is in fact the key to the proof of the first; for it reduces that proof to the simple task of verifying that the Khovanov homologies of the one-crossing tangles <math>(\overcrossing)</math> and <math>(\undercrossing)</math> (which are of course "alternating") are on-diagonal:

'''Theorem 2.''' "On-diagonal complexes" form a planar algebra (that is, they are closed under "horizontal compositions").

==References==

{{note|Bar-Natan}} Dror Bar-Natan, ''[http://www.math.toronto.edu/~drorbn/papers/Cobordism/ Khovanov's Homology for Tangles and Cobordisms]'', Geometry and Topology '''9-33''' (2005) 1443-1499.

{{note|Lee}} E. S. Lee, ''On Khovanov invariant for alternating links,'' to appear in Adv. Math., {{arXiv|math.GT/0210213}}.