{"id":"808bb24a-4804-48b1-b389-d20f2e51043e","arxiv_id":"2504.20745","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":3.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Finite-rank type A link homologies are naturally viewed as gl(N) rather than sl(N) invariants because integral quantum gradings, deformation branching, and functoriality all point to the general linear Lie algebra.","lead":"An expository note argues that type A link homology theories, which turn knots into algebraic invariants, are better understood as coming from the Lie algebra gl(N) rather than sl(N). It gives three reasons: integer gradings, deformation behavior, and functoriality under knot cobordisms.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Section 1's 'forced' glN conclusion is proven only for the Robert-Wagner foam framework; the uniqueness claim for an slN-flavored example (Khovanov sl3) is unsupported.","rationale":"The paper is an expository note whose central claim—'sometimes useful to consider type A link homologies as glN'—is modest and well-supported by the three aspects it discusses. The Section 1 computation is sound, and the conclusion is carefully conditioned on the integral-grading assumption and the local model (1.7); the paper even concedes in footnote 1 that other constructions may fail to fit this framework. The main weakness is the unsupported classification assertion in Section 3.1, which claims exactly one known distinct slN-flavored theory (Khovanov's sl3) without citation. This claim is not essential to the 'sometimes useful' thesis, but if false it would require correction. The reader's CONDITIONAL verdict identifies the same scope limitation and the same unsupported claim, so my read does not move the verdict. The concrete test I propose would settle whether the paper overreaches: if Khovanov's sl3 homology is genuinely a distinct sl3 theory that fits (1.7), the 'forced' conclusion fails; if it is isomorphic to the gl3 foam theory or does not fit (1.7), the claim must be qualified. In either case, the central perspective remains viable, so UNCHANGED is appropriate.","tokens_in":10509,"tokens_out":19474,"duration_ms":205324,"concrete_test":"Check whether Khovanov's sl3 homology (Kho04) is isomorphic, as a bigraded link homology, to the gl3 foam-based Khovanov-Rozansky homology of RW20/ETW18, by comparing known invariants (unknot, Hopf link, trefoil) or consulting the isomorphism results in MV07. If it is isomorphic, the 'distinct slN flavour' claim in §3.1 is false and the passage should be corrected. Separately, determine whether the Khovanov sl3 crossing complex admits a description as in (1.7) with integral q,t-shifts; if yes, this contradicts the 'forced' claim for N=3, and if no, the claim should be explicitly restricted to the Robert-Wagner construction.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The first pillar of the central claim (Section 1) shows that a local crossing complex of the form (1.7) with integral q- and t-shifts cannot decategorify to the Uq(slN) braiding, because any such decategorification is a Laurent polynomial in q with integer exponents while the slN braiding requires c = -q^{1/N}. This argument is correct within its stated framework: a Z-graded category categorifying the MOY calculus plus the local model (1.7). However, the paper does not show that every bigraded type A link homology theory admits such a local presentation. Footnote 1 explicitly limits the discussion to the Robert-Wagner foam construction and to constructions proven to yield isomorphic chain complexes on links. The subsequent claim in Section 3.1 that 'there only exists one example of a link homology for N>2 that has a distinct slN flavour, namely Khovanov’s sl3 homology' is a survey-level assertion with no citation or proof. If Khovanov's sl3 homology can be expressed in the form (1.7) with integral shifts, then the 'forced' conclusion of Section 1 would be false; if it cannot, the abstract's reference to 'the bigraded type A link homology theories' overreaches the demonstrated scope. The footnote softens the issue but does not resolve whether the framework is representative.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This expository note argues that finite-rank type A link homology theories—such as Khovanov homology and Khovanov–Rozansky homology—are more naturally understood as categorifications of Uq(glN) invariants than of Uq(slN) invariants. Section 1 gives the main conceptual argument: a local crossing complex of the form (1.7) with integral quantum and cohomological shifts, together with the MOY calculus, can only decategorify to a braiding of glN type, because an slN-compatible rescaling would require c^N = ±q and hence a fractional power q^{1/N}. Section 2 reviews deformed Khovanov–Rozansky homologies and uses Hopf-link examples to illustrate how Lee-type deformations decompose according to glN branching rules. Section 3 discusses functoriality: symmetry breaking in the crossing complex, the basepoint action, and skein modules graded by integral homology, all of which are presented as glN-specific phenomena. The note is an expository survey that draws heavily on the author's prior work with collaborators, and it makes no claim to prove new theorems.","tokens_in":10722,"tokens_out":10136,"duration_ms":99392,"significance":"If the paper's perspective is accepted, it would reframe a substantial body of work on type A link homology: integral quantum gradings, deformation behavior, functoriality, and skein-module gradings would all be viewed as natural consequences of a glN rather than slN attribution. The paper has clear strengths: the local computation in Section 1 is transparent and the conventions are stated explicitly; the examples in Section 2 are well chosen and illustrate the branching-rule viewpoint concretely; and the bibliography is comprehensive. The note also gives credit appropriately by relying on published results such as [RW16, Theorem 1.1], [ETW18], [QW21], and [MWW22] rather than claiming new proofs. Its main weakness is the gap between the framework-specific argument in Section 1 and the universal phrasing of the thesis in the abstract, together with an unsupported survey claim in Section 3.1. These issues are fixable and do not undermine the core exposition.","major_comments":[{"comment":"The paper's central claim is stated more broadly than the argument supports. The conclusion that integral quantum gradings force a categorification of the Uq(glN) skein relation is derived under the explicit hypothesis that the local crossing complex has the form (1.7) with integral q- and t-shifts. The Conventions restrict the discussion to the Robert–Wagner foam construction and to constructions proven to yield isomorphic chain complexes on links, with footnote 1 conceding that such isomorphisms are rarely canonical and that functoriality is not well understood in other constructions. The paper does not establish that every finite-rank bigraded type A link homology, including the Khovanov sl3 homology mentioned in Section 3.1, admits a local presentation of the form (1.7). Consequently, the abstract's reference to 'the bigraded type A link homology theories' overreaches the demonstrated scope. Please either prove representativeness of the local model for the theories covered or explicitly scope the abstract and Section 1 conclusions to the Robert–Wagner foam framework and its isomorphic variants.","section":"Abstract; Section 1, Eq. (1.7); Conventions"},{"comment":"The assertion that for N > 2 'there only exists one example of a link homology ... that has a distinct slN flavour, namely Khovanov's sl3 homology' is presented without a citation, a proof, or a precise definition of 'distinct slN flavour.' This claim is load-bearing for the paper's suggestion that the glN perspective is universal. Please provide a reference for such a classification or a precise criterion (for example, non-existence of a local crossing complex of the form (1.7)), or rephrase the sentence as an observation about the particular constructions compared in this note. If no classification exists, the sentence should be softened accordingly.","section":"Section 3.1"}],"minor_comments":[{"comment":"There are several typos that should be corrected: 'Acknowleding' (Section 1.1), 'requries' (Section 1), 'additionl' (Section 3.1), 'intergral' (Abstract), and 'acound' (Section 3.3).","section":"Throughout"},{"comment":"The third displayed relation after (1.2), printed as 'c^{-1} - c = (q - q^{-1})', is not explained in the text. As typeset, it is unclear how it follows from the relations in (1.2) and what role it plays in the subsequent rescaling computation; please clarify or correct the display.","section":"Section 1.1"},{"comment":"The sentence 'the only major difference is that the determinant now becomes trivial' should be made more precise: ∧^N_q(V) is isomorphic to the tensor unit as a Uq(slN)-representation, but the isomorphism φ is additional data, and the computation leading to (1.5) depends on the naturality of the braiding with respect to this identification.","section":"Section 1.2"},{"comment":"In Examples 1 and 2, the claim that the Lee-homology summands are 'naturally parametrized by colorings' is asserted rather than proved. For an expository note this is acceptable, but a pointer to the specific statements in [BM06] and [RW16] that justify the splitting would make the examples easier to verify.","section":"Section 2.1"}],"recommendation":"major_revision","confidential_remarks":"The technical core of the note is sound and the exposition is generally clear, but the abstract and Section 3.1 currently claim more than the argument demonstrates. The requested changes are local and feasible: they require scoping the claims to the Robert–Wagner foam framework and supplying a reference or a precise criterion for the 'distinct slN flavour' claim. I see no grounds for rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this is a well-written expository note that makes a real conceptual point — integral quantum gradings push type A link homology toward glN rather than slN — and it earns its place more by synthesis than by new theorems. The Section 1 computation is the heart: a rescaled braiding compatible with Uq(slN) forces c^N = ±q, so any categorification with integral q-grading and the standard local crossing complex (1.7) cannot decategorify to the slN braiding. That argument is clean and correct within its stated framework. Sections 2 and 3 are faithful summaries of the deformation and functoriality results in [RW16], [ETW18], [QW21], [MWW22], and the Hopf link examples genuinely illustrate how Lee-type deformations decompose along glN branching rules. The writing is careful, and footnote 1 is an honest scope restriction.\n\nSoft spots, in proportion. The word “forced” in the abstract and Section 1 is stronger than what is actually shown. What is shown is that the Robert–Wagner foam framework, or any construction whose crossing complex has the form (1.7) with integral shifts, must see glN rather than slN. That covers a lot, but not demonstrably everything called “type A link homology”; footnote 1 says so, yet the abstract still speaks of “the bigraded type A link homology theories”. I’d soften that.\n\nThe other thing that should be fixed is the claim in Section 3.1 that for N>2 there only exists one link homology with a distinct slN flavour, namely Khovanov’s sl3 homology. That is a survey-level assertion with no citation or argument. It may be true under a precise notion of “flavour”, but as written it reads like an opinion stated as fact. Either add the definition and supporting evidence, or cut it.\n\nThe heavy self-citation is not a problem here: the cited results are published, the summaries are accurate, and the paper is explicit about being a note. Nothing in the mathematics strikes me as wrong. The limitations are about scope and framing, not correctness.\n\nBottom line: if you work in link homology or teach it, this is a useful reference for why the glN convention is natural. I would send it to a referee — it deserves one — but I’d ask for a minor revision that aligns the abstract’s scope with what Section 1 actually proves and deletes or supports the sl3 uniqueness remark.","headline":"Useful expository note: integral gradings naturally point type A link homology to glN, but the abstract oversells the scope and one side claim needs support.","tokens_in":11326,"tokens_out":2682,"would_cite":true,"duration_ms":26911,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["57K18","17B37"],"pacs":[],"model":"deepseek-v4-flash","headline":"Integral quantum gradings force finite-rank type A link homologies to categorify $U_q(\\mathfrak{gl}(N))$ rather than $U_q(\\mathfrak{sl}(N))$, and the paper shows how deformations, functoriality, and skein-module gradings all fall into…","keywords":["link homology","Khovanov homology","Khovanov–Rozansky homology","quantum groups","gl(N)","sl(N)","foams","skein modules"],"falsifier":"Exhibit a finite-rank type A link homology theory with integral quantum grading whose local crossing complex decategorifies to the $U_q(\\mathfrak{sl}(N))$ braiding with $q^{1/N}$ without rescaling, or exhibit for some $N>2$ an integral-graded link homology with genuinely $\\mathfrak{sl}(N)$ flavour that is not isomorphic to the corresponding $\\mathfrak{gl}(N)$ theory; either would break the paper's dichotomy. The note itself points to Khovanov's $\\mathfrak{sl}(3)$ homology as the only known candidate of the latter kind.","tokens_in":10244,"feed_emoji":"🔗","tokens_out":8407,"duration_ms":71624,"temperature":0.7,"pith_summary":"The note argues that the standard finite-rank type A link homologies—Khovanov homology for rank 2 and Khovanov–Rozansky homology for general rank—are best understood as categorifications of quantum general linear group invariants, not special linear ones. The reason is structural: their local crossing complexes use an integral quantum grading, and the $U_q(\\mathfrak{sl}(N))$ braiding requires fractional powers $q^{1/N}$, which such complexes cannot express. Once the $\\mathfrak{gl}(N)$ attribution is adopted, three features become natural: deformation spectral sequences decompose along $\\mathfrak{gl}(N)$ branching rules (Lee homology for rank 2 splits into $\\mathfrak{gl}(1)\\oplus\\mathfrak{gl}(1)$), functoriality under cobordisms requires breaking the crossing symmetry in a way that encodes the determinant representation, and the resulting skein modules are graded by integral homology rather than torsion groups. A sympathetic reader should care because this reframes a well-studied family of invariants and explains otherwise ad hoc conventions.","feed_headline":"Integral gradings force link homology to categorify gl(N), not sl(N)","feed_subtitle":"Because sl(N) needs fractional quantum powers, integral-graded link homology is really gl(N).","key_machinery":"The central object is the local crossing chain complex (1.7): a two-term complex over a $\\mathbb{Z}$-graded web/foam category with integral quantum and cohomological shifts, whose highlighted term sits in cohomological degree zero. This complex is the categorified avatar of the rescaled Schur–Weyl braiding; its integrality of the quantum grading is what excludes the $U_q(\\mathfrak{sl}(N))$ braiding, which needs $q^{1/N}$. The paper also uses the Kazhdan–Lusztig basis element $B_1$ of the type $A_1$ Hecke algebra—the quasi-idempotent with eigenvalue $[2]$—to encode the wedge projection, and Robert–Wagner foams as the concrete combinatorial model where functoriality and deformations are verified.","core_discovery":"The central claim is that finite-rank type A link homology theories are associated with $\\mathfrak{gl}(N)$, not $\\mathfrak{sl}(N)$, in the sense that any construction built from chain complexes with an integral quantum grading—the universal local model (1.7)—is forced to categorify the $U_q(\\mathfrak{gl}(N))$ skein relation. The paper demonstrates that an $U_q(\\mathfrak{sl}(N))$-compatible braiding would require rescaling the Schur–Weyl braiding by an $N$-th root of $q$, so the categorified crossing complex would need fractional quantum degree shifts that are absent from the integral grading. It then shows that the deformation theory of these homologies follows the branching rules of $\\mathfrak{gl}(N)$ representations, that making Khovanov homology functorial requires breaking the symmetry of the crossing complex in a way that encodes the nontrivial determinant of $\\mathfrak{gl}(2)$, and that skein modules built from these theories are graded by integral homology ($H_1$ or $H_2$) rather than $\\mathbb{Z}/N\\mathbb{Z}$.","pith_inferences":["If the $\\mathfrak{gl}(N)$ attribution is right, the common label 'sl(N) link homology' is a misnomer for integral-graded constructions; a genuinely $\\mathfrak{sl}(N)$-flavored theory would need a different mechanism, such as fractional quantum gradings or root-of-unity specializations.","The branching-rule picture suggests interpreting deformed homology as a categorified restriction functor from $\\mathfrak{gl}(N)$ to a direct sum of smaller $\\mathfrak{gl}(N_i)$; this could yield explicit spectral sequences from Khovanov–Rozansky homology to tensor products, testable in colored link examples.","The integral $H_1$/$H_2$ gradings imply that $\\mathfrak{gl}(N)$ categorified invariants see homological information that $\\mathfrak{sl}(N)$ versions collapse modulo $N$, potentially sharpening invariants of surfaces in 4-manifolds.","The note works primarily with one concrete foam construction; because isomorphisms to other constructions are rarely canonical and their functoriality is less studied, the $\\mathfrak{gl}(N)$ attribution is established for the whole family only insofar as those constructions are equivalent."],"forward_implications":["Khovanov homology for $\\mathfrak{gl}(2)$ and Khovanov–Rozansky homology for $\\mathfrak{gl}(N)$ should be regarded as categorifications of $U_q(\\mathfrak{gl}(N))$ invariants, making the integral quantum grading a feature rather than a convention.","Deformed theories such as Lee homology decompose according to $\\mathfrak{gl}(N)$ branching rules: the $\\mathfrak{gl}(2)$ Lee homology of a knot splits into components labelled by the two roots $\\pm 1$, i.e. $\\mathfrak{gl}(1)\\oplus\\mathfrak{gl}(1)$.","Functorial Khovanov homology requires a symmetry-broken crossing complex that encodes the determinant representation of $\\mathfrak{gl}(2)$; this fixes sign ambiguities and makes the basepoint action location-independent.","Categorified skein modules built from these theories carry integral homology gradings ($H_1$ for thickened surfaces, $H_2$ for 4-manifold skein modules), and their deformations decompose along branching rules.","No integral-graded construction in this family can categorify the literal $U_q(\\mathfrak{sl}(N))$ skein relation, since that relation needs $q^{1/N}$."],"supporting_citations":[{"why":"Introduces Khovanov homology, the paradigmatic categorification of the Jones polynomial that the note reinterprets.","marker":"[Kho00]"},{"why":"Defines Reshetikhin–Turaev invariants, identifying the Jones polynomial with $U_q(\\mathfrak{sl}_2)$ and framing the quantum-group attribution.","marker":"[RT90]"},{"why":"Constructs Khovanov–Rozansky homology via matrix factorizations, the main family of finite-rank type A theories discussed.","marker":"[KR08]"},{"why":"Provides the closed foam evaluation formula that is the paper's chosen combinatorial model.","marker":"[RW20]"},{"why":"Proves functoriality of colored link homologies in the foam construction, underpinning the functoriality discussion.","marker":"[ETW18]"},{"why":"Supplies the web calculus and the $q^{1/N}$ braiding formula used to show the $\\mathfrak{sl}(N)$ braiding needs fractional powers.","marker":"[CKM14]"},{"why":"Establishes the deformation theorem that $\\mathrm{KhR}_\\Sigma$ decomposes along $\\mathfrak{gl}(N)$ branching rules.","marker":"[RW16]"},{"why":"Introduces Lee's deformation of Khovanov homology, the motivating example for the branching decomposition.","marker":"[Lee05]"},{"why":"Gives the oriented, symmetry-broken model for Khovanov homology used to make it functorial via $\\mathfrak{gl}(2)$ determinant data.","marker":"[Bla10]"},{"why":"Introduces the web diagrammatic calculus for type A representation categories that underlies the local complexes.","marker":"[MOY98]"}],"fun_headline_variants":["Link homology is secretly gl(N), not sl(N)","Forget sl(N): integral gradings make link homology categorify gl(N)","Why link homology uses gl(N): sl(N) would need fractional quantum powers","Integral grading forces gl(N) categorification for link homology, not sl(N)"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that finite-rank type A link homologies are built from chain complexes with an integral quantum grading, as in the local crossing model (1.7), and that this framework is representative; if fractional-graded categorifications or genuinely different constructions are allowed, the forced $\\mathfrak{gl}(N)$ attribution can fail.","fun_headline_variants_meta":{"raw":{"variants":["Link homology is secretly gl(N), not sl(N)","Forget sl(N): integral gradings make link homology categorify gl(N)","Why link homology uses gl(N): sl(N) would need fractional quantum powers","Integral grading forces gl(N) categorification for link homology, not sl(N)"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000826,"raw_usage":{"total_tokens":3527,"prompt_tokens":776,"completion_tokens":2751,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":392,"completion_tokens_details":{"reasoning_tokens":2672}},"tokens_in":392,"tokens_out":2751,"duration_ms":20519,"temperature":1.0,"reasoning_tokens":2672,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T05:22:09.048450+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit a finite-rank type A link homology theory with integral quantum grading whose local crossing complex decategorifies to the $U_q(\\mathfrak{sl}(N))$ braiding with $q^{1/N}$ without rescaling, or exhibit for some $N>2$ an integral-graded link homology with genuinely $\\mathfrak{sl}(N)$ flavour that is not isomorphic to the corresponding $\\mathfrak{gl}(N)$ theory; either would break the paper's dichotomy. The note itself points to Khovanov's $\\mathfrak{sl}(3)$ homology as the only known candidate of the latter kind.","supporting_citations":[],"review_version":1}