---
title: Equivariant Khovanov Homology
url: https://www.emergentmind.com/topics/equivariant-khovanov-homology
type: topic
---

# Equivariant Khovanov Homology

Equivariant Khovanov homology is a family of Khovanov-type link homologies in which symmetry is incorporated into the chain complex, the coefficient system, or the target TQFT. In the literature, the term covers several distinct but related constructions: periodic-link theories based on cyclic group actions, involutive theories for strongly invertible knots, Frobenius-algebra deformations such as \(U(1)\times U(1)\)-equivariant Khovanov homology, annular and Borel refinements, and spectrum-level or symplectic realizations [1504.00376], [2404.08568], [2210.10731], [2507.13642], [1810.04769], [1810.03049]. What unifies these approaches is that the ordinary Khovanov complex is not treated as symmetry-blind: group actions, involutions, or equivariant parameters are built into the algebraic or geometric formalism, producing invariants sensitive to periodicity, strong inversion, annular structure, concordance, and equivariant cobordisms.

## 1. Terminology and principal frameworks

The phrase “equivariant Khovanov homology” does not denote a single universal theory. For \(m\)-periodic links, one works with a \(\mathbb{Z}_m\)-action on the Khovanov bracket or on the chain complex and defines an equivariant theory by homological algebra over the group ring [1504.00376]. For strongly invertible knots, one instead uses an involution \(\tau\) on the diagram or on the chain complex and forms a mapping cone or Borel-type complex encoding the operator \(1+\tau\) [2404.08568], [2507.13642]. A different usage concerns equivariant Frobenius extensions, notably the \(U(1)\times U(1)\)-equivariant Frobenius algebra
\[
A=\mathbb{F}[U,V,X]/((X-U)(X-V)),
\]
from which concordance invariants are extracted by algebraic filtrations [2210.10731]. In the annular setting, the same philosophy is implemented with the \(U(1)\times U(1)\)-equivariant cohomology of \(\mathbb{CP}^1\), producing a triply graded annular theory and an equivariant Temperley-Lieb analogue [2008.00577].

A useful organizing distinction is between **symmetry-equivariant** theories and **parameter-equivariant** theories. The former encode an actual action of a finite group or involution on a link or knot, as in periodic links and strongly invertible knots. The latter use Frobenius algebras motivated by equivariant cohomology, where variables such as \(U,V,H,Q,\alpha_0,\alpha_1\) record extra structure even when no ambient finite-group action is specified [2210.10731], [2008.00577]. This suggests that “equivariant” is best read as a structural modifier rather than the name of a single construction.

| Framework | Defining mechanism | Representative consequence |
|---|---|---|
| Periodic links | \(\mathbb{Z}_m\)-action and \(\operatorname{Ext}_{R[\mathbb{Z}_m]}\) or equivariant spectra | periodicity obstructions and rank inequalities |
| Strongly invertible knots | mapping cone or Borel differential involving \(1+\tau\) | equivariant \(s\)-type invariants, unknotting and genus bounds |
| \(U(1)\times U(1)\) and annular deformations | equivariant Frobenius algebra and filtrations | concordance invariants and annular refinements |
| Symplectic and KR analogues | equivariant Floer or foam formalisms | stabilization results, \(\mathfrak{sl}_2\)-actions, \(p\)-DG structures |

## 2. Periodic links and group actions

For an \(m\)-periodic link, the basic algebraic model starts from an \(m\)-periodic diagram whose symmetry induces an action of \(\mathbb{Z}_m\) on the Khovanov bracket and hence on the Khovanov complex. If \(M\) is an \(R[\mathbb{Z}_m]\)-module, equivariant Khovanov homology is defined by
\[
Kh^{*,*}_{\mathbb{Z}_m}(\mathcal{D}, M) := \operatorname{Ext}^*_{R[\mathbb{Z}_m]}(M, CKh(\mathcal{D},R)),
\]
and invariance under equivariant Reidemeister moves yields an invariant of the periodic link [1504.00376]. A related formulation for periodic links defines equivariant homology as
\[
E(L;M) = \operatorname{Ext}^*_{\mathbb{F}[\mathbb{Z}_m]}(M, C^*(D;F)),
\]
with equivariant Lee and Bar-Natan variants obtained by base change of the Frobenius system [1704.07316].

