New presentation of the twisted Yangian of type $D$

Mamoru Ueda; Shuichi Harako

REVIEW 2 major objections 6 minor 16 references

New presentation of the twisted Yangian of type $D$

T0 review · 2 major / 6 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read The paper constructs a finite presentation of the twisted Yangian of type D and proposes a twisted affine counterpart.

desk verdict A genuinely useful finite presentation of the twisted Yangian of type D, but the central relation (6.4) is wrong as printed and the main theorem does not quite go through until it is fixed. read the letter →

arxiv 2507.00350 v1 pith:FCNHF5HT submitted 2025-07-01 math.QA

Shuichi Harako , Mamoru Ueda This is my paper · ORCID

classification math.QA MSC 17B3717B6781R50

keywords twistedYangiantypeDorthogonalLiealgebrafinitepresentationaffinecoidealquantumgroups

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 gives a new finite presentation of the twisted Yangian of type D, the quantum group associated with the orthogonal Lie algebra $so(2n)$. The presented algebra $\mathrm{TY}_\hbar(so(2n))$ has finitely many generators and explicit relations, and the main theorem proves it is isomorphic to the previously known twisted Yangian of type D. The proof uses a filtration and an identification of the associated graded algebra with the enveloping algebra of the twisted current algebra $sl(2n)[u]^\tau$. With this presentation in hand, the paper proposes a definition of the twisted affine Yangian of type D and conjectures it is a coideal of the affine Yangian of $\mathfrak{sl}(n)$. Such a presentation matters because it supplies explicit relations that can be used to study representations and connections to $W$-algebras in type D.

What carries the argument

The central object is the finite presentation of Definition 6.1: generators $H_{i,0}$ ($1\le i\le n$), $H_{j,1}$ ($1\le j\le n-1$), and $X^{\pm}_{i,0}, X^{\pm}_{i,1}$ ($1\le i\le n$), subject to the relations (6.2)--(6.18). These relations are a deformation of the finite presentation of the twisted current algebra $U(sl(2n)[u]^\tau)$ from Theorem 4.1, with deformation parameter $\hbar$ entering the level-one commutators. The proof that the two algebras agree uses a filtration by degree, an already-known graded-isomorphism theorem identifying the graded twisted Yangian with $U(sl(2n)[u]^\tau)$, and an identification of a large subalgebra with the Yangian of $sl(n)$. In Section 7, the same generator scheme, with the affine Cartan matrix of $\widehat{so}(2n)$, becomes the proposed definition of the twisted affine Yangian of type D.

What would settle it

Fix $n=4$ and a generic nonzero value of $\hbar$, compute both sides of relation (6.15) under the homomorphism $\Phi$ of Theorem 6.19 inside the twisted Yangian of Definition 5.9, and check they are equal. A nonzero difference would disprove Theorem 6.20. Alternatively, compare the Poincaré series of the associated graded algebra of $\mathrm{TY}_\hbar(so(2n))$ with that of $U(sl(2n)[u]^\tau)$.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.1: the associative algebra $\mathrm{TY}_\hbar(so(2n))$ generated by $H_{i,0}$, $H_{j,1}$, $X^{\pm}_{i,0}$, $X^{\pm}_{i,1}$ with the relations (6.2)--(6.18) is isomorphic to the twisted Yangian associated with $so(2n)$. The isomorphism is constructed explicitly: level-zero generators map to the standard generators $X^{\pm}_{i,0}$, and level-one generators are sent to combinations of the elements $S_{i,j}^{(r)}$ of the twisted Yangian. Because both sides carry compatible filtrations, the homomorphism passes to the associated graded algebras, where it agrees with the isomorphism from the finite presentation of $U(sl(2n)[u]^\tau)$ to the graded twisted Yangian. Injectivity of the graded map therefore forces the original map to be an isomorphism. The same finite generator set, extended by an affine node in the Cartan matrix of $\widehat{so}(2n)$, is used in Section 7 to define the twisted affine Yangian $\mathrm{TY}_\hbar(\widehat{so}(2n))$.

Load-bearing premise

The proof leans on an external theorem that says the associated graded algebra of the twisted Yangian is exactly the enveloping algebra of the twisted current algebra; if that identification is wrong or not compatible with the filtration, the injectivity step collapses.

