Skein Transfer Bimodules

• Skein transfer bimodules are algebraic devices that encode the passage of skein-theoretic data across topological modifications such as handle attachments and cutting-gluing operations via tensor products and Hochschild homology.
• They unify different frameworks—from internal skein modules in compression bodies and lasagna modules in 4-manifolds to categorified variants using singular Soergel bimodules—supporting TQFT compositions.
• By preserving finiteness and holonomicity, these bimodules offer a structural mechanism to manage skein relations and quantum invariants across varied topological and derived settings.

Skein transfer bimodules are bimodules that encode how skein-theoretic data is transported across handle attachments, compression bodies, cutting-and-gluing operations, and more general cobordisms. In recent work the notion appears in several closely related guises: as internal skein modules of compression bodies viewed as bimodules over internal skein algebras (Jordan et al., 26 Sep 2025), as the algebraic shadow of gluing in skein lasagna modules for 4-manifolds (Martin et al., 19 Feb 2026), as bimodule-valued assignments in stated skein TQFT (Costantino et al., 2022), as derived skein bimodules governed by bar constructions (Bai, 9 Jun 2026), and as chain-level transfer mechanisms in categorified skein relations for singular Soergel bimodules (Hogancamp et al., 2021). A common feature is that topological modification is implemented algebraically by a bimodule, with composition expressed by relative tensor product, Hochschild homology, or derived tensor product.

1. Scope and terminology

The expression “skein transfer bimodule” is not attached to a single universal definition across all skein-theoretic settings. In the most explicit use, the term denotes internal skein modules associated to compression bodies, obtained topologically by 2-handle attachments and regarded as bimodules over internal skein algebras of the incoming and outgoing boundaries (Jordan et al., 26 Sep 2025). In a broader 4-dimensional framework, skein lasagna modules are interpreted as bimodules over algebras attached to gluing 3-manifolds, and the tensor product over the boundary algebra is described as the algebraic shadow of gluing, making the construction a prototype for skein transfer bimodules (Martin et al., 19 Feb 2026). In the derived setting, the derived skein module of a bordism is explicitly presented as a bimodule or kernel between skein categories, and is identified as the prototypical “skein transfer bimodule” (Bai, 9 Jun 2026).

This suggests that the stable content of the term is functional rather than purely definitional. A skein transfer bimodule is the object that mediates passage between skein modules, skein algebras, or skein categories attached to different boundary conditions or different stages of a topological construction. Depending on the framework, the boundary algebra may be an internal skein algebra, a stated skein algebra, a dg skein category, or a half-braided algebra. The transfer mechanism may be elementary 2-handle attachment, arbitrary gluing along a surface, or categorical skein transfer at the level of complexes.

A common misconception is that transfer bimodules are only auxiliary bookkeeping devices. The literature instead uses them as structural objects: they define direct and inverse image analogues in the $q$-skein setting, organize handle-attachment formulae in dimension four, realize TQFT composition in Morita-type targets, and support finiteness and holonomicity arguments (Jordan et al., 26 Sep 2025).

2. Compression bodies and internal skein transfer bimodules

