Trivalent vertices and bordered knot Floer homology in the standard basis

Abstract

We define new algebras, local bimodules, and bimodule maps in the spirit of Ozsvath-Szabo's bordered knot Floer homology. We equip them with the structure of 2-representations of the categorified negative half U^- of U_q(gl(1|1)), 1-morphisms of such, and 2-morphisms respectively, and show that they categorify representations of U_q(gl(1|1)^-) and maps between them. Unlike with Ozsvath-Szabo's algebras, the algebras considered here can be built from a higher tensor product operation recently introduced by Rouquier and the author. Our bimodules are all motivated by holomorphic disk counts in Heegaard diagrams; for positive and negative crossings, the bimodules can also be expressed as mapping cones involving a singular-crossing bimodule and the identity bimodule. In fact, they arise from an action of the monoidal category of Soergel bimodules via Rouquier complexes in the usual way, the first time (to the author's knowledge) such an expression has been obtained for braiding bimodules in Heegaard Floer homology. Furthermore, the singular crossing bimodule naturally factors into two bimodules for trivalent vertices; such bimodules have not appeared in previous bordered-Floer approaches to knot Floer homology. The action of the Soergel category comes from an action of categorified quantum gl(2) on the 2-representation 2-category of U^- in line with the ideas of skew Howe duality, where the trivalent vertex bimodules are associated to 1-morphisms E, F in categorified quantum gl(2).

arXiv comment118 pages; 49 figures. This version accepted for publication in Geometry & Topology

References in corpus (20)

• Floer homology and knot complements
• 2-Kac-Moody algebras
• Holomorphic disks and link invariants
• Bordered Heegaard Floer homology: Invariance and pairing
• A diagrammatic approach to categorification of quantum groups III
• Bimodules in bordered Heegaard Floer homology
• Diagrammatics for Soergel categories
• Super $q$-Howe duality and web categories
• Khovanov homology is a skew Howe 2-representation of categorified quantum sl(m)
• Topological recursion for chord diagrams, RNA complexes, and cells in moduli spaces
• The Alexander polynomial as quantum invariant of links
• A diagrammatic categorification of the q-Schur algebra
• Quantum gl(1|1) and tangle Floer homology
• Holomorphic disks and topological invariants for closed three-manifolds
• Khovanov-Seidel quiver algebras and Ozsváth-Szabó's bordered theory
• Higher representations and cornered Heegaard Floer homology
• Algebras with matchings and knot Floer homology
• Ozsvath-Szabo bordered algebras and subquotients of category O
• Strands algebras and Ozsváth-Szabó's Kauffman-states functor
• From hypertoric geometry to bordered Floer homology via the m=1 amplituhedron

Cited by in corpus (1)

• Strands algebras and the affine highest weight property for equivariant hypertoric categories