Pith. sign in

REVIEW 3 major objections 4 minor 1 cited by

Universal Polynomial $\mathfrak{so}$ Weight System

T0 review · 3 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read This paper constructs a universal polynomial weight system $w_{\mathrm{so}}$ whose specializations give the Vassiliev weight systems of $\mathfrak{so}(N)$, $\mathfrak{sp}(2M)$, and the Lie superalgebra $\mathfrak{osp}(N|2M)$, and it…

desk verdict Universal w_so construction is new and likely correct for so/sp, but the osp(N|2M) specialization is asserted rather than proved; referee should require details. read the letter →

arxiv 2411.11546 v1 pith:H5DVULAH submitted 2024-11-18 math.CO

Maxim Kazarian , Zhuoke Yang This is my paper · ORCID
classification math.CO MSC 05A0517B3517B7057K16
keywords weightsystemchorddiagrams4-termrelationVassilievknotinvariantsuniversalenvelopingalgebraCasimirelementsorthosymplecticLiesuperalgebrapermutationrecursion
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

Knot invariants of finite order can be produced from weight systems, functions on chord diagrams satisfying the 4-term relation, and every Lie algebra with an invariant bilinear form supplies one. This paper constructs a universal object $w_{\mathrm{so}}$ of that kind, valued in polynomials in variables $C_0, C_2, C_4, \ldots$, and proves that the weight systems of the orthogonal Lie algebras $\mathfrak{so}(N)$, the symplectic Lie algebras $\mathfrak{sp}(2M)$, and the orthosymplectic Lie superalgebras $\mathfrak{osp}(N|2M)$ are specializations of it. The construction extends $w_{\mathrm{so}}$ from chord diagrams to permutations and provides a recursion that makes the values computable without working in the noncommutative enveloping algebras. The paper also shows the new invariant is independent of the previously known universal $\mathfrak{gl}$ weight system: a degree-seven chord-diagram combination $h$ satisfies $w_{\mathrm{gl}}(h)=0$ while $w_{\mathrm{so}}(h)\ne 0$. The upshot is that one recursive machine replaces separate laborious computations for three classical families of Lie (super)algebras.

What carries the argument

The machinery is the extension of $w_{\mathrm{so}}$ to permutations, drawn as directed graphs, together with a recurrence that reduces any graph to products of standard even cycles. The recurrence splits the value of two neighbouring vertices into five terms: the three $\mathfrak{gl}$-type terms plus two extended-permutation-graph terms, where an extended permutation graph is a graph in which every vertex has valency two but edges may carry two heads, two tails, or one of each. A sign convention says that swapping head and tail at a vertex multiplies the value by $-1$, which encodes the symmetry that reversing a cycle of length $r$ changes the value by $(-1)^r$. In the exceptional case $s(r+1)=r$, the relation becomes $w_{\mathrm{so}}(\ldots)=w_{\mathrm{so}}(\ldots)+(2-C_0)w_{\mathrm{so}}(\ldots)$. This recursion is load-bearing: it establishes uniqueness and the 4-term relation, it is what the specialization proofs for $\mathfrak{so}(N)$, $\mathfrak{sp}(2M)$, and $\mathfrak{osp}(N|2M)$ are checking, and it drives the tables in the computational section.

What would settle it

Compute the $\mathfrak{osp}(N|2M)$ weight system directly from the superalgebra definition for a small example such as $\mathfrak{osp}(1|2)$, on all chord diagrams with up to seven chords using the displayed sign function $f_s$, and compare each value with the universal recursion; any mismatch, in particular on the element $h\in A_7$, would falsify the specialization theorem.

Watch

Extended reading notes

Core claim

