Equivariant Khovanov Homology

• Equivariant Khovanov homology is a family of link homologies that builds symmetry into the chain complex and coefficient systems through group actions and involutions.
• It incorporates methods such as cyclic group actions, involutive mapping cones, and equivariant Frobenius algebra deformations to detect refined invariants in periodic and annular link settings.
• These constructions provide practical invariants including periodicity obstructions, equivariant s-invariants, and concordance bounds that deepen our understanding of knot theory and topological applications.

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 (Politarczyk, 2015, Sano, 2024, Akhmechet et al., 2022, Borodzik et al., 18 Jul 2025, Stoffregen et al., 2018, Hendricks et al., 2018). 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 (Politarczyk, 2015). 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$ (Sano, 2024, Borodzik et al., 18 Jul 2025). 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 (Akhmechet et al., 2022). 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 (Akhmechet, 2020).

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 (Akhmechet et al., 2022, Akhmechet, 2020). 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	$m$0-action and $m$1 or equivariant spectra	periodicity obstructions and rank inequalities
Strongly invertible knots	mapping cone or Borel differential involving $m$2	equivariant $m$3-type invariants, unknotting and genus bounds
$m$4 and annular deformations	equivariant Frobenius algebra and filtrations	concordance invariants and annular refinements
Symplectic and KR analogues	equivariant Floer or foam formalisms	stabilization results, $m$5-actions, $m$6-DG structures

2. Periodic links and group actions

For an $m$7-periodic link, the basic algebraic model starts from an $m$8-periodic diagram whose symmetry induces an action of $m$9 on the Khovanov bracket and hence on the Khovanov complex. If $\mathbb{Z}_m$0 is an $\mathbb{Z}_m$1-module, equivariant Khovanov homology is defined by

$\mathbb{Z}_m$2

and invariance under equivariant Reidemeister moves yields an invariant of the periodic link (Politarczyk, 2015). A related formulation for periodic links defines equivariant homology as

$\mathbb{Z}_m$3

with equivariant Lee and Bar-Natan variants obtained by base change of the Frobenius system (Borodzik et al., 2017).

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 $\mathbb{Z}_m$4 an analogous spectral sequence to equivariant Bar-Natan homology, with differentials of bidegree $\mathbb{Z}_m$5 in the Lee case and $\mathbb{Z}_m$6 in the Bar-Natan case (Borodzik et al., 2017). 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 $\mathbb{Z}_m$7, including the rational formulas

$\mathbb{Z}_m$8

and

$\mathbb{Z}_m$9

(Politarczyk, 2015).

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 $\tau$0-equivariant spectra whose fixed-point spectra are identified with spectra of the quotient link, with grading conversion

$\tau$1

(Stoffregen et al., 2018). 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 (Stoffregen et al., 2018).

3. Involutive constructions for strongly invertible knots

For strongly invertible knots, equivariance is encoded by an involution $\tau$2 reversing the orientation of the knot. One model defines involutive Khovanov homology over $\tau$3 by a mapping cone

$\tau$4

where $\tau$5, and proves invariance under involutive Reidemeister moves (Sano, 2024). The reduced Bar-Natan deformation then yields two $\tau$6-towers, in homological degrees $\tau$7 and $\tau$8, whose quantum gradings define the pair $\tau$9, called the equivariant Rasmussen invariant. These satisfy

$1+\tau$0

and provide bounds for equivariant slice surfaces and applications to exotic slice disks (Sano, 2024).

A parallel but more explicitly Bar-Natan-theoretic approach constructs the involutive Bar-Natan complex by

$1+\tau$1

and defines the involutive Bar-Natan homology

$1+\tau$2

(Kim, 10 Apr 2026). Its maximal $1+\tau$3-torsion order,

$1+\tau$4

bounds the equivariant unknotting number: $1+\tau$5 Here $1+\tau$6 is defined by equivariant crossing changes of Types A, B, and C,

$1+\tau$7

and the proof uses chain maps whose compositions are homotopic to multiplication by $1+\tau$8, with $1+\tau$9 for Type A and $U(1)\times U(1)$0 for Types B and C (Kim, 10 Apr 2026).

