Khovanov Homology of Alternating Tangles

The information below is preliminary and cannot be trusted! (v)
Note added March 8, 2008. The problem this paperlet addresses remain interesting. The solution suggested here is probably false.
Joint with Hernando Burgos Soto.
The purpose of this paperlet is to state a generalization to the world of tangles of Lee's theorem [Lee] about the Khovanov homology of alternating links.
In a later paper Hernando Burgos Soto will define a certain category Failed to parse (PNG conversion failed; check for correct installation of latex and dvipng (or dvips + gs + convert)): \operatorname{Cob}_o
of "oriented cobordisms", in the same spirit as the category Failed to parse (PNG conversion failed; check for correct installation of latex and dvipng (or dvips + gs + convert)): \operatorname{Cob}
of [BarNatan]. The objects of Failed to parse (PNG conversion failed; check for correct installation of latex and dvipng (or dvips + gs + convert)): \operatorname{Cob}_o
are "oriented smoothing"; the orientations of the strands in an oriented smoothing allows us to define a certain integer parameter associated with it, its "rotation number" . For degreeshifted smoothings , we further define a "degreeshifted" rotation number by . With these definitions we can state our two main theorems:
Theorem 1. Let be an alternating tangle. Then the Khovanov homology Failed to parse (PNG conversion failed; check for correct installation of latex and dvipng (or dvips + gs + convert)): \operatorname{Kh}(T)
of can be intepreted as a complex in the category Failed to parse (PNG conversion failed; check for correct installation of latex and dvipng (or dvips + gs + convert)): \operatorname{Cob}_o and within that category it is homotopy equivalent to a "onediagonal" complex of the form
in which the homological degrees and the degreeshifted rotation numbers always lie along a single diagonal; i.e., for all smoothings in Failed to parse (PNG conversion failed; check for correct installation of latex and dvipng (or dvips + gs + convert)): \operatorname{Kh}(T)
we have
where the constant is equal to ... Furthermore, all the differentials appearing in 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 "ondiagonal 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 onecrossing tangles Failed to parse (unknown function\overcrossing): (\overcrossing)
and Failed to parse (unknown function\undercrossing): (\undercrossing) (which are of course "alternating") are ondiagonal:
Theorem 2. "Ondiagonal 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 alternatingplanaralgebra 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 onecrossing tangles Failed to parse (unknown function\overcrossing): (\overcrossing)
and Failed to parse (unknown function\undercrossing): (\undercrossing)
.
References
[BarNatan] ^ Dror BarNatan, Khovanov's Homology for Tangles and Cobordisms, Geometry and Topology 933 (2005) 14431499.
[Lee] ^ E. S. Lee, On Khovanov invariant for alternating links, to appear in Adv. Math., arXiv:math.GT/0210213.