pith. sign in

arxiv: 2303.12995 · v2 · submitted 2023-03-23 · 🧮 math.GT

Skew-rack cocycle invariants of closed 3-manifolds

Takefumi Nosaka This is my paper

Pith reviewed 2026-05-24 10:04 UTC · model grok-4.3

classification 🧮 math.GT
keywords skew-rackcocycle invariantDehn surgery3-manifold invariantgood involutionProperty FRlink invariantlink-homotopy
0
0 comments X

The pith

Skew-racks with good involution and Property FR yield cocycle invariants of closed 3-manifolds obtained by Dehn surgery.

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

The paper introduces skew-racks equipped with a good involution and satisfying Property FR. It defines cocycle invariants from these structures that are preserved under Dehn surgery, making them invariants of the resulting closed 3-manifolds. The approach starts from link data in the 3-sphere and uses surgery to produce the manifold invariants. It also gives link invariants that are invariant under link-homotopy. This method offers a way to construct 3-manifold invariants without direct reference to the manifold's topology beyond the surgery description.

Core claim

We establish a new approach to obtain 3-manifold invariants via Dehn surgery. For this, we introduce skew-racks with good involution and Property FR, and define cocycle invariants as 3-manifold invariants. We also define some link invariants in the 3-sphere which are invariant up to link-homotopic.

What carries the argument

Skew-rack with good involution and Property FR, which supports the definition of cocycles whose values are invariant under the Dehn surgery operations that produce closed 3-manifolds from links.

If this is right

  • The cocycle invariants are unchanged by Dehn surgery and thus descend to invariants of closed 3-manifolds.
  • Link invariants in the 3-sphere are obtained that remain the same under link-homotopy.
  • These invariants can be computed from presentations of the manifold via surgery on links.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If the invariants distinguish manifolds that other known invariants cannot, they would provide new topological information.
  • The method might extend to other surgery descriptions or to 4-manifolds if similar structures can be found.
  • Verification on specific examples like lens spaces would confirm the invariance in practice.

Load-bearing premise

The cocycle invariants remain unchanged when the underlying link is modified by the Dehn surgery operations that yield the closed 3-manifold.

What would settle it

An explicit calculation for a pair of links related by Dehn surgery where the computed cocycle invariant differs between them.

Figures

Figures reproduced from arXiv: 2303.12995 by Takefumi Nosaka.

