Infinitesimal sl(2)-symmetries on the equivariant skein lasagna module

Abstract: We construct an sl(2)-action on the equivariant skein lasagna module.

• The paper introduces a method to construct an infinitesimal sl(2)-action on equivariant skein lasagna modules, enriching 4-manifold TQFT invariants.
• It employs categorified diagrammatics, green-dot twisting, and homological algebra to ensure the compatibility of the sl(2)-action with skein relations.
• Concrete computations for S^4 and S^2×S^2 reveal module decompositions into Verma modules, highlighting sensitivity to smooth structure.

Infinitesimal $\mathfrak{sl}_2$-Symmetries on the Equivariant Skein Lasagna Module

Introduction and Context

The paper "Infinitesimal sl(2)-symmetries on the equivariant skein lasagna module" (2604.02997) provides a systematic construction of an $\mathfrak{sl}_2$-action on the equivariant skein lasagna modules associated with smooth 4-manifolds. These modules, originally introduced by Morrison, Walker, and Wedrich, arise as subtle invariants in the framework of higher representation-theoretic topological quantum field theories (TQFTs), and depend on the functoriality of Khovanov–Rozansky link homology and its equivariant extensions. The novelty of this work lies in making precise how the universal enveloping algebra of $\mathfrak{sl}_2$ acts at the categorified, homological level, and in demonstrating the compatibility of this action with the skein-theoretic relations defining lasagna modules in the equivariant setting.

Homological Setup and Equivariant Structures

The foundational homological algebra framework is established with modules and bimodules over coco-commutative Hopf algebras, in particular, $H = U(\mathfrak{sl}_2)$, as module algebras and their associated smash products. The relative homotopy category $\mathsf{C}^H(A)$, defined via Verdier localization at null-homotopic complexes (with respect to the forgetful functor that discards $H$-equivariance), is the primary setting. Inner hom spaces in this category naturally inherit an $H$-action, which is described explicitly and shown to interact appropriately with tensor-hom adjunction, yielding a robust monoidal enrichment over $U(\mathfrak{sl}_2)$-modules.

Foams, Webs, and the $\mathfrak{sl}_2$-Action

Categorified diagrammatics are utilized throughout: webs are trivalent, oriented graphs embedded in surfaces with additional combinatorial data ("thickness"), while foams are surfaces with singularities and decorations, representing morphisms. The equivariant Khovanov–Rozansky state spaces associated to such webs are shown to bear a nontrivial $\mathfrak{sl}_2$-action, which is realized diagrammatically by operators acting on decorations (via derivatives on polynomials and intertwining with dot/polynomial labels) and morphisms (e.g., by explicit behavior on local foam generators). The action’s compatibility with relations in the foam category ensures the integrity of the module structure.

A crucial technical subtlety arises: to guarantee functoriality with respect to 4-manifold decompositions (such as handle attachments and cobordism moves), it is necessary to twist the $\mathfrak{sl}_2$0-action by specific cohomological data, represented by "green dots" living on web edges, reminiscent of grading shifts or additional weights in categorified representation theory. These twists facilitate equivariantization, circumventing obstacles to the naive lifting of the Lie algebra action through cobordism maps.

Skein Lasagna Modules and Main Construction

Given a smooth oriented 4-manifold $\mathfrak{sl}_2$1 and a framed link $\mathfrak{sl}_2$2 with compatible green-dot decorations, skein lasagna fillings are constructed from surfaces in $\mathfrak{sl}_2$3 with constrained boundary data and labels in equivariant KR homology. The skein lasagna module $\mathfrak{sl}_2$4 is the $\mathfrak{sl}_2$5-module (with $\mathfrak{sl}_2$6) generated by lasagna fillings, modulo a set of skein relations mimicking cut-and-paste manipulations and multilinarity of link homology labels.

The authors' main result is that the $\mathfrak{sl}_2$7-action on equivariant KR homology lifts to a well-defined $\mathfrak{sl}_2$8-module structure on $\mathfrak{sl}_2$9. This extension follows from careful analysis of how the previously constructed twisted action interacts with the skein relations and is invariant under compositions and nesting of lasagna fillings. The construction allows the use of truncation functors (Zuckerman functors), providing tools to "cut down" infinite-dimensional invariants to modules more amenable to computation and further algebraic analysis.