The central claim is that there exists a well-defined invariant $w_{\mathrm{so}}$ on chord diagrams, valued in the polynomial ring $\mathbb{C}[C_0,C_2,C_4,\ldots]$, that satisfies the 4-term relation and simultaneously specializes to the weight systems of $\mathfrak{so}(N)$, $\mathfrak{sp}(2M)$, and $\mathfrak{osp}(N|2M)$. The specialization sends $C_0$ to $N$, $-2M$, and $N-2M$ respectively, and sends each even generator $C_{2k}$ to the corresponding Casimir element of the Lie (super)algebra; odd Casimirs are then forced to be polynomial expressions in the even ones, encoded by the identity $F(u)F(C_0-1-u)=1$. The proof works by defining $w_{\mathrm{so}}$ on all permutations through a recurrence that imitates the commutation relations in $\mathfrak{so}(N)$, then checking that the same recurrence holds for $\mathfrak{sp}(2M)$ and $\mathfrak{osp}(N|2M)$. A computation in degree seven produces an element $h\in A_7$ with $w_{\mathrm{gl}}(h)=0$ but $w_{\mathrm{so}}(h)\neq 0$, proving that the new invariant carries information independent of $w_{\mathrm{gl}}$.

Load-bearing premise

The claim that the universal invariant specializes to the whole $\mathfrak{osp}(N|2M)$ family rests on a sign computation that the paper calls straightforward but does not fully present, instead referring to lemmas in an earlier paper, so a mistake there would break the osp part of the unification even if the orthogonal case stands.

Editorial extensions

If this is right

  • For a chord diagram with $n$ chords, $w_{\mathrm{so}}(D)$ is a polynomial in $C_0, C_2, \ldots, C_{2n}$, and after substituting $C_0 = N$ the coefficients are polynomial in $N$, so the $\mathfrak{so}(N)$ weight system is governed by one universal polynomial rather than by direct noncommutative computation.
  • Because the same recursion is checked for $\mathfrak{sp}(2M)$ and $\mathfrak{osp}(N|2M)$, one implementation computes all three families of weight systems, and the paper's low-degree tables apply to every member of those families.
  • Odd Casimir elements of these Lie (super)algebras are not independent of even ones; the identity $F(u)F(C_0-1-u)=1$ expresses each odd $C_m$ as a universal polynomial in $C_0, C_2, C_4, \ldots$.
  • The element $h\in A_7$ with $w_{\mathrm{gl}}(h)=0$ but $w_{\mathrm{so}}(h)\neq 0$ shows that the union of the kernels is not everything, so combining $w_{\mathrm{gl}}$ and $w_{\mathrm{so}}$ gives strictly finer information on chord diagrams modulo 4-term relations.

Reading between the lines

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

  • Beyond the paper, one could implement the $\mathfrak{osp}(N|2M)$ extension directly from its defining sum, with the sign function $f_s$, on small chord diagrams; agreement with the recursion for cases such as $\mathfrak{osp}(1|2)$ would convert the paper's 'straightforward' verification into a checked fact.
  • Beyond the paper, the same universal object might specialize to the remaining classical simple Lie superalgebra series $p(N)$ and $q(N)$; because the paper notes the $q(N)$ weight system is trivial on chord diagrams but nontrivial on permutations, such an extension would live entirely in the permutation world and could be tested there.
  • Beyond the paper, the parameter $C_0 = N - 2M$ can be read as a formal superdimension, inviting a study of $w_{\mathrm{so}}$ as $C_0$ varies continuously; one could ask whether the kernel in each degree changes only at special integer values.
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

3 major / 4 minor

Summary. The paper introduces a universal polynomial weight system w_so, a function on permutations taking values in the polynomial ring C[C0, C2, C4, ...], defined by a recursion on permutation graphs together with sign conventions for extended permutation graphs. The main claim is that the weight systems associated with the Lie algebras so(N), sp(2M) and the Lie superalgebra osp(N|2M) are all specializations of w_so, with C0 specialized to N, -2M, and N-2M respectively and C_{2k} to the corresponding even Casimir elements. The paper also sketches a proof of uniqueness and of the 4-term relation, proves cyclic invariance in a short argument, and gives computer-assisted computations showing that w_so is not induced from the earlier universal gl weight system by exhibiting an element h in A7 with w_gl(h)=0 but w_so(h) nonzero.