Figure 1
Figure 1. Figure 1: Positive and negative crossings, and eight semi-arcs with labeling. [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Fenn-Rourke moves, and labeled semi-arcs. [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: , then there is a bijection Bf : ColX(Do ) → ColX((D0 ) o 0 ). Proof. For a coloring C ∈ ColX(Do ), take a ∈ X such that C(α) = κ(a). Since α and β lie on the same link-component, there is g ∈ Inneven κ (X) such that C(β) = a · g from the definition (5). Then, by the rule of colorings, we have C(γ) = Tw−1 (κ(a · g)) = (a · g)Cκ(a · g), C(δ) = Tw−1 (κ(a))C(a · g) = (aCκ(a))C(a · g). Since X is f-link homoto… view at source ↗
Figure 4
Figure 4. Figure 4: Semi-arcs αi and βi in the knot diagram D. 12 [PITH_FULL_IMAGE:figures/full_fig_p012_4.png] view at source ↗
read the original abstract

We establish a new approach to obtain 3-manifold invariants via Dehn surgery. For this, we introduce skew-racks with good involution and Property FR, and define cocycle invariants as 3-manifold invariants. We also define some link invariants in the 3-sphere which are invariant up to link-homotopic.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 1 minor

Summary. The paper introduces skew-racks equipped with a good involution and Property FR as an algebraic structure, then defines associated cocycle invariants that are claimed to be invariants of closed 3-manifolds obtained by Dehn surgery on links in S^3. It further defines certain link invariants in S^3 that remain unchanged under link-homotopy.

Significance. If the invariance under Dehn surgery is rigorously established, the construction would supply a new family of 3-manifold invariants derived from an algebraic object not previously used in this context, potentially distinguishing manifolds that existing invariants cannot separate. The algebraic setup (skew-racks with the stated properties) appears original and could extend to other topological applications if the invariance proofs hold.

major comments (2)
  1. [Abstract] Abstract: the central claim that the cocycle invariants are 3-manifold invariants rests on invariance under Dehn surgery, yet the abstract supplies neither a proof outline, derivation steps, nor a single explicit example (e.g., +1-surgery on the unknot returning S^3). This verification is load-bearing for the entire construction.
  2. [Introduction / Definitions] The definitions of skew-rack with good involution and Property FR are introduced without any subsequent check that the resulting cocycle is unchanged when the link presentation is replaced by its Dehn surgery result; without this step the claim that the quantities are 3-manifold invariants cannot be evaluated.
minor comments (1)
  1. [Abstract] The phrase 'invariant up to link-homotopic' is used without clarifying whether this means link-homotopy equivalence or a weaker relation; a precise statement would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful review and constructive suggestions. We address the two major comments point by point below. The full proofs of Dehn surgery invariance appear in the body of the manuscript, but we agree that the abstract and introduction can be improved for clarity and accessibility.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the central claim that the cocycle invariants are 3-manifold invariants rests on invariance under Dehn surgery, yet the abstract supplies neither a proof outline, derivation steps, nor a single explicit example (e.g., +1-surgery on the unknot returning S^3). This verification is load-bearing for the entire construction.

    Authors: We agree that the abstract would be strengthened by additional detail. In the revised version we will expand the abstract to include a one-sentence outline of the invariance argument under Dehn surgery and the explicit example of +1-surgery on the unknot (which yields S^3 and for which the invariant evaluates to the value expected from the trivial rack). The complete derivations remain in Sections 3 and 4. revision: yes

  2. Referee: [Introduction / Definitions] The definitions of skew-rack with good involution and Property FR are introduced without any subsequent check that the resulting cocycle is unchanged when the link presentation is replaced by its Dehn surgery result; without this step the claim that the quantities are 3-manifold invariants cannot be evaluated.

    Authors: The manuscript does contain the required invariance check: after the definitions in Section 2, Theorem 3.5 proves that the cocycle is unchanged under the moves realizing Dehn surgery, using Property FR and the good involution to cancel the contributions from the surgery curves. To make this logical dependence explicit, we will insert a forward reference to Theorem 3.5 immediately after the definitions in the introduction. This addresses the presentation concern while preserving the existing proof. revision: partial

Circularity Check

0 steps flagged

No circularity; new algebraic structures and invariance claim are independent of inputs

full rationale

The paper introduces skew-racks equipped with a good involution and Property FR as new objects, then defines cocycle invariants from them and asserts these yield 3-manifold invariants under Dehn surgery. This construction does not reduce any claimed result to a fitted parameter, a self-citation chain, or a renaming of prior quantities; the invariance statement is presented as a theorem resting on the algebraic conditions rather than being true by definition. No load-bearing step equates a prediction to its own input data or imports uniqueness from the authors' prior unverified work. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The paper introduces new algebraic structures (skew-racks with good involution and Property FR) whose existence and properties are postulated to support the invariant construction; no free parameters or external data fits are mentioned.

axioms (1)
  • domain assumption Existence of skew-racks satisfying the good involution and Property FR conditions sufficient to define cocycles invariant under Dehn surgery.
    Invoked to establish the 3-manifold invariants (abstract).
invented entities (1)
  • skew-rack with good involution and Property FR no independent evidence
    purpose: To serve as the algebraic input for defining cocycle invariants of closed 3-manifolds via Dehn surgery.
    Newly introduced structures whose properties enable the invariant construction.

pith-pipeline@v0.9.0 · 5563 in / 1382 out tokens · 19334 ms · 2026-05-24T10:04:35.227201+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

40 extracted references · 40 canonical work pages · 2 internal anchors

  1. [1]

    K. S. Brown, Cohomology of Groups , Graduate Texts in Mathematics, 87 , Springer-Verlag, New York, 1994

    work page 1994

  2. [3]

    Cartan, S

    H. Cartan, S. Eilenberg,

    work page

  3. [4]

    3-manifold groups

    Aschenbrenner, Matthias; Friedl, Stefan; Wilton, Henry. 3-manifold groups. EMS Series of Lectures in Mathematics. European Mathematical Society (EMS), 2015. MR3444187

    work page 2015

  4. [5]

    Auckly, Surgery numbers of 3-manifolds: a hyperbolic example, Geometric topology (Athens, GA, 1993), AMS/IP Stud

    Dave. Auckly, Surgery numbers of 3-manifolds: a hyperbolic example, Geometric topology (Athens, GA, 1993), AMS/IP Stud. Adv. Math., vol. 2, Amer. Math. Soc., Providence, RI, 1997, pp. 21--34. MR 1470719

    work page 1993

  5. [6]

    Bardakov, T

    V. Bardakov, T. Nasybullov, M. Neshchadim, Twisted conjugacy classes of the unit element, Siberian Mathematical Journal, V. 54, N. 1, 2013, 10--21

    work page 2013

  6. [7]

    Scott; Elhamdadi, Mohamed; Gra\ n a, Matias; Saito, Masahico

    Carter, J. Scott; Elhamdadi, Mohamed; Gra\ n a, Matias; Saito, Masahico. Cocycle knot invariants from quandle modules and generalized quandle homology. Osaka J. Math. 42 (2005), no. 3, 499--541. MR2166720

    work page 2005

  7. [8]

    J. S. Carter, J. S. Elhamdadi, M. Gra\ na, M. Saito, Cocycle knot invariants from quandle modules and generalized quandle homology , Osaka J. Math. 42 (2005), 499--541

    work page 2005

  8. [9]

    Ceniceros, M

    J. Ceniceros, M. Elhamdadi and S. Nelson, Legendrian rack invariants of Legendrian knots, Commun. Korean Math. Soc. 36 (2021), no. 3, 623-639

    work page 2021

  9. [10]

    Augmented biracks and their homology

    Ceniceros, Jose; Elhamdadi, Mohamed; Green, Matthew; Nelson, Sam. Augmented biracks and their homology. Internat. J. Math. 25 (2014), no. 9, 1450087

    work page 2014

  10. [11]

    Scott; Jelsovsky, Daniel; Kamada, Seiichi; Langford, Laurel; Saito, Masahico

    Carter, J. Scott; Jelsovsky, Daniel; Kamada, Seiichi; Langford, Laurel; Saito, Masahico. Quandle cohomology and state-sum invariants of knotted curves and surfaces. Trans. Amer. Math. Soc. 355 (2003), no. 10, 3947--3989. MR1990571

    work page 2003

  11. [12]

    J. S. Carter, S. Kamada, M. Saito, Geometric interpretation of quandle homology , J. Knot Theory Ramifications, 10 , (2001), 345--386

    work page 2001

  12. [13]

    Topological gauge theories and group cohomology

    Dijkgraaf, Robbert; Witten, Edward. Topological gauge theories and group cohomology. Comm. Math. Phys. 129 (1990), no. 2, 393--429. MR1048699

    work page 1990

  13. [14]

    On Kirby's calculus of links

    Fenn, Roger; Rourke, Colin. On Kirby's calculus of links. Topology 18 (1979), no. 1, 1--15. MR0528232

    work page 1979

  14. [15]

    Trunks and classifying spaces

    Fenn, Roger; Rourke, Colin; Sanderson, Brian. Trunks and classifying spaces. Appl. Categ. Structures 3 (1995), no. 4, 321--356. MR1364012

    work page 1995

  15. [16]

    R. Fenn, C. Rourke, B. Sanderson, The rack space , Trans. Amer. Math. Soc. 359 (2007), no. 2, 701--740

    work page 2007

  16. [17]

    An introduction to species and the rack space

    Fenn, Roger; Rourke, Colin; Sanderson, Brian. An introduction to species and the rack space. Topics in knot theory (Erzurum, 1992), 33--55, NATO Adv. Sci. Inst. Ser. C: Math. Phys. Sci., 399, Kluwer Acad. Publ., Dordrecht, 1993. MR1257904

    work page 1992

  17. [18]

    Refined Kirby calculus for three-manifolds of first homology groups of odd prime orders

    Fujiwara, Kenichi. Refined Kirby calculus for three-manifolds of first homology groups of odd prime orders. Topology Appl. 155 (2008), no. 13, 1382--1393. MR2427409

    work page 2008

  18. [19]

    The adjoint group of an Alexander quandle

    F.J.-B.J. Clauwens, The adjoint group of an Alexander quandle , preprint, arXiv:math/1011.1587

    work page internal anchor Pith review Pith/arXiv arXiv

  19. [20]

    , Quandle coverings and their Galois correspondence , arXiv:math/0612459v3

    work page internal anchor Pith review Pith/arXiv arXiv

  20. [21]

    DL Goncalves, T Nasybullov, On groups where the twisted conjugacy class of the unit element is a subgroup - Communications in Algebra, 2019 Taylor & Francis

    work page 2019

  21. [22]

    Irreducible 3-manifolds that cannot be obtained by 0-surgery on a knot

    Hedden, Matthew; Kim, Min Hoon; Mark, Thomas E.; Park, Kyungbae. Irreducible 3-manifolds that cannot be obtained by 0-surgery on a knot. Trans. Amer. Math. Soc. 372 (2019), no. 11, 7619--7638. MR4029676

    work page 2019

  22. [23]

    R. Fenn, C. Rourke, B. Sanderson,

    work page

  23. [24]

    Refined Kirby calculus for integral homology spheres

    Habiro, Kazuo. Refined Kirby calculus for integral homology spheres. Geom. Topol. 10 (2006), 1285--1317. MR2255498

    work page 2006

  24. [25]

    A formula for Casson's invariant

    Hoste, Jim. A formula for Casson's invariant. Trans. Amer. Math. Soc. 297 (1986), no. 2, 547--562. MR0854084

    work page 1986

  25. [26]

    Ishii, M

    A. Ishii, M. Iwakiri, Y. Jang, K. Oshiro, A G -family of quandles and handlebody-knots , Illinois J. Math. 57 (2013), 817--838

    work page 2013

  26. [27]

    K. P. Knudson, Homology of linear groups , Progress in Mathematics, 193 , Birkh\" a user Verlag, Basel, 2001

    work page 2001

  27. [28]

    Quasi-triviality of quandles for link-homotopy, J

    Inoue, Ayumu. Quasi-triviality of quandles for link-homotopy, J. Knot Theory Ramifications 22 (2013), MR3070837

    work page 2013

  28. [29]

    Intelligence of Low Dimensional Topology 2006, Eds. J. S. Carter et. al

    Kamada, Seiichi, Quandles with good involutions, their homologies and knot invariants, in “Intelligence of Low Dimensional Topology 2006, Eds. J. S. Carter et. al." 101--108 World Scientific Publishing Co. (2007)

    work page 2006

  29. [30]

    Homology groups of symmetric quandles and cocycle invariants of links and surface-links

    Kamada, Seiichi; Oshiro, Kanako. Homology groups of symmetric quandles and cocycle invariants of links and surface-links. Trans. Amer. Math. Soc. 362 (2010), no. 10, 5501--5527. MR2657689

    work page 2010

  30. [31]

    A calculus for framed links in S 3

    Kirby, Robion. A calculus for framed links in S 3 . Invent. Math. 45 (1978), no. 1, 35--56. MR0467753

    work page 1978

  31. [32]

    Milnor, Link groups, Ann

    John W. Milnor, Link groups, Ann. of Math. (2) 59 (1954), 177–195, MR0071020

    work page 1954

  32. [33]

    Mandemaker, Various topics in rack and quandle homology , Master thesis in Radboud University, Nijmegen, 2009

    J. Mandemaker, Various topics in rack and quandle homology , Master thesis in Radboud University, Nijmegen, 2009

    work page 2009

  33. [34]

    Matveev, Distributive groupoids in knot theory (Russian), Math

    S. Matveev, Distributive groupoids in knot theory (Russian), Math. USSRSobornik 47 (1982), 73--83

    work page 1982

  34. [35]

    Nosaka, Quandle cocycles from invariant theory , Advances in Mathematics, 245 (2013), 423--438

    T. Nosaka, Quandle cocycles from invariant theory , Advances in Mathematics, 245 (2013), 423--438

    work page 2013

  35. [36]

    Nosaka, On third homologies of groups and of quandles via the Dijkgraaf-Witten invariant and Inoue-Kabaya map , Algebraic and Geometric Topology

    T. Nosaka, On third homologies of groups and of quandles via the Dijkgraaf-Witten invariant and Inoue-Kabaya map , Algebraic and Geometric Topology. 14 (2014) 2655--2692

    work page 2014

  36. [37]

    , On third homologies of group and of quandle via the Dijkgraaf-Witten invariant and Inoue-Kabaya map , to appear Algebraic and Geometric Topology

    work page

  37. [38]

    Quandles and topological pairs

    Nosaka, Takefumi. Quandles and topological pairs. Symmetry, knots, and cohomology. SpringerBriefs in Mathematics. Springer, Singapore, 2017

    work page 2017

  38. [39]

    Reshetikhin, N.; Turaev, V. G. Invariants of 3 -manifolds via link polynomials and quantum groups. Invent. Math. 103 (1991), no. 3, 547--597. MR1091619

    work page 1991

  39. [40]

    Saveliev, Invariants for homology 3-spheres, Encyclopaedia of Mathematical Sciences, vol

    N. Saveliev, Invariants for homology 3-spheres, Encyclopaedia of Mathematical Sciences, vol. 140, Springer-Verlag, Berlin, 2002, Low-Dimensional Topology, I. MR 1941324

    work page 2002

  40. [41]

    Quantum invariants of knots and 3-manifolds

    Turaev, Vladimir G. Quantum invariants of knots and 3-manifolds . De Gruyter Studies in Mathematics, 18. De Gruyter, Berlin, MR3617439

    work page