Editorial extensions

If this is right

Theorem 1.1 gives an explicit isomorphism between the new finite presentation and the previously defined twisted Yangian of type D, so all structural results known for the latter apply to the new algebra.
Setting $\hbar=0$ in the relations of Definition 6.1 recovers the finite presentation of the twisted current algebra $U(sl(2n)[u]^\tau)$ from Theorem 4.1.
The finite generator set yields an explicit candidate definition of the twisted affine Yangian of type D, with all defining relations listed in Definition 7.1.
If Conjecture 7.14 is correct, this twisted affine Yangian is a coideal of the affine Yangian of $\mathfrak{sl}(n)$, giving a concrete algebraic route from type D twisted Yangians to affine Yangian representation theory.

Reading between the lines

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

The explicit relations should make representation theory of the twisted Yangian of type D approachable by generator-and-relation methods, in the spirit of minimalistic presentations of affine Yangians in type A.
If Conjecture 7.14 holds, the twisted affine Yangian of type D would be a coideal subalgebra of the affine Yangian of $\mathfrak{sl}(n)$, opening a direct path to rectangular $W$-algebras of type D.
A natural check is to make the identification in Lemma 4.23 fully natural with respect to gradings; making that step explicit would strengthen the filtration argument beyond what the paper shows.

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

Punchline: the finite presentation of the twisted Yangian of type D is a real advance, and the paper is mostly careful, but the central defining relation (6.4) is wrong as printed, and the proof of the main theorem currently runs through the wrong relation.

What is new: a finite presentation for TY_h(so(2n)), reducing the infinite generator set to a finite one in the style of Guay–Nakajima–Wendlandt. The overall strategy is sound: define the algebra, map it to the known twisted Yangian, take the associated graded, identify that graded algebra with U(sl(2n)[u]^τ) using [13], and then invoke the authors' own finite presentation of that classical object. The appendix computations are extensive and mostly well organized. The affine Yangian proposal in Section 7 is explicitly conjectural, which is honest and appropriate.

Where it breaks as written: relation (6.4) is [Hi,1 − (ℏ/2)Hi,0^2, X±_{j,0}] = ± a_{i,j} X±_{j,1}. In type D, a_{n−1,n} = 0. But the classical relation (4.3), which the graded algebra must satisfy, uses the parity-corrected matrix a^1, and a^1_{n−1,n} = 2. The authors' own Appendix B.2 computes, for j = n, [Φ(Hi,1) − (ℏ/2)Φ(Hi,0)^2, X^+_{n,0}] = (2δ_{i,n−1} − δ_{i,n−2})Φ(X^+_{n,1}) = a^1_{i,n}Φ(X^+_{n,1}). That is exactly the corrected relation, not (6.4). So Φ is not a homomorphism from the algebra defined by (6.2)–(6.18), and the step in Theorem 6.20 saying “by definition, (4.2)–(4.13) hold in gr TY_h” is false for the printed relations. This looks fixable: replace a_{i,j} by a^1_{i,j} in (6.4), and similarly check (7.3). But as it stands, the main theorem does not have a valid proof.

Smaller issues: Definition 3.9 has (3.14) and (3.17) both claiming to define brackets involving X^+_{n,r} and X^-_{j,s} with different right-hand sides; one of them is missing the parity case. There are also assorted typos. These are nuisances, not fatal.

Who this is for: specialists in Yangians and quantum groups who want a workable presentation for type D. It deserves peer review—the construction is important and the fix is local—but I would not accept the current version without correcting (6.4) and the Section 3 typo.

Referee Report

2 major / 6 minor

Summary. The paper proposes a new finite presentation TY_h(so(2n)) of the twisted Yangian of type D. The construction starts from a presentation of the twisted current algebra sl(2n)[u]^tau in Section 3, reduces it to a finite presentation in Section 4, and then deforms it in Section 6. The main theorem, Theorem 1.1/6.20, asserts that TY_h(so(2n)) is isomorphic to the known twisted Yangian gTY_h(so(2n)) defined via the Yangian of gl(2n); the proof compares associated graded algebras, using the external result Theorem 5.10 from [13]. Section 7 proposes an analogous definition of a twisted affine Yangian of type D and conjectures that it is a coideal of the affine Yangian of sl(2n).

