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

# Symplectic Khovanov Homology

Searching arXiv for recent and foundational papers on symplectic Khovanov-type homology.
Symplectic Khovanov type homology denotes a family of Floer-theoretic link homologies in which Khovanov-style invariants are realized through Lagrangian intersection theory in exact symplectic manifolds. In the foundational \(S^3\) construction, a link \(\kappa\) presented as the closure of a braid \(\beta\) is assigned a Floer cohomology group \(HF^*(L_{\wp\circ},(\beta\times id)(L_{\wp\circ}))\) inside an exact Kähler manifold \(Y_n\), and the resulting theory was shown to agree in characteristic zero with the singly graded collapse of Khovanov homology [1504.01230]. Subsequent work supplied a second grading recovering the Jones grading up to an overall shift, extended the framework to annular settings, cobordism maps, character varieties, multiplicative Coulomb branches, and proposed analogues for links in more general \(3\)-manifolds [2111.07792].

## 1. Historical emergence and basic definition

The point of departure is the Seidel–Smith construction recalled in "Khovanov homology from Floer cohomology" [1504.01230]. For a link \(\kappa\subset S^3\) given as the closure of a braid \(\beta\in Br_n\), symplectic Khovanov cohomology is defined as
\[
KH_{\mathrm{symp}}(\kappa;k)=HF^*(L_{\wp\circ},(\beta\times id)(L_{\wp\circ});k).
\]
Here \(L_{\wp\circ}\) is a distinguished exact Lagrangian associated to a crossingless matching, and the braid group acts by monodromy on the ambient symplectic manifold. The original conjectural target was the singly graded collapse of Khovanov homology, namely
\[
KH_{\mathrm{symp}}^k(\kappa)\cong \bigoplus_{i-j=k} Kh^{i,j}(\kappa),
\]
after an absolute grading shift by the number of strands and the writhe [1504.01230].

The paper proves that for any oriented link \(\kappa\) and any field \(k\) of characteristic zero,
\[
Kh(\kappa;k)\cong KH_{\mathrm{symp}}(\kappa;k),
\]
with the right-hand side defined by Floer cohomology in the symplectic model [1504.01230]. This identifies symplectic Khovanov cohomology with combinatorial Khovanov homology after collapsing the bigrading in characteristic zero.

A common misconception is that “symplectic Khovanov homology” refers only to this singly graded \(S^3\) theory. The later literature uses the phrase more broadly. It includes bigraded refinements, annular variants, reduced theories built from character varieties, and further conjectural extensions to gauge theory and to links in fibered \(3\)-manifolds [2111.07792].

## 2. Symplectic geometric models

In the Seidel–Smith–Manolescu model, the ambient space \(Y_n\) is the fibre of \(\chi|_S:S\to \mathbb{C}^{2n-1}\), where \(S\) is a transverse slice at the nilpotent with two equal Jordan blocks. Equivalently, \(Y_n\) can be identified holomorphically with an open subset of \(Hilb^{[n]}(A_{2n-1})\), where
\[
A_{2n-1}=\{x^2+y^2+\prod_{i=1}^{2n}(z-i)=0\}\subset \mathbb{C}^3,
\]
by removing the relative Hilbert scheme divisor \(D_{\mathrm{rel}}\). The manifold \(Y_n\) is exact, contact type at infinity, admits an exact symplectic form \(\omega\) and primitive \(\lambda\), and satisfies \(c_1(Y_n)=0\) [1504.01230].

Crossingless matchings \(CM_n\) of the \(2n\) marked points determine exact Lagrangians \(L_\alpha\subset Y_n\). For \(\alpha\in CM_n\), \(L_\alpha\) is an iterated vanishing cycle obtained by parallel transport of anti-diagonal vanishing spheres along the arcs of \(\alpha\), and geometrically \(L_\alpha\cong (S^2)^n\). Because the ambient manifold is exact and the Lagrangians are closed, exact, spin, and graded, Floer cohomology groups \(HF^*(L_\alpha,L_\beta)\) are well defined and admit absolute \(\mathbb{Z}\)-gradings [1504.01230].