Significance. If the construction is fully justified, the paper provides a common universal weight system for the orthogonal, symplectic, and orthosymplectic series, offering a computational recursion analogous to the known universal gl weight system. The explicit independent element h in A7 is a concrete and useful result, and the tables of values on low-degree generators are valuable data. The authors are transparent about the parts of the proof that are delegated to a previous paper [12], which is commendable. However, the advertised universality over osp(N|2M) and the well-definedness of w_so on chord diagrams depend on verifications that are only sketched or left to references, so the significance is currently conditional on completing those arguments.

major comments (3)
  1. [Section 3.3] The verification that the osp(N|2M) weight system satisfies the defining recursion (6)–(9) of w_so is not carried out in the paper. After defining the sign function f_s, the text says the verification is 'straightforward' and refers to lemmas in [12], then shows one schematic diagram and asserts that the difference of the linear terms is given by the sum of the terms ε_k ε_{\bar k}. No explicit identities for f_s are derived for the two local configurations in (7)–(8), and it is not shown that the hypotheses of the lemmas from [12] apply to the present definition with the distinguished sets P1 and P2. Because the abstract explicitly claims universality for the osp(N|2M) family, this omitted verification is load-bearing: a wrong or inapplicable sign identity would invalidate the central claim even if the so(N) and sp(2M) parts stand. Please include the full verification or state precisely which lemmas in [12] apply and how they imply the recursion.
  2. [Section 2.2, Theorem 2.5] The proof of cyclic invariance is incomplete and unclear. The sentence 'Since the right side of the recursion of w_gl and w_so is the difference of switching two neighbouring legs, the left side contains only the weight systems on permutations with less elements' is not accurate: both w_g(s) and w_g(s_cyc) have the same number of elements, and it is their recursion expansion that involves smaller permutations. The subsequent equality w_g(s)-w_g(s_cyc) = w_g(s_{i,i+1})-w_g(s^cyc_{i,i+1}) is not justified, and the heuristic appeal to 'multiplicative commutativity of Casimirs and the natural cyclic invariance of standard cyclic permutations' does not constitute a proof. Cyclic invariance is needed for w_so to be well-defined on chord diagrams, which are cyclic objects, so this gap affects Theorem 2.3(2) and the main construction.
  3. [Sections 3.1–3.2] The verification that the so(N) and sp(2M) weight systems satisfy the recursion is presented only as a sketch. For so(N), the derivation of the last two terms of (6) is compressed into 'and so on until we run back to the terms ...' without carrying out the index transformations for the relations (7)–(8). For sp(2M), the cancellation of the ε-factors is asserted: 'A careful account of the contribution of the ε-factors shows ...' with no computation exhibited. Since Theorem 2.3(1) (uniqueness of w_so) is proved by invoking Theorem 3.1 together with algebraic independence of even Casimirs, these sign bookkeeping steps are load-bearing for the uniqueness and for the claimed specialization to sp(2M). Please expand the verification to cover the local configurations in (7)–(8) in detail.
minor comments (4)
  1. [Section 3.3, first line] There is a typo: 'Now let us turn to the general cade' should read 'the general case'.
  2. [Definition 2.1] The text defining extended permutation graphs says 'For two half-edges adjacent to every vertex one of them is a tail and the other is a head' but then allows edges to have two heads or two tails; this wording is potentially confusing and could be rephrased.
  3. [Section 4, displayed values] In the displayed values after the table, the expression for w_so(p2) is printed as 'C 2 2− 2 C0C2 + 4C2'; the final term likely should be '4 C2' or '4 C2^2' depending on the intended formula, and this formatting should be corrected.
  4. [Remark 3.2] The notation sp(N|0) and osp(0|2M) is used without a definition; since the paper is otherwise careful about notation, a brief explanation would help the reader.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular derivation: wso is defined by an explicit recursion and independently checked against the so(N) and sp(2M) Lie-algebra weight systems; the osp(N|2M) verification is delegated to [12], which is a proof-completeness gap rather than a circular reduction.

