Notes on Khovanov homology

Melissa Zhang

REVIEW 2 major objections 5 minor 2 cited by

Notes on Khovanov homology

T0 review · 2 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash

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

Pith's one-line read This is a set of graduate lecture notes that surveys Khovanov homology and the invariants built from it.

desk verdict Broad, honest, mostly accurate lecture notes on Khovanov homology, but the shift conventions are inconsistent and §3.1.4 as written will mislead anyone who follows it. read the letter →

arxiv 2501.03115 v1 pith:LA7DBKMH submitted 2025-01-06 math.GT math.QA

Melissa Zhang This is my paper · ORCID

classification math.GTmath.QA MSC 57K1857K1057R58

keywords KhovanovhomologyJonespolynomialBar-NatancategoriesLeeRasmussens-invariantspectralsequencesHeegaardFloerstablehomotopytype

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

This paper is a set of graduate lecture notes claiming to give an accurate, self-contained survey of Khovanov homology and its surrounding toolkit. The author's goal is to lead a reader with homological algebra background but no low-dimensional topology through the Jones polynomial, the Khovanov chain complex, Bar-Natan's cobordism categories, and the main applications: Rasmussen's s-invariant, slice genus bounds, ribbon concordance obstructions, Legendrian and transverse knot invariants, spectral sequences relating Khovanov homology to Floer theories, and the Khovanov stable homotopy type. If the notes are accurate, they work as a one-semester entry point to a subject that connects quantum knot invariants to 3- and 4-dimensional topology. The notes are explicitly a course resource, not a research monograph, so their value rests on the correctness and clarity of the exposition.

What carries the argument

The load-bearing machinery is the Khovanov chain complex built from the cube of resolutions: each crossing smoothing produces a planar diagram, each complete resolution contributes a tensor power of the rank-2 module $V$, and merge/split maps (from the Frobenius algebra $A = \mathbb{Z}[X]/(X^2)$) assemble into a differential. Bar-Natan's cobordism categories (dotted and undotted planar tangles) are the organizing device that lets the notes lift this construction to tangle invariants, prove Reidemeister invariance, and then vary the TQFT to reach Lee, annular, and reduced theories.

What would settle it

Finding a single misquoted theorem or a false attribution would undercut the notes' claim to be a reliable survey; a concrete test is to verify the flagged attribution of Theorem 3.8.6 and the missing references in Remark 5.4.6(3).

Watch

Extended reading notes

Core claim

The central claim is that Khovanov homology can be presented coherently as a categorical lift of the Jones polynomial and as a springboard into modern low-dimensional topology. On the paper's own terms, the discovery is expository: starting from the Kauffman bracket recursion and the cube of resolutions, one builds a bigraded chain complex whose graded Euler characteristic is the Jones polynomial, and then, by changing the underlying Frobenius algebra or passing to cobordism categories, one obtains Lee homology, annular Khovanov homology, and ultimately invariants of knots, surfaces, and 3- and 4-manifolds. The notes assert that this route is accurate and reproducible, and that the quoted theorems (Lee's structure theorem, Rasmussen's s-invariant bounds, Ozsváth-Szabó's spectral sequence, Ng's Thurston-Bennequin bound, and others) hold as stated.

Load-bearing premise

The notes assume that every theorem quoted from the existing literature is stated accurately and attributed correctly; the author flags two specific spots where this has not yet been checked.

Editorial extensions

If this is right

A reader with homological algebra background can follow the notes to learn the full path from the Jones polynomial to current research invariants.
The notes provide a self-contained route to Rasmussen's s invariant and its slice genus bound, making the Milnor conjecture proof accessible.
The exposition of the Ozsváth-Szabó spectral sequence and the Khovanov stable homotopy type gives a working vocabulary for reading contemporary papers that connect Khovanov homology to Floer theories and stable homotopy theory.
The included exercises and computations (Hopf link, trefoil, Reidemeister moves) supply a concrete toolkit for checking understanding.

Reading between the lines

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

The notes' breadth suggests Khovanov homology has become stable enough to teach as a single narrative, a sign that a formal textbook treatment is feasible.
The author's own flags about unverified attributions and missing references imply that even careful lecture notes can silently inherit citation errors; readers should verify quotations before relying on them in research.
A natural extension is to assemble the notes' computational sections into a set of verification exercises that could be automated, turning the survey into an interactive course resource.

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.