A bridge-diagram version was later emphasized in "Bigrading the symplectic Khovanov cohomology" [2111.07792]. There one works in the open symplectic manifold
\[
\mathcal{Y}_n\subset Hilb^n(S),
\]
where
\[
S=\{(u,v,z)\in \mathbb{C}^3\mid u^2+v^2+p(z)=0\},\qquad p(z)=\prod_{i=1}^{2n}(z-p_i),
\]
and \(\mathcal{Y}_n\) is obtained by removing the relative Hilbert divisor. For an oriented bridge diagram \(D=(\vec{\alpha},\vec{\beta},\vec{p})\), each arc \(\gamma\) determines an exact Lagrangian sphere \(\Sigma_\gamma\subset S\), and the product Lagrangians
\[
\mathcal{K}_\alpha=\Sigma_{\alpha_1}\times\cdots\times \Sigma_{\alpha_n},\qquad
\mathcal{K}_\beta=\Sigma_{\beta_1}\times\cdots\times \Sigma_{\beta_n}
\]
give
\[
Kh^*_{\mathrm{symp}}(D):=HF^*(\mathcal{K}_\alpha,\mathcal{K}_\beta).
\]
This formulation is canonically isomorphic, as a relatively graded theory, to the original Seidel–Smith invariant [2111.07792].

The geometric paradigm has also been realized in other symplectic targets. A reduced Khovanov-type theory for links in \(S^3\) and some links in \(S^2\times S^1\) is constructed from the twisted Fukaya category of the traceless \(SU(2)\) character variety \(R^*(T^2,2)\), where
\[
R(T^2,2)=\{(A,B,a,b)\in SU(2)^4\mid [A,B]ab=I,\ \mathrm{tr}(a)=\mathrm{tr}(b)=0\}/\text{conjugation},
\]
and \(R^*(T^2,2)\cong (\mathbb{CP}^1)^2\setminus E\) with \(E\) a holomorphically embedded elliptic curve [2210.16452]. A different symplectic model appears in multiplicative Coulomb branches, where the Fukaya–Seidel category of \((M^\times(\Gamma,\vec d),W_a)\) carries a braid group action by monodromy and yields Khovanov homology with both gradings and over \(\mathbb{Z}\) in the \(\mathfrak{sl}_2\) case [2505.00327].

## 3. Arc algebras, bimodules, and the identification with combinatorial Khovanov homology

The algebraic core of the \(S^3\) theory is the symplectic arc algebra
\[
A_n^{\mathrm{symp}}=\bigoplus_{\alpha,\beta\in CM_n} HF^*(L_\alpha,L_\beta),
\]
with multiplication given by the Fukaya-category product
\[
\mu^2:HF^*(L_\beta,L_\gamma)\otimes HF^*(L_\alpha,L_\beta)\to HF^*(L_\alpha,L_\gamma),
\]
defined by counts of pseudoholomorphic triangles [1504.01230]. Over a field \(k\) with \(\mathrm{char}(k)=0\), the chain-level \(A_\infty\)-algebra \(CH_n^{\mathrm{symp}}\) is formal: there is a quasi-isomorphism to its cohomology algebra \(A_n^{\mathrm{symp}}\), and \(\mu^d\equiv 0\) for \(d\ge 3\). The proof uses Seidel’s pure vector field criterion and a pure non-commutative Euler vector field \(b\in CC^1(CH_n^{\mathrm{symp}},CH_n^{\mathrm{symp}})\) [1504.01230].

The comparison across different values of \(n\) is controlled by cup and cap bimodules. Geometrically, the elementary cup functor
\[
cup_i:F(Y_n)\to F(Y_{n+1}),\qquad L\mapsto L\times S^2_i,
\]
is represented by an elementary Lagrangian correspondence, and \(cap_i\) is its adjoint into twisted complexes. Their bimodule structure maps are defined by counts of pseudoholomorphic discs with \(r+s+2\) boundary punctures, and over characteristic zero these bimodules are formal as well [1504.01230].

A decisive theorem is the integral identification
\[
A_n^{\mathrm{symp}}\cong A_n^{\mathrm{comb}}
\]
over \(\mathbb{Z}\), compatible with cup bimodules. The construction proceeds by choosing canonical bases in which products of positive generators are positive linear combinations of positive generators, with sign control obtained through orientation conventions, plumbing models, and an even-degree grading convention [1504.01230].

