Pith. sign in

REVIEW 6 minor 12 references

A module structure on odd Khovanov homology and the odd invariant for ribbon 2-knots

T0 review · 0 major / 6 minor · reviewed 2026-07-11 · grok-4.5

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

Pith's one-line read Reduced odd Khovanov homology of a link is a module over the exterior algebra of the first homology of its branched double cover, yielding a combinatorial computation of the odd 2-knot invariant for ribbon knots.

desk verdict Solid combinatorial module structure on odd Khovanov that cleanly yields the ribbon-2-knot and ribbon-concordance applications. read the letter →

arxiv 2607.04018 v1 pith:HP2C3WXM submitted 2026-07-04 math.GT

Jacob Migdail , Stephan Wehrli This is my paper · ORCID
classification math.GT MSC 57K1857K1657M27
keywords oddKhovanovhomologybrancheddoublecovermodulestructureribbon2-knotsconcordancedotmapsexterioralgebracoloring
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 establishes that reduced odd Khovanov homology of a link carries a natural module structure over the exterior algebra of the first homology of the branched double cover. Dot maps on edges of a link diagram realize this action, and the same maps are identified with the maps induced by attaching horizontal tubes along arcs. For a ribbon 2-knot the resulting odd invariant therefore equals the order of the first homology of the branched double cover. The same identification shows that every ribbon concordance induces an injective map on odd Khovanov homology with rational coefficients or with coefficients in the ring of 2-power integers. The constructions remain valid over any commutative unital ring and reconcile the type-X and type-Y variants of the theory.

What carries the argument

Dot chain maps on the odd Khovanov bracket, which generate an action of the exterior algebra of the coloring module (identified with H1 of the branched double cover) and which equal the cobordism maps of horizontal tubes.

What would settle it

Exhibit a ribbon 2-knot whose odd Khovanov–Jacobsson number differs from the order of the first homology of its branched double cover, or a ribbon concordance that fails to induce an injective map on odd Khovanov homology over the rationals.

Watch

Extended reading notes

Core claim

The reduced odd Khovanov homology of a link L is naturally a module over the exterior algebra of H1 of the branched double cover of L. The module action is realized by linear combinations of dot maps and coincides (up to sign) with the maps induced by horizontal tubes attached along arcs. Consequently, for any ribbon 2-knot F the odd Khovanov–Jacobsson number n(F) equals the order of H1 of the branched double cover of F, and every ribbon concordance induces an injective map on odd Khovanov homology over the rationals or over Z/2^k Z.

Load-bearing premise

The maps assigned to link cobordisms by odd Khovanov homology are well-defined up to overall sign and invariant under ambient isotopy in three-space times an interval.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 6 minor

Summary. The paper proves that the reduced odd Khovanov homology of a link L is naturally a module over the exterior algebra Λ*H1(Σ(L);Z), constructed combinatorially via dot chain maps on the odd Khovanov bracket that are compatible with the relations in the (modified) coloring module Col(D) ≅ H1(Σ(L);Z). This action is described geometrically by oriented arcs α ⊂ R3 meeting L only at endpoints (Theorem 4), shown to intertwine under the type-X/Y isomorphism (Theorem 3), and identified (up to sign) with the odd Khovanov maps induced by horizontal tubes Fα (Theorem 5). The authors introduce a decorated cobordism category Cob4_Λ (equivalent to a dotted category Cob4_•) to which odd Khovanov extends as a functor up to sign (Theorem 6). Applications include a combinatorial proof that the odd 2-knot invariant n(F) equals |H1(Σ(F);Z)| for ribbon 2-knots (Theorem 7) and that ribbon concordances induce injective maps on odd Khovanov homology over Q and over Z_{2^k} (Theorem 8).

Significance. If correct, the results give a new, purely combinatorial bridge between odd Khovanov homology and the topology of branched double covers, explaining some of the extra torsion and symmetries observed in odd theories (e.g., for pretzels). The geometric arc/tube description and the decorated category Cob4_Λ supply a flexible calculus for computing cobordism maps. The combinatorial proofs of the ribbon cases of the Spyropoulos–Vidyarthi–Zhang conjecture and of the odd analogue of Levine–Zemke’s injectivity theorem are valuable independent of the analytic proofs already available; they also clarify the role of the absolute value of the relative homology order. Strengths include explicit chain-homotopy calculations (adapting Manion), careful Mayer–Vietoris/handle arguments for coloring modules of cobordisms, and the absence of free parameters once the background functoriality of OKh(F) is granted.

