Pith. sign in

REVIEW 4 major objections 5 minor 25 references

The paper establishes that the extended twisted h-Yangian admits a restricted module structure for a new double-like algebra, and that the resulting series at the critical level are central and yield commuting families in the orthogonal and

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · deepseek-v4-flash

2026-08-01 13:21 UTC pith:KXYTOP5D

load-bearing objection A solid, genuinely new module-theoretic construction for twisted h-Yangians; the main risk is a chain of imported Hecke idempotent identities from a same-group preprint, but no critical flaw. the 4 major comments →

arxiv 2607.19127 v1 pith:KXYTOP5D submitted 2026-07-21 math.QA math.RT

Invariants of the extended twisted h-Yangian

Lucia Bagnoli , Slaven Ko\v{z}i\'c , Jian Zhang This is my paper
classification math.QA math.RT MSC 17B3717B6916T25
keywords h-Yangiantwisted Yangianquantum vertex algebrarestricted modulephi-coordinated quasi modulereflection equationcritical levelFeigin-Frenkel center
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper's central claim is that the extended twisted h-Yangian Y^tw_{N,h}—the algebra that has both the orthogonal and the symplectic h-Yangian as quotients—is itself a module for a larger double-like algebra DY^tw_{N,h,c}, and that this module structure is governed by the quantum affine vertex algebra attached to the trigonometric R-matrix of type A. At the critical level c = -N/2, the paper constructs explicit series B_Λ(z), indexed by Young diagrams, whose coefficients are central in the completed double algebra and invariant under the annihilation operators. These coefficients then map to pairwise commuting families in both the orthogonal and symplectic twisted h-Yangians, giving a uniform source of commutative families. A sympathetic reader would care because this connects the critical-level center of a quantum vertex algebra to reflection-equation algebras and produces explicit higher-order commuting integrals.

Core claim

The paper proves that Y^tw_{N,h} carries a unique restricted DY^tw_{N,h,c}-module structure, and that every restricted module has a unique structure of φ-coordinated quasi module for the quantum affine vertex algebra of the trigonometric R-matrix. At the critical level, the series B_Λ(z) obtained by applying the quasi-module map to the central series T_Λ(u) has all coefficients central in the completed double algebra and invariant under B^*(z). Consequently, pushing B_Λ(z) through the two homomorphisms from Y^tw to the quantum affine algebra gives pairwise commuting families in the orthogonal and symplectic twisted h-Yangians.

What carries the argument

The key object is the new algebra DY^tw_{N,h,c}, whose generators B^+(z) and B^*(z) satisfy three reflection equations: one for B^+, one for B^*, and one mixing the two. Theorem 4.1 builds a restricted module action on Y^tw_{N,h} through explicit formulas, and Theorem 4.5 converts restricted modules into φ-coordinated quasi modules, a weakened associativity governed by the substitution z1 = z2 e^{z0}. The invariant series B_Λ(z) is a trace over n tensor copies of B^+ times the inverse of B^*, weighted by the Hecke fusion idempotent E_Λ and the diagonal matrix D; the proof that it is central uses crossing symmetry of the R-matrix, cyclic trace, and idempotent identities.

Load-bearing premise

The central-element theorem relies on two imported inputs: the coefficients of T_Λ(u) are central in the critical-level quantum affine vertex algebra, and the Hecke fusion idempotent E_Λ satisfies the trace identities (5.11)–(5.13) in the h-adic setting; neither is proved in this paper, and if either fails, the commutative families may disappear.

What would settle it

The decisive check is to compute the lowest-order coefficient of B_Λ(z) for N=2 and directly verify its commutator with B^*(y) from the defining reflection equations. A nonzero h-adic commutator, or a failure of the trace identity (5.11) after inserting the idempotent, would refute Theorem 5.4. More directly, one can test the imported centrality of T_Λ(u) in V^crit(gl_2): if a coefficient fails to be central, the chain from T_Λ to B_Λ(z) loses its invariant output.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • All coefficients of B_Λ(z) are central in the completed critical-level double algebra, making them genuine invariants of the extended twisted h-Yangian under the DY action.
  • Pushing B_Λ(z) through the two homomorphisms from Y^tw to the quantum affine algebra produces pairwise commuting families in both the orthogonal and the symplectic twisted h-Yangians.
  • The construction connects the critical-level center of the quantum affine vertex algebra to the invariant submodule of the extended h-Yangian, giving a new bridge between vertex-algebra central elements and reflection-equation invariants.
  • The Sklyanin determinant appears as a special case of the same construction at zero level, so the new families generalize the classical determinant families.
  • Because the families are indexed by Young diagrams, the paper provides a uniform, diagram-dependent source of higher-order commuting integrals in both families of twisted h-Yangians.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The paper proves pairwise commutativity; an unstated stronger possibility is that the B_Λ(z) families, indexed by all Young diagrams, exhaust the full invariant subalgebra of Y^tw at the critical level.
  • Since the proof is h-adic and asymptotic, the same construction likely has a semiclassical limit in which the leading coefficients of B_Λ(z) become Poisson-commuting functions on a corresponding Poisson manifold.
  • The restricted-module mechanism is not obviously tied to this particular reflection equation, so the pattern may transfer critical-level central elements to invariants of other coideal subalgebras arising from other boundary R-matrices.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

