Singular Biquandle 3-Cocycles

• Singular biquandle 3-cocycles are biquandle 3-cocycles that satisfy an extra antisymmetry condition, ensuring invariance under the new singular Roseman move for immersed surface-links.
• They extend classical surface-link invariants by incorporating singular points, with triple-point Boltzmann weights computed via modified coloring rules.
• Detailed algebraic structures and state-sum computations, as demonstrated on the Fenn–Rolfsen link, validate their role in distinguishing immersed surface-links.

Searching arXiv for 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 (Jablonowski, 27 Jul 2025).

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 $3$0 is characterized by the degeneracy conditions

$3$1

and the tetrahedral identity

$3$2

$3$3

which is the algebraic form of the Roseman tetrahedral move for embedded surface-links (Kamada et al., 2018).

In the ordinary surface-link theory, triple points of a broken surface diagram carry Boltzmann weights

$3$4

where $3$5 are the colors of the bottom, middle, and top sheets facing the source region, and $3$6 is the sign of the triple point. Summing over all colorings produces

$3$7

an invariant of oriented surface-links (Kamada et al., 2018).

Ordinary degree-$3$8 theory also has a normalized Yang–Baxter formulation. For an Alexander biquandle $3$9, the normalized Yang–Baxter cohomology admits explicit cocycles

$(h)$0

so in degree $(h)$1,

$(h)$2

This provides a concrete source of ordinary biquandle-type $(h)$3-cocycles and a geometric realization $(h)$4 in which normalized degree-$(h)$5 classes are cellular $(h)$6-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 $(h)$7. A generic projection to $(h)$8 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 (Jablonowski, 27 Jul 2025).

At an ordinary double curve, the coloring rule is the familiar biquandle rule: if the incoming under-sheet and over-sheet colors are $(h)$9 and $3$0, 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

$3$1

which is the singular relation used later in the cocycle definition (Jablonowski, 27 Jul 2025).

The move theory likewise changes. For immersed surface-links, the move types $3$2 form a minimal generating set, and the singular move $3$3 is independent of the embedded-case set $3$4. The independence of $3$5 is detected in the paper by the semi-invariant

$3$6

where $3$7 count positive and negative triple points and $3$8 count white and black branch points of each sign; the move $3$9 changes $X$0 by $X$1 (Jablonowski, 27 Jul 2025).

This distinction matters conceptually. Ordinary biquandle $X$2-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 $X$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 $X$4-cocycles. A homomorphism

$X$5

is first required to satisfy the ordinary biquandle $X$6-cocycle conditions: $X$7 and

$X$8

$X$9

in the notation of the paper, where the typographical collapse of the two biquandle operations is inherited from the source (Jablonowski, 27 Jul 2025).

A singular biquandle $x\underline{\triangleright} y$0-cocycle is then defined by adding the singular condition

$x\underline{\triangleright} y$1

for all $x\underline{\triangleright} y$2 such that the singular relations hold on the pair $x\underline{\triangleright} y$3, namely

$x\underline{\triangleright} y$4

Thus the new ingredient is a conditional antisymmetry under interchange of the two sheet-colors involved in the singular point (Jablonowski, 27 Jul 2025).

The same triple-point Boltzmann weight as in the embedded theory is retained,

$x\underline{\triangleright} y$5

with $x\underline{\triangleright} y$6 the bottom, middle, and top sheet colors facing the source region. The full state-sum is likewise unchanged in form: $x\underline{\triangleright} y$7 What changes is the class of admissible cocycles (Jablonowski, 27 Jul 2025).

The role of the singular condition is specific. Under the Roseman move $x\underline{\triangleright} y$8, 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 $x\underline{\triangleright} y$9-cocycles are not merely ordinary $x\overline{\triangleright} y$0-cocycles reused in an immersed setting; they are ordinary $x\overline{\triangleright} y$1-cocycles satisfying one extra condition tailored to the singular move (Jablonowski, 27 Jul 2025).

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

The singular theory is illustrated on the Fenn–Rolfsen link $x\overline{\triangleright} y$2. 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

$x\overline{\triangleright} y$3

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 (Jablonowski, 27 Jul 2025).

The chosen quandle is $x\overline{\triangleright} y$4 with the explicit operation table given in the paper, and the coefficient group is

$x\overline{\triangleright} y$5

The singular biquandle $x\overline{\triangleright} y$6-cocycle is

$x\overline{\triangleright} y$7

where $x\overline{\triangleright} y$8 is the characteristic function taking the value $x\overline{\triangleright} y$9 on the indicated triple and $$x\underline{\triangleright}x=x\overline{\triangleright}x$$0 otherwise. The paper states that $$x\underline{\triangleright}x=x\overline{\triangleright}x$$1 is a singular biquandle $$x\underline{\triangleright}x=x\overline{\triangleright}x$$2-cocycle with coefficients in $$x\underline{\triangleright}x=x\overline{\triangleright}x$$3 (Jablonowski, 27 Jul 2025).