Dotted Temperley–Lieb Category and Modular Description

In the case where $\mathfrak{sl}_2$0 is a 2-handlebody, the equivariant skein lasagna module admits a reformulation in terms of an "equivariant dotted Temperley–Lieb category." Objects correspond to sequences of cup-and-cap decorated diagrams (in the spirit of the Temperley–Lieb algebras), and the morphisms, including decorated caps/cups and dot insertions, inherit a compatible $\mathfrak{sl}_2$1-action. Karoubian envelopes and projectors are described explicitly, and direct system constructions lead to combinatorial models of Kirby colorings, which correspond to TQFT state sums for handle attachments.

The connection to combinatorics is manifest: one obtains module categories over path algebras of specific quivers subject to relations derived from the foam/Temperley–Lieb relations. The $\mathfrak{sl}_2$2-action on such quiver representations is computed explicitly, yielding a detailed, structured understanding of the module decomposition.

Concrete Computations and Module Decomposition

For $\mathfrak{sl}_2$3 and ground ring $\mathfrak{sl}_2$4, the authors compute the $\mathfrak{sl}_2$5-module structure for the skein lasagna module of the 4-ball ($\mathfrak{sl}_2$6) and $\mathfrak{sl}_2$7. For $\mathfrak{sl}_2$8, one recovers the polynomial ring as an explicit sum of Verma and dual Verma modules, with Zuckerman functors extracting the irreducible $\mathfrak{sl}_2$9 as the maximal finite-dimensional quotient. The case of $H = U(\mathfrak{sl}_2)$0 is more intricate: the module decomposes into summands modeled on highest (and dual) Verma modules, with a non-Artinian ("wild") part reflecting the failure of the Casimir element to act semisimply. The infinite-dimensionality and complexity of the module reflect the highly nontrivial algebraic topology encoded by the lasagna module.

These results emphasize the strong sensitivity of the skein lasagna module—and its enhanced algebraic structures—to the diffeomorphism type and equivariant structure of the underlying 4-manifold. Computations further show the vanishing of the truncated functor on certain summands, constraining which parts of the module correspond to "topological content" robust under 4-manifold moves.

Implications and Future Directions

The introduction of an $H = U(\mathfrak{sl}_2)$1-symmetry on the equivariant skein lasagna modules constitutes an important enrichment of this family of TQFT invariants. The existence of these actions opens the way to the use of advanced Lie-theoretic tools in the analysis of smooth 4-manifold invariants, such as composition series, branching rules, and representation-theoretic truncations (as with the Zuckerman functor). The technique of green-dot twisting provides a flexible method for constructing and manipulating categorical symmetries in other link homology-type theories, and the explicit handlebody formulas via dotted Temperley–Lieb categories link these invariants to well-studied objects in categorification and quantum topology.

Practically, these results may enable the explicit computation of new smooth structure-sensitive invariants for families of 4-manifolds, the isolation of finite-dimensional truncations relevant for distinguishing exotic structures, and the formulation of generalizations to other Lie or Witt algebras (as hinted by the authors). The connection to equivariant functoriality ensures the compatibility needed for applications to TQFTs and the functorial topology of 4-dimensional bordisms.

Theoretically, the framework exemplifies a promising direction in the categorification of quantum invariants via enriched link and skein-theoretic constructions, with a manifest algebraic structure ready to interface with higher representation theory, categorified quantum groups, and derived geometry.

Conclusion

This paper rigorously establishes and computes an $H = U(\mathfrak{sl}_2)$2-action at the categorical and module-theoretic level for equivariant skein lasagna invariants of 4-manifolds, illuminating their rich algebraic structure and paving the way for new developments in both low-dimensional topology and higher representation theory. The methods introduce flexible diagrammatic twists and functorial truncations, and the computations demonstrate the depth and subtlety of the resulting modules, particularly in how they reflect smooth structure and orientation phenomena. Future work may extend these constructions to richer algebraic actions and further explore their role in the structure theory of categorified 4-dimensional TQFTs.