Pith. sign in

REVIEW 3 major objections 3 minor 17 references

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

T0 review · 3 major / 3 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper defines a state-sum invariant for immersed surface-links in four-space by decorating triple points with weights from biquandle 3-cocycles that satisfy an extra antisymmetry condition at singular points.

desk verdict The paper's core idea is sensible, but the only nontriviality example is algebraically invalid under the paper's own definition, so the demonstration fails. read the letter →

arxiv 2507.20360 v2 pith:FXHJIGNP submitted 2025-07-27 math.GT

Michal Jablonowski This is my paper · ORCID
classification math.GT MSC 57K4557Q3557R4257K12
keywords biquandlecocycleinvariantimmersedsurface-linksRosemanmovessingular3-cocyclestate-sumtriplepointsbrokensurfacediagram
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper claims that biquandle cocycle invariants, previously defined for embedded surface-links, extend to immersed surface-links in $\mathbb{R}^4$ provided the 3-cocycles satisfy one extra condition: antisymmetry in the two colors that are identified at a singular point. It proves that the move set $(a,b,c,e,f,g,h)$ generates all equivalences of immersed surface-links and is minimal, so the singular move $(h)$ is genuinely independent of the embedded-case moves. It establishes that biquandle colorings of broken surface diagrams with singular points are in bijection under all these moves, giving a coloring-number invariant, and that the triple-point state-sum with Boltzmann weights is invariant under $(h)$ as well. A worked example link gives the nontrivial value $72+9t$, showing the invariant can detect something in the immersed setting. A reader should care because this supplies an algebraic tool, computable from diagrams, for telling immersed surface-links apart.

What carries the argument

The load-bearing object is the singular biquandle 3-cocycle: a biquandle 3-cocycle $\theta$ with values in an abelian group $A$ that obeys the cocycle identities plus the extra antisymmetry conditions $\theta(a,b,c)=-\theta(a,c,b)$ and $\theta(b,c,a)=-\theta(c,b,a)$ on pairs of colors satisfying the singular relations. It enters through the triple-point Boltzmann weight: at each triple point $\tau$ with source-region colors $(a,b,c)$, the weight is $\theta(a,b,c)^{\epsilon(\tau)}$, where $\epsilon(\tau)=\pm1$ is the sign of the triple point, and the state-sum multiplies these weights over all triple points and sums over all colorings. The antisymmetry is exactly the mechanism that makes the two local contributions in move $(h)$ cancel, so this single condition is what carries the extension from embedded to immersed surface-links.

What would settle it

Take any broken surface diagram with a singular point, compute the product of Boltzmann weights over all triple points for a biquandle coloring, perform move $(h)$ on a triple point, and recompute: if the two products are not equal for some singular 3-cocycle, Theorem 4.5 is false. A sharper check for the example is to verify directly that the displayed $\theta_S$ satisfies Definition 4.2: if any quadruple of elements of $\mathbb{Z}_9$ violates the cocycle identity, or the antisymmetry fails on a pair satisfying the singular relations, the claimed value $72+9t$ does not establish nontriviality.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central claim is Theorem 4.5: for any singular biquandle 3-cocycle $\theta$, the state-sum $\Phi_B^\theta(L;A)$, computed as $\sum_C \prod_{\tau \in T(B)} W_B^\theta(\tau,C)$ over all biquandle colorings of any broken diagram of an immersed surface-link $L$, is an invariant of $L$. A singular 3-cocycle is a biquandle 3-cocycle with the additional antisymmetry $\theta(a,b,c)=-\theta(a,c,b)$ and $\theta(b,c,a)=-\theta(c,b,a)$ whenever the two biquandle operations agree on the relevant pair of colors, which is exactly the relation forced at a singular point. The paper further proves that $(a,b,c,e,f,g,h)$ is a minimal generating set of moves for immersed surface-links, and it computes the invariant for an explicit example as $72+9t$, establishing that the invariant can be nontrivial.

Load-bearing premise

The load-bearing premise is that the two hand-drawn local pictures for move $(h)$ cover every case and that, in those pictures, the antisymmetry condition makes the Boltzmann weights cancel; the text asserts this without a written derivation, so if any local case or orientation is wrong the main theorem fails. The example's nontrivial value also assumes the displayed $\theta_S$ really is a singular 3-cocycle and that the coloring count is 81.

Editorial extensions

