---
title: Skein Exact Triangles in Floer Homology
url: https://www.emergentmind.com/topics/skein-exact-triangles
type: topic
---

# Skein Exact Triangles in Floer Homology

Skein exact triangles are exact-triangle or long exact sequence relations in which three homological objects are attached to links, tangles, webs, spatial graphs, or surgery data that agree outside a ball and differ only by a prescribed local replacement. In the literature represented here, the local models range from a crossing tangle together with its two unoriented resolutions, to oriented crossing-change triples, trivalent web replacements, vertex moves in spatial graphs, and rational-tangle substitutions; exactness is realized by mapping cones, holomorphic polygon counts, standard foam or saddle cobordism maps, and family-metric arguments in gauge theory [1811.00134], [1508.07207], [2109.13694], [2509.08317].

## 1. Local models and the formal meaning of skein exactness

In Floer and knot-homological settings, a skein exact triangle typically relates three objects assigned to three links or tangles differing only in a small ball, and exactness means that they fit into a long exact sequence or an exact triangle in an appropriate homological category [1901.01556]. The fundamental unoriented local picture is the triple \((L,L_0,L_1)\), where \(L_0\) and \(L_1\) are the two unoriented resolutions of a chosen crossing of \(L\); the oriented analogue is \((L_+,L_-,L_o)\), where \(L_o\) is the canonically oriented resolution compatible with the crossing orientation [1901.01556].

A particularly flexible formulation appears in bordered–sutured Floer homology. There one fixes elementary tangles
\[
\elTan_k=(\overline{B^3},\elT_k), \qquad k\in\{\infty,0,1\},
\]
with \(\elT_\infty\) the crossing tangle and \(\elT_0,\elT_1\) its two resolutions, and then considers tangles
\[
\Tan_k=(Y,T_k), \qquad k\in\{\infty,0,1\},
\]
in an arbitrary compact oriented \(3\)-manifold \(Y\), required to agree with \(\elT_k\) inside an embedded \(\overline{B^3}\subset \operatorname{int}(Y)\) and to coincide outside that ball [1811.00134]. In this formulation no orientation on the tangle strands is required, which is precisely why the triangle is unoriented [1811.00134].

Later extensions replace the classical crossing triple by more general local data. In tangle Floer homology one has both the unoriented triple \((T_\infty,T_0,T_1)\) and the oriented triple \((T_+,T_-,T_0)\) at the level of type \(DD\) bimodules [1611.04065]. In link Floer homology one can instead start from rational tangles \((R_0,R_1,R)\), with \(R_0\) the trivial tangle and \(R_1\) the positive half-twist, and ask for exact triangles for all skein triples of that local tangle type [2509.08317].

| Setting | Local triple | Exactness form |
|---|---|---|
| Knot or tangle Floer | \((L_\infty,L_0,L_1)\), \((T_\infty,T_0,T_1)\) | mapping cone or long exact sequence |
| Oriented skein theory | \((L_+,L_-,L_o)\), \((T_+,T_-,T_0)\) | exact triangle with graded shifts |
| Web instanton homology | \((L_2,L_1,L_0)\) | \(3\)-periodic exact sequence |
| Rational-tangle Floer | \((R_0,R_1,R)\) | exact triangle with auxiliary graded modules |

The terminology is not completely uniform across the literature. Some papers study the same three-link local geometry but only at the level of recursive closure or exact sequences of algebras, rather than distinguished triangles of chain complexes; those distinctions are substantial and recur throughout the subject.

## 2. Chain-level mechanisms: cones, polygons, and homotopies