full rationale

The universal weight system wso is introduced as a function on permutations satisfying an explicit recursion (equations (6)–(9)) with values in C[C0, C2, C4, ...]. The proof of Theorem 2.3 uses the Lie-algebra weight system wso(N), constructed from so(N) via the standard matrix-generator formula (5), as an external certificate for confluence: because the images of the even Casimir elements are algebraically independent for large N, the polynomial produced by the recursion is uniquely determined. This is a consistency check against an independent construction, not a derivation of the target from itself. Section 3.1 then directly verifies the recursion for so(N), and Section 3.2 gives an explicit, though abbreviated, argument for sp(2M), including the sign normalization (-1)^{m+r}; these are not fitted inputs renamed as predictions. Section 4 provides a concrete computation in A7 showing wgl(h)=0 while wso(h) is a nonzero polynomial; this independence claim is a calculation, not a definitional tautology. The only notable gap is the osp(N|2M) case: Section 3.3 says the verification is 'straightforward' and refers to lemmas in the second author's earlier paper [12], without proving the sign identities or the asserted cancellation of linear terms. That is a real omitted proof bearing on the advertised universality over the full osp(N|2M) family, and it is flagged here as a correctness/completeness risk. However, it is a delegated proof in a published external paper, not a self-referential definition, a fitted parameter, or an importation of a uniqueness theorem that forbids alternatives. Accordingly, no circular step is exhibited; the score of 2 reflects the minor self-citation / delegated verification, not a circular derivation.

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

The central claim rests on standard theorems about Lie algebra centers and weight systems, plus one delegated assumption: the osp(N|2M) recursion verification from [12]. No numerical parameters are fitted; the universal variables C0, C2, C4,... are formal generators.

assumptions (4)
  • standard math Weight systems associated with a metrized Lie (super)algebra satisfy the 4-term relation and take values in the center of the universal enveloping algebra.
    Used as the external benchmark to certify the specializations; standard from [1,6] and cited in Section 1.2.
  • standard math The even Casimir elements C_{so(N),2},...,C_{so(N),[N/2]} are algebraically independent for large N and generate the Casimir subring of ZUso(N).
    Load-bearing in the uniqueness proof of Theorem 2.3; the paper cites [9].
  • standard math The Perelomov-Popov formula and its super version (Appendix A, [8,10]) correctly express Casimir generating series as rational functions, implying F(u)F(C0-1-u)=1.
    Used to derive closed-form expressions for odd Casimirs and the relation in Remark 2.4.
  • domain assumption The lemmas in [12] that simplify the osp(N|2M) sign verification are correct and apply to the present setting.
    Section 3.3 explicitly delegates the verification to these lemmas; this is the least-supported input.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Universal Polynomial $\mathfrak{so}$ Weight System." pith.science (2026). https://pith.science/paper/H5DVULAH

@misc{pith2026241111546,
  author       = {Pith},
  title        = {Pith review of: Universal Polynomial $\mathfrakso$ Weight System},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/H5DVULAH}},
  note         = {Machine review of arXiv:2411.11546}
}
abstract

We introduce a universal weight system (a function on chord diagrams satisfying the $4$-term relation) taking values in the ring of polynomials in infinitely many variables whose particular specializations are weight systems associated with the Lie algebras $\mathfrak{so}(N)$, $\mathfrak{sp}(2M)$, as well as Lie superalgebras $\mathfrak{osp}(N|2M)$. We extend this weight system to permutations and provide an efficient recursion for its computation. The construction for this weight system extends a similar construction for the universal polynomial weight system responsible for the Lie algebras $\mathfrak{gl}(N)$ and superalgebras $\mathfrak{gl}(N|M)$ introduced earlier by the second named author.

Figures

Figures reproduced from arXiv: 2411.11546 by the authors.