4 major / 5 minor

Summary. The paper introduces the extended twisted h-Yangian Y^tw_{N,h}, an h-adically completed algebra whose quotients include the orthogonal and symplectic twisted h-Yangians, and a new 'double-like' algebra DY^tw_{N,h,c} defined by three reflection equations. The main results are: Theorem 4.1, which constructs a unique restricted DY^tw_{N,h,c}-module structure on Y^tw_{N,h}; Theorem 4.5, which shows that every restricted DY^tw_{N,h,c}-module is a φ-coordinated quasi module for the Etingof–Kazhdan quantum affine vertex algebra V^{2c}(gl_N); and Theorem 5.4, which produces explicit central series B_Λ(z) in a completion of DY^tw at the critical level c=-N/2, as well as invariants of Y^tw. Corollary 5.6 then yields commutative families in the orthogonal and symplectic h-Yangians via the homomorphisms of Proposition 3.1.

Significance. If the main theorems hold, the paper provides a new, uniform algebraic framework relating twisted h-Yangians to quantum vertex algebras, with explicit central elements and invariants indexed by Young diagrams. The construction of the module structures and the explicit formulas for B_Λ(z) are valuable and likely to stimulate further work. The paper also shows the usefulness of the Etingof–Kazhdan vertex algebra in the twisted setting. However, the proof of the pivotal centrality statement (Theorem 5.4) depends on nontrivial Hecke-idempotent trace identities imported from a same-group preprint, and several structural propositions are only asserted as direct computations. These gaps must be closed before the results can be considered fully established.

major comments (4)
  1. [§5, Lemmas 5.1–5.3 and Theorem 5.4] The proof of Theorem 5.4(1) rests on the identities (5.7), (5.13), and the analogous identities in Lemma 5.3(3), which are quoted from [1, Lemma 7.1] (based on [10]). Reference [1] is a same-group arXiv preprint, and the h-adic setting requires these identities to hold as equalities of formal power series in h, not just at generic q. This is load-bearing: if any of these identities fails in the h-adic completion, the centrality of B_Λ(z) and hence the commutative families of Corollary 5.6 collapse. The authors should either prove these identities in the h-adic setting or provide a detailed justification that the cited q-deformed proofs carry over verbatim.
  2. [§3, Proposition 3.1 and Theorem 3.6] Both Proposition 3.1 (homomorphisms from Y^tw to U_h(gl_N)_c) and Theorem 3.6 (homomorphism from DY^tw_{N,h,0} to U_h(gl_N)_c) are asserted as direct computations following [11, Prop. 4.20], with no proof presented. Proposition 3.1 is essential for Corollary 5.6, and Theorem 3.6 is formulated as a theorem. Given that these maps involve the h-adic completions and the matrices G, the reader needs at least a sketch of the verification or a precise reference that covers the present setting. This is not a merely cosmetic issue, since the subsequent applications rely on these maps.
  3. [§4, proof of Theorem 4.1] The proof of Theorem 4.1 asserts that the operators B^+(x) and B^*(x) defined by (4.2)–(4.3) satisfy the reflection equations (3.7)–(3.9) of DY^tw; the text says this is 'checked' by applying both sides to B_[m](y) and comparing, but no details are given. The later detailed verification for B^*(x) concerns only the defining relations of Y^tw, not the full set of DY^tw relations. Since Theorem 4.1 is the main structural result, a complete proof (or a clear reference for the missing computation) should be supplied.
  4. [§5, proof of Theorem 5.4(2)] The proof uses the identity B^*(z)1 = 1 twice: first in the step B^*(z)B_Λ(z)1 = B_Λ(z)B^*(z)1 and then in concluding B^*(z)1 = 1. This identity is not a special case of (4.2)–(4.3) as stated (those formulas concern the action on B_[m](y) with m ≥ 1), nor is it otherwise proved. Since the definition of the invariant submodule z(M_crit) depends on B^*(z), the authors must justify that the vacuum vector 1 is invariant, or else the conclusion of Theorem 5.4(2) is not established.