If this is right

  • The move set $(a,b,c,e,f,g,h)$ is minimal for immersed surface-links, so the singular move $(h)$ cannot be derived from the embedded moves.
  • For every finite biquandle, the coloring number $\#\mathrm{Col}^B_X(L)$ is an invariant, and the coloring sets of two diagrams of the same immersed link are in bijection.
  • Every singular biquandle 3-cocycle yields a state-sum invariant, so there is a family of invariants indexed by cocycles and finite biquandles.
  • The invariant takes a nonconstant value ($72+9t$) on an explicit example, demonstrating that the construction is nontrivial in the immersed setting.
  • Embedded surface-links are a special case, so the new invariants extend the known biquandle cocycle invariants to a larger class and reduce to them when no singular points are present.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If Theorem 4.5 is right, the same antisymmetry condition could be imported into other diagrammatic theories with singular points, such as virtual or welded surface diagrams, where move sets of the same shape appear.
  • The minimality of $(h)$ suggests the state-sum could serve as a singularity detector: one might look for immersed surface-links with identical biquandle colorings but different state-sum values for some cocycle, which would show the invariant sees the immersion itself, not just the underlying coloring data.
  • The computation through resolutions of a singular marked graph diagram hints at a practical algorithm: read the contributions from type III moves in movie presentations, so larger examples could be computed without drawing full broken-surface pictures.
  • A fully written case-by-case verification of move $(h)$ would remove the present reliance on the two figures; that is the most direct next step a reader could take.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 3 minor

Summary. The paper develops a biquandle-cohomological framework for invariants of oriented immersed surface-links in the four-space, extending the embedded surface-link theory of Carter, Kamada, Saito, and KKKL. It reviews broken surface diagrams and Roseman moves, adds the singular move (h), and proves that the move set (a,b,c,e,f,g,h) is a minimal generating set via the semi-invariant f*. It extends biquandle colorings to diagrams with singular points by imposing the relations a▷b=a▷b and b▷a=b▷a, and it introduces singular 3-cocycles with an extra antisymmetry condition (Definition 4.2(iii)). The main theorem (Theorem 4.5) asserts that the triple-point state-sum is invariant under all generating moves, including (h). The paper ends with an evaluation on the Fenn-Rolfsen link using a claimed singular 3-cocycle θ_S on Z_9, with the computed value 72+9t.

Significance. If Theorem 4.5 holds, the paper provides a plausible and useful extension of biquandle cocycle invariants from embedded to immersed surface-links, and the minimal-generating-set argument via f* is a genuine contribution. The singular cocycle condition is a new algebraic ingredient that could be of independent interest. However, the only concrete demonstration of nontriviality is invalid: the displayed θ_S does not satisfy the manuscript's own Definition 4.2(iii). Since the abstract and introduction advertise the nontrivial value as the evidence that the invariant has strength in the immersed setting, this is a load-bearing gap. The paper also delegates the decisive invariance check for move (h) to figures that are not reproduced in the text as provided, so the main theorem cannot be fully checked from the written argument alone.

major comments (3)
  1. [§4, Example 4.6] The claimed singular 3-cocycle θ_S is not a singular 3-cocycle under the manuscript's own Definition 4.2(iii). In the quandle case used in the example, ▷=∗ and ▷ is first-factor projection, so the singular-compatibility hypothesis becomes b∗c=b and c∗b=c. In the displayed Z_9 table, 4∗7=4 and 7∗4=7, so (b,c)=(4,7) is admissible. Taking a=0, the support of θ_S gives θ_S(0,4,7)=t and θ_S(0,7,4)=1, since (0,7,4) is not in the support. Condition (iii) requires θ_S(0,4,7)=−θ_S(0,7,4), i.e. t=1^{-1}=1, contradicting t^3=1 with t≠1. Thus θ_S violates the singular cocycle condition, and the computation Φ=72+9t does not evaluate the invariant defined in the paper. This invalidates the only explicit evidence of nontriviality.
  2. [§4, Theorem 4.5 proof] The proof of invariance under move (h) is not checkable from the text as provided. The paper states that Figures 5–6 show the uniqueness of colorings and that condition (iii) makes the Boltzmann weights cancel, but those figures are not reproduced in the text dump and no algebraic verification of the local cases, orientations, or signs is given. Since every local case in these figures is load-bearing for the main theorem, the authors should supply an explicit case-by-case verification or fully labeled figures with the relevant computations written out.
  3. [§2, Proposition 2.2 proof] The independence proof for move (h) uses the fact that f* vanishes for embedded surface diagrams to conclude that f* is invariant under moves (a,b,c,e,f,g) even when the diagram contains singular points elsewhere. This locality step is not justified in the text. It is likely true, but the proof should state explicitly why an embedded Roseman move away from singular points changes f* by the same amount as in a purely embedded diagram; otherwise the semi-invariant argument has a gap.