Figure 1
Figure 1. w ! − w ! = w ! − w ! [PITH_FULL_IMAGE:figures/full_fig_p001_1.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

  1. Generalized chord diagrams and weight systems

    math.CO 2025-05 conditional novelty 6.0 of 10

    The paper defines generalized Vassiliev relations for functions on permutations, proves the gl- and so- weight systems satisfy them, and studies the resulting Hopf algebras and KP-hierarchy connection.

Reference graph

Works this paper leans on

14 extracted references · 13 canonical work pages · cited by 1 Pith paper

  1. [12]

    Zhuoke Yang, On the Lie superalgebra gl(N|N ) weight system , Journal of Geometry and Physics

    work page

  2. [11]

    Zhuoke Yang, New approaches to gl(N ) weight system , arXiv:2202.12225 (2022)

    arXiv 2022

  3. [1]

    (an updated version available at http://www.math.toronto.edu/~drorbn/papers)

    Dror Bar-Natan, On the Vassiliev knot invariants , Topology, 34(2):423–472, 1995. (an updated version available at http://www.math.toronto.edu/~drorbn/papers)

    work page 1995

  4. [2]

    Chmutov, S

    S. Chmutov, S. Duzhin, and J. Mostovoy, Introduction to Vassiliev Knot Invariants , Cambridge University Press, May 2012

    work page 2012

  5. [3]

    Kimura, A

    Figueroa-O’Farrill, T. Kimura, A. Vaintrob, The Universal Vassiliev Invariant for the Lie Superalgebra gl(1|1) Comm. Math. Phys., 1997, 185, 93–127

    work page 1997

  6. [4]

    Kazarian, S

    M. Kazarian, S. Lando, Weight systems and invariants of graphs and embedded graphs, Russian Mathematical Surways, 2022, 77(5)

    work page 2022

  7. [5]

    Kazarian, Zhuoke Yang, Extended weight systems on permut ations associated with the Lie super- algebras p(N ) and q(N ), in preparation

    M. Kazarian, Zhuoke Yang, Extended weight systems on permut ations associated with the Lie super- algebras p(N ) and q(N ), in preparation

    work page

  8. [6]

    Kontsevich, Vassiliev knot invariants , in: Advances in Soviet Math., 16(2):137–150, 1993

    M. Kontsevich, Vassiliev knot invariants , in: Advances in Soviet Math., 16(2):137–150, 1993

    work page 1993

Show all 14 references
  1. [7]

    Lando and Alexander K

    Sergei K. Lando and Alexander K. Zvonkin. Graphs on surfaces and their applications , volume 141. Springer Science & Business Media, 2013

    2013

  2. [8]

    Mikhailovich, and Vladimir S

    Perelomov, Askol’D. Mikhailovich, and Vladimir S. Popov. Casimir operators for semisimple Lie groups Mathematics of the USSR-Izvestiya 2.6 (1968): 1313

    1968

  3. [9]

    New expressions for the eigenvalues of the invariant operat ors of O(N) and Sp(2n) Journal of Mathematical Physics, 1979, 20(6): 1260-1266

    Nwachuku C O. New expressions for the eigenvalues of the invariant operat ors of O(N) and Sp(2n) Journal of Mathematical Physics, 1979, 20(6): 1260-1266

    1979

  4. [10]

    Rashid, New expressions for the eigenvalues of the invariant operators of the general linear and orthosymplectic Lie superalgebras, J

    C.O.Nwachuku, M.A. Rashid, New expressions for the eigenvalues of the invariant operators of the general linear and orthosymplectic Lie superalgebras, J. Math. Ph ys. 26, 1914 (1985)

    1985

  5. [13]

    Compact Lie groups and their representations , Nauka, Moscow, 1970

    Zhelobenko D.P. Compact Lie groups and their representations , Nauka, Moscow, 1970. English trans- lation: Translations of mathematical monographs, v. 40. American Mathematical Society, Providence, Rhode Island, 1973. M. K.: F aculty of Mathematics, National Research Universit...

    1970

  6. [2023]

    Vol. 187. Article 104808

Pith tools

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