This algebraic comparison is complemented by an exact triangle for fibred Dehn twists. If \(\tau_i\) denotes the monodromy of a Lefschetz fibration around a critical value, then in the derived setting the graph bimodule of \(\tau_i\) is the cone of the unit of the \(cup_i\dashv cap_i\) adjunction:
\[
Cone(\Delta^{Tw H_n}\to \Delta^{Tw H_n}_{cup_i\circ cap_i})\simeq \Delta_{\tau_i}.
\]
The mapping cone is written explicitly as \(Cone(f)=C_0[1]\oplus C_1\) with differential
\[
d_{Cone}=
\begin{bmatrix}
d_{C_0} & 0\\
f & d_{C_1}
\end{bmatrix}.
\]
This exact triangle mirrors the skein triangle on the combinatorial side [1504.01230].

These results imply that the braid group actions on the derived module categories of the symplectic and combinatorial arc algebras agree, that the distinguished module \(P_{\wp\circ}\) corresponds to \(L_{\wp\circ}\), and hence that the Ext-groups computing combinatorial Khovanov homology coincide with the Floer groups computing symplectic Khovanov cohomology in characteristic zero [1504.01230].

## 4. Gradings, exact triangles, and annular structures

The original symplectic theory was singly graded, but "Bigrading the symplectic Khovanov cohomology" constructs a second grading from holomorphic disc counting [2111.07792]. For bridge diagrams, the paper defines an absolute homological grading by fixing a distinguished generator \(x_0\) and shifting by the writhe \(w(D)\) and rotation number \(rot(D)\):
\[
Kh^*_{\mathrm{symp}}(L)=HF^{*+gr(x_0)+w(D)+rot(D)}(\mathcal{K}_\alpha,\mathcal{K}_\beta).
\]
This grading is shown to be invariant under isotopy, handleslide, and stabilization of bridge diagrams.