A dominant mechanism is the mapping-cone description. In bordered–sutured Floer homology, if \(Y_k=Y\setminus \nu(T_k)\) and
\[
\mathcal Y_k=(Y_k,\Gamma_k,Z_1\amalg Z_2,\phi_k)
\]
satisfies the minimal compatibility conditions imposed away from the skein ball, then the main theorem states
\[
\BSDA(\mathcal Y_k)\simeq \Cone\bigl(F_{k+1}:\BSDA(\mathcal Y_{k+1})\to \BSDA(\mathcal Y_{k-1})\bigr),
\]
equivalently
\[
\BSDA(\mathcal Y_\infty)\xrightarrow{F_\infty}\BSDA(\mathcal Y_0)\xrightarrow{F_0}\BSDA(\mathcal Y_1)\xrightarrow{F_1}\BSDA(\mathcal Y_\infty)[1].
\]
The proof is first local, at the level of the elementary complements \(\mathcal B_k\), and is then globalized by the bordered–sutured pairing theorem [1811.00134].

At chain level, this exactness is usually verified by the same homological-algebra pattern. One constructs chain maps \(f_k\), null-homotopies \(\varphi_k\) for the composites \(f_{k+1}f_k\), and higher homotopies \(\psi_k\) satisfying an identity that makes the relevant mapping cone quasi-isomorphic to the remaining vertex. In Wong’s grid-diagram proof of Manolescu’s triangle, the maps are defined by counting empty pentagons and triangles,
\[
f_k=P_k+T_k,
\]
the null-homotopies by empty hexagons and quadrilaterals,
\[
\varphi_k=H_k+Q_k,
\]
and the final homotopies by heptagons,
\[
\psi_k=K_k,
\]
with the key identities
\[
f_{k+1}f_k+\partial_{k+2}\varphi_k+\varphi_k\partial_k=0,
\]
and
\[
\varphi_{k+1}f_k+f_{k+2}\varphi_k+\partial_k\psi_k+\psi_k\partial_k=\mathrm{id}_{C_k}
\]
[1305.2562].

