Bar–Natan Category Overview

• Bar–Natan Category is a 2D cobordism framework where objects are 1-manifolds and morphisms are cobordisms with local relations that encode Frobenius algebras.
• It recasts the cube‑of‑resolutions construction as a functor to chain complexes, making cobordism maps and functoriality structurally clear.
• The category extends to various settings including dotted, virtual, and annular versions, impacting TQFTs, gauge theory, and 4‑manifold topology.

The Bar–Natan category is the 2‑dimensional cobordism category that underlies Khovanov and Bar–Natan link homologies. In its basic form, objects are 1‑manifolds such as collections of circles or, more generally, tangles; morphisms are cobordisms between them; and one imposes local relations so that the resulting category becomes a diagrammatic and topological model of the Frobenius algebra used in Khovanov theory. Its importance is twofold. First, it recasts the cube‑of‑resolutions construction as a functor from a cobordism category to complexes of modules. Second, it makes cobordism maps and their functoriality structurally transparent, which is why it is particularly well adapted to surfaces in $4$-space and to movie‑move arguments (Hayden, 21 Jul 2025).

1. Definitions and categorical levels

Several nested versions occur in the standard setup. The basic unframed category $\mathbf{Cob}$ has as objects closed 1‑manifolds in $\mathbb{R}^2$, in practice disjoint unions of circles, and as morphisms smooth, compact, oriented surfaces $\Sigma\subset \mathbb{R}^2\times[0,1]$ with boundary

$$\partial\Sigma=(-\sigma)\times\{0\}\sqcup \sigma'\times\{1\},$$

considered up to boundary‑preserving homeomorphism. Composition is vertical stacking, and the identity is the product cylinder. These morphisms are generated by birth, death, merge, split, permutation, and cylinder cobordisms (Hayden, 21 Jul 2025).

For local and tangle‑theoretic purposes one fixes a finite set $B\subset \partial D^2$ and works in $\mathbf{Cob}(B)$, whose objects are 1‑manifolds $\sigma\subset D^2$ with $\partial \sigma=B$, allowing both arcs with endpoints in $B$ and closed components in the interior. The closed case is $\mathbf{Cob}$0. On $\mathbf{Cob}$1, Bar–Natan uses the grading

$\mathbf{Cob}$2

If objects are formally shifted as $\mathbf{Cob}$3, then a morphism $\mathbf{Cob}$4 has degree

$\mathbf{Cob}$5

This is the quantum grading that later makes the chain maps in Khovanov complexes degree $\mathbf{Cob}$6 after the standard shifts (Hayden, 21 Jul 2025).

The category is then enlarged in three stages: first by allowing formal $\mathbf{Cob}$7-linear combinations of cobordisms, next by passing to the additive matrix category $\mathbf{Cob}$8, and finally by taking bounded chain complexes

$\mathbf{Cob}$9

with $\mathbb{R}^2$0. Modding out by chain homotopy yields $\mathbb{R}^2$1, the formal‑complex category used throughout Bar–Natan’s construction (Hayden, 21 Jul 2025).

2. Local relations and dotted cobordisms

The step that turns the raw cobordism category into the Bar–Natan category is the imposition of local relations. In the undotted setting, the standard relations are the sphere relation

$\mathbb{R}^2$2

the torus relation

$\mathbb{R}^2$3

and the $\mathbb{R}^2$4 relation, which expresses one tube attachment among four boundary circles as a linear combination of the other three configurations. Algebraically, the $\mathbb{R}^2$5 relation encodes the Frobenius condition; geometrically, it is Bar–Natan’s basic tube‑sliding relation (Hayden, 21 Jul 2025).

A more flexible formulation uses dotted cobordisms $\mathbb{R}^2$6, whose morphisms are oriented cobordisms with finitely many marked interior points. Dots represent multiplication by an algebra element, usually $\mathbb{R}^2$7, and each dot has quantum degree $\mathbb{R}^2$8. The dotted quotient imposes the relations that a sphere with no dots is $\mathbb{R}^2$9, a sphere with one dot is the identity or a scalar depending on normalization, a sphere with two dots is $\Sigma\subset \mathbb{R}^2\times[0,1]$0, neck‑cutting expresses a tube as a sum of dotted pieces, and dots may move freely on a connected component. In this formulation, the dotted relations imply the earlier torus and $\Sigma\subset \mathbb{R}^2\times[0,1]$1 relations (Hayden, 21 Jul 2025).

This distinction is structurally important. The undotted category is sufficient for many formal manipulations, but the dotted category is the version most directly related to universal TQFT constructions. It is also the formulation in which many later deformations, including Bar–Natan’s $\Sigma\subset \mathbb{R}^2\times[0,1]$2-theory, are most naturally expressed (Hayden, 21 Jul 2025).

3. Frobenius-algebra realizations and link homologies

The standard Khovanov TQFT is obtained from the Frobenius algebra

$\Sigma\subset \mathbb{R}^2\times[0,1]$3

with structure maps

$\Sigma\subset \mathbb{R}^2\times[0,1]$4

$\Sigma\subset \mathbb{R}^2\times[0,1]$5

