---
title: Bar-Natan Homology Overview
url: https://www.emergentmind.com/topics/bar-natan-homology
type: topic
---

# Bar-Natan Homology Overview

Bar-Natan homology is a deformation of Khovanov homology that is defined from the same cube of resolutions but with a deformed rank-\(2\) Frobenius system, and it is equally expressible in a dotted-cobordism formalism. In the characteristic-\(2\) formulations emphasized across the literature, the deformation parameter is written either \(h\) or \(H\), ordinary Khovanov homology is recovered by specialization, and filtered specializations at \(h=1\) or \(H=1\) connect the theory to Rasmussen-type invariants, instanton spectral sequences, and symmetry-sensitive refinements [1710.07874] [1910.11128] [2604.08981].

## 1. Algebraic definition and Frobenius-system realizations

A standard characteristic-\(2\) presentation defines Bar-Natan homology from the formal Bar-Natan complex built from all \(0/1\)-resolutions of a link diagram and a \(2\)-dimensional TQFT associated to the Frobenius algebra
\[
V = F[H]\langle 1,x\rangle,\qquad \Delta(1)=1\otimes x + x\otimes 1 + H\,1\otimes 1,\qquad \Delta(x)=x\otimes x.
\]
Applying this TQFT produces the chain complex \(\CBN(K)\) of \(F[H]\)-modules, and its homology is \(\BN(K)\) [2604.08981].

Closely related papers package the same deformation in Frobenius-system language. One formulation uses
\[
R_6=\mathbb{F}_2[h], \qquad A_6=R_6[X]/(X^2-hX),
\]
with
\[
\epsilon(1)=0,\qquad \epsilon(X)=1,\qquad \Delta(1)=1\otimes X + X\otimes 1 + h1\otimes 1,\qquad \Delta(X)=X\otimes X,
\]
while another starts from the universal characteristic-\(2\) Frobenius system
\[
R_{5}=\mathbb{F}_{2}[h,t],\qquad R_{5}[X]/(X^{2}+hX+t),
\]
and identifies Bar-Natan homology as the specialization \(t=0\), yielding \(S_{\mathrm{bn}}[X]/(X^{2}+hX)\) and the graded homology \(\BN(K)=\mathsf{H}(K;F_{\mathrm{bn}})\) [2011.01190] [1910.11128].

The grading conventions retain the Khovanov-style bigrading, with the formal parameter of bidegree
\[
\mathrm{gr}_h(h)=0,\qquad \mathrm{gr}_q(h)=-2,
\]
and a filtered specialization arises by setting \(h=1\). In the periodic-link literature this is expressed as the base change \(\psi(h)=1,\ \psi(t)=0\), producing a filtered Bar-Natan differential \(d_{BN}=\partial+\Phi_{BN}\) with deformation term of bidegree \((1,2)\) [1710.07874] [1704.07316].

## 2. Cobordism categories, reduced theories, and functorial variants

The geometric realization of Bar-Natan homology begins with a formal complex assembled from a cube of resolutions in a quotient cobordism category. In one formulation this category is generated by dotted cobordisms and quotiented by relations \((S)\), \((S_\bullet)\), \((NC)\), \(H\)-trading, and the derived \(4\)-Tu relation; for a strongly invertible knot \((K,\tau)\), Sano’s construction gives an involution \(I_\tau\) on the formal Bar-Natan complex, and the involutive Bar-Natan complex is defined by
\[
\widetilde{D}\coloneqq \Cone\bigl(D \xrightarrow{1+I_\tau} D\bigr).
\]
After applying the same TQFT one obtains \(\widetilde{\CBN}(K)\), whose homology \(\widetilde{\BN}(K)\) is the involutive Bar-Natan homology; in that paper the tilde notation is reserved for the equivariant or involutive theory, not for a reduced theory [2604.08981].

At the bicategorical level, the Bar-Natan bicategory \(\cat{BN}\) has objects given by collections of boundary points, \(1\)-morphisms given by flat tangles, and \(2\)-morphisms given by dotted cobordisms modulo the usual local relations. A central structural theorem identifies Blanchet’s web-and-foam bicategory with a weighted Bar-Natan bicategory \(\cat{wBN}:=\cat{BN}\times\mathbb Z\), and the resulting equivalence transports Khovanov-type theories factoring through \(\cat{BN}\) to a foam setting in which functoriality is strict rather than merely projective [1903.12194].

Reduced Bar-Natan theories are obtained by choosing a basepoint and separating generators according to whether the basepoint circle is labeled \(x\) or \(1\). Writing \(C_x\) for the subcomplex with basepoint label \(x\) and \(C_1\) for the quotient identified with generators having basepoint label \(1\), one has a short exact sequence
\[
0\longrightarrow C_x\longrightarrow C_{BN}\longrightarrow C_1\longrightarrow 0.
\]
Over \(\mathbb F_2\), the Bar-Natan homology splits as
\[
H(C_{BN}) \;=\; H(C_x)\oplus H(C_1),
\]
and the two reduced theories are in fact isomorphic at chain level:
\[
C_1\cong C_x
\]
as graded chain complexes over \(\mathbb F_2[H]\) [1508.05982].