For a coloring generated by $$x\underline{\triangleright}x=x\overline{\triangleright}x$$4, the contribution is an eight-factor product of triple-point weights,

$$x\underline{\triangleright}x=x\overline{\triangleright}x$$5

$$x\underline{\triangleright}x=x\overline{\triangleright}x$$6

The pairs $$x\underline{\triangleright}x=x\overline{\triangleright}x$$7 producing nontrivial weights are

$$x\underline{\triangleright}x=x\overline{\triangleright}x$$8

Summing over all colorings yields

$$x\underline{\triangleright}x=x\overline{\triangleright}x$$9

This demonstrates that the immersed-surface invariant is nontrivial in the sense that it is not merely a coloring count (Jablonowski, 27 Jul 2025).

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 $X^n$0-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 $X^n$1-cocycles
Singular pair $X^n$2 for singular knots/links	Noncommutative and abelian $X^n$3-cocycle pairs $X^n$4	Direct singular biquandle precursor, but degree $X^n$5, not $X^n$6
Oriented singquandle theory	Quandle $X^n$7-cocycle $X^n$8 plus singular weight $X^n$9	Singular quandle analogue, not biquandle, not $3$0-cocycle
Psyquandle cocycle enhancements	Pair $3$1 with $3$2 a biquandle $3$3-cocycle	Singular/pseudo extension of biquandle $3$4-cocycle theory, not a $3$5-cocycle theory
Finite type enhancements	Degree-$3$6 labeled Polyak relations tied to a biquandle $3$7-cocycle condition	Adjacent combinatorial framework, not singular cohomology

The paper "Universal cocycle Invariants for singular knots and links" develops the singular-pair framework $3$8, where $3$9 governs ordinary crossings and $3$00 singular crossings, and introduces noncommutative and abelian singular $3$01-cocycle pairs $3$02. It also constructs universal groups $3$03 and $3$04 governing such cocycles. The theory is explicitly about singular knot and link invariants in degree $3$05, not singular biquandle $3$06-cocycles (Farinati et al., 2019).

The paper "Cocycle Invariants and Oriented Singular Knots" introduces oriented singquandles $3$07 and a state-sum using a quandle $3$08-cocycle $3$09 together with a singular weight $3$10. 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$11-cocycle theory (Ceniceros et al., 2020).

The paper "Cocycle Enhancements of Psyquandle Counting Invariants" works with psyquandles and Boltzmann weights $3$12, where $3$13 satisfies the usual biquandle $3$14-cocycle condition and $3$15 satisfies additional move-derived equations. It defines state-sum polynomial invariants for oriented singular knots, links, and pseudoknots, and explicitly asks how $3$16 should be interpreted cohomologically. That question marks a gap between singular/pseudo $3$17-dimensional weighting theories and a fully developed higher-degree cohomology theory (Ceniceros et al., 2020).

The paper "Finite Type Enhancements" is still more distant. It does not define singular biquandle cohomology, but it shows that one degree-$3$18 labeled Reidemeister relation in the $3$19-labeled Polyak algebra is exactly the biquandle $3$20-cocycle condition

$3$21

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$22-cocycle theory (Nelson, 2015).

6. Conceptual status, interpretations, and open directions

Singular biquandle $3$23-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 $3$24-cocycle constructions. The direct theory presently described in the literature is the immersed-surface theory in which a singular biquandle $3$25-cocycle is an ordinary biquandle $3$26-cocycle satisfying an extra antisymmetry when the singular relations hold (Jablonowski, 27 Jul 2025).

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

Several construction techniques from the ordinary theory are especially suggestive for future singular developments. The normalized Yang–Baxter approach supplies explicit degree-$3$33 cocycles such as $3$34 and interprets them geometrically on the biquandle space $3$35 (2002.04567). The group-to-quandle and group-to-biquandle transfer methods show how degree-$3$36 cocycles can be pulled back from group cohomology, including Alexander-type formulas and nonabelian sources for higher cocycles (Nosaka, 2012, Ishii et al., 2020). Multiple conjugation biquandles furnish a different higher-dimensional enlargement in which ordinary biquandle $3$37-cocycles can be lifted to $3$38, again by explicit chain-level constructions (Ishii et al., 2018).

These results suggest two plausible directions. One is a genuinely singular chain-complex theory whose $3$39-cocycles would recover the immersed-surface condition of (Jablonowski, 27 Jul 2025) as a normalization or quotient. The other is a transfer theory in which singular $3$40-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$41-cocycles, plus conditional antisymmetry, yielding a triple-point state-sum invariant for oriented immersed surface-links in four-space (Jablonowski, 27 Jul 2025).