arxiv: 2605.01584 · v1 · submitted 2026-05-02 · ✦ hep-th · math-ph· math.GT· math.MP· math.QA

Recognition: unknown

Reductions in Khovanov-Rozansky operator formalism

D. Galakhov , E. Lanina , A. Morozov

Authors on Pith no claims yet

Pith reviewed 2026-05-09 17:53 UTC · model grok-4.3

classification ✦ hep-th math-phmath.GTmath.MPmath.QA

keywords Khovanov-Rozansky invariantsMOY resolutionsbicomplexlocal operatorscohomologylocal reductionsbipartite calculuslink diagrams

0 comments

The pith

Khovanov-Rozansky invariants arise from a bicomplex of local operators D on MOY resolutions connected by conjugations χ^(±).

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

The paper reformulates the Khovanov-Rozansky description of knot invariants using a bicomplex with a simple physical meaning based on local operators. Instead of matrix factorizations, operators D are defined locally for every MOY resolution of a link diagram and become nilpotent for diagrams without external lines. These operators are related by conjugations χ^(±) that define morphisms. This splits the procedure into defining vertical cohomologies associated with particular resolutions and using the morphisms to define horizontal cohomologies whose Poincaré polynomial is the KhR polynomial. The local nature of the building blocks allows simple reductions that eliminate or change particular vertices in the hypercube.

Core claim

The KhR procedure splits in two steps—defining vertical cohomologies of D associated with particular resolutions and conjugations χ^(±) that define morphisms along its edges—yielding horizontal cohomologies whose Poincaré polynomial is the KhR polynomial. This construction remains global in the sense that resulting cohomologies depend on the entire link diagram, but all its building blocks, including the operators and morphisms are local in the sense that they are defined for its particular vertices. Sometimes this allows simple local reductions, allowing to eliminate or change particular vertices or sets of those, as in the case of antiparallel-lock tangles responsible for simplification of

What carries the argument

The bicomplex formed by vertical cohomologies of the local nilpotent operators D on MOY resolutions and the horizontal morphisms given by the conjugations χ^(±) on the hypercube.

Load-bearing premise

That the locally constructed operators D become nilpotent precisely when the diagram has no external lines and that the conjugations χ^(±) are well-defined morphisms compatible with the global cohomology.

What would settle it

A direct computation for a simple closed link such as the trefoil where D squared is nonzero or the Poincaré polynomial of the horizontal cohomologies fails to match the known Khovanov-Rozansky value.

Figures

Figures reproduced from arXiv: 2605.01584 by A. Morozov, D. Galakhov, E. Lanina.

**Figure 1.** Figure 1: The Kauffman bracket — the planar decomposition of the R-matrix vertex for the fundamental representation of Uq(sl2). In this case (N = 2), the conjugate of the fundamental representation is isomorphic to it, thus, tangles in the picture have no orientation. 2 Plan In this section, we provide the organization and brief review of this paper. At first, we sketch the content of Section 3. We use a formalism o… view at source ↗

read the original abstract

Sophisticated Khovanov-Rozansky (KhR) description of knot invariants in the fundamental representation can be reformulated in terms of bicomplex with a simple physical meaning. Namely, the counterintuitive matrix factorization is substituted by simple operators $D$, locally constructed for every MOY resolution of a link diagram, which becomes nilpotent when the diagram has no external lines. Operators for different resolutions are related by equally simple conjugations $\chi^{(\pm)}$. The KhR procedure then splits in two steps - defining ``vertical'' cohomologies of $D$, which are associated with particular resolutions and will be put at vertices of the hypercube, and conjugations $\chi^{(\pm)}$, that define morphisms along its edges. As usual, standard combinations of morphisms are nilpotent, and one can define ``horizontal'' cohomologies - which are then combined into Poincar\'e polynomial, called KhR polynomial in application to links. This construction remains global in the sense that resulting cohomologies depend on the entire link diagram, but all its building blocks, including the operators and morphisms are local in the sense that they are defined for its particular vertices. Sometimes, this allows simple local reductions, allowing to eliminate or change particular vertices or sets of those. Along with the obvious case of Reidemeister equivalencies this happens also for antiparallel-lock tangles, what is responsible for simplification of bipartite calculus. In the $N=2$ and arbitrary $N$ bipartite cases, one can also provide global reductions transferring the local construction of the KhR double-complex to the global construction of the Khovanov(-like) single-complex.

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.