$\Sigma\subset \mathbb{R}^2\times[0,1]$6

The corresponding functor $\Sigma\subset \mathbb{R}^2\times[0,1]$7 sends a circle to $\Sigma\subset \mathbb{R}^2\times[0,1]$8, a smoothing with $\Sigma\subset \mathbb{R}^2\times[0,1]$9 components to $$\partial\Sigma=(-\sigma)\times\{0\}\sqcup \sigma'\times\{1\},$$0, and elementary cobordisms to the algebra maps above. For a link diagram $$\partial\Sigma=(-\sigma)\times\{0\}\sqcup \sigma'\times\{1\},$$1 with $$\partial\Sigma=(-\sigma)\times\{0\}\sqcup \sigma'\times\{1\},$$2 crossings, the Khovanov chain group is

$$\partial\Sigma=(-\sigma)\times\{0\}\sqcup \sigma'\times\{1\},$$3

and the differential is the signed sum of the edge maps coming from saddle cobordisms (Hayden, 21 Jul 2025).

Bar–Natan homology uses the same geometric source category but a different Frobenius algebra,

$$\partial\Sigma=(-\sigma)\times\{0\}\sqcup \sigma'\times\{1\},$$4

with modified multiplication and comultiplication

$$\partial\Sigma=(-\sigma)\times\{0\}\sqcup \sigma'\times\{1\},$$5

This defines a TQFT

$$\partial\Sigma=(-\sigma)\times\{0\}\sqcup \sigma'\times\{1\},$$6

and applying $$\partial\Sigma=(-\sigma)\times\{0\}\sqcup \sigma'\times\{1\},$$7 to the same cube‑of‑resolutions data yields the Bar–Natan chain complex and homology $$\partial\Sigma=(-\sigma)\times\{0\}\sqcup \sigma'\times\{1\},$$8. The category is therefore fixed while the theory changes by varying the target TQFT. In this sense, standard Khovanov, Lee, and Bar–Natan deformations all live on top of the same categorical source (Hayden, 21 Jul 2025).

For a knot $$\partial\Sigma=(-\sigma)\times\{0\}\sqcup \sigma'\times\{1\},$$9, the notes record the structure

$B\subset \partial D^2$0

where $B\subset \partial D^2$1 is the Bar–Natan Rasmussen‑type invariant, and for a link with $B\subset \partial D^2$2 components there are $B\subset \partial D^2$3 such infinite $B\subset \partial D^2$4-towers (Hayden, 21 Jul 2025). Over $B\subset \partial D^2$5, the Bar–Natan perturbation also splits as the direct sum of its two reduced theories, and the two reduced theories are isomorphic (Wigderson, 2015).

4. Formal complexes, movie moves, and cobordism maps

The Bar–Natan category is the natural receptacle for cobordism functoriality. A surface $B\subset \partial D^2$6 is represented by a movie of link diagrams

$B\subset \partial D^2$7

whose elementary steps are births, saddles, deaths, Reidemeister I–III moves, and planar isotopies. Each step determines a morphism in the Bar–Natan category; applying $B\subset \partial D^2$8 or $B\subset \partial D^2$9 produces a chain map; composing yields a map on homology. In Khovanov and Bar–Natan homology, the induced map has degree $\mathbf{Cob}(B)$0 (Hayden, 21 Jul 2025).

The elementary Morse moves are represented exactly by the Frobenius structure maps: birth by $\mathbf{Cob}(B)$1, death by $\mathbf{Cob}(B)$2, merging saddles by $\mathbf{Cob}(B)$3, and splitting saddles by $\mathbf{Cob}(B)$4. Reidemeister moves are modeled by explicit complexes of elementary cobordisms, sometimes with an additional torus summand, and their homotopy inverses are proved using the local relations. A standard example is the Reidemeister I equivalence, where the homotopy $\mathbf{Cob}(B)$5 uses the $\mathbf{Cob}(B)$6 relation (Hayden, 21 Jul 2025).

Functoriality under isotopy is formulated through movie moves. In Bar–Natan’s framework, movie moves become equalities in $\mathbf{Cob}(B)$7, and those equalities are forced by sphere, torus, $\mathbf{Cob}(B)$8, neck‑cutting, and dotted relations. This is the principal reason the category is so effective in studying surfaces in $\mathbf{Cob}(B)$9 or $\sigma\subset D^2$0: a properly embedded surface with boundary $\sigma\subset D^2$1 is literally a morphism $\sigma\subset D^2$2 or $\sigma\subset D^2$3, so cobordism maps arise directly from the category rather than being imposed afterward (Hayden, 21 Jul 2025).

A central computational consequence is the behavior under internal stabilization. If $\sigma\subset D^2$4 is obtained from $\sigma\subset D^2$5 by attaching an internal $\sigma\subset D^2$6-handle away from the boundary, then

$\sigma\subset D^2$7

This is the Bar–Natan analogue of the statement that adding a torus in ordinary Khovanov theory contributes a factor $\sigma\subset D^2$8 at the chain level (Hayden, 21 Jul 2025).

5. Variants, analogues, and extensions