minor comments (5)
  1. [§5, definition of z(M^c)] The definition 'z(M^c) = {a : B^*(z) a = a}' is formally ambiguous because B^*(z)a lies in End(C^N) ⊗ M^c[[z,z^{-1}]], while a is an element of M^c. Please clarify that the equality means B^*(z)a = 1 ⊗ a (or specify the identification used).
  2. [§4, proof of Theorem 4.5] The verification that the map Y_W is well-defined with respect to the defining relations (4.35) of U(R) is deferred to an argument 'following the proof of [13, Lemma 3.6]'. Since this is part of the main theorem, a more self-contained explanation (at least the key steps) would improve the paper.
  3. [§5, Lemma 5.3] The proof of Lemma 5.3 is omitted with the note that it 'proceeds analogously to the proof of Lemma 5.2'. Given that Lemma 5.3 is used in the second half of the proof of Theorem 5.4, it would be helpful to include at least the statement of the analogous identities and a brief indication of the differences.
  4. [§5, notation B_Λ(z)] The symbol B_Λ(z) is used both for the operator series in gDY^tw_{N,h,crit} and for its image B_Λ(z)1 in Y^tw_{N,h} (5.6). This dual use is potentially confusing; please distinguish the two notations explicitly.
  5. [Title and formatting] The title in the header reads 'INV ARIANTS' (missing 'AR'); also, the author name 'Koˇzi´c' appears with inconsistent diacritics across the text.

Circularity Check

0 steps flagged

No significant circularity: the new module structures and centrality claims are derived by explicit computations, and the imported inputs are prior independent results, not the target statements.

full rationale

The paper's main theorems are not equivalent to their inputs. Theorem 4.1 defines the restricted DY^tw-module structure on Y^tw by explicit formulas (4.2)-(4.3) and verifies the reflection equations; the uniqueness is derived from the formulas, not assumed. Theorem 4.5 constructs the phi-coordinated quasi V^{2c}(gl_N)-module map by (4.34) and proves quasi weak associativity from Proposition 4.2 and the unitarity property (2.10); no quantity being 'predicted' is used as a fit or definition. Theorem 5.4(1) is an explicit trace computation: the proof shows B_Lambda(z) commutes with B^+(y) and B^*(y) using crossing symmetry, the idempotent property E_Lambda^2 = E_Lambda, and the intertwining identities (5.7), (5.13). The latter are cited from [1, Lemma 7.1], a preprint by two of the present authors, but the paper states that the lemma is based on the external published result [10, Lemmas 3.2, 3.3]. Moreover, the centrality of T_Lambda in V^crit, cited from [1, Prop. 7.4] and [12], is not actually needed in the proof of Theorem 5.4, which is a direct computation. The implicit reliance on the h-adic validity of those Hecke-idempotent trace identities is a possible correctness gap if [1]/[10] do not cover the completed setting, but it is not a circular reduction: none of the target conclusions is assumed in the definition of B_Lambda or in the cited identities. There are no fitted parameters presented as predictions, no uniqueness theorem imported from the authors' prior work to force the construction, and no ansatz smuggled in via citation. The paper is therefore not circular; the relevant risk is dependence on imported technical lemmas, which is a verification issue rather than circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 5 axioms · 2 invented entities

No empirical free parameters appear: h is a formal variable and c is an input level, not fitted. The new algebras are the paper's main objects, while the main external input is the imported centrality of the Feigin–Frenkel elements from same-group prior work [1,12].

axioms (5)
  • standard math The trigonometric R-matrix R(e^u) satisfies unitarity, crossing symmetry, and the quantum Yang–Baxter equation (Eqs. (2.4), (2.5), (2.10)).
    Imported from [4,5,12]; used throughout Sections 3–5 in the reflection equations and trace identities.
  • standard math The fusion procedure produces idempotents E_Λ with the identities (5.11)–(5.13).
    Cited to Cherednik, Isaev–Molev–Os'kin, Nazarov, and Jing–Liu–Molev [10]; used in Lemmas 5.2–5.3 and Theorem 5.4.
  • domain assumption The coefficients of T_Λ(u) in (5.2) are central in V^crit(gl_N).
    Taken from [1, Prop. 7.4] and [12, Prop. 3.10]; [1] is an arXiv preprint by two of the present authors. This is load-bearing for Theorem 5.4 and is not reproved here.
  • domain assumption The assignments (3.2) and (3.3) are algebra homomorphisms whose images are the orthogonal and symplectic twisted h-Yangians.
    Proposition 3.1 and Remark 3.2; proof is deferred to a computation following [11, Prop. 4.20]. Needed for Corollary 5.6.
  • domain assumption h-adic completion and topological freeness of the algebras and modules.
    Standard in the field; stated at the start of Section 3 and in the definition of restricted modules in Section 4. Necessary for the formal series manipulations.