Desk Editor's Note private letter to a colleague

Local D operators and χ conjugations recast KhR as a bicomplex with some diagram reductions, but the nilpotency and morphism claims lack explicit checks.

read the letter

The paper presents a local operator version of the Khovanov-Rozansky invariant. It defines a nilpotent operator D for each MOY resolution of the diagram, which works when the diagram is closed, and uses conjugations χ± to relate the operators across the hypercube edges. Vertical cohomology at the vertices followed by horizontal cohomology from the morphisms is supposed to give the KhR polynomial. It also describes local reductions for antiparallel locks and a collapse to a single complex in the bipartite setting.

Referee Report

3 major / 2 minor

Summary. The manuscript reformulates the Khovanov-Rozansky (KhR) invariants in the fundamental representation as a bicomplex. Local operators D are constructed for each MOY resolution of a link diagram and become nilpotent for closed diagrams (no external lines), permitting vertical cohomologies at hypercube vertices. Conjugation operators χ^(±) relate D's across resolutions and serve as morphisms along edges; standard combinations of these morphisms are nilpotent, allowing horizontal cohomologies whose Poincaré polynomial recovers the KhR polynomial. The construction is local at vertices yet global in its cohomologies, and the paper discusses local reductions (e.g., antiparallel-lock tangles simplifying bipartite calculus) plus global reductions in the N=2 and arbitrary-N bipartite cases that map the double-complex to a single-complex Khovanov-like construction.

Significance. If the asserted nilpotency and morphism properties hold, the reformulation supplies a more transparent operator picture that replaces matrix factorizations with locally defined D and χ^(±), potentially clarifying the bicomplex structure and enabling systematic simplifications via local reductions. The explicit separation into vertical and horizontal steps, together with the concrete reductions for antiparallel locks and bipartite cases, constitutes a genuine strength that could improve computational accessibility and suggest extensions to other representations.

major comments (3)

[Abstract] Abstract: The claim that D, locally constructed per MOY resolution, satisfies D²=0 precisely when the diagram has no external lines (thereby enabling vertical cohomology) is load-bearing for the entire bicomplex construction, yet neither the explicit definition of D nor any derivation or verification of nilpotency is supplied.
[Abstract] Abstract: The conjugations χ^(±) are asserted to be well-defined morphisms compatible with the hypercube edges such that standard combinations yield a nilpotent horizontal differential whose cohomology reproduces the KhR polynomial; no explicit form for χ^(±), no commutation relations, and no check that the horizontal differential squares to zero are provided.
[Abstract] Abstract (reductions paragraph): The statements that local reductions for antiparallel-lock tangles simplify bipartite calculus and that global reductions in the N=2 and bipartite cases transfer the construction to a single-complex Khovanov-like theory are central to the paper's utility claims, but lack any explicit example, before/after polynomial comparison, or verification that the reduced complex yields the same invariant.

minor comments (2)

[Abstract] The notation χ^(±) is introduced without clarifying the sign convention or its precise action on the graded vector spaces associated to each resolution.
[Abstract] The manuscript would benefit from an explicit reference to the original Khovanov-Rozansky matrix-factorization construction and to the MOY resolution rules to anchor the local-operator definitions.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the detailed comments. We address each major comment below and will make the indicated revisions to improve the clarity and completeness of the presentation.

read point-by-point responses

Referee: [Abstract] Abstract: The claim that D, locally constructed per MOY resolution, satisfies D²=0 precisely when the diagram has no external lines (thereby enabling vertical cohomology) is load-bearing for the entire bicomplex construction, yet neither the explicit definition of D nor any derivation or verification of nilpotency is supplied.

Authors: We agree that the abstract is too concise on this point. The full manuscript defines the local operator D explicitly for each MOY resolution in Section 2 using the standard vertex operators from the MOY calculus. Section 3 then derives D² = 0 for closed diagrams by direct computation, showing that all local contributions cancel when there are no external lines. We will revise the abstract to include a brief reference to this construction and the nilpotency derivation, and we will ensure the relevant sections are more prominently cross-referenced. revision: yes
Referee: [Abstract] Abstract: The conjugations χ^(±) are asserted to be well-defined morphisms compatible with the hypercube edges such that standard combinations yield a nilpotent horizontal differential whose cohomology reproduces the KhR polynomial; no explicit form for χ^(±), no commutation relations, and no check that the horizontal differential squares to zero are provided.