Desk Editor's Note

read the letter

These are lecture notes from a graduate topics course, and they do exactly what the title says. There are no new results; the novelty is the selection and arrangement of material. That's fine. The notes cover an enormous amount—Jones polynomial, Kauffman bracket, Khovanov homology, Bar-Natan categories, Lee homology and Rasmussen's s-invariant, Legendrian and transverse links, annular Khovanov homology, spectral sequences to Heegaard Floer, the stable homotopy type, and skein lasagna modules—and the exposition is mostly clear and honest about what is being used from the literature. The exercises are well chosen, and the author's practice of flagging what needs checking is refreshing.

The main problem is a genuine internal inconsistency in the definition of the Khovanov chain complex. Theorem 2.5.3 gives CKh(D) = JLK[n−]{n+−2n−}, which is the correct Bar-Natan convention. §3.1.4, step 5, gives CKh(D) = JLK{−n−}[n+−2n−]: the homological and quantum shifts are swapped and the n− shift changes sign. The two agree only when n− = 0, which is why the Hopf link and right-handed trefoil examples don't reveal the discrepancy. A student applying §3.1.4 to a diagram with negative crossings will compute Khovanov homology with the wrong bigradings and will not get the Jones polynomial from the graded Euler characteristic. This is not a minor typo; it's in the central definition. The author's general warning about typos doesn't repair it. The rest of the notes seem to use the correct shift from Theorem 2.5.3, so the fix is straightforward, but it must be made before the notes are used as a reference.

Other soft spots are less serious: several deep theorems are quoted without proof (expected in lecture notes), two references are explicitly flagged as needing checking (Theorem 3.8.6 and Remark 5.4.6(3)), and the informal tone will not be to everyone's taste.

Who is this for? Graduate students or researchers who want a broad orientation tour of Khovanov homology and its relatives, ideally alongside the original papers. It is a useful course text, not a substitute for the primary literature. I would bring it to a reading group if the leader corrects the §3.1.4 shift. As for peer review: yes, a serious editor should send it to a referee if the venue publishes expository notes; the fixes are manageable and the notes fill a real pedagogic gap.

Referee Report

2 major / 5 minor

Summary. These notes are the write-up of a Fall 2024 graduate topics course on Khovanov homology and related invariants. They survey the Jones polynomial, the Kauffman bracket, the Khovanov chain complex and its TQFT interpretation via Bar-Natan categories, applications to slice genus and ribbon concordance, Legendrian and transverse invariants, spectral sequences, the Ozsváth–Szabó and related Floer-theoretic connections, the Lipshitz–Sarkar stable homotopy type, and skein lasagna modules. The presentation is informal, with many exercises and explicit computations, and the author states that numerous typos remain.

Significance. If corrected, this would be a useful expository resource. The notes are unusually broad and current, and they include worked examples and proofs of substantial results, including Rasmussen's s-invariant estimate, Ng's Thurston–Bennequin bound, and Smith-type inequalities for annular Khovanov homology. The author is also honest about incomplete attributions and missing references. However, the value as a reliable reference depends on the internal consistency of the central definitions; at present the main grading convention is stated inconsistently, and one proof contains a sign error.

major comments (2)

[§3.1.4, Theorem 2.5.3, Examples 2.5.5 and 3.1.7] The global grading shift that turns the Khovanov bracket into the link invariant is stated differently in two places. Theorem 2.5.3 gives CKh(L)=JLK[n−]{n+−2n−}, whereas step 5 of §3.1.4 defines CKh(D)=JDK{−n−}[n+−2n−]. Under the convention in Notation 2.5.4, the first applies a homological shift of n− and a quantum shift of n+−2n−, while the second applies a homological shift of n+−2n− and a quantum shift of −n−. For any diagram with n−≠0 these two placements differ, and the resulting graded Euler characteristic is different, so a reader following §3.1.4 would not recover the Jones polynomial from χq. The notes' examples do not expose the error because the Hopf link and the right-handed trefoil have n−=0. This is a load-bearing convention and should be corrected consistently throughout §3.1.
[§5.4, proof of Proposition 5.4.14] In the base case of the proof of Proposition 5.4.14, the text states that Kh_sh(U_n) is supported on δ-gradings {−n,...,n} and then concludes that it is supported only in gradings ≥ c(D), where the chosen Legendrian unlink has c(D)=n. These two statements are incompatible; the correct lower bound is −n, matching the proposition's own statement that Kh^*_sh(D)=0 for all ∗<−c(D). The sign conventions in the subsequent case analysis should also be checked, since shifts of −1 interact nontrivially with the changes in writhe and cusp count. As written, the proof does not prove the stated bound.