minor comments (3)
  1. [§3, proof of Proposition 3.3] The proof refers to 'the claim of Theorem 3.3', but no Theorem 3.3 exists in the manuscript; the reference should be to Proposition 3.3 or Theorem 3.2.
  2. [§4, Example 4.6] The convention for the quandle operation table is not stated; the paper should specify whether the entry in row i and column j represents i∗j or j∗i so that the computation of 4∗7 and 7∗4 can be verified unambiguously.
  3. [§4, Example 4.6] The assertion 'Then θ_S is a singular biquandle 3-cocycle' is made without any verification; given that a direct check of condition (iii) fails for the admissible pair (4,7), the authors should include the full cocycle check for any proposed replacement.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular derivation: the state-sum is a standard cohomological construction; only minor, non-load-bearing self-citations keep the score at 2.

full rationale

The central derivation chain is not circular. Definition 4.3 defines the state-sum for any biquandle 3-cocycle, and Theorem 4.5 verifies invariance under move (h) by using the singular 3-cocycle condition (iii) of Definition 4.2; that condition is introduced as a sufficient algebraic hypothesis, not fitted to force a precomputed output. The move-set minimality argument rests on external results ([Ros98], [AMW17], [Kaw15], [CS97]) rather than on a self-referential equation. The embedded-to-immersed extension is supported by coloring bijections and a local cancellation argument, and no parameter of the invariant is fitted to the Fenn–Rolfsen example. The paper does contain self-citations ([Jab23], [Jab25]) in the example and in remarks about computability, but these are not load-bearing for Theorem 4.5. There are genuine gaps that should be flagged as correctness risks rather than circularity: Figures 5–6 are not reproduced, so the move-(h) coloring uniqueness and Boltzmann cancellation are asserted rather than displayed; Example 4.6 states without proof that the displayed θ_S is a singular 3-cocycle and that the count of colorings yields 72+9t, and no algebraic verification against Definition 4.2(iii) is supplied. These issues undermine the nontriviality demonstration but do not make the derivation circular.

Assumptions & free parameters 1 free parameters · 4 assumptions · 1 invented entities

The central construction rests on the established biquandle cohomology framework for embedded surface-links (KKKL18) and on the Roseman-Am-Wagner move set for immersed surfaces. The genuinely new input is the singular 3-cocycle condition, whose existence and sufficiency are demonstrated only through figures and an asserted example. No physical constants or fitted empirical parameters enter.

free parameters (1)
  • Singular 3-cocycle theta_S on Z_9 = Product of nine chi-indicator functions supported on triples (c,d,d*c) for c in {0,3,6}, d in {1,4,7}
    Chosen by hand so the Fenn-Rolfsen example yields a nontrivial state-sum. Its cocycle property is asserted without verification.
assumptions (4)
  • domain assumption Roseman-Am-Wagner move set (a,b,c,e,f,g,h) generates equivalence of immersed surface-links
    Theorem 2.1, cited from Roseman [Ros98] and Audoux-Meilhan-Wagner [AMW17]. This is the foundational move equivalence used throughout.
  • domain assumption The semi-invariant f*(D) = 2(T+ - T-) - (W+ - W-) + (B+ - B-) vanishes for embedded surface diagrams
    Invoked in Proposition 2.2 to prove independence of move (h), citing Carter-Saito [CS97] and Satoh [Sat00].
  • standard math Biquandle cohomology theory and the coloring rules for embedded surface-links
    Used in Section 3 and Section 4 as the framework for colorings and state-sums, following KKKL18 and Carter-Kamada-Saito [CKS04].
  • ad hoc to paper Singular point coloring relation a▷b = a▷b and b▷a = b▷a
    Introduced in Section 3 to define biquandle colorings at singular points of immersed diagrams. This is a new modeling assumption required for the immersed extension.
invented entities (1)
  • Singular biquandle 3-cocycle
    purpose: An extra antisymmetry condition on biquandle 3-cocycles that makes the state-sum invariant under the singular Roseman move (h).
    New algebraic object introduced in Definition 4.2. Its existence is demonstrated only through the asserted theta_S example, which is not fully verified.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Biquandle cocycle condition for invariants of immersed surface-links in the four-space." pith.science (2026). https://pith.science/paper/FXHJIGNP