The same architecture appears in local Heegaard-Floer models with twisted complexes. In unoriented link Floer homology \(HFL'\), the local theorem identifies a twisted complex
\[
\boldsymbol{\beta}_a \xrightarrow{\tau} \boldsymbol{\beta}_b
\]
with an object \(\boldsymbol{\beta}_c^E\) carrying a rank-two local system \(E\), and the exact triangle follows from a mapping-cone argument using the associated band maps [2501.01047]. This chain-level viewpoint is pervasive: exactness is not an afterthought on homology, but is built from concrete polygon counts, cobordism counts, or explicit algebraic cones.

## 3. Heegaard Floer, knot Floer, and tangle Floer realizations

For links in \(S^3\), Manolescu’s unoriented skein triangle for \(\widehat{HFK}\) was rederived combinatorially by Wong using grid diagrams. If \(L_\infty\) is a link and \(L_0,L_1\) are the two resolutions of a chosen crossing, with \(\ell_k\) the numbers of components and \(m=\max\{\ell_\infty,\ell_0,\ell_1\}\), then one has an exact triangle
\[
\dotsb \to \widehat{HFK}(L_\infty;\mathbb F_2)\otimes V^{m-\ell_\infty}
\to \widehat{HFK}(L_0;\mathbb F_2)\otimes V^{m-\ell_0}
\to \widehat{HFK}(L_1;\mathbb F_2)\otimes V^{m-\ell_1}
\to \dotsb,
\]
and Wong extends the combinatorial proof from \(\mathbb F_2\) to \(\mathbb Z\) by sign refinements, then iterates the triangle to obtain a cube-of-resolutions complex converging to knot Floer homology [1305.2562].

Petkova–Wong’s tangle Floer construction moves the triangle to the local tangle level. For an unoriented skein triple of tangles \(T_\infty,T_0,T_1\), they prove
\[
\widetilde{\mathrm{CT}}(T_\infty,n)\simeq \Cone\bigl(F_0:\widetilde{\mathrm{CT}}(T_0,n)\to \widetilde{\mathrm{CT}}(T_1,n)\bigr)
\]
as ungraded type \(DD\) structures, and they also prove an oriented skein relation in which
\[
\Cone(P)\simeq \widetilde{\mathrm{CT}}(T_0,n)[0]\{-1/2\}\oplus \widetilde{\mathrm{CT}}(T_0,n)[1]\{1/2\}
\]
in the blocked bigraded theory [1611.04065]. The essential point is that the skein triangle is first established locally, at the level of tangle bimodules, and only afterward recovered for \(\widehat{HFK}\) by gluing and box tensor products [1611.04065].

Bordered–sutured Floer homology pushes this locality further. The triangle is proved first for the complements of the three elementary tangles in a \(3\)-ball and then promoted, via the bordered–sutured pairing theorem, to tangles in arbitrary ambient \(3\)-manifolds with bordered boundary and mild hypotheses on the sutures [1811.00134]. In the closed case this reduces to a triangle for \(\widehat{HFK}(Y,L_k)\otimes V^{m-\ell_k}\), and for \(Y=S^3\) the result is shown to agree with Manolescu’s theorem [1811.00134].

Two later link-Floer developments enlarge the local repertoire. Nahm defines band maps in unoriented link Floer homology \(HFL'\), where \(w\)- and \(z\)-basepoints are treated symmetrically, and proves an \(\mathbb F\llbracket U\rrbracket\)-linear unoriented skein exact triangle
\[
\cdots\to\boldsymbol{HFL'}^{-}(Y,L_a)\to\boldsymbol{HFL'}^{-}(Y,L_b)\to\boldsymbol{HFL'}^{-}(Y,L_c)\to\boldsymbol{HFL'}^{-}(Y,L_a)\to\cdots
\]
for the three band maps in cyclic order, together with analogous \(\infty\)- and hat-version triangles [2501.01047]. Eftekhary constructs a new family of skein exact triangles in link Floer homology for skein triples of rational tangles \((R_0,R_1,R)\), and in particular for
\[
(R_0,R_1,R_{2n+1}),
\]
where \(R_k\) is obtained from the trivial tangle by \(k\) positive half-twists. In that case
\[
V_k=\bigoplus_{i=0}^{k-1}\mathbb F(v_i), \qquad \deg(v_i)=(i,i),
\]
and the exact triangle takes the form
\[
HFK(\mathcal K_0)\otimes V_{2n}\to HFK(\mathcal K_1)\otimes V_{2n+1}\to HFK(\mathcal K_2)\to\cdots
\]
with maps of degrees \((0,0)\), \((0,0)\), and \((-1,0)\) in the general framework [2509.08317].

## 4. Gauge-theoretic, web, and graph extensions

In \(\mathrm{SO}(3)\) instanton theory for webs, Kronheimer–Mrowka prove a genuine skein exact triangle for the web homology \(\Jsharp\). If \(L_2,L_1,L_0\subset Y\) are identical outside a ball and differ by the three standard local trivalent configurations, then the foam cobordism maps fit into the \(3\)-periodic exact sequence
\[
\dots \to J(Y,L_2;\mu)\to J(Y,L_1;\mu)\to J(Y,L_0;\mu)\to J(Y,L_2;\mu)\to\cdots,
\]
and in \(\mathbb R^3\) this specializes to
\[
\cdots\to \Jsharp(L_2)\to \Jsharp(L_1)\to \Jsharp(L_0)\to \Jsharp(L_2)\to\cdots.
\]
The same paper also realizes an octahedral axiom by organizing four exact triangles into an octahedral diagram [1508.07207].

Real monopole Floer homology provides another branched-cover refinement. For an unoriented skein triple \((K_0,K_1,K_2)\), Li proves that the real monopole groups
\[
\widecheck{\HMR}_*(K_i),\qquad \widehat{\HMR}_*(K_i),\qquad \overline{\HMR}_*(K_i)
\]
fit into exact triangles for each flavor, with maps induced by the elementary saddle cobordisms after passing to double branched covers and restricting Seiberg–Witten theory to the fixed locus of an anti-linear involution [2304.01742].

Equivariant singular instanton Floer theory yields a more delicate three-case picture. For a nonzero-determinant skein triple \((L,L',L'')\) in an integer homology \(3\)-sphere, the \(S\)-complexes
\[
\widetilde C(Y,L),\qquad \widetilde C(Y,L'),\qquad \widetilde C(Y,L'')
\]
fit into exact triangles whose form depends on
\[
\delta=\frac12\bigl(\epsilon(L,L')-\epsilon(L'',L)\bigr)\in\{-1,0,1\}.
\]
When \(\delta=\pm1\), one vertex must be suspended, and the suspension correction matches the extra term in the Euler-characteristic skein relation for the Murasugi signature [2409.16390].

Spatial graphs support a vertex-based analogue. Zhuang’s grid homology for oriented spatial graphs extends the singular-knot skein exact sequence to a local replacement at a vertex of valence at least \(4\), producing exact sequences such as
\[
\cdots \longrightarrow GH^-(G_+) \longrightarrow H_*\!\left(\frac{GC^-(G)}{V_a+V_b-V_c-V_d}\right) \longrightarrow GH^-(\mathcal R_G) \longrightarrow GH^-(G_+) \longrightarrow \cdots
\]
and analogous hat and \(G_-\) versions [2109.13694]. The local move is at a vertex rather than a crossing, but the proof again passes through mapping-cone identifications.

A nearby but distinct development is Bhat’s surgery exact triangle in instanton theory. It relates
\[
I^\#(Y_n(K);\mathbb Z),\qquad I^\#(Y_{n+2}(K);\mathbb Z),\qquad I^\#(Y,K;\mathbb Z),
\]
is built from orbifold rational surgery traces and singular instanton cobordism maps, and is explicitly presented as a surgery triangle rather than a crossing-resolution skein triangle [2311.04242]. Its role in the present context is structural adjacency rather than direct inclusion in the skein-triangle canon.

## 5. Locality, gradings, coefficients, and refinements

A recurrent theme is that skein exact triangles are fundamentally local. The bordered–sutured result is explicit on this point: the triangle is first proved for the complements of the three elementary tangles inside a \(3\)-ball and only then promoted to arbitrary \(3\)-manifolds by gluing [1811.00134]. Tangle Floer homology and the rational-tangle constructions exhibit the same principle: the local bimodule or local characteristic-link data determines the global exact triangle after tensoring or gluing [1611.04065], [2509.08317].

Theories differ sharply in their grading behavior. Wong shows that the unoriented skein triangle in grid homology does not preserve the full Maslov/Alexander bigrading, but it does admit a \(\delta\)-graded refinement and a signature-normalized form
\[
\dotsb \to \widehat{GH}_{*-\sigma(L_1)/2}(L_1;R)\otimes V^{n-\ell_1}
\to \widehat{GH}_{*-\sigma(L_\infty)/2}(L_\infty;R)\otimes V^{n-\ell_\infty}
\to \widehat{GH}_{*-\sigma(L_0)/2}(L_0;R)\otimes V^{n-\ell_0}
\to \dotsb
\]
[1305.2562]. In tangle Floer homology, the unoriented triangle has explicit \(\delta\)-degree shifts determined by the local crossing counts \(e_0,e_1\), while the oriented triangle is stated in \((M,A)\)-bigraded form [1611.04065]. Eftekhary’s rational-tangle triangles fix the map degrees at \((0,0)\), \((0,0)\), and \((-1,0)\) [2509.08317].

Bordered–sutured Floer homology develops a specifically local grading reduction. For the \(4\)-punctured-sphere arc diagram, the refined grading group is
\[
\underline{\mathrm{Gr}}(Z)\cong \mathbb Z\oplus \mathbb Z^3,
\]
and the skein reduction
\[
\underline{\mathrm{Gr}}_{\mathrm{sk}}=\underline{\mathrm{Gr}}(Z)/\langle A_1,A_2,A_3\rangle\cong \mathbb Z
\]
is introduced precisely so that all three local modules lie in a common grading set and the triangle maps become homogeneous [1811.00134].

Coefficients are equally varied. Wong’s grid proof extends from \(\mathbb F_2\) to \(\mathbb Z\) via sign assignments on rectangles and induced signs on higher polygons [1305.2562]. Nahm’s unoriented link Floer theory uses
\[
\mathbb F\llbracket U\rrbracket
\]
and a differential in which \(w\)- and \(z\)-basepoints contribute symmetrically as \(U_i^{1/2}\), reflecting the unoriented nature of the theory [2501.01047]. The equivariant singular instanton \(S\)-complexes support local coefficients and a suspension operator \(\Sigma\) with
\[
H_*(\Sigma^{\pm1}\widetilde C)\cong H_*(\widetilde C), \qquad \chi(\Sigma^n C)=\chi(C)-n\,\chi(\mathsf R),
\]
which is exactly the correction needed when \(\delta=\pm1\) in the signature-governed skein triangle [2409.16390].

These grading and coefficient refinements are not peripheral. They control whether exactness is literal, suspended, stabilized by tensor factors such as \(V\) and \(W\), or only visible after passing to a reduced grading or a completed coefficient ring.

## 6. Analogues, nonexamples, and broader significance

Not every skein-triangle result is an exact triangle in the homological sense. Greene’s generating-set theorem for nonzero determinant links studies the same local triples \((L,L_0,L_1)\) and \((L_+,L_-,L_o)\), but only as a closure principle on sets of links. The main result is that closure under the unoriented skein triangle plus the unknot forces a set to contain all nonzero determinant links, while in the oriented setting one needs the unknot together with all orientations of the Hopf link [1901.01556]. The paper explicitly emphasizes that it does not prove distinguished triangles, long exact homology sequences, or chain-level maps [1901.01556].

Similarly, Higgins’s \(SL_3\) stated skein-algebra work studies triangular decomposition in the geometric sense of ideal triangles in a surface decomposition. It proves an exact sequence
\[
0 \longrightarrow \mathcal S^{\mathrm{st}}_{SL_3}(\Sigma)
\xrightarrow{\Delta}
\bigotimes_{i=1}^n \mathcal S^{\mathrm{st}}_{SL_3}(\mathfrak T_i)
\xrightarrow{\Delta^R-\Delta^L}
\left(\bigotimes_{i=1}^n \mathcal S^{\mathrm{st}}_{SL_3}(\mathfrak T_i)\right)\otimes
\left(\bigotimes_{e\in\mathcal E}\mathcal S^{\mathrm{st}}_{SL_3}(\mathfrak B)\right),
\]
but explicitly does not construct exact triangles in the triangulated-category or Floer-homological sense [2008.09419].

Sahamie’s comparison of a Dehn-twist exact sequence with a surgery exact triangle in knot Floer homology occupies an intermediate position. It produces the exact sequence
\[
\dots\to \widehat{HFK}(Y,K)\xrightarrow{F_1}\widehat{HF}(Y_{-1}(K))
\xrightarrow{F_2}\widehat{HFK}(Y_0(K),\mu)\xrightarrow{\partial_*}\dots
\]
and then shows that the older Dehn-twist sequence fits into a commutative diagram with this surgery triangle, yielding coherent orientations and \(\mathrm{Spin}^c\)-refinements [1002.4141]. This is not a crossing skein triangle, but it clarifies how surgery exactness and skein-type exactness can encode the same phenomenon in different forms [1002.4141].

Taken together, these developments suggest that skein exact triangles are best understood not as a single theorem but as a family of local calculi. In some settings they are literal mapping-cone identities; in others they are surgery triangles on branched covers, exact sequences for graph or web theories, or propagation principles that imitate exactness without chain complexes. This suggests that the central invariant content lies in locality, functoriality under controlled replacement, and the ability to recover one corner of a three-term configuration from the other two.

Source: https://www.emergentmind.com/topics/skein-exact-triangles