minor comments (6)
  1. Throughout (abstract, Theorem 8 statement, several places in §5): fix the recurring typo “Khovaonv” → “Khovanov” and the abstract phrasing “related it” → “relate it”.
  2. §3.6 / Proposition 34: the key vanishing OKh(L)_{1,1}=0 is obtained from KnotJob; a short remark that the computation is independent of the module-structure claims (and can be replaced by a hand calculation for this small complex) would strengthen the purely combinatorial character of the paper.
  3. §4.4–4.5: the sign conventions in the composition law of Cob4_Λ and in the definition of the maps z_e are carefully tracked, but a single summary paragraph collecting all sign sources (superdegree, S(D,α), movie-move signs) would help the reader verify naturality (Lemma 49) without hunting through earlier sections.
  4. §5.1 (proof of Theorem 7): the handle decomposition of Σ(B4,C) is standard, yet a one-sentence reference to the precise statement in Owens–Strle (or an earlier paper of the authors) would make the identification det(A)=|H1| completely self-contained.
  5. Figures 1, 2, 8, 14–18: several arcs and tubes are drawn with overlapping labels; increasing spacing or adding a short caption legend would improve readability.
  6. References: the forthcoming papers [MW26a], [MW26b] and the thesis [Mig24] are cited for related results; a brief parenthetical note on what is proved here versus what is deferred would clarify the logical independence of the present arguments.

Circularity Check

1 steps flagged · score 2.0 of 10

Core module structure via dots/coloring modules is self-contained and classical; applications lean on authors' prior functoriality [MW24] without reducing the new claims to it by construction.

  1. self citation load bearing [§1 (after Thm 5), §4.1, §4.5–4.6, §5 (proof of Thm 7)]
    "It was shown in [MW24; Spy25] that every smooth link cobordism F⊂R3×I induces a map OKh(F) on odd Khovanov homology, which is well-defined up to an overall sign. ... Our proof of this theorem was already announced in our paper [MW24] and uses the module structure on odd Khovanov homology."

    The identification OKh(Fα)=±[bα] (Thm 5) and the subsequent ribbon computation of n(F) (Thm 7) treat the existence and isotopy-invariance (up to sign) of the undecorated maps OKh(F) as given by the authors’ own prior work. This is a genuine external dependency for the applications, but it is not circular: [MW24] establishes functoriality independently of the module action or of the equality n(F)=|H1|, and the present paper supplies the new combinatorial identification that turns those maps into the desired scalars.

full rationale

Theorem 1 (and 2–4) is derived combinatorially: dot chain maps xe on the odd Khovanov bracket (eq. 11), compatibility with coloring-module relations via Manion-style homotopies (Lemmas 24–25), and the classical identification Col(D)red ≅ H1(Σ(L);Z) (Lemma 12, citing Przytycki et al.). No parameter is fitted, no uniqueness theorem is imported from the authors to force the action, and the geometric arc description (Theorem 4) follows by lifting Wirtinger generators in the handle decomposition already used for the coloring module. Theorems 5–8 and the decorated category Cob4_Λ do invoke the up-to-sign cobordism maps OKh(F) from the authors’ [MW24; Spy25], and the ribbon computation of n(F) (Theorem 7) uses the newly identified tube = module-action correspondence; however those prior results are independent functoriality statements, not the target equalities n(F)=|H1| or injectivity, so the applications remain non-circular. No self-definitional loop, fitted-input-as-prediction, or renaming of a known pattern appears. Score 2 reflects only the non-load-bearing self-citation for the external functoriality black box.

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

Purely algebraic-topological paper. No free parameters are fitted. Background axioms are the standard existence and basic properties of odd Khovanov homology (Putyra, ORS) together with the authors’ earlier functoriality-up-to-sign result. The only invented entities are the decorated categories Cob^4_Λ and Cob^4_•, introduced as organizational tools rather than physical postulates.