This algebraic model supports spectral sequences and decomposition results. For periodic links there is an equivariant spectral sequence from equivariant Khovanov homology to equivariant Lee homology, and in characteristic \(2\) an analogous spectral sequence to equivariant Bar-Natan homology, with differentials of bidegree \((1,4u)\) in the Lee case and \((1,2u)\) in the Bar-Natan case [1704.07316]. The same paper derives periodicity obstructions stronger than earlier Jones-polynomial criteria by imposing positivity and decomposition constraints on equivariant Khovanov polynomials. Politarczyk also constructs a skein spectral sequence converging to equivariant Khovanov homology and computes equivariant Khovanov homology of torus links \(T(n,2)\), including the rational formulas
\[
KhP_1(T(2m,2)) = KhP(T(2m,2);\mathbb{Q}) - t^{2m}q^{6m},\qquad
KhP_2(T(2m,2)) = t^{2m}q^{6m},
\]
and
\[
KhP_1(T(2m+1,2)) = KhP(T(2m+1,2);\mathbb{Q}),\qquad
KhP_2(T(2m+1,2))=0
\]
[1504.00376].

A homotopy-theoretic enhancement replaces the chain complex by an equivariant Khovanov spectrum. Using the Lawson-Lipshitz-Sarkar Burnside functor construction, periodic link diagrams give rise to \(\mathbb{Z}_p\)-equivariant spectra whose fixed-point spectra are identified with spectra of the quotient link, with grading conversion
\[
gr_k(\tilde{x}) = gr_k(x), \qquad
gr_h(\tilde{x}) = p\, gr_h(x), \qquad
gr_q(\tilde{x}) = p\, gr_q(x) - (p-1) gr_k(x)
\]
[1810.04769]. Smith-theoretic arguments then yield rank inequalities for even and odd Khovanov homologies and their annular filtrations for prime-periodic links. A common misconception is that periodic equivariant Khovanov homology is merely ordinary Khovanov homology of the quotient link; the spectrum-level fixed-point calculation shows instead that the quotient theory appears as a fixed-point object, not as a literal replacement for the upstairs invariant [1810.04769].

## 3. Involutive constructions for strongly invertible knots

For strongly invertible knots, equivariance is encoded by an involution \(\tau\) reversing the orientation of the knot. One model defines involutive Khovanov homology over \(\mathbb{F}_2\) by a mapping cone
\[
CKhI(D,\tau)=\operatorname{Cone}\left(CKh(D)\xrightarrow{Q(1+\tau)}Q\cdot CKh(D)\right),
\]
where \(Q^2=0\), and proves invariance under involutive Reidemeister moves [2404.08568]. The reduced Bar-Natan deformation then yields two \(\mathbb{F}_2[H]\)-towers, in homological degrees \(0\) and \(1\), whose quantum gradings define the pair \((\underline{s},\bar{s})\), called the equivariant Rasmussen invariant. These satisfy
\[
\underline{s}(K)\le s(K)\le \bar{s}(K),
\qquad
\underline{s}(K^*)=-\bar{s}(K),
\]
and provide bounds for equivariant slice surfaces and applications to exotic slice disks [2404.08568].