Authors: We acknowledge that the abstract does not supply these details. The manuscript introduces the explicit form of the conjugation operators χ^(±) in Section 4, derives their commutation relations with D, and verifies that the standard horizontal differential (the alternating sum along hypercube edges) squares to zero by direct calculation using the morphism properties. The resulting cohomology is shown to recover the KhR polynomial. We will update the abstract to note these elements and add explicit pointers to the relevant derivations. revision: yes
Referee: [Abstract] Abstract (reductions paragraph): The statements that local reductions for antiparallel-lock tangles simplify bipartite calculus and that global reductions in the N=2 and bipartite cases transfer the construction to a single-complex Khovanov-like theory are central to the paper's utility claims, but lack any explicit example, before/after polynomial comparison, or verification that the reduced complex yields the same invariant.

Authors: We agree that concrete illustrations would strengthen the utility claims. In the revised manuscript we will add an explicit example of an antiparallel-lock tangle, displaying the original and reduced bicomplexes together with their Poincaré polynomials to confirm invariance. For the N=2 and arbitrary-N bipartite cases we will include a specific link diagram, showing the step-by-step global reduction to the single-complex Khovanov-like theory and verifying that the invariant is preserved. revision: yes

Circularity Check

0 steps flagged

No significant circularity in the KhR bicomplex reformulation

full rationale

The paper reformulates the Khovanov-Rozansky procedure by introducing locally defined operators D (asserted nilpotent for closed diagrams) and conjugations χ^(±) to split the construction into vertical cohomologies at resolutions and horizontal morphisms along the hypercube edges, with the resulting Poincaré polynomial identified as the KhR polynomial. This is presented as an equivalence via the bicomplex structure rather than any reduction of the output to a fitted parameter, self-definition, or load-bearing self-citation chain. No equation or step in the provided derivation equates the final invariant to its own inputs by construction; the nilpotency and compatibility claims function as enabling properties for the split, leaving the overall chain self-contained against the standard KhR definition.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 2 invented entities

The construction rests on standard properties of chain complexes and MOY resolutions; no free parameters are introduced. The nilpotency of D on closed diagrams and the morphism property of χ are treated as domain assumptions rather than derived.

axioms (2)

domain assumption Operators D constructed locally on each MOY resolution become nilpotent when the diagram is closed (no external lines).
Invoked to guarantee that vertical cohomology is well-defined.
domain assumption Conjugations χ^(±) between resolutions act as chain maps compatible with the horizontal differential.
Required for the horizontal cohomology to be defined and for the Poincaré polynomial to be invariant.

invented entities (2)

Local operator D per MOY resolution no independent evidence
purpose: Replace matrix factorizations with a nilpotent operator whose cohomology gives the vertical part of the invariant.
Newly introduced local building block; no independent evidence supplied in abstract.
Conjugation operators χ^(±) no independent evidence
purpose: Provide morphisms along hypercube edges that commute appropriately with D.
Newly introduced; no independent evidence supplied in abstract.

pith-pipeline@v0.9.0 · 5611 in / 1606 out tokens · 32871 ms · 2026-05-09T17:53:18.238839+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

32 extracted references · 17 canonical work pages

[1]

Operator lift of the Reshetikhin-Turaev formalism to Khovanov- Rozansky topological quantum field theory

D. Galakhov, E. Lanina, and A. Morozov. “Operator lift of the Reshetikhin-Turaev formalism to Khovanov- Rozansky topological quantum field theory”. In: Physical Review D 113.2 (2026), p. 026013. arXiv: 2508. 05191 [hep-th]

2026
[2]

Khovanov–Rozansky cycle calculus for bipartite links

A. Anokhina, E. Lanina, and A. Morozov. “Khovanov–Rozansky cycle calculus for bipartite links”. In: The European Physical Journal C 85.10 (2025), pp. 1–35. arXiv: 2506.08721 [hep-th]

work page arXiv 2025
[3]

Aganagic, S