Significance. If the presentation is correct, this is a useful contribution: it gives a finite Drinfeld-type presentation of the twisted Yangian of type D, parallel to the Guay--Nakajima--Wendlandt presentation of affine Yangians, and it provides a concrete route toward a definition of the twisted affine Yangian of type D. The paper contains very detailed computations, especially in the appendices, and the overall strategy of comparing associated graded algebras is sound. However, the manuscript as written contains two concrete inconsistencies in central defining relations, one of which is acknowledged in spirit by the paper's own Appendix B.2 computation; these must be corrected before the main theorem can be accepted.

major comments (2)

[Definition 6.1, relation (6.4); Appendix B.2] Relation (6.4) is printed with the Cartan matrix a_{i,j}, but the homomorphism Phi computed in Appendix B.2 satisfies the parity-corrected matrix a^1_{i,j}. For j=n and i<=n-1, the appendix concludes [Phi(H_{i,1}) - (hbar/2)Phi(H_{i,0})^2, X^+_{n,0}] = (2delta_{i,n-1} - delta_{i,n-2})Phi(X^+_{n,1}) = a^1_{i,n}Phi(X^+_{n,1}), whereas a_{n-1,n}=0. Thus, as printed, (6.4) is not preserved by Phi, so Theorem 6.19 is false as stated, and the proof of Theorem 6.20 fails because gr TY_h(so(2n)) does not satisfy the r=1 part of (4.3), which uses a^1_{i,j}. The fix is to replace a_{i,j} by a^1_{i,j} in (6.4); with that change the Appendix B.2 computation becomes exactly the required compatibility. The index range in (6.4) should also be specified, since H_{n,1} is not among the generators listed in Definition 6.1; the analogous issue affects (7.3) in Definition 7.1.
[Definition 3.9, relations (3.14) and (3.17)] Relations (3.14) and (3.17) are mutually inconsistent. For j=n, both relations describe the same bracket [X^+_{n,r}, X^-_{n,s}]: (3.14) gives H_{n-1,r+s} when r+s is odd and H_{n,r+s} when r+s is even, whereas (3.17) gives H_{n,r+s} unconditionally. Hence the algebra L in Definition 3.9 is over-determined by contradictory relations, and Theorem 3.53, asserting L is isomorphic to U(sl(2n)[u]^tau), cannot hold as written. Relation (3.17) should be corrected by the same parity condition as (3.14), or removed if it is redundant. This is load-bearing because the finite presentation in Section 4 and ultimately the main theorem rely on the presentation of L.

minor comments (6)

[Theorem 4.1, relation (4.5)] Relation (4.5) is written as [X^+_{i,1}, X^-_{i,0}] = delta_{i,j} H_{i,1} if i is not n; the left-hand side has no j, so the formula is not well-formed. It should presumably be [X^+_{i,1}, X^-_{j,0}] = delta_{i,j} H_{i,1} for i not equal to n.
[Section 3, after Lemma 3.46] The sentence 'The proof of Theorem 3.46 is given in the appendix' should refer to Lemma 3.46, not Theorem 3.46.
[Equations (3.38), (4.4), (4.14)] There are several typographical artifacts: (3.38) contains a double comma ', ,', (4.4) contains an extra comma ', ,', and (4.14) ends with '= 0..' instead of '= 0.'
[Lemma 4.48 proof] In the induction step of the proof of Lemma 4.48, the phrase 'Suppose that (A.10) holds' should refer to the statement being proved, which is (3.36), not (A.10).
[Appendix A.7, proof of (A.9)] In the proof of (A.9), the notation 'Xn−3,,n−1,0' contains an extra comma and should be 'X_{n-3,n-1,0}'.
[Definition 7.1] In Definition 7.1, the generators include H_{j,1} only for 1 <= j <= n-1, but relations (7.2) and (7.3) are written without specifying that i ranges over the nodes for which H_{i,1} exists; the intended range should be stated explicitly.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main theorem is a structural comparison against the externally defined twisted Yangian, not a repackaging of inputs.

full rationale