minor comments (5)

[§3.8, Theorem 3.8.6] The author explicitly writes 'I should check this' about the attribution of the equivalence between Link and LinkDiag to Reidemeister and Carter–Saito. This attribution should be verified and stated precisely before the notes are treated as a reliable reference.
[§5.4.6(3)] The author notes that citations for the Legendrian R1 moves are missing; these references should be supplied if the notes are to function as a self-contained course resource.
[§6.3.1] The text says 'By Poincaré duality, # index-1 critical points = # index-1 critical points'; the second occurrence should be 'index-2'.
[Title and general typos] The compiled title in the arXiv source appears as 'KHOV ANOV HOMOLOGY' with an errant space; this and other admitted typos in the source should be cleaned up in the next version.
[§6.2.2, Theorem 6.2.8] Theorem 6.2.8 is quoted from the author's own prior work [Zha18] without proof; a remark identifying it as such and pointing to the precise statement in [Zha18] would be helpful for readers.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: these lecture notes make no fitted predictions, and the only self-citations are prior results presented as content rather than load-bearing premises.

full rationale

The manuscript is an expository survey, not a derivation of new predictions from fitted data. The Khovanov chain complex in Section 3.1 is constructed directly, and the statement that its graded Euler characteristic is the Jones polynomial (Theorem 2.5.3) follows from the explicit shift convention rather than from any quantity fitted to the target output. Theorems that carry the applications (Lee's structure theorem, Rasmussen's s-invariant results, the Ozsváth–Szabó spectral sequence, Ng's bound) are quoted from external literature and are not inputs to the notes' own claims. The only self-citations are [Zha18] in Section 5.3.1 and Theorem 6.2.8; these report the author's prior results and are not used as a hidden premise to justify the survey's accuracy, so they are not load-bearing in the sense relevant to circularity. The author's own caveats about needing to check an attribution in Theorem 3.8.6 and about missing references in Remark 5.4.6(3) are scholarly-completeness issues, not circularity. The discrepancy between the shift convention in Theorem 2.5.3 and the one written in Section 3.1.4 is an internal consistency defect that a reader should fix, but it does not make any derivation equivalent to its inputs.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The paper introduces no free parameters and no new mathematical objects. It relies entirely on standard homological algebra and on established theorems from the knot theory literature, which are quoted or cited rather than proved.

assumptions (6)

standard math Basic homological algebra, including mapping cones and long exact sequences, is used throughout (Section 3.2).
The notes assume familiarity with chain complexes and homological algebra.
domain assumption Reidemeister's theorem: two diagrams represent the same link iff related by Reidemeister moves (Theorem 2.2.1).
Basis for all diagrammatic invariants.
domain assumption Khovanov homology is a well-defined link invariant (Section 3.7, following Khovanov and Bar-Natan).
The notes build on the existence and Reidemeister invariance of Khovanov homology, quoting Bar-Natan's proof.
domain assumption Lee's structure theorem: Lee homology of an ℓ-component link is (Q⊕Q)^ℓ (Theorem 4.3.9).
Quoted from [Lee05]; foundation for Rasmussen's s-invariant.
domain assumption The Ozsváth-Szabó spectral sequence from reduced Khovanov homology to Heegaard Floer homology of the branched double cover (Section 6.3, equation (11)).
Quoted from [OS05].
domain assumption The Lipshitz-Sarkar stable homotopy type exists and refines Khovanov homology (Section 7).
Described as a primer; construction is sketched, not fully proved.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Notes on Khovanov homology." pith.science (2026). https://pith.science/paper/LA7DBKMH

@misc{pith2026250103115,
  author       = {Pith},
  title        = {Pith review of: Notes on Khovanov homology},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LA7DBKMH}},
  note         = {Machine review of arXiv:2501.03115}
}