invented entities (2)
  • Y^tw_{N,h} (extended twisted h-Yangian) no independent evidence
    purpose: A single algebra admitting both the orthogonal and symplectic h-Yangians as quotients, and serving as the restricted DY^tw-module.
    Defined in Section 3 via the reflection equation (3.1); an internal algebraic construction with no external falsifiable handle.
  • DY^tw_{N,h,c} (double-like algebra) no independent evidence
    purpose: Contains creation operator series B^+ and annihilation operator series B^*, so that restricted modules carry the module structures needed for the Etingof–Kazhdan vertex algebra quasi-module construction.
    Defined in Section 3 by the three reflection equations (3.7)–(3.9); internal to the paper's construction.

pith-pipeline@v1.3.0-alltime-deepseek · 20599 in / 15707 out tokens · 139910 ms · 2026-08-01T13:21:30.854663+00:00 · methodology

0 comments
read the original abstract

We investigate the extended twisted $h$-Yangian ${\rm Y}_{N,h}^{\text{tw}}$, a certain algebra which admits both the orthogonal and the symplectic $h$-Yangian as its quotients. We show that ${\rm Y}_{N,h}^{\text{tw}}$ is naturally equipped with the structure of restricted module for a certain algebra ${\rm DY}_{N,h,c}^{tw}$, which resembles the quantum double, as well as with the structure of $\phi$-coordinated quasi module for the Etingof-Kazhdan quantum affine vertex algebra associated with the trigonometric $R$-matrix of type $A$. Finally, we demonstrate how the elements of the quantum Feigin--Frenkel center give rise to explicit formulas for central elements of ${\rm DY}_{N,h,c}^{tw}$ and invariants of ${\rm Y}_{N,h}^{\text{tw}}$ at the critical level, as well as to commutative families in the orthogonal and symplectic $h$-Yangians.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