M. Aganagic and S. Shakirov. “Knot homology and refined Chern–Simons index”. In: Communications in Mathematical Physics 333.1 (2015), pp. 187–228. arXiv: 1105.5117 [hep-th]

work page arXiv 2015
[4]

Khovanov-Rozansky homology and topological strings

S. Gukov, A. Schwarz, and C. Vafa. “Khovanov-Rozansky homology and topological strings”. In: Letters in Mathematical Physics 74.1 (2005), pp. 53–74. arXiv: hep-th/0412243 [hep-th]

work page arXiv 2005
[5]

Fivebranes and knots

E. Witten. “Fivebranes and knots”. In: Quantum Topology 3.1 (2011), pp. 1–137. arXiv: hep-th/1101. 3216 [hep-th]

2011
[6]

Khovanov homology and gauge theory

E. Witten. “Khovanov homology and gauge theory”. In: Proceedings of the Freedman Fest 18 (2012), pp. 291–308. arXiv: 1108.3103 [hep-th]

work page arXiv 2012
[7]

Knot invariants from four-dimensional gauge theory

D. Gaiotto and E. Witten. “Knot invariants from four-dimensional gauge theory”. In: Advances in Theo- retical and Mathematical Physics 16.3 (2012), pp. 935–1086. arXiv: hep-th/1106.4789 [hep-th]

work page arXiv 2012
[8]

The Jones polynomial

V.F.R. Jones. “The Jones polynomial”. In: Discrete Math 294 (2005), pp. 275–277

2005
[9]

Hecke algebra representations of braid groups and link polynomials

V.F.R. Jones. “Hecke algebra representations of braid groups and link polynomials”. In: New developments in the theory of knots . World Scientific, 1987, pp. 20–73

1987
[10]

A polynomial invariant for knots via von Neumann algebras

V.F.R. Jones. “A polynomial invariant for knots via von Neumann algebras”. In: Bulletin of the American Mathematical Society 12.1 (1985), pp. 103–111

1985
[11]

Characteristic forms and geometric invariants

S.-S. Chern and J. Simons. “Characteristic forms and geometric invariants”. In: Annals Math. 99 (1974), pp. 48–69

1974
[12]

Quantum field theory and the Jones polynomial

E. Witten. “Quantum field theory and the Jones polynomial”. In: Communications in mathematical physics 121.3 (1989), pp. 351–399

1989
[13]

Invariants of tangles 1

N. Reshetikhin. “Invariants of tangles 1”. In: unpublished preprint (1987)

1987
[14]

Chern–Simons holonomies and the appearance of quan- tum groups

E. Guadagnini, M. Martellini, and M. Mintchev. “Chern–Simons holonomies and the appearance of quan- tum groups”. In: Physics Letters B 235.3-4 (1990), pp. 275–281

1990
[15]

Ribbon graphs and their invaraints derived from quantum groups

N. Reshetikhin and V. Turaev. “Ribbon graphs and their invaraints derived from quantum groups”. In: Communications in Mathematical Physics 127.1 (1990), pp. 1–26

1990
[16]

The Yang–Baxter equation and invariants of links

V. Turaev. “The Yang–Baxter equation and invariants of links”. In: New Developments in the Theory of Knots 11 (1990), p. 175

1990
[17]

Invariants of 3-manifolds via link polynomials and quantum groups

N. Reshetikhin and V. Turaev. “Invariants of 3-manifolds via link polynomials and quantum groups”. In: Inventiones mathematicae 103.1 (1991), pp. 547–597

1991
[18]

State models and the Jones polynomial

L.H. Kauffman. “State models and the Jones polynomial”. In: Topology 26.3 (1987), pp. 395–407

1987
[19]

Introduction to Khovanov homologies I. Unreduced Jones superpolynomial

V. Dolotin and A. Morozov. “Introduction to Khovanov homologies I. Unreduced Jones superpolynomial”. In: Journal of High Energy Physics 2013.1 (2013), pp. 1–48. arXiv: 1208.4994 [hep-th]

work page arXiv 2013
[20]

A new polynomial invariant of knots and links

P. Freyd, D. Yetter, J. Hoste, W.B.R. Lickorish, K. Millett, and A. Ocneanu. “A new polynomial invariant of knots and links”. In: Bulletin (new series) of the American mathematical society 12.2 (1985), pp. 239– 246

