{"id":"c8540b31-e5df-48e6-baf4-6859996ef26d","arxiv_id":"2501.03115","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":0.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Expository lecture notes surveying Khovanov homology, its applications, and related invariants, with no new mathematical results.","lead":"These are lecture notes from a graduate course on Khovanov homology, a knot invariant that upgrades the Jones polynomial to a homology theory. A general reader might look at them to get a broad, informal tour of Khovanov homology and its applications, from Rasmussen's s-invariant to spectral sequences and stable homotopy refinements.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Core Khovanov shift is stated inconsistently: §3.1.4 gives CKh(D)=JDK{−n−}[n+−2n−], while Theorem 2.5.3 and Example 3.1.7 use [n−]{n+−2n−}; following §3.1.4 misgrades every diagram with n−≠0.","rationale":"The reader identified accuracy of quoted theorems and attributions as the weakest assumption, and the author herself flags attribution issues. My stress-test finds a more concrete internal inconsistency in the notes' own definition of the Khovanov chain complex: the global grading shift in §3.1.4 contradicts Theorem 2.5.3 and the worked Example 3.1.7. Since the notes' central purpose is pedagogical accuracy, a reader who follows §3.1.4 literally will compute misgraded homology and will not recover the Jones polynomial for diagrams with negative crossings. This is a substantive correctness defect, not merely a missing reference. However, it is localized to one displayed formula; the surrounding exposition, worked examples, and later sections generally use the correct shift, so the overall survey remains valuable once corrected. The reader's CONDITIONAL verdict is therefore appropriate: the notes should be corrected before standalone use. I do not regard this as grounds to reject the notes, nor does it change the verdict.","tokens_in":56519,"tokens_out":10538,"duration_ms":97593,"concrete_test":"Recompute the Khovanov complex of the left-handed trefoil diagram (n−=3, n+=0) using both the shift in Theorem 2.5.3, CKh=JDK[3]{−6}, and the shift in §3.1.4, CKh=JDK{−3}[−6]. Compare the bigradings of the generators and the graded Euler characteristic. The §3.1.4 version will produce a graded Euler characteristic χq that is a monomial times the Jones polynomial rather than the Jones polynomial, while the §2.5 version matches the known Khovanov homology. This single check determines which formula is the typo.","verdict_should_be":"UNCHANGED","load_bearing_attack":"These notes claim to be an accurate expository survey, so the central construction must be internally consistent. It is not. Theorem 2.5.3 and §3.1.4 disagree on the global shift that turns the Khovanov bracket into the link invariant. Theorem 2.5.3 says CKh(L)=JLK[n−]{n+−2n−}; Example 3.1.7 uses exactly this shift. But §3.1.4, step 5, defines CKh(D)=JDK{−n−}[n+−2n−], i.e. the homological and quantum shifts are swapped and the n− shift changes sign. For any diagram with n−≠0, the two formulae place the same chain groups in different (grh,grq) bigradings, so the resulting homology groups are different as bigraded objects. The Hopf link and positive trefoil examples do not expose the error because they have n−=0. A student who follows §3.1.4 for, say, the left-handed trefoil (n−=3, n+=0) will compute the invariant with the opposite homological shift and a different quantum shift, and will not obtain the Jones polynomial from the graded Euler characteristic. The author's own warning about typos does not repair this: it is a concrete defect in the definition on which the rest of the notes depend.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":56760,"tokens_out":12253,"duration_ms":119975,"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":[{"comment":"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.","section":"§3.1.4, Theorem 2.5.3, Examples 2.5.5 and 3.1.7"},{"comment":"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.","section":"§5.4, proof of Proposition 5.4.14"}],"minor_comments":[{"comment":"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.","section":"§3.8, Theorem 3.8.6"},{"comment":"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.","section":"§5.4.6(3)"},{"comment":"The text says 'By Poincaré duality, # index-1 critical points = # index-1 critical points'; the second occurrence should be 'index-2'.","section":"§6.3.1"},{"comment":"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.","section":"Title and general typos"},{"comment":"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.","section":"§6.2.2, Theorem 6.2.8"}],"recommendation":"major_revision","confidential_remarks":"These are informal lecture notes rather than a research article. My recommendation of major revision is driven by two concrete, local errors: the inconsistent global grading shift in §3.1.4 and the sign error in the base case of Proposition 5.4.14. Both are fixable without changing the overall scope. The journal should also decide whether the deliberately informal style, with self-admitted missing references and unchecked attributions, meets its standards; after the mathematical corrections are made, the notes would fill a useful gap as a broad modern survey."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","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.\n\nThe 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.\n\nOther 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.\n\nWho 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.","headline":"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.","tokens_in":57339,"tokens_out":7432,"would_cite":false,"duration_ms":64916,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["57K18","57K10","57R58"],"pacs":[],"model":"deepseek-v4-flash","headline":"This is a set of graduate lecture notes that surveys Khovanov homology and the invariants built from it.","keywords":["Khovanov homology","Jones polynomial","Bar-Natan categories","Lee homology","Rasmussen s-invariant","spectral sequences","Heegaard Floer homology","stable homotopy type"],"falsifier":"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).","tokens_in":56233,"feed_emoji":"🧶","tokens_out":7865,"duration_ms":63061,"temperature":0.7,"pith_summary":"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.","feed_headline":"Notes chart Khovanov homology from Jones polynomial to 4D knots","feed_subtitle":"A single-course survey ties the knot invariant to Floer homology, slice genus, and exotic disks.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the original Jones polynomial definition from statistical mechanics that the notes take as the invariant to categorify.","marker":"[Jon85]"},{"why":"Provides the Khovanov bracket conventions and the comparison between Kauffman bracket and Jones polynomial that the notes follow.","marker":"[BN02]"},{"why":"Defines Bar-Natan's cobordism categories and the projective functoriality result that underpin the notes' presentation of Khovanov homology.","marker":"[BN05]"},{"why":"States Lee's structure theorem for Lee homology, the foundation for the s invariant and the filtration spectral sequence.","marker":"[Lee05]"},{"why":"Introduces Rasmussen's s invariant, its concordance homomorphism property, and the slice genus bound quoted in the notes.","marker":"[Ras10]"},{"why":"Supplies the Ozsváth-Szabó spectral sequence from reduced Khovanov homology to Heegaard Floer homology of the branched double cover.","marker":"[OS05]"},{"why":"Supplies Ng's Thurston-Bennequin bound from Khovanov homology, which the notes prove in Section 5.4.","marker":"[Ng05]"},{"why":"Defines Plamenevskaya's transverse knot invariant from the Khovanov cycle at the oriented resolution.","marker":"[Pla06]"},{"why":"Gives the Bar-Natan-Morrison proof of Lee's structure theorem that the notes reproduce via Karoubi envelopes.","marker":"[BNM06]"},{"why":"States the ribbon concordance injectivity theorem for Khovanov homology, the subject of Section 4.2.","marker":"[LZ19]"}],"fun_headline_variants":["Khovanov homology: a lecture-note journey from Jones to 4D","Course notes map Khovanov homology across low-dimensional topology","Expository Khovanov homology: from Jones polynomial to stable homotopy","A single course tracing Khovanov homology from knots to 4-manifolds"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Khovanov homology: a lecture-note journey from Jones to 4D","Course notes map Khovanov homology across low-dimensional topology","Expository Khovanov homology: from Jones polynomial to stable homotopy","A single course tracing Khovanov homology from knots to 4-manifolds"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00017,"raw_usage":{"total_tokens":1181,"prompt_tokens":772,"completion_tokens":409,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":388,"completion_tokens_details":{"reasoning_tokens":328}},"tokens_in":388,"tokens_out":409,"duration_ms":4499,"temperature":1.0,"reasoning_tokens":328,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T21:52:40.149625+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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).","supporting_citations":[],"review_version":1}