read the original abstract

These are expository lecture notes from a graduate topics course taught by the author on Khovanov homology and related invariants. Major topics include the Jones polynomial, Khovanov homology, Bar-Natan's cobordism category, applications of Khovanov homology, some spectral sequences, Khovanov stable homotopy type, and skein lasagna modules. Topological and algebraic exposition are sprinkled throughout as needed.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Lecture notes on link homologies and knotted surfaces
math.GT 2025-07 conditional novelty 2.0 of 10

Lecture notes presenting the cobordism maps on Khovanov and link Floer homology as invariants of knotted surfaces, with worked examples and exercises.
Lectures on SL(3) foams and link homology
math.QA 2025-07 conditional novelty 1.0 of 10

This is an expository review of SL(3) foam evaluation and its use in categorifying the Kuperberg quantum invariant, with no new theorems.

Reference graph

Works this paper leans on

18 extracted references · 13 canonical work pages · cited by 2 Pith papers

[9]

[HS16] Diana Hubbard and Adam Saltz

©2021. [HS16] Diana Hubbard and Adam Saltz. An annular refinement of the transverse element in Khovanov homology. Algebr. Geom. Topol., 16(4):2305–2324,

work page 2021
[11]

Khovanov homology and rational unknotting

[ILM21] Damian Iltgen, Lukas Lewark, and Laura Marino. Khovanov homology and rational unknotting. arXiv preprint arXiv:2110.15107,

arXiv
[15]

Khovanov homology and exotic 4-manifolds

[R W24] Qiuyu Ren and Michael Willis. Khovanov homology and exotic 4-manifolds. arXiv preprint arXiv:2402.10452,

arXiv
[16]

Computations of the Lipshitz-Sarkar Steenrod Square on Khovanov Homology

[See12] Cotton Seed. Computations of the lipshitz-sarkar steenrod square on khovanov homology. arXiv preprint arXiv:1210.1882,

work page Pith review arXiv
[1983]

Entrelacements et ´ equations de Pfaff

[Ben83b] Daniel Bennequin. Entrelacements et ´ equations de Pfaff. In Third Schnepfenried geometry conference, Vol. 1 (Schnepfenried, 1982), volume 107-108 of Ast´ erisque, pages 87–161. Soc. Math. France, Paris,

work page 1982
[1988]

Entrelacements et ´ equations de Pfaff

[Ben83a] Daniel Bennequin. Entrelacements et ´ equations de Pfaff. In Third Schnepfenried geometry conference, Vol. 1 (Schnepfenried, 1982), volume 107-108 of Ast´ erisque, pages 87–161. Soc. Math. France, Paris,

work page 1982
[1998]

[LNS15] Robert Lipshitz, Lenhard Ng, and Sucharit Sarkar

Symplectic, contact and low-dimensional topology (Athens, GA, 1996). [LNS15] Robert Lipshitz, Lenhard Ng, and Sucharit Sarkar. On transverse invariants from Khovanov homology. Quantum Topol., 6(3):475–513,

work page 1996
[2003]

Khovanov's invariant for closed surfaces

Thesis (Ph.D.)–Harvard University. [Ras05] Jacob Rasmussen. Khovanov’s invariant for closed surfaces. arXiv preprint math/0502527 ,

work page Pith review arXiv

Show all 18 references

[2004]

[AS19] Mohammed Abouzaid and Ivan Smith

An elementary introduction to the mathematical theory of knots, Revised reprint of the 1994 original. [AS19] Mohammed Abouzaid and Ivan Smith. Khovanov homology from Floer cohomology. J. Amer. Math. Soc. , 32(1):1– 79,

1994
[2010]

[Gra18] Matthew Graham

Reprint of the 1974 original. [Gra18] Matthew Graham. Movie moves for knotted surfaces with markings. J. Knot Theory Ramifications , 27(2):1850021, 16,

1974
[2015]

[FH20] Shintaro Fushida-Hardy

Accessed: (January 5, 2025). [FH20] Shintaro Fushida-Hardy. Math 283a topics in topology. https://stanford.edu/~sfh/283A.pdf,