1985
[21]

Invariants of links of Conway type

J.H. Przytycki and K.P. Traczyk. “Invariants of links of Conway type”. In: Kobe Journal of Mathematics 4.2 (1988), pp. 115–139. arXiv: 1610.06679 [math.GT]. 44

work page arXiv 1988
[22]

HOMFLY polynomial via an invariant of colored plane graphs

H. Murakami, T. Ohtsuki, and S. Yamada. “HOMFLY polynomial via an invariant of colored plane graphs”. In: Enseignement Math´ ematique44 (1998), pp. 325–360

1998
[23]

Planar decomposition of the HOMFLY polynomial for bipartite knots and links

A. Anokhina, E. Lanina, and A. Morozov. “Planar decomposition of the HOMFLY polynomial for bipartite knots and links”. In: The European Physical Journal C 84.9 (2024), p. 990. arXiv: 2407.08724 [hep-th]

work page arXiv 2024
[24]

Planar decomposition of bipartite HOMFLY polynomials in symmetric representations

A. Anokhina, E. Lanina, and A. Morozov. “Planar decomposition of bipartite HOMFLY polynomials in symmetric representations”. In: Physical Review D 111.4 (2025), p. 046018. arXiv: 2410.18525 [hep-th]

work page arXiv 2025
[25]

Bipartite expansion beyond biparticity

A. Anokhina, E. Lanina, and A. Morozov. “Bipartite expansion beyond biparticity”. In: Nuclear Physics B 1014 (2025), p. 116881. arXiv: 2501.15467 [hep-th]

work page arXiv 2025
[26]

A categorification of the Jones polynomial

M. Khovanov. “A categorification of the Jones polynomial”. In: Duke Mathematical Journal 101.3 (2000), pp. 359–426. arXiv: math/9908171 [math.QA]

work page arXiv 2000
[27]

Matrix factorizations and link homology

M. Khovanov and L. Rozansky. “Matrix factorizations and link homology”. In: Fundamenta mathematicae 199.1 (2008), pp. 1–91. arXiv: math/0401268 [math.QA]

work page arXiv 2008
[28]

Character expansion for HOMFLY polynomials I: Inte- grability and difference equations

A. Mironov, A. Morozov, and And. Morozov. “Character expansion for HOMFLY polynomials I: Inte- grability and difference equations”. In: Strings, Gauge Fields, and the Geometry Behind: The Legacy of Maximilian Kreuzer. World Scientific, 2013, pp. 101–118. arXiv: 1112.5754 [hep-th]

work page arXiv 2013
[29]

Character expansion for HOMFLY polynomials. II. Fundamental representation. Up to five strands in braid

A. Mironov, A. Morozov, and And. Morozov. “Character expansion for HOMFLY polynomials. II. Fun- damental representation. Up to five strands in braid”. In: Journal of High Energy Physics 2012.3 (2012), pp. 1–34. arXiv: 1112.2654 [math.QA]

work page Pith review arXiv 2012
[30]

Introduction to Khovanov homologies. III. A new and simple tensor-algebra construction of Khovanov–Rozansky invariants

V. Dolotin and A. Morozov. “Introduction to Khovanov homologies. III. A new and simple tensor-algebra construction of Khovanov–Rozansky invariants”. In: Nuclear Physics B 878 (2014), pp. 12–81. arXiv: 1308.5759 [hep-th]

work page arXiv 2014
[31]

Towards R-matrix construction of Khovanov-Rozansky polynomials I. Primary T-deformation of HOMFLY

A. Anokhina and A. Morozov. “Towards R-matrix construction of Khovanov-Rozansky polynomials I. Primary T-deformation of HOMFLY”. In: Journal of High Energy Physics 2014.7 (2014), pp. 1–183. arXiv: 1403.8087 [hep-th]

work page arXiv 2014
[32]

Computing Khovanov–Rozansky homology and defect fusion

N. Carqueville and D. Murfet. “Computing Khovanov–Rozansky homology and defect fusion”. In: Algebr. Geom. Topol. 14.1 (2014), pp. 489–537. arXiv: 1108.1081 [math.QA]. 45

work page arXiv 2014