Allison Gilmore | Searcharxiv

arXiv2014

Invariance and the knot Floer cube of resolutions

This paper considers the invariance of knot Floer homology in a purely algebraic setting, without reference to Heegaard diagrams, holomorphic disks, or grid diagrams. We show that (a small modification of) Ozsváth and Szabó's cube of resolutions for knot Floer homology, which is assigned to a braid presentation with a basepoint, is invariant under braid-like Reidemeister moves II and III and under conjugation. All moves are assumed to happen away from the basepoint. We also describe the behavior of the cube of resolutions under stabilization. The techniques echo those employed to prove the invariance of HOMFLY-PT homology by Khovanov and Rozansky, and are further evidence of a close relationship between the theories. The key idea is to prove categorified versions of certain equalities satisfied by the Murakami-Ohtsuki-Yamada state model for the HOMFLY-PT polynomial.

math.GT↗

arXiv2013

Framed graphs and the non-local ideal in the knot Floer cube of resolutions

This article addresses the two significant aspects of Ozsváth and Szabó's knot Floer cube of resolutions that differentiate it from Khovanov and Rozansky's HOMFLY-PT chain complex: (1) the use of twisted coefficients and (2) the appearance of a mysterious non-local ideal. Our goal is to facilitate progress on Rasmussen's conjecture that a spectral sequence relates the two knot homologies. We replace the language of twisted coefficients with the more quantum topological language of framings on trivalent graphs. We define a homology theory for framed trivalent graphs with boundary that -- for a particular non-blackboard framing -- specializes to the homology of singular knots underlying the knot Floer cube of resolutions. For blackboard framed graphs, our theory conjecturally recovers the graph homology underlying the HOMFLY-PT chain complex. We explain the appearance of the non-local ideal by expressing it as an ideal quotient of an ideal that appears in both the HOMFLY-PT and knot Floer cubes of resolutions. This result is a corollary of our main theorem, which is that closing a strand in a braid graph corresponds to taking an ideal quotient of its non-local ideal. The proof is a Gröbner basis argument that connects the combinatorics of the non-local ideal to those of Buchberger's Algorithm.

math.GT↗