Several later constructions preserve the Bar–Natan paradigm while altering the ambient category or the allowed cobordisms. For null homologous links in $\sigma\subset D^2$9, Bar–Natan homology is extended using the notion of twisted orientation. In that setting, the cube of resolutions includes a new $\partial \sigma=B$0 bifurcation, and the key structural fact is that over $\partial \sigma=B$1 the only filtered choice compatible with commuting faces is

$\partial \sigma=B$2

The resulting homology has a basis indexed by twisted orientations, which play the role that ordinary orientations play in the $\partial \sigma=B$3 theory (Chen, 2023).

A distinct $\partial \sigma=B$4 construction introduces doubled Bar–Natan homology. Its cube of smoothings contains, besides pairs of pants, once‑punctured Möbius bands, and the target module is doubled as

$\partial \sigma=B$5

This theory is Bar–Natan‑type at the functor level, but the paper explicitly states that it is not an ordinary unoriented TQFT in the sense of Turaev–Turner and does not literally reconstruct the classical formal cobordism category with local relations (Rushworth, 11 Mar 2026).

For virtual links, Tubbenhauer extends Bar–Natan’s cobordism‑based categorification by allowing non‑orientable cobordisms, boundary decorations, and open cobordisms for tangles. The resulting categories $\partial \sigma=B$6 and $\partial \sigma=B$7 support a virtual topological complex, and the compatible algebraic objects are classified as skew‑extended Frobenius algebras. Over characteristic $\partial \sigma=B$8, this produces two non‑equivalent extensions of Bar–Natan’s $\partial \sigma=B$9-theory (Tubbenhauer, 2013).

In the annular odd setting, the odd annular Bar–Natan category $B$0 is a monoidal supercategory of dotted chronological cobordisms in $B$1, with parity

$B$2

An annular filtration records dots on essential components, and after quotienting one obtains a category equivalent to the odd dotted Temperley–Lieb category at $B$3 (Necheles et al., 2022).

A different direction is the bicategorical equivalence between the Bar–Natan Temperley–Lieb cobordism bicategory and the $B$4 web‑and‑foam bicategory. This equivalence identifies Temperley–Lieb diagrams with blue webs and dotted cobordisms with foams, and it is used to repair functoriality for every link homology theory factoring through the Bar–Natan category (Beliakova et al., 2019).

6. Applications and structural consequences

One major application is the bridge to gauge theory. A spectral sequence was established whose $B$5 page is Bar–Natan’s variant of Khovanov homology and which abuts to a deformation of instanton homology for knots and links. More generally, the construction arises as a specialization of a spectral sequence whose $B$6 page is a characteristic‑2 version of $B$7-homology. This places the Bar–Natan category at the combinatorial input of an instanton‑theoretic filtration (Kronheimer et al., 2019).

The $B$8-torsion in Bar–Natan homology also carries concordance‑theoretic information. Alishahi showed that the maximal order of $B$9-torsion classes in Bar–Natan homology is a lower bound for the unknotting number, and gave examples such as $\mathbf{Cob}$00, $\mathbf{Cob}$01, $\mathbf{Cob}$02, and $\mathbf{Cob}$03, for which $\mathbf{Cob}$04 while the torsion‑order bound gives $\mathbf{Cob}$05 (Alishahi, 2017). In an equivariant direction, the involutive Bar–Natan homology $\mathbf{Cob}$06 of a strongly invertible knot yields an equivariant torsion order $\mathbf{Cob}$07, and the paper proves

$\mathbf{Cob}$08

the equivariant analogue of Alishahi’s bound (Kim, 10 Apr 2026).

The category also enters $\mathbf{Cob}$09-manifold topology through skein lasagna modules. Importing the Bar–Natan package into the Morrison–Walker–Wedrich framework gives modules $\mathbf{Cob}$10 for $\mathbf{Cob}$11-manifolds with boundary link $\mathbf{Cob}$12, with $\mathbf{Cob}$13. In this setting, internal stabilization is again identified with multiplication by $\mathbf{Cob}$14, and the behavior of lasagna gluing maps under connect sums is used to construct exotic surfaces that remain distinct after one internal stabilization (Sullivan, 4 Apr 2025).

A related categorical extension studies Bar–Natan modules $\mathbf{Cob}$15 for surfaces in a $\mathbf{Cob}$16-manifold $\mathbf{Cob}$17 bounding $\mathbf{Cob}$18. These modules are described as colimits of a functor

$\mathbf{Cob}$19

where $\mathbf{Cob}$20 is a category of embedded compression bordisms and $\mathbf{Cob}$21 is a linear category built from the Frobenius algebra $\mathbf{Cob}$22. This decouples topology from algebra and shows that the geometric content is concentrated in a tunneling graph of $\mathbf{Cob}$23 (Kaiser, 2022).

A recurring theme across these developments is that the Bar–Natan category is not merely a presentation of one homology theory. It is the common geometric source on which multiple TQFTs, deformations, and refinements are built. This explains why structural properties such as functoriality, movie‑move invariance, stabilization behavior, and compatibility with spectral sequences tend to persist across apparently different link homology theories.