The most direct algebraic formulation arises in the study of finiteness and holonomicity of skein modules with boundary. In this setting, internal skein algebras $A_{\Sigma,P}$ are attached to a surface $\Sigma$ with a collection $P$ of “gates,” and are described as deformation quantizations of moduli spaces of framed $G$-local systems. For a compression body $C$, the internal skein transfer bimodule is the internal skein module of $C$, viewed as a bimodule over the internal skein algebras of its incoming and outgoing boundaries (Jordan et al., 26 Sep 2025): $$A(C):=SkMod_{\mathcal A;(P,P')}(C)\in A_{\partial_{\mathrm{in}}C;P}\text{-}A_{\Sigma;P'}\text{-Bimod}.$$

The topological origin is 2-handle attachment. The construction focuses on two standard cases. For a non-separating 2-handle attachment $C_\alpha$, which kills a single generator and reduces the genus by one, the bimodule is

$$A_{g-1\rightarrow g}:=A(C_\alpha)\cong (A-I)\backslash D_q(G)\otimes D_q(G)^{g-1}\otimes D'_q(G)^{r-1}.$$

For a separating 2-handle attachment $A_{\Sigma,P}$0, which splits the surface into two pieces, the bimodule is

$A_{\Sigma,P}$1

Here $A_{\Sigma,P}$2 is the augmentation ideal in the reflection equation algebra $A_{\Sigma,P}$3, and the left and right actions are induced by identification of factors and the quantum moment map, with braidings providing the necessary twisting for noncommutative algebras (Jordan et al., 26 Sep 2025).

These bimodules are organized functorially. Transfer bimodules for general compression bodies are obtained as tensor products of the elementary 2-handle transfer bimodules. The paper makes the analogy with classical $A_{\Sigma,P}$4-module theory explicit: transfer bimodules in the quantum skein setting play the same formal role as transfer bimodules for direct and inverse image functors, and the corresponding operations are constructed by tensoring with these bimodules. The central theorem is that tensoring with transfer bimodules preserves holonomicity. This preservation result is then used inductively to prove that, for generic $A_{\Sigma,P}$5 and $A_{\Sigma,P}$6, the skein module $A_{\Sigma,P}$7 is holonomic, hence finitely generated, over the internal skein algebra $A_{\Sigma,P}$8 (Jordan et al., 26 Sep 2025).

3. Four-dimensional gluing and handle attachments

A second major line of development arises in skein lasagna modules for 4-manifolds. For a 4-manifold $A_{\Sigma,P}$9, an embedded framed 3-manifold $\Sigma$0 with parameterization $\Sigma$1, and a tangle $\Sigma$2 in the complement of $\Sigma$3 in $\Sigma$4, the skein lasagna module of the triple is defined by (Martin et al., 19 Feb 2026)

$\Sigma$5

where $\Sigma$6 ranges over framed tangles with boundary determined by $\Sigma$7. This module is a right module over the algebra $\Sigma$8, built from skein lasagna modules on the cylinder $\Sigma$9. The resulting gluing homomorphism is

$P$0

for $P$1. The paper states that the tensor product over $P$2 is exactly the algebraic shadow of gluing, making the construction a prototype for skein transfer bimodules (Martin et al., 19 Feb 2026).

Handle attachments become special cases of this gluing formalism. For a 1-handle attachment, the resulting module is described as the $P$3-th Hochschild homology of $P$4 over $P$5. For a 2-handle attachment along $P$6, gluing produces a quotient by relations coming from the algebra of standard sheets, braids, and tangles in $P$7. For a 3-handle attachment along $P$8, one obtains a quotient by the images of the algebra action from the attaching sphere. These formulae generalize existing results of Chen, Manolescu–Neithalath, Manolescu–Walker–Wedrich, and Ren–Willis, and apply to any functorial link theory satisfying the stated monoidality and functoriality hypotheses (Martin et al., 19 Feb 2026).

The skein lasagna module itself is generated by lasagna fillings, namely properly embedded framed oriented surfaces together with input balls labelled by Khovanov–Rozansky homology classes, modulo linearity, local replaceability, and isotopy relations (Manolescu et al., 2020). For 2-handlebodies, the theory admits an explicit presentation by cabled diagrams. In particular, for a 2-handlebody $P$9 obtained from $G$0 by attaching 2-handles along a framed link $G$1, the subgroup in homology class $G$2 is identified with a cabled Khovanov–Rozansky homology $G$3, with relations generated by braid group relations and cobordism relations. The summary explicitly describes these as “skein transfer” relations, mirroring the structure of skein bimodules in 3-manifolds (Manolescu et al., 2020).

The handle-decomposition formalism of skein lasagna modules makes this transfer structure more categorical. For 1-handles, the skein lasagna module is described as a coinvariant or Hochschild-type quotient over the “3-ball category” associated to tangles in $G$4; for 3-handles, it is a coequalizer of the two hemisphere-capping maps (Manolescu et al., 2022). This recasts local topological operations as algebraic passage to traces, coequalizers, and tensor products, which is precisely the environment in which transfer bimodules operate.

4. Categorified colored skein transfer

In a distinct but closely related categorified direction, singular Soergel bimodules provide a chain-level realization of colored skein transfer. The paper on singular Soergel bimodules studies the skein relation governing the HOMFLYPT invariant of links colored by one-column Young diagrams and proves a categorification of this colored skein relation. The basic objects are Rickard complexes of singular Soergel bimodules associated to braided MOY webs, together with a Koszul complex built from a colored digon web (Hogancamp et al., 2021).

The main result is a homotopy equivalence between the Koszul complex and a one-sided twisted complex built from Rickard complexes of “threaded digons”: $G$5 The twisted complex is upper triangular in the index $G$6, and the proof proceeds by constructing a filtration on $G$7, identifying subquotients with threaded-digon Rickard complexes, and transferring differential data by homological perturbation. Braided MOY webs supply the graphical realization of singular Bott–Samelson bimodules, while merges, splits, zips, unzips, and threading operations encode the colored crossing data (Hogancamp et al., 2021).

The same paper proves Beliakova–Habiro’s conjecture by showing that

$G$8

This identifies the $G$9 row with the categorical ribbon element in categorified quantum $C$0. The summary states that this realizes a “categorical colored skein transfer” through explicit homotopy equivalences built from Rickard complexes and web combinatorics (Hogancamp et al., 2021). Although this setting differs from boundary skein algebras and handle-attachment bimodules, it exhibits the same transfer principle: a skein relation is lifted to a homotopy equivalence between bimodule-type complexes, and the transfer of algebraic information is made explicit at chain level.

5. Morita-valued stated skein TQFTs

For stated skein modules, the transfer formalism is expressed through Morita theory. The stated skein assignment is interpreted as a symmetric monoidal functor

$C$1

where objects are marked surfaces and morphisms are decorated cobordisms; the target category has algebras as objects and isomorphism classes of bimodules as morphisms, with composition given by relative tensor product (Costantino et al., 2022). A marked surface $C$2 is assigned the stated skein algebra $C$3, and a cobordism $C$4 is assigned a canonical $C$5-bimodule.

The gluing theorem is formulated in Hochschild-theoretic terms. If a marked 3-manifold $C$6 is cut along a properly embedded surface $C$7, yielding $C$8, then

$C$9

where the bimodule structure comes from the two boundary copies of $C$0 in the cut manifold (Costantino et al., 2022). The same paper constructs cutting homomorphisms by a state-sum formula and studies their behavior under connected sums, disk gluings, and deletion of marked balls. In this framework, skein transfer is not an additional structure layered onto the theory; it is the fundamental composition law of the TQFT.

This Morita-valued picture is strengthened by the theory of half-braided algebras and their bimodules internal to a braided category. For a braided monoidal category $C$1, the category $C$2 has half-braided algebras as objects and hb-compatible bimodules as morphisms. The stated skein functor is shown to be a braided balanced functor from a category of cobordisms to this category of algebras and bimodules (Costantino et al., 22 May 2025). Here the algebra assigned to a surface is a half-braided algebra, and the module assigned to a 3-manifold is an hb-compatible bimodule. The braiding on the Morita category is induced by the half-braiding, so the non-symmetric topological braiding of cobordisms is reflected directly in the bimodule target. This replaces a purely associative transfer picture by a braided one.

6. Derived and defect-enhanced extensions

Derived skein theory replaces ordinary gluing by a bar construction and ordinary transfer bimodules by derived ones. In the axiomatic framework for derived skein modules, the derived skein module $C$3 is a chain complex whose $C$4-th homology recovers the ordinary skein module, and whose gluing is governed by a bar construction (Bai, 9 Jun 2026). For a bordism $C$5, the derived skein module of the bordism defines a bimodule or kernel between the corresponding derived skein categories; the paper identifies this as the prototypical “skein transfer bimodule.” For a gluing $C$6, the excision axiom gives

$C$7

and for self-gluing one obtains a Hochschild formula

$C$8

The transfer operation is therefore derived relative tensor product rather than ordinary tensor product (Bai, 9 Jun 2026).

Defect skein theory introduces another bimodule enhancement. In the HOMFLY setting with parabolic restriction, central algebras and centred bimodules are constructed as algebraic ingredients for skein theory on 3-manifolds with surface and line defects (García, 6 Jan 2026). Surface defects are labelled by parabolic subgroups, and cutting a surface along a defect is mediated by a centred bimodule compatible with the centers of the corresponding skein algebras. The paper states that the Turaev coproduct on the HOMFLY skein algebra is recovered as a particular instance of this theory, and that the coproduct is compatible with the cutting and gluing of surfaces. This moves transfer bimodules into a defect-decorated setting, where compatibility with centers becomes part of the gluing formalism.

A plausible implication is that transfer-bimodule formalisms also admit symmetry-enriched versions. The paper on equivariant skein lasagna modules constructs an $C$9-action on the equivariant skein lasagna module and, in the detailed summary, describes bimodule structures compatible with this action through smash products and twisting by “green dots” (Qi et al., 3 Apr 2026). While the abstract emphasizes the $$A(C):=SkMod_{\mathcal A;(P,P')}(C)\in A_{\partial_{\mathrm{in}}C;P}\text{-}A_{\Sigma;P'}\text{-Bimod}.$$0-action rather than a standalone definition of transfer bimodules, the surrounding formalism points toward equivariant versions of transfer.

7. Structural consequences, limitations, and subtleties

The principal structural payoff of skein transfer bimodules is control over finiteness and holonomicity. In the internal skein setting, the main theorem states that internal skein modules are holonomic modules over the internal skein algebra of the boundary, and that this property includes finite generation and a Lagrangian support condition. The proof is inductive on handle attachments and relies on the preservation of holonomicity under tensoring with transfer bimodules (Jordan et al., 26 Sep 2025). In this sense, transfer bimodules are not merely compositional devices; they are the mechanism by which global structural properties are propagated through a manifold decomposition.

At the same time, transfer phenomena are sensitive to the ambient skein regime. For stated skein modules, several natural maps associated with gluing are injective for surfaces or for generic quantum parameter, but can fail to be injective at roots of unity. The paper proves non-injectivity for connected-sum maps, cutting homomorphisms, Chebyshev–Frobenius maps, and deletion of marked balls; it also shows that, when the quantum parameter is a root of $$A(C):=SkMod_{\mathcal A;(P,P')}(C)\in A_{\partial_{\mathrm{in}}C;P}\text{-}A_{\Sigma;P'}\text{-Bimod}.$$1, the empty skein is zero in a connected sum where each constituent manifold has non-empty marking (Costantino et al., 2022). This is a substantive caveat: transfer does not always preserve information faithfully, and the failure is controlled by genuinely non-local skein relations.

A different limitation appears in dimension four. Skein lasagna modules can be locally infinite dimensional. For $$A(C):=SkMod_{\mathcal A;(P,P')}(C)\in A_{\partial_{\mathrm{in}}C;P}\text{-}A_{\Sigma;P'}\text{-Bimod}.$$2, the paper shows that $$A(C):=SkMod_{\mathcal A;(P,P')}(C)\in A_{\partial_{\mathrm{in}}C;P}\text{-}A_{\Sigma;P'}\text{-Bimod}.$$3 is $$A(C):=SkMod_{\mathcal A;(P,P')}(C)\in A_{\partial_{\mathrm{in}}C;P}\text{-}A_{\Sigma;P'}\text{-Bimod}.$$4-dimensional, $$A(C):=SkMod_{\mathcal A;(P,P')}(C)\in A_{\partial_{\mathrm{in}}C;P}\text{-}A_{\Sigma;P'}\text{-Bimod}.$$5 is $$A(C):=SkMod_{\mathcal A;(P,P')}(C)\in A_{\partial_{\mathrm{in}}C;P}\text{-}A_{\Sigma;P'}\text{-Bimod}.$$6-dimensional, and for $$A(C):=SkMod_{\mathcal A;(P,P')}(C)\in A_{\partial_{\mathrm{in}}C;P}\text{-}A_{\Sigma;P'}\text{-Bimod}.$$7, $$A(C):=SkMod_{\mathcal A;(P,P')}(C)\in A_{\partial_{\mathrm{in}}C;P}\text{-}A_{\Sigma;P'}\text{-Bimod}.$$8 is infinite-dimensional even in bidegree $$A(C):=SkMod_{\mathcal A;(P,P')}(C)\in A_{\partial_{\mathrm{in}}C;P}\text{-}A_{\Sigma;P'}\text{-Bimod}.$$9 (Manolescu et al., 2022). Thus, transfer formalisms do not automatically imply finiteness; in some settings they instead expose infinite-dimensional trace or Hochschild structures.

Taken together, these developments position skein transfer bimodules as a unifying algebraic technology across low-dimensional topology, categorification, and TQFT. Their concrete realization varies—from internal skein modules of compression bodies, to Morita-theoretic bimodules of stated skein TQFT, to derived kernels governed by bar constructions, to categorical skein transfer via Rickard complexes—but the underlying principle is stable: handle attachments, cuts, gluings, and defect insertions are encoded by bimodules whose tensorial composition reproduces topological composition.