The central claim (Theorem 1.1 / Theorem 6.20) is that the newly defined algebra TY_h(so(2n)) of Definition 6.1 is isomorphic to the known twisted Yangian gTY_h(so(2n)) from [13]. This is not circular: gTY_h is defined independently via the Yangian of gl(2n) in Definition 5.9, and the map Phi in Theorem 6.19 is an explicit homomorphism with concrete images for the new generators. Surjectivity and injectivity of grPhi are established by comparing the associated graded of TY_h with the finite presentation in Theorem 4.1, whose proof is self-contained except for standard external theorems in [8] about Yangian subalgebras, and by using Theorem 5.10, quoted from [13] (Molev-Nazarov-Olshanskii), an external source, to identify gr gTY_h with U(sl(2n)[u]^tau). No parameter is fitted from the target algebra and no prediction is read back from an input; the finite presentation is genuinely new data checked against the known algebra. The only self-citation is [16] by one of the authors, and it is used only to motivate a definition of the type C twisted affine Yangian, not to prove Theorem 6.20. Section 7 is explicitly conjectural ('we conjecture'), so no derivation is being smuggled in. The skeptic's note about relation (6.4) possibly using a_{i,j} instead of a^1_{i,j} concerns correctness of the presentation as printed, not circularity; even if valid, it would be an inconsistency with an external classical relation, not an equivalence of inputs. Therefore the circularity score is 0.

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

No numerical free parameters are fitted. The main theorem is a structural computation that relies on standard tools and two substantial external theorems. The only new postulated object is the twisted affine Yangian algebra in Section 7, which is not independently verified.

assumptions (4)

standard math PBW theorem for the universal enveloping algebra of the twisted current Lie algebra sl(2n)[u]^tau (used in Theorem 3.53)
PBW is invoked to conclude that ordered monomials of hi,r, x±_{n+1,2r+1}, and xp,q,r form a basis. This is standard but unproved in the paper.
domain assumption Theorem 2.13 in Guay-Nakajima-Wendlandt [8]: defining relations of the Yangian of sl(n) hold in the relevant subalgebra (Lemma 4.23)
This external theorem is load-bearing for reducing the type D finite relations to known sl(n) relations. The paper does not reproduce the theorem or its proof.
domain assumption Proposition 2.23 of Molev-Nazarov-Olshanskii [13], quoted as Theorem 5.10: gr gTY_h(so(2n)) is isomorphic to U(sl(2n)[u]^tau)
The isomorphism proof of Theorem 6.20 uses this graded identification to transfer injectivity. The result is external and is not re-derived.
domain assumption n > 4 (Section 2)
The paper restricts to n > 4 to avoid small-rank exceptional behavior. The presentation is not claimed for n = 1, 2, 3.

invented entities (1)

TY_h(widehat{so}(2n))
purpose: Proposed definition of the twisted affine Yangian of type D as an associative algebra with finite generators and relations (Definition 7.1).
No proof is given that this algebra is a coideal of the affine Yangian or has the expected universal properties. The only supporting statement is Conjecture 7.14.

how reviews work

0 comments

Cite this review

Pith. "Pith review of New presentation of the twisted Yangian of type $D$." pith.science (2026). https://pith.science/paper/FCNHF5HT

@misc{pith2026250700350,
  author       = {Pith},
  title        = {Pith review of: New presentation of the twisted Yangian of type $D$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/FCNHF5HT}},
  note         = {Machine review of arXiv:2507.00350}
}

abstract

We construct a new presentation of the twisted Yangian of type $D$ with a finite number of generators. By using this presentation, we propose a new definition of the twisted affine Yangian of type $D$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

16 extracted references · 14 canonical work pages

[13]

Molev, M

A. Molev, M. Nazarov, and G. Olshanski ˘ ı. Yangians and classical Lie algebras.Uspekhi Mat. Nauk, 51(2(308)):27–104, 1996

work page 1996
[1]

Belliard and V

S. Belliard and V. Regelskis. Drinfeld J presentation of twisted Yangians. SIGMA Symmetry Integrability Geom. Methods Appl., 13:Paper No. 011, 35, 2017

work page 2017
[2]

J. Brown. Twisted Yangians and finite W -algebras. Transform. Groups, 14(1):87–114, 2009

work page 2009
[3]