These involutive theories detect phenomena invisible to ordinary Khovanov homology. The pair $U(1)\times U(1)$1 was used to reprove that Hayden’s infinite family $U(1)\times U(1)$2 admits exotic pairs of slice disks, with

$U(1)\times U(1)$3

and explicit examples $U(1)\times U(1)$4, $U(1)\times U(1)$5, and $U(1)\times U(1)$6 satisfying $U(1)\times U(1)$7 (Sano, 2024). Likewise, the involutive Bar-Natan torsion order identifies five strongly invertible prime knots with crossing numbers at most $U(1)\times U(1)$8 for which $U(1)\times U(1)$9, namely $A=\mathbb{F}[U,V,X]/((X-U)(X-V)),$0, $A=\mathbb{F}[U,V,X]/((X-U)(X-V)),$1, $A=\mathbb{F}[U,V,X]/((X-U)(X-V)),$2, $A=\mathbb{F}[U,V,X]/((X-U)(X-V)),$3, and $A=\mathbb{F}[U,V,X]/((X-U)(X-V)),$4 (Kim, 10 Apr 2026). 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 $A=\mathbb{F}[U,V,X]/((X-U)(X-V)),$5-equivariant Khovanov homology, the Frobenius algebra is

$A=\mathbb{F}[U,V,X]/((X-U)(X-V)),$6

over $A=\mathbb{F}[U,V,X]/((X-U)(X-V)),$7, where $A=\mathbb{F}[U,V,X]/((X-U)(X-V)),$8 and $A=\mathbb{F}[U,V,X]/((X-U)(X-V)),$9 have grading $U(1)\times U(1)$0 and $U(1)\times U(1)$1 has degree $U(1)\times U(1)$2 (Akhmechet et al., 2022). The chain complex carries $U(1)\times U(1)$3- and $U(1)\times U(1)$4-power filtrations, combined through the grading

$U(1)\times U(1)$5

From the maximal $U(1)\times U(1)$6-grading of nontorsion homology classes one obtains a family of concordance invariants

$U(1)\times U(1)$7

together with a reduced version $U(1)\times U(1)$8 (Akhmechet et al., 2022). The paper proves that $U(1)\times U(1)$9 is well defined, concordance invariant, piecewise-linear and continuous in $\mathbb{CP}^1$0, symmetric under $\mathbb{CP}^1$1, and almost additive under connected sum. It also observes that the ground ring $\mathbb{CP}^1$2 is not a PID, so there is no simple formula relating $\mathbb{CP}^1$3 and $\mathbb{CP}^1$4; this is one of the clearest examples where equivariant enrichment introduces new torsion subtleties (Akhmechet et al., 2022).

For involutive links, a Borel-type construction produces a chain complex

$\mathbb{CP}^1$5

over $\mathbb{CP}^1$6, with $\mathbb{CP}^1$7, $\mathbb{CP}^1$8, and $\mathbb{CP}^1$9 (Borodzik et al., 18 Jul 2025). 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 $U,V,H,Q,\alpha_0,\alpha_1$0. For knotlike reduced Borel complexes this leads to numerical invariants $U,V,H,Q,\alpha_0,\alpha_1$1 and $U,V,H,Q,\alpha_0,\alpha_1$2, which are equivariant concordance invariants and satisfy

$U,V,H,Q,\alpha_0,\alpha_1$3

for an equivariant cobordism $U,V,H,Q,\alpha_0,\alpha_1$4 from $U,V,H,Q,\alpha_0,\alpha_1$5 to $U,V,H,Q,\alpha_0,\alpha_1$6 (Borodzik et al., 18 Jul 2025). The same work states that for the strongly invertible knot $U,V,H,Q,\alpha_0,\alpha_1$7,

$U,V,H,Q,\alpha_0,\alpha_1$8

