Categorified skew Howe duality and comparison of knot homologies

While the definitions of these theories are quite different, there is a key commonality between them which makes it possible to prove that they are all isomorphic: they arise from a skew Howe dual action of glℓ for some ℓ. In this paper, we show that the construction of knot homology based on categorifying tensor products (from earlier work of the second author) fits into this framework, and thus agrees with other such homologies, such as Khovanov-Rozansky homology. We accomplish this by categorifying the action of glℓ×gln on ⋀p(Cℓ⊗Cn) using diagrammatic bimodules. In this action, the functors corresponding to glℓ and gln are quite different in nature, but they will switch roles under Koszul duality.