Brundan and A

J. Brundan and A. Kleshchev. Shifted Yangians and finite W -algebras. Adv. Math., 200(1):136–195, 2006

work page 2006
[4]

De Sole, V

A. De Sole, V. G. Kac, and D. Valeri. A Lax type operator for quantum finite W -algebras. Selecta Math. (N.S.), 24(5):4617–4657, 2018

work page 2018
[5]

V. G. Drinfeld. Hopf algebras and the quantum Yang-Baxter equation. Dokl. Akad. Nauk SSSR, 283(5):1060–1064, 1985. 34

work page 1985
[6]

V. G. Drinfeld. A new realization of Yangians and of quantum affine algebras. Dokl. Akad. Nauk SSSR, 296(1):13–17, 1987

work page 1987
[7]

N. Guay. Affine Yangians and deformed double current algebras in type A. Adv. Math., 211(2):436–484, https://doi.org/10.1016/j.aim.2006.08.007, 2007

work page doi:10.1016/j.aim.2006.08.007 2006

Show all 16 references

[8]

N. Guay, H. Nakajima, and C. Wendlandt. Coproduct for Yangians of affine Kac-Moody algebras. Adv. Math., 338:865–911, 2018

2018
[9]

K. Lu, W. Wang, and W. Zhang. Shifted twisted Yangians and finite W -algebras of classical type. arXiv:2405.03316,

arXiv
[10]

K. Lu, W. Wang, and W. Zhang. Affine iquantum groups and twisted Yangians in Drinfeld presentations. arXiv:2406.050607,

arXiv
[11]

K. Lu, W. Wang, and W. Zhang. A Drinfeld type presentation of twisted Yangian. arXiv:2308.12254,
[12]

Lu and W

K. Lu and W. Zhang. A Drinfeld type presentation of twisted Yangians of quasi-split type. arXiv:2308.06981,

arXiv
[14]

G. I. Olshanski ˘ ı. Twisted Yangians and infinite-dimensional classical Lie algebras. InQuantum groups (Leningrad, 1990), volume 1510 of Lecture Notes in Math., pages 104–119. Springer, Berlin, 1992

1990
[15]

Ragoucy and P

E. Ragoucy and P. Sorba. Yangian realisations from finite W -algebras. Comm. Math. Phys., 203(3):551–572, 1999

1999
[16]

M. Ueda. Twisted Affine Yangians and Rectangular W -algebras of type D. arXiv;2107.09999, to appear in Algebras Represent. Theory.. 35

arXiv

Pith tools

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

[1] [13]

Molev, M

A. Molev, M. Nazarov, and G. Olshanski ˘ ı. Yangians and classical Lie algebras.Uspekhi Mat. Nauk, 51(2(308)):27–104, 1996

work page 1996

[2] [1]

Belliard and V

S. Belliard and V. Regelskis. Drinfeld J presentation of twisted Yangians. SIGMA Symmetry Integrability Geom. Methods Appl., 13:Paper No. 011, 35, 2017

work page 2017

[3] [2]

J. Brown. Twisted Yangians and finite W -algebras. Transform. Groups, 14(1):87–114, 2009

work page 2009

[4] [3]

Brundan and A

J. Brundan and A. Kleshchev. Shifted Yangians and finite W -algebras. Adv. Math., 200(1):136–195, 2006

work page 2006

[5] [4]

De Sole, V

A. De Sole, V. G. Kac, and D. Valeri. A Lax type operator for quantum finite W -algebras. Selecta Math. (N.S.), 24(5):4617–4657, 2018

work page 2018

[6] [5]

V. G. Drinfeld. Hopf algebras and the quantum Yang-Baxter equation. Dokl. Akad. Nauk SSSR, 283(5):1060–1064, 1985. 34

work page 1985

[7] [6]

V. G. Drinfeld. A new realization of Yangians and of quantum affine algebras. Dokl. Akad. Nauk SSSR, 296(1):13–17, 1987

work page 1987

[8] [7]

N. Guay. Affine Yangians and deformed double current algebras in type A. Adv. Math., 211(2):436–484, https://doi.org/10.1016/j.aim.2006.08.007, 2007

work page doi:10.1016/j.aim.2006.08.007 2006