assumptions (4)
  • domain assumption Odd Khovanov homology is well-defined up to isomorphism and is a link invariant (ORS13, Putyra).
    Used as the starting point for all module and cobordism constructions; never re-proved.
  • domain assumption Link cobordisms induce maps on odd Khovanov homology that are well-defined up to overall sign and invariant under ambient isotopy in R^3×I (MW24, Spy25).
    Invoked throughout §§4–5 to define OKh(F,c) and to identify tube maps with module actions.
  • standard math Coloring module Col(D)_red is canonically isomorphic to H1(Σ(L);Z) via the Wirtinger handle decomposition of the branched cover.
    Classical (Przytycki et al.); proved in Lemma 12 for completeness.
  • standard math Carter–Saito movie moves generate ambient isotopy of surfaces in R^3×I.
    Used to reduce isotopy invariance of OKh(F,c) to elementary movie moves (Lemma 51).
invented entities (1)
  • Decorated link-cobordism category Cob^4_Λ (and equivalent dotted category Cob^4_•)
    purpose: Organizes pairs (F,c) with c∈Λ*H1(Σ(F∪id_U)) so that odd Khovanov homology becomes a functor up to sign.
    Introduced in §4; no independent physical or geometric existence claimed beyond the algebraic convenience of packaging the module action with cobordism maps.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A module structure on odd Khovanov homology and the odd invariant for ribbon 2-knots." pith.science (2026). https://pith.science/paper/HP2C3WXM

@misc{pith2026260704018,
  author       = {Pith},
  title        = {Pith review of: A module structure on odd Khovanov homology and the odd invariant for ribbon 2-knots},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HP2C3WXM}},
  note         = {Machine review of arXiv:2607.04018}
}
abstract

We prove that the reduced odd Khovanov homology of a link $L$ is naturally a module over the exterior algebra of the first homology of the link's branched double-cover. We then describe this module structure more geometrically and related it to the odd Khovanov maps induced by link cobordisms. As an application, we will give a combinatorial proof of a recent result of Spyropoulos-Vidyarthi-Zhang about the odd invariant for $2$-knots in the special case where the $2$-knot is a ribbon $2$-knot. Additionally, we will show that Levine-Zemke's main result from their 2019 paper on Khovanov homology and ribbon concordance remains true for odd Khovanov homology with rational coefficients and with coefficients in $\mathbb{Z}_{2^k}$.

Figures

Figures reproduced from arXiv: 2607.04018 by the authors.

