---
title: Singular Biquandle 3-Cocycles
url: https://www.emergentmind.com/topics/singular-biquandle-3-cocycles
type: topic
---

# Singular Biquandle 3-Cocycles

Searching arXiv for recent papers on singular biquandle 3-cocycles and closely related biquandle/quandle cocycle theories.
Singular biquandle 3-cocycles are biquandle \(3\)-cocycles equipped with an additional singular compatibility condition, introduced for state-sum invariants of oriented immersed surface-links in four-space. In the immersed setting, broken surface diagrams acquire singular points in addition to double curves, triple points, and branch points, and the ordinary embedded-surface biquandle \(3\)-cocycle theory is supplemented by a new local condition forced by the extra Roseman move \((h)\). The resulting notion extends the ordinary triple-point state-sum formalism from embedded surface-links to immersed surface-links while retaining the biquandle-coloring framework [2507.20360].

## 1. Ordinary biquandle \(3\)-cocycles as the ambient theory

A biquandle is a nonempty set \(X\) with two binary operations, commonly written \(x\underline{\triangleright} y\) and \(x\overline{\triangleright} y\), satisfying the type-I condition \(x\underline{\triangleright}x=x\overline{\triangleright}x\), invertibility conditions for the right actions and the switch map, and the three exchange laws corresponding to oriented Reidemeister III. The associated birack chain complex is generated by tuples in \(X^n\), and the normalized biquandle complex is obtained by quotienting by the degenerate subcomplex generated by tuples with adjacent equal entries. In this normalized theory, a biquandle \(3\)-cocycle \(\theta:X^3\to A\) is characterized by the degeneracy conditions
\[
\theta(a,a,b)=0,\qquad \theta(a,b,b)=0
\]
and the tetrahedral identity
\[
\theta(b,c,d)+\theta(a,b,d)+\theta(a\underline{\triangleright} b,\ c\overline{\triangleright} b,\ d\overline{\triangleright} b)+\theta(a\underline{\triangleright} d,\ b\underline{\triangleright} d,\ c\underline{\triangleright} d)
\]
\[
=\theta(a,c,d)+\theta(a,b,c)+\theta(b\overline{\triangleright} a,\ c\overline{\triangleright} a,\ d\overline{\triangleright} a)+\theta(a\underline{\triangleright} c,\ b\underline{\triangleright} c,\ d\overline{\triangleright} c),
\]
which is the algebraic form of the Roseman tetrahedral move for embedded surface-links [1803.03137].

In the ordinary surface-link theory, triple points of a broken surface diagram carry Boltzmann weights
\[
W^B_\theta(\tau,\mathcal C)=\theta(a,b,c)^{\epsilon(\tau)},
\]
where \(a,b,c\) are the colors of the bottom, middle, and top sheets facing the source region, and \(\epsilon(\tau)\in\{\pm1\}\) is the sign of the triple point. Summing over all colorings produces
\[
\Phi^B_\theta(\mathcal B;A)=\sum_{\mathcal C \in {\rm Col}^B_X(\mathcal B)}\prod_{\tau\in T(\mathcal B)}W^B_\theta(\tau,\mathcal C),
\]
an invariant of oriented surface-links [1803.03137].

Ordinary degree-\(3\) theory also has a normalized Yang–Baxter formulation. For an Alexander biquandle \(X=\mathbb Z_{m;s,t}\), the normalized Yang–Baxter cohomology admits explicit cocycles
\[
\theta_n(x_1,\ldots,x_n)=\prod_{i=1}^{n-1}(x_i-x_{i+1}),
\]
so in degree \(3\),
\[
\theta_3(x,y,z)=(x-y)(y-z).
\]
This provides a concrete source of ordinary biquandle-type \(3\)-cocycles and a geometric realization \(BX\) in which normalized degree-\(3\) classes are cellular \(3\)-cochains on the biquandle space [2002.04567].

## 2. Immersed surface-links and the singular local relation

The singular theory is formulated for oriented immersed surface-links in \(\mathbb R^4\). A generic projection to \(\mathbb R^3\) has local singularities of regular points, double points, triple points, negative branch points, positive branch points, and singular points. Broken surface diagrams are described in terms of semi-sheets together with over/under data along double curves. For embedded surface-links, only regular points, double curves, triple points, and branch points occur; immersed surface-links additionally allow singular points, and this changes both the move theory and the cocycle theory [2507.20360].

