View source for Khovanov Homology of Alternating Tangles

{{Paperlets Navigation}}
{{In Preparation}}

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

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