2025
[2016]

Khovanov homology and exotic surfaces in the 4-ball

[HS21] Kyle Hayden and Isaac Sundberg. Khovanov homology and exotic surfaces in the 4-ball. arXiv preprint arXiv:2108.04810,

arXiv
[2018]

An atomic approach to Wall-type stabilization problems

[Hay23] Kyle Hayden. An atomic approach to Wall-type stabilization problems. arXiv preprint arXiv:2302.10127 ,

arXiv
[2019]

A rank inequality for the annular Khovanov homology of 2-periodic links

[Zha18] Melissa Zhang. A rank inequality for the annular Khovanov homology of 2-periodic links. Algebr. Geom. Topol. , 18(2):1147–1194, 2018

2018
[2020]

[Flo89] Andreas Floer

Accessed: (January 3, 2025). [Flo89] Andreas Floer. Witten’s complex and infinite-dimensional Morse theory. J. Differential Geom., 30(1):207–221,

2025
[2021]

[Che02] Yuri Chekanov

©2021. [Che02] Yuri Chekanov. Differential algebra of Legendrian links. Invent. Math. , 150(3):441–483,

2021
[2022]

On the Khovanov and knot Floer homologies of quasi-alternating links

[MO08] Ciprian Manolescu and Peter Ozsv´ ath. On the Khovanov and knot Floer homologies of quasi-alternating links. In Proceedings of G¨ okova Geometry-Topology Conference 2007, pages 60–81. G¨ okova Geometry/Topology Conference (GGT), G¨ okova,

2007
[2024]

Kirby belts, categorified projectors, and the skein lasagna module of s2 × s2

[SZ24b] Ian A Sullivan and Melissa Zhang. Kirby belts, categorified projectors, and the skein lasagna module of s2 × s2. arXiv preprint arXiv:2402.01081 ,

arXiv

Pith tools

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

[1] [9]

[HS16] Diana Hubbard and Adam Saltz

©2021. [HS16] Diana Hubbard and Adam Saltz. An annular refinement of the transverse element in Khovanov homology. Algebr. Geom. Topol., 16(4):2305–2324,

work page 2021

[2] [11]

Khovanov homology and rational unknotting

[ILM21] Damian Iltgen, Lukas Lewark, and Laura Marino. Khovanov homology and rational unknotting. arXiv preprint arXiv:2110.15107,

arXiv

[3] [15]

Khovanov homology and exotic 4-manifolds

[R W24] Qiuyu Ren and Michael Willis. Khovanov homology and exotic 4-manifolds. arXiv preprint arXiv:2402.10452,

arXiv

[4] [16]

Computations of the Lipshitz-Sarkar Steenrod Square on Khovanov Homology

[See12] Cotton Seed. Computations of the lipshitz-sarkar steenrod square on khovanov homology. arXiv preprint arXiv:1210.1882,

work page Pith review arXiv

[5] [1983]

Entrelacements et ´ equations de Pfaff

[Ben83b] Daniel Bennequin. Entrelacements et ´ equations de Pfaff. In Third Schnepfenried geometry conference, Vol. 1 (Schnepfenried, 1982), volume 107-108 of Ast´ erisque, pages 87–161. Soc. Math. France, Paris,

work page 1982

[6] [1988]

Entrelacements et ´ equations de Pfaff

[Ben83a] Daniel Bennequin. Entrelacements et ´ equations de Pfaff. In Third Schnepfenried geometry conference, Vol. 1 (Schnepfenried, 1982), volume 107-108 of Ast´ erisque, pages 87–161. Soc. Math. France, Paris,

work page 1982

[7] [1998]

[LNS15] Robert Lipshitz, Lenhard Ng, and Sucharit Sarkar

Symplectic, contact and low-dimensional topology (Athens, GA, 1996). [LNS15] Robert Lipshitz, Lenhard Ng, and Sucharit Sarkar. On transverse invariants from Khovanov homology. Quantum Topol., 6(3):475–513,

work page 1996

[8] [2003]

Khovanov's invariant for closed surfaces

Thesis (Ph.D.)–Harvard University. [Ras05] Jacob Rasmussen. Khovanov’s invariant for closed surfaces. arXiv preprint math/0502527 ,

work page Pith review arXiv