At an ordinary double curve, the coloring rule is the familiar biquandle rule: if the incoming under-sheet and over-sheet colors are \(a\) and \(b\), then the outgoing colors are obtained by applying the two biquandle operations. At a triple point, no extra axiom is imposed beyond the exchange laws. At a singular point, however, the paper requires that the two biquandle operations agree on the relevant ordered pairs. In standard notation, this is the condition
\[
a \,\underline{\ast}\, b = a \,\overline{\ast}\, b,
\qquad
b \,\underline{\ast}\, a = b \,\overline{\ast}\, a,
\]
which is the singular relation used later in the cocycle definition [2507.20360].

The move theory likewise changes. For immersed surface-links, the move types \((a,b,c,e,f,g,h)\) form a minimal generating set, and the singular move \((h)\) is independent of the embedded-case set \((a,b,c,e,f,g)\). The independence of \((h)\) is detected in the paper by the semi-invariant
\[
f_*(D) = 2(T_+-T_-)-(W_+-W_-)+(B_+-B_-),
\]
where \(T_\pm\) count positive and negative triple points and \(W_\pm,B_\pm\) count white and black branch points of each sign; the move \((h)\) changes \(f_*(D)\) by \(\pm 4\) [2507.20360].

This distinction matters conceptually. Ordinary biquandle \(3\)-cocycle invariants are designed for embedded Roseman moves, whereas immersed surface-links require a separate algebraic response to the new singular move. The singular local relation is the coloring-level manifestation of that response.

## 3. Exact definition of a singular biquandle \(3\)-cocycle

The singular theory does not begin from a separately presented singular chain complex. Instead, it starts from the ordinary biquandle cochain complex and then restricts to a subclass of ordinary biquandle \(3\)-cocycles. A homomorphism
\[
\theta:C_3^{\rm BR}(X)\to A
\]
is first required to satisfy the ordinary biquandle \(3\)-cocycle conditions:
\[
\theta(a,a,b)=0,\qquad \theta(a,b,b)=0,
\]
and
\[
\theta(b,c,d)+\theta(a,b,d)+\theta(a{b},c{b},d{b})+\theta(a{d},b{d},c{d})
\]
\[
=\theta(a,c,d)+\theta(a,b,c)+\theta(b{a},c{a},d{a})+\theta(a{c},b{c},d{c}),
\]
in the notation of the paper, where the typographical collapse of the two biquandle operations is inherited from the source [2507.20360].

A singular biquandle \(3\)-cocycle is then defined by adding the singular condition
\[
\theta(a,b,c)=-\theta(a,c,b)
\quad\text{and}\quad
\theta(b,c,a)=-\theta(c,b,a)
\]
for all \(a,b,c\in X\) such that the singular relations hold on the pair \((b,c)\), namely
\[
b \,\underline{\ast}\, c = b \,\overline{\ast}\, c,
\qquad
c \,\underline{\ast}\, b = c \,\overline{\ast}\, b.
\]
Thus the new ingredient is a conditional antisymmetry under interchange of the two sheet-colors involved in the singular point [2507.20360].

The same triple-point Boltzmann weight as in the embedded theory is retained,
\[
W^B_\theta(\tau,\mathcal C)=\theta(a,b,c)^{\epsilon(\tau)},
\]
with \(a,b,c\) the bottom, middle, and top sheet colors facing the source region. The full state-sum is likewise unchanged in form:
\[
\Phi^B_\theta(\mathcal B; A)=\sum_{\mathcal C \in {\rm Col}^B_X(\mathcal B)}\prod_{\tau\in T(\mathcal B)}W^B_\theta(\tau,\mathcal C).
\]
What changes is the class of admissible cocycles [2507.20360].

The role of the singular condition is specific. Under the Roseman move \((h)\), the affected triple-point weight changes sign and the two arguments corresponding to the sheets forming the singular point are exchanged. The additional antisymmetry is exactly what makes the product of Boltzmann weights invariant under this move. This shows that singular biquandle \(3\)-cocycles are not merely ordinary \(3\)-cocycles reused in an immersed setting; they are ordinary \(3\)-cocycles satisfying one extra condition tailored to the singular move [2507.20360].

## 4. State-sum invariants and the Fenn–Rolfsen example