The second grading, called the weight, is constructed using a degree-zero endomorphism of Floer cochains obtained from moduli of holomorphic discs with two interior marked points constrained to divisors \(D_0\) and \(D_0'\) in a partial compactification \(\bar Y_n\). After adding the corrections \(CO(gw_1)\) and \(co(\beta_0)\), one obtains a Hochschild \(1\)-cocycle \(b\), and with equivariant structures \(c_\alpha,c_\beta\) the chain map
\[
\phi=b^1-\mu^2(c_\alpha,\cdot)+\mu^2(\cdot,c_\beta)
\]
commutes with the Floer differential and induces an endomorphism \(\Phi\) on cohomology. Its generalized eigenspaces define a relative weight grading. Over characteristic zero, this grading refines the Abouzaid–Smith isomorphism to a bigraded isomorphism with Khovanov homology, recovering the Jones grading up to an overall shift [2111.07792].

The relation to Khovanov’s \((i,j)\)-bigrading is expressed by a reindexing
\[
i=gr-wt,\qquad j=-wt+c,
\]
for a link-dependent constant \(c\). With this change of variables, the symplectic differential has bidegree \((1,0)\), and the exact triangle behaves as the unoriented skein exact triangle in Khovanov homology [2111.07792].

Annular refinements are developed in "Symplectic annular Khovanov homology and fixed point localizations" [2408.06453]. There the Seidel–Smith Floer complex is equipped with a divisor-counting filtration by the annular divisor \(D_0\). For product Lagrangians \(L_{c_0},L_{c_1}\subset Y_{n,T}\), the cochain complex is
\[
CF(Y_{n,T},L_{c_0},L_{c_1};\mathbb{F}[U])
=\bigoplus_{x\in \phi_H^1(L_{c_0})\cap L_{c_1}}\mathbb{F}[U]\cdot x,
\]
with differential
\[
dx_1=\sum_{x_0,\ ind=1} \#\mathcal{M}(x_0,x_1;J)\, U^{u\cdot D_0}\,x_0.
\]
Setting \(U=0\) yields the annular truncation \(CF_{ann}\), which counts only strips disjoint from \(D_0\). For an annular link \(L\) represented by an annular braid \(\beta\),
\[
AKh^{\mathrm{symp}}(L):=HF^{*+n+w}(Y_{n,T_0},L_{c_{up}},\beta L_{c_{up}}).
\]
The paper proves that this is an annular link invariant over any field and that the \(U\)-adic filtration produces a spectral sequence with \(E_1\)-page \(AKh^{\mathrm{symp}}(L)\) and \(E_\infty\)-page \(Kh^{\mathrm{symp}}(L)\) [2408.06453].

A plausible implication is that annular refinements are not merely auxiliary gradings on the ordinary theory. In the symplectic formulation they arise from an actual divisor filtration, and this filtration is the basis for the localization spectral sequences discussed below.

## 5. Functoriality, localization, and variant constructions

Functoriality with respect to link cobordisms was established in "An invariant of link cobordisms from symplectic Khovanov homology" [0912.5067]. The construction generalizes Seidel’s relative invariants from exact Lefschetz fibrations to exact Morse–Bott–Lefschetz fibrations with non-compact singular loci. For a smooth, properly embedded oriented surface cobordism \(\Sigma:L_0\to L_1\) in \(\mathbb{R}^3\times [0,1]\), the paper defines a homomorphism
\[
F_\Sigma:SKh(L_0)\to SKh(L_1)
\]
well defined up to an overall sign and functorial under composition:
\[
F_{\Sigma_2\circ \Sigma_1}=\pm F_{\Sigma_2}\circ F_{\Sigma_1}.
\]
The resulting structure is a functor from the category of links and smooth cobordisms to singly graded abelian groups and graded homomorphisms up to sign [0912.5067].

The elementary cobordism maps recover the Frobenius-algebra operations on \(H^*(S^2)\cong \mathbb{Z}[X]/(X^2)\). In the splitting regime one obtains multiplication and comultiplication
\[
m(1\otimes 1)=1,\quad m(X\otimes 1)=X,\quad m(1\otimes X)=X,\quad m(X\otimes X)=0,
\]
\[
\Delta(1)=1\otimes X + X\otimes 1,\quad \Delta(X)=X\otimes X,
\]
while creation and annihilation maps act by \(r\mapsto r\otimes 1\) and by \(r\otimes 1\mapsto 0\), \(r\otimes X\mapsto r\) [0912.5067]. This is one of the clearest points where symplectic Khovanov type homology reproduces the TQFT pattern behind Khovanov homology.

The annular theory supports further equivariant constructions. Using Seidel–Smith localization for \(\mathbb{Z}/2\)-equivariant Floer theory, [2408.06453] establishes three spectral sequences: from \(AKh^{\mathrm{symp}}(mL)\) to link Floer homology of the lift of the annular axis in the double branched cover; from \(Kh^{\mathrm{symp}}(L)\) of a \(2\)-periodic link to \(AKh^{\mathrm{symp}}\) of the quotient; and from \(Kh^{\mathrm{symp}}(K)\) of a strongly invertible knot to the cone of an axis-moving map between the annular invariants of the two quotient resolutions. The paper also proves dimension inequalities such as
\[
\dim AKh^{\mathrm{symp}}(L;\mathbb{F}_2)\ge 2\cdot \dim HFK(\Sigma_2(L),\tilde A;\mathbb{F}_2)
\]
when the linking number of the axis with \(L\) is odd [2408.06453].

A different reduced symplectic Khovanov-type theory is developed from \(R^*(T^2,2)\), the irreducible traceless \(SU(2)\) character variety of the twice-punctured torus [2210.16452]. For a \(1\)-tangle diagram in the annulus, the paper associates a twisted complex \((X,\delta)\) in a conjectural Fukaya category generated by immersed Lagrangians \(L_n\). For links in \(S^3\), the cohomology of the resulting cochain complex reproduces reduced Khovanov homology, although the cochain complex itself is not the usual one. The same framework suggests a link invariant for some links in \(S^2\times S^1\), but the analytic description of the full \(A_\infty\)-structure in dimension four is stated as conjectural [2210.16452].

The combinatorial shadow of this character-variety program appears in "Khovanov homology via 1-tangle diagrams in the annulus" [2102.10748]. There the reduced Khovanov homology of a link \(L\subset S^3\) is expressed as the homology of a chain complex built from a \(1\)-tangle diagram \(T\) in the annulus. The complex has short differentials from individual saddles and long differentials corresponding to pairs of successive saddles in the cube of resolutions, together with a natural filtration whose spectral sequence converges to reduced Khovanov homology. The paper identifies this complex with the one predicted by the \(R^*(T^2,2)\) symplectic model [2102.10748].

## 6. Gauge-theoretic, Fukaya–Seidel, and higher-dimensional extensions

Several recent works place symplectic Khovanov type homology within broader symplectic and gauge-theoretic frameworks. "Adiabatic Solutions of the Haydys-Witten Equations and Symplectic Khovanov Homology" proposes an equivalence between adiabatic solutions of a decoupled Haydys–Witten system and non-vertical paths in the moduli space of extended Bogomolny equation solutions fibered over monopole positions [2501.01365]. The paper argues that a Grothendieck–Springer-type space provides a finite-dimensional model of this moduli space and suggests a correspondence between gauge-theoretic Floer generators and intersections of transported Lagrangians associated to crossingless matchings. It conjectures that the resulting decoupled Haydys–Witten Floer homology equals symplectic Khovanov–Rozansky homology, but it also states that compactness, transversality, gluing, and uniqueness for the relevant PDE moduli spaces remain open [2501.01365].

A different symplectic realization is provided by "Aganagic’s invariant is Khovanov homology" [2505.00327]. In the \(\mathfrak{sl}_2\) case, for the multiplicative Coulomb branch \(M^\times(\bullet,n)\) with superpotential \(W_a\), the invariant
\[
Kh_A(\bar\beta):=
Hom_{Fuk(M^\times(\bullet,n),W_a)}(\cup_A^n,\rho_A(\beta)\cup_A^n)
\]
is shown to agree with Khovanov homology with both gradings and over \(\mathbb{Z}\). The proof uses an embedding of Webster’s cylindrical KLRW category into the Fukaya–Seidel category and shows that the embedding intertwines Webster’s braid action with the monodromy action. In this setting the Jones grading is realized geometrically by an \(H^1\)-class on the Coulomb branch, and the result is explicitly stated to hold with integer coefficients [2505.00327].

The phrase “symplectic Khovanov type homology” is therefore not restricted to the nilpotent-slice/Hilbert-scheme model. A plausible summary is that the term now encompasses a class of constructions in which Khovanov-style invariants arise from symplectic or Floer-theoretic data attached to braids, crossingless matchings, or tangle decompositions, with exact triangles, monodromy, and \(A_\infty\)-structures playing the role traditionally occupied by the cube of resolutions.

The most far-reaching generalization in the supplied literature is "Towards a symplectic Khovanov homology for links in fibered \(3\)-manifolds" [2510.26164]. For a transverse link in a fibered closed \(3\)-manifold \(N_{(S,h)}\), the paper defines a wrapped \(A_\infty\)-category \(\mathcal{R}^\star(S,n,\mathfrak{a})\) from a Weinstein Lefschetz fibration \(W_{S,n}\to S\), constructs a bimodule
\[
B^\star(S,n,\mathfrak{a};\mathfrak{b},h),
\]
and takes Hochschild homology
\[
HH^\star(S,n,\mathfrak{a};\mathfrak{b},h):=
HH_*(\mathcal{R}^\star(S,n,\mathfrak{a}),B^\star(S,n,\mathfrak{a};\mathfrak{b},h))
\]
as the invariant. In the closed case the theory depends on an auxiliary class \([a]\in \pi_1^{h_*}(\bar S,0)\). The paper proves invariance of the triangulated envelope of the surface category under changes of parametrization and proves invariance of the Hochschild homology under transverse isotopy, while the proposed combinatorial dga models for general surfaces are explicitly conjectural [2510.26164].

Across these extensions, the principal limitations are stated rather than hidden. The equality with combinatorial Khovanov homology is established over characteristic zero in the nilpotent-slice model [1504.01230], the bigraded refinement is proved over characteristic zero [2111.07792], positive-characteristic non-formality is not ruled out by the formality method [1504.01230], the \(R^*(T^2,2)\) \(A_\infty\)-structure is partly conjectural [2210.16452], the gauge-theoretic correspondence remains conjectural [2501.01365], and the surface-dga description for fibered \(3\)-manifolds is conjectural beyond the proved local and categorical results [2510.26164]. This suggests that the subject is both structurally unified and technically stratified: some realizations are theorem-level identifications, while others currently serve as geometric programs or conjectural frameworks.

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