## 3. Spectral sequences, immersed curves, and stable homotopy refinements

Bar-Natan homology appears naturally as the \(E_2\)-page of gauge-theoretic spectral sequences. In characteristic \(2\), one obtains
\[
\BN(\overline K)\otimes_{r_{1}\mathcal S_{\mathrm{BN}} \Longrightarrow \Isharp(K;\Gamma_{\mathrm{BN}})
\]
and a reduced version
\[
\widetilde{\BN}(\overline K)\otimes_{r_{1}\mathcal S_{\mathrm{BN}} \Longrightarrow \Inat(K;\Gamma_{\mathrm{BN}}),
\]
where the instanton target is defined with a specialized local system. A related paper further states, at the abstract level, that a spectral sequence from Bar-Natan’s variant of Khovanov homology to a deformation of instanton homology yields concordance invariants, including a \(1\)-parameter family of homomorphisms \(f_r\) from the concordance group to the reals with the potential to provide independent bounds on the genus and number of double points for immersed surfaces with boundary a given knot [1910.11128] [1905.00828].

For \(4\)-ended tangles, Bar-Natan’s universal invariant admits a geometric reinterpretation in terms of multicurves in the \(4\)-punctured sphere. The associated invariant \(\widetilde{\operatorname{BN}(T)}\) satisfies a gluing theorem recovering reduced Bar-Natan homology from wrapped Lagrangian Floer homology, and this framework is used to prove that Conway mutation preserves reduced Bar-Natan homology over \(\mathbb F_2\) and Rasmussen’s \(s\)-invariant over any field [1910.14584].

Bar-Natan homology also has a spatial refinement. For any link diagram \(D\), there is a CW-spectrum \(\mathcal X_{\mathit{BN}(D)}\) whose reduced cellular cochain complex is the Bar-Natan complex, and the stable homotopy type is a link invariant. The resulting Bar-Natan homotopy type is stably equivalent to a wedge sum of canonical cells indexed by orientations, and the same work conjectures a lift of the quantum filtration to the spatial level, leading to a proposed cohomotopical refinement \(\bar s\) of the Rasmussen invariant [2102.07529].

## 4. Torsion, unknotting, ribbon distance, and concordance-type invariants

A major theme in Bar-Natan homology is the extraction of numerical invariants from \(h\)- or \(H\)-torsion. For a torsion class \(\alpha\) with \(h^n\alpha=0\), its order defines the invariant
\[
u(K):=\max_{\alpha\in T_{BN}(K)} \operatorname{ord}(\alpha),
\]
and explicit crossing-change maps \(f_c^\pm\) satisfy
\[
(f_c^-)_*\circ (f_c^+)_* = h,\qquad (f_c^+)_*\circ (f_c^-)_* = h.
\]
From this one obtains the inequality
\[
u(K)\le \text{unknotting number of }K.
\]
The same paper relates this torsion order to the Bar-Natan spectral sequence at \(h=1\), notes that if the spectral sequence collapses on the \(n\)-th page then \(u(K)=n-1\), and gives examples \(13n689,\ 13n1166,\ 13n2504,\ 13n2807\) for which \(|s(K)|/2=1\) but \(u(K)=2\) [1710.07874].

The same torsion philosophy extends to ribbon distance. Defining
\[
\mu(L)=\max\{\text{orders of }h\text{-torsion homology classes in }\BN(L)\},
\]
one has, if \(d\) is the ribbon distance between knots \(K\) and \(K'\),
\[
h^d\BN(K)\cong h^d\BN(K')
\]
and
\[
|\mu(K)-\mu(K')|\le d.
\]
In particular,
\[
d(K,U)\ge \mu(K),
\]
so the Bar-Natan lower bound on ribbon distance agrees with Alishahi’s lower bound on unknotting number when one of the knots is the unknot [2011.01190].

For strongly invertible knots, the involutive theory provides an equivariant analogue. Writing
\[
\widetilde{\mathrm{ord}(K)}=\mathrm{ord}(\widetilde{\BN}(K)),
\qquad
\widetilde{u}(K)=\min\{2u_A+u_B+u_C\},
\]
where \(u_A,u_B,u_C\) count the three types of \(\tau\)-symmetric crossing changes, the main theorem is
\[
\widetilde{\mathrm{ord}(K)}\le \widetilde{u}(K).
\]
The paper computes \(\widetilde{\mathrm{ord}(K)}\) for all prime strongly invertible knots of crossing number at most \(9\) in Sakuma’s table and identifies five knots,
\[
7_{7b},\quad 8_{21a},\quad 9_{28a},\quad 9_{34},\quad 9_{39},
\]
for which \(u(K)=1\) but \(\widetilde{u}(K)\ge 2\); more precisely, \(\widetilde{u}(K)=2\) for \(7_{7b}\) and \(8_{21a}\), while \(2\le \widetilde{u}(K)\le 3\) for \(9_{28a}, 9_{34}, 9_{39}\) [2604.08981].

## 5. Extensions to periodic, virtual, surface, and projective settings

Bar-Natan homology admits equivariant forms for periodic links. If \(L\subset S^3\) is \(m\)-periodic and \(\Lambda_m=F[Z_m]\), then the Khovanov-type chain complex becomes a complex of \(\Lambda_m\)-modules, and applying the characteristic-\(2\) Bar-Natan deformation gives equivariant Bar-Natan homology \(\EBN(L;M)\). The resulting spectral sequence has
\[
E_1 \cong (L;M), \qquad \deg(d_u^{BN})=(1,2u),
\]
and converges to \(\EBN(L;M)\); for semisimple coefficients, the equivariant groups decompose according to the orbit structure of orientations under the cyclic symmetry [1704.07316].

The cobordism formalism also extends beyond classical links in \(S^3\). For virtual links and tangles, one replaces the classical cobordism category by a category \(\uCob_R(\emptyset)\) of possibly non-orientable cobordisms with boundary decorations, introducing a non-orientable generator \(\theta\) to represent saddles that preserve the number of circles. This construction recovers the classical theory on classical diagrams and, in characteristic \(2\), extends Bar-Natan’s \(\mathbb Z/2\)-theory in two non-equivalent ways, distinguished by whether \(\theta=0\) or \(\theta=1\). For framed links in thickened surfaces \(F\times I\), a different extension replaces diagrammatic generators by embedded foams, produces an infinite family of homology theories, and yields a simpler theory whose graded Euler characteristic is exactly the Kauffman bracket of the link in the surface [1111.0609] [0810.5566].

For links in \(\mathbb{RP}^3\), two distinct Bar-Natan-type extensions appear in the supplied literature. One defines \(\mathit{HBN}(L)\) for null homologous links over \(\mathbb F_2\), with the essential new input of twisted orientations and a \(1\)-to-\(1\) bifurcation map forced to be \(f=\mathrm{id}_V\); if all components are null homologous then
\[
\dim \mathit{HBN}(L)=2^{|L|},
\]
with canonical basis indexed by twisted orientations, and the induced \(s\)-invariant gives genus bounds for twisted orientable slice surfaces [2307.11461]. Another constructs a doubled Bar-Natan theory \(DBN(L)\) for links in \(\mathbb{RP}^3\) by combining pair-of-pants maps with once-punctured Möbius-band maps; \(DBN(L)\) is the target of a spectral sequence from doubled Khovanov homology, has rank
\[
0 \text{ or } 2^{n+1},
\]
depending on degeneracy, and is stated to be distinct from Chen’s theory even though the two have equivalent rank and homological-support information in the nullhomologous case [2603.10832].

## 6. Computational uses and four-dimensional extensions

Bar-Natan homology has become a central computational tool in low-dimensional topology. One recent proof that the Khovanov homology of the closure of a \(3\)-strand braid has only \(2\)-torsion relies on Bar-Natan’s version of Khovanov homology for tangles, Bar-Natan’s delooping and Gaussian-elimination techniques, and the reduced integral Bar-Natan–Lee–Turner spectral sequence. A parallel line of work introduces discrete Morse theory in Bar-Natan’s dotted cobordism category, producing recursive descriptions of the complexes of \(2\)- and \(3\)-torus braids and new torsion results for closures of \(3\)-braids in the families \(\Omega_0,\dots,\Omega_5\) [2501.11547] [2306.11186].

The Bar-Natan package also extends into \(4\)-manifold topology through skein lasagna modules. In this setting the input Frobenius algebra is
\[
R^{BN}=\mathbb F_2[H], \qquad A^{BN}=\frac{\mathbb F_2[H][X]}{(X^2-HX)},
\]
and the resulting module \(S_0^{BN}(X;L)\) is naturally an \(\mathbb F_2[H]\)-module in which multiplication by \(H\) is interpreted geometrically as attaching a \(1\)-handle to a skein surface. This identification leads to a notion of lasagna \(H\)-torsion order and is used to construct exotic pairs of surfaces with boundary in \(4\)-manifolds for which one internal stabilization is not enough; the flagship example glues Hayden’s exotic pair to the exceptional sphere in \(\overline{\mathbb{CP}}^{\,2}\) [2504.03968].

Bar-Natan homology therefore occupies several roles simultaneously: a deformation of Khovanov homology, a cobordism-theoretic and functorial package for tangles, a source of torsion-based unknotting and concordance obstructions, a bridge to instanton and Floer-theoretic constructions, and a framework that continues to admit new generalizations in equivariant, virtual, projective, and four-dimensional settings.

Source: https://www.emergentmind.com/topics/bar-natan-homology