The singular theory is illustrated on the Fenn–Rolfsen link \(FR\). In this example, a quandle is viewed as a special case of a biquandle in which one operation is the quandle operation and the other is the trivial projection. The paper presents the fundamental quandle
\[
\mathcal Q(FR)=\left<c, d\;|\; c*d=c*(c*d),\ d*c=d*(c*d),\ c*(c*d)=c,\ d*(d*c)=c \right>.
\]
The computation is carried out by resolving the singular marked graph diagram into movies and tracking the Reidemeister III moves that contribute triple-point weights [2507.20360].

The chosen quandle is \(Q=\mathbb Z_9\) with the explicit operation table given in the paper, and the coefficient group is
\[
\mathbb Z_3=\left<t\;|\; t^3 = 1\right>.
\]
The singular biquandle \(3\)-cocycle is
\[
\theta_S=\chi_{(0,1,4)}\chi_{(3,1,4)}\chi_{(6,1,4)}\chi_{(0,4,7)}\chi_{(3,4,7)} \chi_{(6,4,7)}\chi_{(0,7,1)}\chi_{(3,7,1)}\chi_{(6,7,1)},
\]
where \(\chi_{(a,b,c)}\) is the characteristic function taking the value \(t\) on the indicated triple and \(1\) otherwise. The paper states that \(\theta_S\) is a singular biquandle \(3\)-cocycle with coefficients in \(\mathbb Z_3\) [2507.20360].

For a coloring generated by \(c,d\), the contribution is an eight-factor product of triple-point weights,
\[
\Phi^Q_{\theta_S|\mathcal C}(FR):=\theta(c, d, d*c)\cdot\theta(c*d, c, d*c)^{-1}\cdot\theta(d, c, d*c)^{-1}\cdot\theta(c*d, d, c*d)\cdot
\]
\[
\cdot\theta(c\overline{*}d, d*c, d)^{-1}\cdot\theta(c\overline{*}d, c, d)\cdot\theta(d, c, d)\cdot\theta(c\overline{*}d, d, c)^{-1}.
\]
The pairs \((c,d)\) producing nontrivial weights are
\[
(c,d)\in \{0,3,6\}\times\{1,4,7\}.
\]
Summing over all colorings yields
\[
\Phi^Q_{\theta_S}(FR)=72+9t.
\]
This demonstrates that the immersed-surface invariant is nontrivial in the sense that it is not merely a coloring count [2507.20360].

A common misconception is that the singular extension contributes only a formal modification of ordinary embedded-surface invariants. The Fenn–Rolfsen computation shows otherwise: the additional singular condition produces an immersed invariant with genuinely new values in the group ring.

## 5. Precursors, analogues, and adjacent theories

Several earlier theories are closely related to singular biquandle \(3\)-cocycles but do not themselves define them. They are best understood as lower-dimensional analogues, neighboring frameworks, or sources of technical guidance.