@misc{pith2026250720360,
  author       = {Pith},
  title        = {Pith review of: Biquandle cocycle condition for invariants of immersed surface-links in the four-space},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/FXHJIGNP}},
  note         = {Machine review of arXiv:2507.20360}
}
read the original 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.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

17 extracted references · 16 canonical work pages

  1. [1]

    Audoux, J.B

    B. Audoux, J.B. Meilhan, and E. Wagner, On codimension two embeddings up to link-homotopy, Journal of Topology, 10(4) (2017), 1107--1123

    work page 2017

  2. [2]

    Carrell, The surface biquandle, Pomona College, 2009

    T. Carrell, The surface biquandle, Pomona College, 2009

    work page 2009

  3. [3]

    Carter, M

    J.S. Carter, M. Elhamdadi, and M. Saito, Homology Theory for the Set-Theoretic Yang-Baxter Equation and Knot Invariants from Generalizations of Quandles, Fund. Math. 184 (2004), 31--54

    work page 2004

  4. [4]

    Carter, S

    J.S. Carter, S. Kamada, and M. Saito, Surfaces in 4 -Space, Encyclopaedia of Mathematical Sciences, Vol. 142, Low-Dimensional Topology, III. Springer-Verlag, Berlin Heidelberg New York (2004)

    work page 2004

  5. [5]

    Carter and M

    J.S. Carter and M. Saito, Normal Euler classes of knotted surfaces and triple points on projections, Proceedings of the American Mathematical Society 125(2) (1997), 617--623

    work page 1997

  6. [6]

    Jab onowski, Knotted surfaces and equivalencies of their diagrams without triple points, J

    M. Jab onowski, Knotted surfaces and equivalencies of their diagrams without triple points, J. Knot Theory Ramifications 21 (2012), 1250019

    work page 2012

  7. [7]

    Jab onowski, Minimal generating sets of moves for surfaces immersed in the four-space, J

    M. Jab onowski, Minimal generating sets of moves for surfaces immersed in the four-space, J. Knot Theory Ramifications 32 (2023), 2350071

    work page 2023

  8. [8]

    Jab onowski, On biquandle-based invariant of immersed surface-links, Yoshikawa oriented fifth move, and ribbon 2-knots, preprint arXiv:2505.14724

    M. Jab onowski, On biquandle-based invariant of immersed surface-links, Yoshikawa oriented fifth move, and ribbon 2-knots, preprint arXiv:2505.14724

    arXiv

Show all 17 references
  1. [9]

    Kamada, Surface-Knots in 4 -Space, Springer Monographs in Mathematics, Springer (2017)

    S. Kamada, Surface-Knots in 4 -Space, Springer Monographs in Mathematics, Springer (2017)

    2017

  2. [10]

    Kamada, A

    S. Kamada, A. Kawauchi, J. Kim, and S.Y. Lee, Biquandle cohomology and state-sum invariants of links and surface-links. Journal of Knot Theory and Its Ramifications 27(11) (2018), 1843016

    2018

  3. [11]

    Kauffman and D.E

    L.H. Kauffman and D.E. Radford, Bi-oriented quantum algebras, and generalized Alexander polynomial for virtual links, Contemp. Math. 318 (2003), 113--140

    2003

  4. [12]

    Kawamura, On relationship between seven types of Roseman moves, accepted by Topology and its Applications 2015

    K. Kawamura, On relationship between seven types of Roseman moves, accepted by Topology and its Applications 2015

    2015

  5. [13]

    Nuno-Ballesteros and O

    J.J. Nuno-Ballesteros and O. Saeki, On the number of singularities of a generic surface with boundary in a 3 -manifold, Hokkaido Mathematical Journal 27(3) (1998), 517-544

    1998

  6. [14]

    Roseman, Reidemeister-type moves for surfaces in four-dimensional space, in Knot Theory, Banach Center Publications 42 (1998), 347--380

    D. Roseman, Reidemeister-type moves for surfaces in four-dimensional space, in Knot Theory, Banach Center Publications 42 (1998), 347--380

    1998

  7. [15]

    S. Satoh. Lifting a generic surface in 3 -space to an embedded surface in 4 -space, Topology and its Applications 106(1) (2000), 103--113

    2000

  8. [16]

    Satoh, Double decker sets of generic surfaces in 3-space as homology classes, Illinois J

    S. Satoh, Double decker sets of generic surfaces in 3-space as homology classes, Illinois J. Math. 45 (2001), 823--832

    2001

  9. [17]

    Yashiro, A note on Roseman moves, Kobe J

    T. Yashiro, A note on Roseman moves, Kobe J. Math, 22 (2005), 31--38

    2005

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.