A parallel but more explicitly Bar-Natan-theoretic approach constructs the involutive Bar-Natan complex by
\[
\llbracket K \rrbracket^{\mathrm{inv}}:=\operatorname{Cone}\big(\llbracket K \rrbracket \xrightarrow{1+I_\tau}\llbracket K \rrbracket\big),
\]
and defines the involutive Bar-Natan homology
\[
\widetilde{\mathrm{BN}}(K):=
H_*\left(\operatorname{Cone}(\mathrm{CBN}(K)\xrightarrow{1+I_\tau}\mathrm{CBN}(K))\right)
\]
[2604.08981]. Its maximal \(H\)-torsion order,
\[
\widetilde{\mathrm{ord}}(K):=\mathrm{ord}(\widetilde{\mathrm{BN}}(K)),
\]
bounds the equivariant unknotting number:
\[
\widetilde{\mathrm{ord}}(K)\le \widetilde{u}(K).
\]
Here \(\widetilde{u}(K)\) is defined by equivariant crossing changes of Types A, B, and C,
\[
\widetilde{u}(K):=\min\{2u_A+u_B+u_C\mid K\text{ can be unknotted by }u_A,u_B,u_C\text{ Type A, B, C equivariant moves}\},
\]
and the proof uses chain maps whose compositions are homotopic to multiplication by \(H^t\), with \(t=2\) for Type A and \(t=1\) for Types B and C [2604.08981].

These involutive theories detect phenomena invisible to ordinary Khovanov homology. The pair \((\underline{s},\bar{s})\) was used to reprove that Hayden’s infinite family \(J_n\) admits exotic pairs of slice disks, with
\[
s(J_n)=0<2\le \bar{s}(J_n)\qquad \text{for all }n\ge 0,
\]
and explicit examples \(m(9_{46})\), \(15n_{103488}\), and \(17nh_{73}\) satisfying \(s=0<2=\bar{s}\) [2404.08568]. Likewise, the involutive Bar-Natan torsion order identifies five strongly invertible prime knots with crossing numbers at most \(9\) for which \(u(K)<\widetilde{u}(K)\), namely \(7_{7b}\), \(8_{21a}\), \(9_{28a}\), \(9_{34}\), and \(9_{39}\) [2604.08981]. This shows that symmetry constraints can force strictly longer unknotting sequences than in the non-equivariant category.

## 4. Deformed Frobenius algebras, filtrations, and Borel formalisms

A different direction begins from equivariant Frobenius algebras rather than from an ambient involution. In \(U(1)\times U(1)\)-equivariant Khovanov homology, the Frobenius algebra is
\[
A=\mathbb{F}[U,V,X]/((X-U)(X-V)),
\]
over \(R=\mathbb{F}[U,V]\), where \(U\) and \(V\) have grading \(-2\) and \(X\) has degree \(-1\) [2210.10731]. The chain complex carries \(U\)- and \(V\)-power filtrations, combined through the grading
\[
gr_t(U^mV^n g)=gr_q(g)-(tm+(2-t)n), \qquad t\in[0,2].
\]
From the maximal \(gr_t\)-grading of nontorsion homology classes one obtains a family of concordance invariants
\[
s_t(L)=gr_t(L)-1,
\]
together with a reduced version \(\tilde{s}_t(K,p)\) [2210.10731]. The paper proves that \(s_t\) is well defined, concordance invariant, piecewise-linear and continuous in \(t\), symmetric under \(t\mapsto 2-t\), and almost additive under connected sum. It also observes that the ground ring \(\mathbb{F}[U,V]\) is not a PID, so there is no simple formula relating \(s_t(K)\) and \(s_t(m(K))\); this is one of the clearest examples where equivariant enrichment introduces new torsion subtleties [2210.10731].

