Search arXivSearch

arXiv · 2507.20360

Biquandle cocycle condition for invariants of immersed surface-links in the four-space

Abstract

We consider a biquandle-cohomological framework for invariants of oriented immersed surface-links in the four-space. After reviewing projections and Roseman moves for immersed surfaces, we prove that the move types (a, b, c, e, f, g, h) form a minimal generating set, showing in particular that the singular move (h) is independent of the embedded-case set (a, b, c, e, f, g). We extend biquandle colorings to broken surface diagrams with singular points and establish that coloring sets are in bijection for diagrams related by these moves, yielding a coloring number invariant for immersed surface-links. We introduce singular biquandle 3-cocycles: biquandle 3-cocycles satisfying an additional antisymmetry when the singular relations hold. Using such cocycles, we define a triple-point state-sum with Boltzmann weights and prove its invariance under all generating moves, including (h), thereby obtaining a state-sum invariant for immersed surface-links. The theory is illustrated on the Fenn-Rolfsen link example, where a computation yields a non-trivial integer value, demonstrating the nontriviality of the invariant in the immersed setting. These results unify and extend biquandle cocycle invariants from embedded to immersed surface-links.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Michal Jablonowski. 2026-07-26. Biquandle cocycle condition for invariants of immersed surface-links in the four-space. https://arxiv.org/abs/2507.20360

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Cut pairs and Morse splitting of finitely generated groups

Bowditch's theorem for hyperbolic groups establishes a fundamental correspondence between splittings over two-ended subgroups and the existence of local cut points in the Gromov boundary. While analogous results have been obtained for CAT(0) and relatively hyperbolic groups, no general theorem of this type exists for arbitrary finitely generated groups. The Morse boundary, introduced by Charney-Sultan and extended by Cordes, provides a quasi-isometry invariant boundary for any finitely generated group that naturally generalizes the Gromov boundary. In this paper, we prove that a splitting of a finitely generated group with connected Morse boundary over a two-ended Morse subgroup gives rise to a separating pair of points in the Morse boundary.

math.GT

Khovanov Homology in Connected Sums

Khovanov homology is an invariant for links in the three sphere that categorizes the Jones polynomial. We extend Khovanov's construction to links in 3-manifolds that are connected sums of orientable interval bundles over surfaces. Cutting the 3-manifold along a separating sphere, we construct type D and type A structures that are invariants of tangles in the two halves following the work of Roberts. Gluing the type D and type A structures along the common boundary recovers the Khovanov homology of the link.

math.GT

Fox-Milnor condition for concordant knots in homology 3-spheres

This paper will show that the Alexander polynomial of a knot, which is of slice type in an oriented homology 3-sphere, obeys the Fox-Milnor polynomial condition. A relation between Alexander polynomial of concordant knots in an oriented homology 3-sphere is established.

math.GT