Figure 1
Figure 1. The oriented arc α ⊂ R 3 . The vertical lines represent strands of the link L ⊂ R 3 . In particular, a1, . . . , ar are the edges of the link diagram that α overcrosses, and b1, . . . , bs are the edges that α undercrosses. In the above picture, the aj precede the bj , but this is not required in general. In general, the arc α is allowed to have self-crossings, but they will not enter our calculations. can interpret… view at source ↗
Figure 2
Figure 2. Broken surface diagram of the link cobordism Fα for α as in Fig￾ure 1. In this picture, we can assume that the shown portions of Fα live in the hyperplane z = 0, and the unshown portions live in z < 0. The odd Khovanov map induced by Fα can now be described as follows: Theorem 5. The map OKh(Fα) coincides with the action of ±[αb]. To prove this theorem, we will introduce a category Cob4 Λ of decorated link cobordism… view at source ↗
Figure 3
Figure 3. anticommutes. There are two different conventions for doing so, called type X and type Y. In type X, it is assumed that the left configuration anticommutes and the right one commutes, and in type Y, these assumptions are reversed [PITH_FULL_IMAGE:figures/full_fig_p009_3.png] view at source ↗
Figures from the paper (16 more)
Figure 4
Figure 4. Figure 4: The lifts of a Wirtinger generator a and its inverse a −1 . We can extend the handle decomposition of E2 to a handle decomposition for Σ(L) ⊃ E2 by attaching an additional 2-handle along each loop ea + tea, and then filling in additional 3-handles. The cellular chain g…
Figure 5
Figure 5. Figure 5: The homotopy h⋆α. Applying the horizontal neck cutting relation (4) to the tube in d ′ ⋆α ◦ h ′ ⋆α, we obtain d⋆α ◦ h⋆α = (−1)S(D,1α) [PITH_FULL_IMAGE:figures/full_fig_p018_5.png]
Figure 6
Figure 6. Figure 6: The homotopy k⋆α. The proof that k is a homotopy between the dot chain maps from Lemma 25 is analogous to the corresponding proof for h. In particular, the proof that dk +kd = dck +kdc uses a minor modification of Manion’s case-by-case analysis from [Man14], and relies…
Figure 7
Figure 7. Figure 7: Crossing with labeled edges. Now consider a crossing of D, and assume that the adjacent edges are labeled a, b, c, d in clockwise order, where b and d belong to the overcrossing strand (see [PITH_FULL_IMAGE:figures/full_fig_p019_7.png]
Figure 8
Figure 8. Figure 8: The paths γX and γY from the basepoint x0 = ∞ to the endpoint of the initial subarc αϵ ⊂ α. Let γX, γY ⊂ S 3 \ L be two paths from the basepoint x0 := ∞ to the final endpoint of the subarc αϵ , such that γX does not overcross any strands of D, and γY does not undercros…
Figure 9
Figure 9. Figure 9: An arc α that corresponds to the dot map xe in the type Y setting. Using the graphical description of the dot maps xe, we can gain a renewed understanding of the (modified) coloring module relations that hold among the dot maps. For the type Y theory, this is explained…
Figure 10
Figure 10. Figure 10: The crossing relation in the type Y setting. The arcs α and α ′ are isotopic, and their actions are given, respectively, by xc and 2xb − xa, showing that xc = 2xb − xa. We can also use Corollary 31 and our graphical description of dot maps to prove the equiv￾alence of…
Figure 11
Figure 11. Figure 11: The links L and L ′ and the arcs α and α ′ . The canonical isomorphism between the odd Khovanov homologies of type Y and type X is then given by a sequence of isomorphisms (17) OKh(L, ϵY ) ∼= OKh(L ′ , ϵ′ Y ) ∼= OKh(L, ϵX), where ϵY and ϵ ′ Y are sign assignments of t…
Figure 12
Figure 12. Figure 12: Two dot configurations on a diagram of a 2-component unlink. The left configuration always induces the zero map, while the right configura￾tion induces a nonzero map on the rational type Y odd Khovanov homology. 3.6 Module Structure for Pretzel Knots In [Shu11] after …
Figure 13
Figure 13. Figure 13: The even and odd reduced Khovanov homologies of 946 on the left and right, respectively. The horizontal and vertical directions correspond to the homological grading and the quantum grading. The module structure we have developed up to this point provides a tool to ex…
Figure 14
Figure 14. Figure 14: As in this figure, let a and b be the edges of the link diagram of K that contain the endpoints of α, so that the module action of [αb] ∈ H1(Σ(K);Z) is given by xa − xb. b α a K L U2 [PITH_FULL_IMAGE:figures/full_fig_p027_14.png]
Figure 15
Figure 15. Figure 15: A homotopy equivalence between the complex C(L) (in the top row) and a complex of the form Cone(xa − xb) → C(U2) (in the bottom row), where the numbers in curly brackets denote shifts of the quantum grading. The chain homotopy equivalence from [PITH_FULL_IMAGE:figure…
Figure 16
Figure 16. Figure 16: Dot migration relation. The right-hand side in this picture rep￾resents a linear combination of two dot configurations on S. Given a dot configuration d = {d1, . . . , dℓ}, we can consider the element f1 ∧ · · · ∧ fℓ ∈ Λ ∗Col(S), where fi denotes the oversheet of S th…
Figure 17
Figure 17. Figure 17: A ribbon 2-knot We now consider the cobordism F˙ : U → U from the unknot to itself produced by puncturing F at the north and south poles of S0 or alternatively begining the movie of F directly after the birth of S0 and ending directly before its death. On reduced odd …
Figure 18
Figure 18. Figure 18: The link L, α-arcs, and ϵ-arcs for the 2-knot in [PITH_FULL_IMAGE:figures/full_fig_p046_18.png]
Figure 19
Figure 19. Figure 19: The cobordisms F1 and F2 on the left and right respectively The computations were deferred until this paper as they are simpler and clearer using the machinery of dotted cobordisms. In all the following let .= denote an equality up to sign. A natural starting point wo…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

12 extracted references · 5 linked inside Pith

  1. [1]

    The generalized Kauffman–Harary conjecture is true

    [Bak+25] R. P. Bakshi et al. “The generalized Kauffman–Harary conjecture is true”. In: Algebraic & Geometric Topology25.4 (Aug. 2025), 2067–2081. [BN05] D. Bar-Natan. “Khovanov’s homology for tangles and cobordisms”. In:Geometry & Topology9.3 (Aug. 2005), pp. 1443–1499. [Bei12] S. Beier.An integral lift, starting in odd Khovanov homology, of Szab´ o’s spe...

    2025

  2. [2]

    Odd Khovanov homology is mutation invariant

    arXiv:1205.2256 [math.GT]. [Blo10] J. Bloom. “Odd Khovanov homology is mutation invariant”. In:Mathematical Research Letters17.1 (2010), pp. 1–10. 54 [Dae15] A. Daemi.Abelian Gauge Theory, Knots and Odd Khovanov Homology

    arXiv 2010

  3. [3]

    [ES25] M

    arXiv:1508.07650 [math.GT]. [ES25] M. Ebert and L. Schelstraete.A localgl 1|1-action on odd Khovanov homology

    arXiv

  4. [4]

    Khovanov module and the detection of unlinks

    arXiv:2511.00947 [math.GT]. [HN13] M. Hedden and Y. Ni. “Khovanov module and the detection of unlinks”. In: 17 (5 2013), pp. 3027–3076. [Jac04] M. Jacobsson. “An invariant of link cobordisms from Khovanov homology”. In: Algebraic & Geometric Topology4.2 (Dec. 2004), 1211–1251. [Jon87] V. F. R. Jones. “Hecke Algebra Representations of Braid Groups and Link...

    arXiv 2013

  5. [5]

    syr.edu/etd/1900/

    eprint:https://surface. syr.edu/etd/1900/. Also available at arXiv:2510.22893 [math GT]. [MW24] J. Migdail and S. Wehrli.Functoriality of Odd and Generalized Khovanov Ho- mology inR 3 ×I

    arXiv 1900

  6. [6]

    [MW26a] J

    arXiv:2410.23455 [math.GT]. [MW26a] J. Migdail and S. Wehrli.An action of the Hecke algebraH(−1, n)on the odd Khovanov homology of certain cables. in preparation

    arXiv

  7. [7]

    Odd annular Bar-Natan category andgl(1|1)

    [NW24] C. Necheles and S. Wehrli. “Odd annular Bar-Natan category andgl(1|1)”. In: Journal of Knot Theory and Its Ramifications33.08 (2024). [Oga00] E. Ogasa.Ribbon-moves of 2-knots: the Farber-Levine pairing and the Atiyah- Patodi-Singer-Casson-Gordon-Rubermaneη-invariants of 2-knots

    2024

  8. [8]

    Odd Khovanov homology

    arXiv:2207.09358 [math.GT]. [ORS13] P. S. Ozsv´ ath, J. Rasmussen, and Z. Szab´ o. “Odd Khovanov homology”. In: Algebraic & Geometric Topology13.3 (Apr. 2013), pp. 1465–1488. [OS05] P. Ozsv´ ath and Z. Szab´ o. “On the Heegaard Floer homology of branched double- covers”. In:Advances in Mathematics194 (1 2005), pp. 1–33. [Prz98] J. H. Przytycki. “3-colorin...

    arXiv 2013

Show all 12 references
  1. [9]

    An odd Khovanov homotopy type

    eprint:arxiv : 0502527. [SSS20] S. Sarkar, C. Scaduto, and M. Stoffregen. “An odd Khovanov homotopy type”. In:Advances in Mathematics367 (2020), p. 107112. 55 [Sca15] C. Scaduto. “Instantons and odd Khovanov homology”. In:Journal of Topology 8 (3 2015), pp. 744–810. [Shu11] A....

    2020

  2. [10]

    [SVZ26] D

    arXiv:2509.25463 [math.QA]. [SVZ26] D. Spyropoulos, R. S. Vidyarthi, and C. Zhang.Plane Floer homology and the odd Khovanov homology of 2-knots

  3. [11]

    [Tan05] K

    arXiv:2603.22033 [math.GT]. [Tan05] K. Tanaka.Khovanov-Jacobsson numbers and invariants of surface-knots derived from Bar-Natan’s theory

  4. [12]

    Mutation invariance of Khovanov homology overF 2

    arXiv:math/0502371 [math.GT]. [Kno]KnotJob. [Weh] S. Wehrli.Functoriality of odd Khovanov homology and branched double-covers, talk at AMS Sectional Meeting in Albany, October 19, 2024, https://meetings.ams.org/math/fall2024e/meetingapp.cgi/Paper/37912, Functoriality of odd Kh...

    2024 arXiv

Pith tools

Reviewed July 11, 2026 · model on record in the stance chip above.