25 extracted references · 15 linked inside Pith

  1. [1]

    Bagnoli, N

    L. Bagnoli, N. Jing, S. Koˇ zi´ c,Associating modules for theh-Yangian and quantum elliptic algebra in typeAwithh-adic quantum vertex algebras, arXiv:2601.00371 [math.QA]

    arXiv

  2. [2]

    I. V. Cherednik,A new interpretation of Gelfand–Tzetlin bases, Duke Math. J.54(1987), 563–577

    1987

  3. [3]

    Etingof, D

    P. Etingof, D. Kazhdan,Quantization of Lie bialgebras, III, Selecta Math. (N.S.)4(1998), 233–269; arXiv:q-alg/9610030

    Pith/arXiv arXiv 1998

  4. [4]

    Etingof, D

    P. Etingof, D. Kazhdan,Quantization of Lie bialgebras, IV, Selecta Math. (N.S.)6(2000), 79–104; arXiv:math/9801043 [math.QA]

    Pith/arXiv arXiv 2000

  5. [5]

    Etingof, D

    P. Etingof, D. Kazhdan,Quantization of Lie bialgebras, V, Selecta Math. (N.S.)6(2000), 105–130; arXiv:math/9808121 [math.QA]. 21

    Pith/arXiv arXiv 2000

  6. [6]

    I. B. Frenkel, N. Yu. Reshetikhin,Quantum affine algebras and holonomic difference equations, Comm. Math. Phys.146(1992), 1–60

    1992

  7. [7]

    Iohara,Bosonic representations of Yangian doubleDY ℏ(g)withg=gl N ,sl N , J

    K. Iohara,Bosonic representations of Yangian doubleDY ℏ(g)withg=gl N ,sl N , J. Phys. A29(1996), 4593–4621; arXiv:q-alg/9603033

    Pith/arXiv arXiv 1996

  8. [8]

    A. P. Isaev, A. I. Molev, A. F. Os’kin,On the idempotents of Hecke algebras, Lett. Math. Phys.85 (2008), 79–90; arXiv:0804.4214 [math.QA]

    Pith/arXiv arXiv 2008

  9. [9]

    Jimbo,Aq-difference analogue of U(G) and the Yang–Baxter equation, Lett

    M. Jimbo,Aq-difference analogue of U(G) and the Yang–Baxter equation, Lett. Math. Phys.10 (1985), 63–69

    1985

  10. [10]

    N. Jing, M. Liu, A. Molev,Quantum Sugawara operators in typeA, Adv. Math.454(2024), 109907; arXiv:2212.11435 [math.QA]

    Pith/arXiv arXiv 2024

  11. [11]

    N. Jing, J. Zhang,Twistedq-Yangians and Sklyanin determinants, J. London Math. Soc.111(2025), e70114; arXiv:2408.04340v3 [math.QA]

    Pith/arXiv arXiv 2025

  12. [12]

    Koˇ zi´ c, A

    S. Koˇ zi´ c, A. Molev,Center of the quantum affine vertex algebra associated with trigonometricR- matrix, J. Phys. A: Math. Theor.50(2017), 325201 (21pp); arXiv:1611.06700 [math.QA]

    Pith/arXiv arXiv 2017

  13. [13]

    Koˇ zi´ c, M

    S. Koˇ zi´ c, M. Serti´ c,A note on constructing quasi modules for quantum vertex algebras from twisted Yangians, Algebr. Represent. Theory27(2024), 363–380; arXiv:2210.12510 [math.QA]

    Pith/arXiv arXiv 2024

  14. [14]

    Li,ϕ-Coordinated Quasi-Modules for Quantum Vertex Algebras, Comm

    H.-S. Li,ϕ-Coordinated Quasi-Modules for Quantum Vertex Algebras, Comm. Math. Phys.308 (2011), 703–741; arXiv:0906.2710 [math.QA]

    Pith/arXiv arXiv 2011

  15. [15]

    Lu,Isomorphism between twistedq-Yangians and affineıquantum groups: type AI, Int

    K. Lu,Isomorphism between twistedq-Yangians and affineıquantum groups: type AI, Int. Math. Res. Not. IMRN2024(2024), 14519–14542; arXiv:2308.12484 [math.QA]

    Pith/arXiv arXiv 2024

  16. [16]

    M. Lu, W. Wang,A Drinfeld type presentation of affineıquantum groups I: split ADE type, Adv. Math.393(2021), 108111; arXiv:2009.04542 [math.RT]

    Pith/arXiv arXiv 2021

  17. [17]

    A. I. Molev,Sklyanin determinant, Laplace operators and characteristic identities for classical Lie algebras, J. Math. Phys.36(1995), 923–943

    1995

  18. [18]

    Molev, M

    A. Molev, M. Nazarov, G. Olshanski,Yangians and classical Lie algebras, Russian Math. Surveys 51(1996), 205–282; arXiv:hep-th/9409025

    Pith/arXiv arXiv 1996

  19. [19]

    A. I. Molev, E. Ragoucy, P. Sorba,Coideal subalgebras in quantum affine algebras, Rev. Math. Phys. 15(2003), 789–822; arXiv:math/0208140v3 [math.QA]

    Pith/arXiv arXiv 2003

  20. [20]

    Nazarov,A mixed hook-length formula for affine Hecke algebras, European J

    M. Nazarov,A mixed hook-length formula for affine Hecke algebras, European J. Combin.25(2004), 1345–1376; arXiv:math/0307091 [math.RT]

    Pith/arXiv arXiv 2004

  21. [21]

    Olshanski,Twisted Yangians and infinite-dimensional classical Lie algebras, in: ”Quantum Groups (Leningrad, 1990)”, Lecture Notes in Math.1510, Springer, Berlin, 1992, pp

    G. Olshanski,Twisted Yangians and infinite-dimensional classical Lie algebras, in: ”Quantum Groups (Leningrad, 1990)”, Lecture Notes in Math.1510, Springer, Berlin, 1992, pp. 103–120

    1990

  22. [22]

    J. H. H. Perk, C. L. Schultz,New families of commuting transfer matrices inq-state vertex models, Phys. Lett. A84(1981), 407–410

    1981

  23. [23]

    N. Yu. Reshetikhin, M. A. Semenov-Tian-Shansky,Central extensions of quantum current groups, Lett. Math. Phys.,19(1990), 133–142

    1990

  24. [24]

    N. Yu. Reshetikhin, L. A. Takhtajan and L. D. Faddeev,Quantization of Lie groups and Lie algebras, Leningrad Math. J.1(1990), no. 1, 193–225

    1990

  25. [25]

    E. K. Sklyanin,Boundary conditions for integrable quantum systems, J. Phys. A21(1988), 2375– 2389. 22

    1988