for all $U,V,H,Q,\alpha_0,\alpha_1$9, 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 $m$00, whereas the full Borel complex over $m$01 retains information not visible in truncated settings (Borodzik et al., 18 Jul 2025). This suggests that the algebraic range of equivariance depends strongly on whether one keeps only the first-order involutive correction or the full polynomial $m$02-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

$m$03

the complex carries an $m$04-filtration coming from the original cohomological grading and a $m$05-filtration defined by a half-integer weight on smoothings. The associated graded object yields

$m$06

and for strongly invertible links only integer $m$07-gradings appear (Lobb et al., 2019). The $m$08- and $m$09-filtrations produce spectral sequences whose pages from $m$10 onward and from $m$11 onward are invariants of the involutive link type. The theory can distinguish mutant pairs and different strong inversions, recovering Couture’s invariant as $m$12 in the strongly invertible case (Lobb et al., 2019).

In the annular setting, equivariant Khovanov homology is built from the $m$13-equivariant Frobenius algebra

$m$14

which corresponds to the $m$15-equivariant cohomology of $m$16 (Akhmechet, 2020). Essential circles are assigned bases depending on parity of nesting, such as

$m$17

for odd-numbered essential circles, and multiplication by $m$18 on an essential circle is nontrivial: $m$19 This explicitly contrasts with the non-equivariant annular theory, where Boerner’s relation makes a dot on an essential circle act trivially (Akhmechet, 2020). The resulting homology is triply graded and carries an action of a dotted Temperley-Lieb algebra $m$20.

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, $m$21-convexity, the exactness and $m$22-invariance of Abouzaid-Smith symplectic forms, and a Künneth theorem for the equivariant Floer “freed complex”

$m$23

(Hendricks et al., 2018). 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 (Hendricks et al., 2018).

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 (Borodzik et al., 2017). For strongly invertible knots, involutive $m$24-type invariants distinguish smoothly distinct but topologically isotopic slice disks in Hayden’s examples (Sano, 2024), and involutive Bar-Natan torsion gives lower bounds on equivariant unknotting number sharp enough to exhibit knots with $m$25 (Kim, 10 Apr 2026). 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 (Borodzik et al., 18 Jul 2025). In the annular setting, the equivariant theory refines both ordinary Khovanov and annular Khovanov homology by allowing nontrivial dot actions on essential circles (Akhmechet, 2020).

The subject also interacts with non-orientable surface invariants. Using the Lee and Bar-Natan deformations over $m$26, one can define four versions $m$27 and construct a mixed invariant

$m$28

for nonorientable cobordisms of crosscap number at least $m$29, well defined up to sign and independent of admissible cut (Lipshitz et al., 2021). This mixed invariant vanishes under several stabilization operations but distinguishes punctured $m$30 surfaces with the same boundary and yields a gauge-theory-free proof of the existence of exotic pairs of nonorientable surfaces (Lipshitz et al., 2021). A plausible implication is that equivariant Khovanov-type deformations are particularly effective when one needs both functorial cobordism maps and polynomial actions.

Beyond $m$31 Khovanov homology, equivariant Khovanov-Rozansky theories exhibit analogous algebraic enhancements. Equivariant $m$32 Khovanov-Rozansky homology over $m$33 decomposes into free and torsion summands, and the torsion width

$m$34

determines the collapse page $m$35 of the Lee-Gornik spectral sequence (Wu, 2012). Equivariant $m$36-link homologies carry a graded $m$37-module structure and $m$38-DG structures for prime $m$39, with topological applications including direct-summand results for ribbon concordances (Qi et al., 2023). In a different direction, Sano’s $m$40-ification constructs $m$41-ified Khovanov homology and an operator

$m$42

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 (Sano, 19 Feb 2026). 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 $m$43-equivariant Khovanov homology one has a signed involution $m$44, an integral lift

$m$45

and splitting results for $m$46- and $m$47-equivariant theories generalizing mod-$m$48 decompositions (Khovanov et al., 4 Sep 2025). The same framework relates these structures to Rasmussen’s $m$49-invariant over arbitrary fields, with the two free $m$50-summands in knot homology related by $m$51 (Khovanov et al., 4 Sep 2025). 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.