For involutive links, a Borel-type construction produces a chain complex
\[
{}_Q(L)=\big(\mathit{Kc}^-(L)\otimes_{F_2}F_2[Q],\, \partial_Q\big),
\qquad
\partial_Q=\partial+Q\cdot(1+\tau),
\]
over \(F_2[u,Q]\), with \(\deg(\partial_Q)=(1,0)\), \(\deg(u)=(0,-2)\), and \(\deg(Q)=(1,0)\) [2507.13642]. The homotopy type of the Borel complex, up to Sakuma equivalence, is an invariant of the involutive link, and equivariant cobordisms induce maps with grading shift \((0,-2g(\Sigma))\). For knotlike reduced Borel complexes this leads to numerical invariants \(\mathbf{s}_Q(K)\) and \(\mathbf{s}_{Q,A,B}(K)\), which are equivariant concordance invariants and satisfy
\[
\mathbf{s}_Q(K_1)-2g(\Sigma)\le \mathbf{s}_Q(K_2)
\]
for an equivariant cobordism \(\Sigma\) from \(K_1\) to \(K_2\) [2507.13642]. The same work states that for the strongly invertible knot \(J=17nh_{74}\),
\[
(\#_m J)\ge \lceil m/2\rceil \qquad \text{but} \qquad (\#_m J)\le 1
\]
for all \(m\), and interprets this as an arbitrarily large gap between equivariant and isotopy-equivariant slice genus.

These constructions clarify a recurrent point of terminology. Sano’s mapping-cone theory for strongly invertible knots may be viewed as a truncated Borel construction using \(F[Q]/Q^2\), whereas the full Borel complex over \(F[Q]\) retains information not visible in truncated settings [2507.13642]. This suggests that the algebraic range of equivariance depends strongly on whether one keeps only the first-order involutive correction or the full polynomial \(Q\)-tower.

## 5. Refined gradings, annular theories, and symplectic analogues

An intrinsic chain-level refinement for involutive links is the triply graded theory of Lobb and Watson. Starting from the perturbed differential
\[
\partial=d+d_\tau,\qquad d_\tau=\mathrm{id}+\tau,
\]
the complex carries an \(F\)-filtration coming from the original cohomological grading and a \(G\)-filtration defined by a half-integer weight on smoothings. The associated graded object yields
\[
Kh(L)\cong \bigoplus_{i,j\in\mathbb{Z},\, k\in \frac12\mathbb{Z}} Kh^{i,j,k}(L),
\]
and for strongly invertible links only integer \(k\)-gradings appear [1908.00082]. The \(F\)- and \(G\)-filtrations produce spectral sequences whose pages from \(E^2_F(L)=Kh(L)\) onward and from \(E^3_G(L)\) onward are invariants of the involutive link type. The theory can distinguish mutant pairs and different strong inversions, recovering Couture’s invariant as \(E^3_G\) in the strongly invertible case [1908.00082].

In the annular setting, equivariant Khovanov homology is built from the \(U(1)\times U(1)\)-equivariant Frobenius algebra
\[
A_\alpha=\mathbb{Z}[\alpha_0,\alpha_1][X]/((X-\alpha_0)(X-\alpha_1)),
\]
which corresponds to the \(U(1)\times U(1)\)-equivariant cohomology of \(\mathbb{CP}^1\) [2008.00577]. Essential circles are assigned bases depending on parity of nesting, such as
\[
v_0=1,\quad v_1=X-\alpha_0
\]
for odd-numbered essential circles, and multiplication by \(X\) on an essential circle is nontrivial:
\[
v_0\mapsto \alpha_0 v_0,\qquad v_1\mapsto \alpha_1 v_1.
\]
This explicitly contrasts with the non-equivariant annular theory, where Boerner’s relation makes a dot on an essential circle act trivially [2008.00577]. The resulting homology is triply graded and carries an action of a dotted Temperley-Lieb algebra \(TL_\alpha\).

A symplectic version also exists. A correction to the paper on equivariant symplectic Khovanov homology replaces an invalid Hilbert-scheme argument by a new proof of stabilization invariance using the skein triangle, projected domains, \(I\)-convexity, the exactness and \(O(2)\)-invariance of Abouzaid-Smith symplectic forms, and a Künneth theorem for the equivariant Floer “freed complex”
\[
\ECF[H\times H'](L_0\times L_0',L_1\times L_1')
\simeq
\ECF[H](L_0,L_1)\otimes \ECF[H'](L_0',L_1')
\]
[1810.03049]. The correction leaves symplectic Khovanov homology as a link invariant and restores invariance of equivariant symplectic Khovanov homology under stabilization, while noting that stabilization invariance for reduced symplectic Khovanov homology remains conjectural. This is a genuine technical controversy in the subject: invariance statements can depend delicately on analytic input, and correction papers materially change the available foundations [1810.03049].

## 6. Structural consequences, applications, and extensions

Equivariant Khovanov homology has produced concrete obstructions and detection results across several problems. For periodic links, equivariant Khovanov and Lee theories yield new obstructions to periodicity and generalize results of Przytycki and of the second author [1704.07316]. For strongly invertible knots, involutive \(s\)-type invariants distinguish smoothly distinct but topologically isotopic slice disks in Hayden’s examples [2404.08568], and involutive Bar-Natan torsion gives lower bounds on equivariant unknotting number sharp enough to exhibit knots with \(u(K)<\widetilde{u}(K)\) [2604.08981]. For equivariant cobordisms, Borel-type invariants bound genus and show that the difference between equivariant slice genus and isotopy-equivariant slice genus can be arbitrarily large [2507.13642]. In the annular setting, the equivariant theory refines both ordinary Khovanov and annular Khovanov homology by allowing nontrivial dot actions on essential circles [2008.00577].

The subject also interacts with non-orientable surface invariants. Using the Lee and Bar-Natan deformations over \(R[U]\), one can define four versions \(C^-,C^\infty,C^+,C\) and construct a mixed invariant
\[
\#^\#(F):H^-(L_0)\longrightarrow H^+(L_1)
\]
for nonorientable cobordisms of crosscap number at least \(3\), well defined up to sign and independent of admissible cut [2109.09018]. This mixed invariant vanishes under several stabilization operations but distinguishes punctured \(R^2\# R^2\# R^2\) surfaces with the same boundary and yields a gauge-theory-free proof of the existence of exotic pairs of nonorientable surfaces [2109.09018]. A plausible implication is that equivariant Khovanov-type deformations are particularly effective when one needs both functorial cobordism maps and polynomial actions.

Beyond \(\mathfrak{sl}_2\) Khovanov homology, equivariant Khovanov-Rozansky theories exhibit analogous algebraic enhancements. Equivariant \(\mathfrak{sl}(N)\) Khovanov-Rozansky homology over \(\mathbb{C}[a]\) decomposes into free and torsion summands, and the torsion width
\[
tw_P(L)=\max\{m_{i,l}\}
\]
determines the collapse page \(E_{2k\,tw_P(L)+1}\) of the Lee-Gornik spectral sequence [1211.6732]. Equivariant \(\mathfrak{gl}_N\)-link homologies carry a graded \(\mathfrak{sl}_2\)-module structure and \(p\)-DG structures for prime \(p\), with topological applications including direct-summand results for ribbon concordances [2306.10729]. In a different direction, Sano’s \(y\)-ification constructs \(y\)-ified Khovanov homology and an operator
\[
e:=u+\sum_i (x_i+x'_{w(i)})\frac{\partial}{\partial y_i},
\qquad [D,e]=0,
\]
compatible with Rasmussen’s spectral sequence from HOMFLY--PT homology and strong enough to distinguish the Conway knot from the Kinoshita--Terasaka knot despite identical Khovanov and HOMFLY--PT homology [2602.17435]. These extensions suggest that equivariant techniques are now part of a broader program of enriching categorified link invariants by symmetry, filtration, and representation-theoretic structure.

A final structural development concerns internal symmetries of equivariant Khovanov homology itself. In \(U(2)\)-equivariant Khovanov homology one has a signed involution \(\widehat{\sigma}\), an integral lift
\[
\widehat{\nu}:=\frac{\mathrm{id}-\widehat{\sigma}}{h},
\qquad \widehat{\nu}^2=0,
\]
and splitting results for \(U(1)\)- and \(U(1)\times U(1)\)-equivariant theories generalizing mod-\(2\) decompositions [2509.03785]. The same framework relates these structures to Rasmussen’s \(s\)-invariant over arbitrary fields, with the two free \(F[h]\)-summands in knot homology related by \(\widehat{\sigma}\) [2509.03785]. This indicates that equivariance is not only an external symmetry of links but also a source of internal algebraic symmetries of the homology theory itself.

Source: https://www.emergentmind.com/topics/equivariant-khovanov-homology