Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · math/0701339

Fixing the functoriality of Khovanov homology

David Clark·Scott Morrison·Kevin Walker
View original source ↗Read source document ↗Export metadata ↓

Abstract

We describe a modification of Khovanov homology (math.QA/9908171), in the spirit of Bar-Natan (math.GT/0410495), which makes the theory properly functorial with respect to link cobordisms. This requires introducing `disorientations' in the category of smoothings and abstract cobordisms between them used in Bar-Natan's definition. Disorientations have `seams' separating oppositely oriented regions, coming with a preferred normal direction. The seams satisfy certain relations (just as the underlying cobordisms satisfy relations such as the neck cutting relation). We construct explicit chain maps for the various Reidemeister moves, then prove that the compositions of chain maps associated to each side of each of Carter and Saito's movie moves (MR1238875, MR1445361) always agree. These calculations are greatly simplified by following arguments due to Bar-Natan and Khovanov, which ensure that the two compositions must agree, up to a sign. We set up this argument in our context by proving a result about duality in Khovanov homology, generalising previous results about mirror images of knots to a `local' result about tangles. Along the way, we reproduce Jacobsson's sign table (math.GT/0206303) for the original `unoriented theory', with a few disagreements.

Explore related subjects

math.GT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

David Clark, Scott Morrison, Kevin Walker. 2008-01-21. Fixing the functoriality of Khovanov homology. https://doi.org/10.2140/gt.2009.13.1499

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Links and singularities of stable maps from $3$-manifolds to surfaces

For any two links in the $3$-sphere, we provide a visual construction of a stable map $f$ from the $3$-sphere to the Euclidean plane such that $f$ has no cusp points, the set of definite (resp. indefinite) fold points of $f$ is isotopic to the first (resp. second) given link, and $f$ does not have a certain type of singular fibers. Moreover, we obtain a similar result for any $3$-manifold by setting the target space to the $2$-sphere.

math.GT↗
arXiv2026

The Smoothability of Embedded Surfaces in 4-Manifolds Under Stabilizations

We study the smooth stabilization number of a locally flat embedded surface in a smooth $4$-manifold, defined as the minimum number of connected sums with $S^2\times S^2$ needed to make the surface topologically isotopic to a smooth embedding. We prove that a nonsmoothable locally flat surface in a closed, simply connected smooth $4$-manifold becomes smoothable after a single stabilization if its homology class is primitive and noncharacteristic and its complement has abelian fundamental group. This yields infinitely many examples of nonsmoothable surfaces with smooth stabilization number one. We also exhibit examples for which a single stabilization produces infinitely many pairwise smoothly nonisotopic representatives in the same topological isotopy class. In contrast, we construct a locally flat genus-eight surface representing $6h$ in $\mathbb{CP}^2$ whose smooth stabilization number is exactly two. More generally, we show that smooth stabilization numbers of locally flat embedded surfaces in $\mathbb{CP}^2$ are unbounded.

math.GT↗
arXiv2026

Sections, pseudosections, and multisections of Lefschetz fibrations

We show that not every symplectic Lefschetz fibration over the $2$--sphere admits a smooth section, settling a long-standing open problem. To prove this, we develop a method for studying sections via lifts of monodromy factorizations with point-pushing maps and the induced handle decomposition of the total space, and apply it to an infinite family of Lefschetz fibrations. In contrast, we show that every Lefschetz fibration over $S^2$ admits positive multisections. Some of these examples admit no multisections with spherical components. We also construct signature-zero Lefschetz fibrations of every odd genus $g\geq 7$, which in turn give symplectic Lefschetz fibrations of any prescribed signature in each of these genera.

math.GT↗