| Framework | Cocycle data actually used | Relation to singular biquandle \(3\)-cocycles |
|---|---|---|
| Singular pair \((X,S,T)\) for singular knots/links | Noncommutative and abelian \(2\)-cocycle pairs \(f,h:X\times X\to G\) | Direct singular biquandle precursor, but degree \(2\), not \(3\) |
| Oriented singquandle theory | Quandle \(2\)-cocycle \(\phi\) plus singular weight \(\phi'\) | Singular quandle analogue, not biquandle, not \(3\)-cocycle |
| Psyquandle cocycle enhancements | Pair \((\phi,\psi):X\times X\to R\) with \(\phi\) a biquandle \(2\)-cocycle | Singular/pseudo extension of biquandle \(2\)-cocycle theory, not a \(3\)-cocycle theory |
| Finite type enhancements | Degree-\(1\) labeled Polyak relations tied to a biquandle \(2\)-cocycle condition | Adjacent combinatorial framework, not singular cohomology |

The paper "Universal cocycle Invariants for singular knots and links" develops the singular-pair framework \((X,S,T)\), where \(S\) governs ordinary crossings and \(T\) singular crossings, and introduces noncommutative and abelian singular \(2\)-cocycle pairs \((f,h)\). It also constructs universal groups \(U_{nc}^{fh}(X)\) and \(Ab^{fh}(X)\) governing such cocycles. The theory is explicitly about singular knot and link invariants in degree \(2\), not singular biquandle \(3\)-cocycles [1910.04042].

The paper "Cocycle Invariants and Oriented Singular Knots" introduces oriented singquandles \((X,*,R_1,R_2)\) and a state-sum using a quandle \(2\)-cocycle \(\phi\) together with a singular weight \(\phi'\). It extends the classical quandle cocycle invariant to oriented singular knots and links and distinguishes the singular granny knot from the singular square knot, but it does not construct singular biquandles or any \(3\)-cocycle theory [2009.07950].

The paper "Cocycle Enhancements of Psyquandle Counting Invariants" works with psyquandles and Boltzmann weights \((\phi,\psi):X\times X\to R\), where \(\phi\) satisfies the usual biquandle \(2\)-cocycle condition and \(\psi\) satisfies additional move-derived equations. It defines state-sum polynomial invariants for oriented singular knots, links, and pseudoknots, and explicitly asks how \(\psi\) should be interpreted cohomologically. That question marks a gap between singular/pseudo \(2\)-dimensional weighting theories and a fully developed higher-degree cohomology theory [2009.14802].

The paper "Finite Type Enhancements" is still more distant. It does not define singular biquandle cohomology, but it shows that one degree-\(1\) labeled Reidemeister relation in the \(X\)-labeled Polyak algebra is exactly the biquandle \(2\)-cocycle condition
\[
\phi(x,y)+\phi(y,z)+\phi(x^y,x_y)-\phi(x,z)-\phi(y_x,z_x)-\phi(x^z,y^z)=0.
\]
This is relevant as a reminder that finite-type degree and cohomological degree are distinct gradings, and that combinatorial diagrammatics can recover cocycle identities without yet producing a singular \(3\)-cocycle theory [1506.00979].

## 6. Conceptual status, interpretations, and open directions

Singular biquandle \(3\)-cocycles currently occupy a specific place in the broader cohomological landscape. They are not a generic label for all singular knot cocycle theories, nor are they reducible to singular \(2\)-cocycle constructions. The direct theory presently described in the literature is the immersed-surface theory in which a singular biquandle \(3\)-cocycle is an ordinary biquandle \(3\)-cocycle satisfying an extra antisymmetry when the singular relations hold [2507.20360].

This also clarifies a second misconception. The theory is not presented as a new singular chain complex with an internal degree-\(3\) differential of its own; rather, it is a constrained subclass of ordinary biquandle \(3\)-cocycles. By contrast, several adjacent theories do build or recall ordinary higher-degree machinery. Ordinary biquandle and shadow biquandle \(3\)-cocycles for surface-links are developed in detail, including marked graph computations and shadow variants with an extra region-color variable [1803.03137]. Shadow biquandle and local biquandle \(3\)-cocycles are shown to have isomorphic cohomology groups and coincident surface-link invariants under explicit chain maps \(\mu_n\) and \(\eta_n\), which suggests that apparently different higher cocycle theories can be equivalent after the correct change of variables [1812.00801].

Several construction techniques from the ordinary theory are especially suggestive for future singular developments. The normalized Yang–Baxter approach supplies explicit degree-\(3\) cocycles such as \(\theta_3(x,y,z)=(x-y)(y-z)\) and interprets them geometrically on the biquandle space \(BX\) [2002.04567]. The group-to-quandle and group-to-biquandle transfer methods show how degree-\(3\) cocycles can be pulled back from group cohomology, including Alexander-type formulas and nonabelian sources for higher cocycles [1210.6540], [2002.11292]. Multiple conjugation biquandles furnish a different higher-dimensional enlargement in which ordinary biquandle \(3\)-cocycles can be lifted to \(X\times \mathbb Z_{\operatorname{type}X_Y}\), again by explicit chain-level constructions [1801.07602].

These results suggest two plausible directions. One is a genuinely singular chain-complex theory whose \(3\)-cocycles would recover the immersed-surface condition of [2507.20360] as a normalization or quotient. The other is a transfer theory in which singular \(3\)-cocycles are built from group cocycles, shadow cocycles, or Alexander-type models by adding the singular antisymmetry as an extra compatibility constraint. At present, the mathematically precise notion established in the literature remains the immersed-surface version: ordinary biquandle \(3\)-cocycles, plus conditional antisymmetry, yielding a triple-point state-sum invariant for oriented immersed surface-links in four-space [2507.20360].

Source: https://www.emergentmind.com/topics/singular-biquandle-3-cocycles