Completion of the orthogonal and symplectic Yangian R-operator program: evaluation-representation classification, normalization and regularization of the spinorial/metaplectic R-operator

The paper of Isaev, Karakhanyan and Kirschner (Nucl. Phys. B 904 (2016) 124) constructed, in a uniform treatment of the orthogonal algebra so(n) and the symplectic algebra sp(2m), explicit spinorial and metaplectic Yang-Baxter R-operators and the L-operators yielding linear and quadratic evaluations of the corresponding Yangians, and left three interlocked issues open: (i) the classification of Lie-algebra representations satisfying the quadratic or cubic characteristic identities that govern the first- and second-order truncations of the RLL relation; (ii) the fixing of the arbitrary normalization functions A_0(u) and A_1(u) in the R-operator coefficients, with the analytic consequences; and (iii) a rigorous regularization of the intrinsically infinite-dimensional metaplectic trace and fusion computations. The linear-evaluation classification is complete, and the quadratic-evaluation classification is complete under a vanishing condition on weight components. The unrestricted quadratic classification, the normalization question, and the metaplectic regularization remain open, leaving a precise nonempty open core.

Background

Integrable quantum systems in one dimension are organized by solutions of the Yang-Baxter equation, an associativity-type relation for an operator $R_{12}(u)$ depending on a complex spectral parameter $u$. For a simple Lie algebra $\mathcal G$, the Yangian $Y(\mathcal G)$ — an infinite-dimensional Hopf algebra deforming the universal enveloping algebra of the polynomial loop algebra of $\mathcal G$, and one of the standard quantum-group symmetries of integrable models — admits two equivalent styles of definition: the current (Drinfeld) presentation in terms of generators, and the R-matrix (RTT) presentation, in which the algebra is generated by the matrix elements of an L-operator $L(u)$ subject to the RLL relation $R_{12}(u-v)\,L_1(u)\,L_2(v)=L_2(v)\,L_1(u)\,R_{12}(u-v),$ where $R_{12}(u)$ is the fundamental R-matrix acting on two copies of the defining (fundamental) representation space $V_f$ of $\mathcal G$. The extended Yangian is the RLL/RTT algebra before quotienting out its center.

For $\mathcal G=s\ell(n)$ the fundamental R-matrix is linear in $u$, and an L-operator of the natural form $L(u)=u\,\mathbf 1+\tfrac12\rho_f(G^a{}_{\,b})\,\rho(G^b{}_{\,a})$, built from the fundamental representation $\rho_f$ and an arbitrary representation $\rho$ of the generators $G^a{}_{\,b}$, satisfies the RLL relation for any $\rho$: this is the evaluation representation. For the orthogonal and symplectic algebras $\mathcal G=so(n)$ and $sp(2m)$ the fundamental R-matrix is quadratic in $u$, and truncating the expansion of $L(u)$ in inverse powers of $u$ imposes additional constraints on the matrix of generators, which can be fulfilled only in distinguished representations. Isaev, Karakhanyan and Kirschner showed that these constraints take the form of characteristic identities — matrix polynomial identities for the generator matrix, analogous to the Cayley–Hamilton theorem: a quadratic identity for truncation at first order (the linear evaluation of the Yangian) and a cubic identity for truncation at second order (the quadratic evaluation). For instance, the spinor-representation generators $F^a{}_{\,b}$ of the oscillator construction obey $F^2-\beta F=\tfrac14(n\epsilon-1)I$ with $\beta=n/2-\epsilon$, while the fundamental generators obey the cubic identity $G^3+(1-n\epsilon)G^2-G=(1-n\epsilon)I$, where $\epsilon=+1$ in the $so$ case and $\epsilon=-1$ in the $sp$ case. The exhibited admissible representations are the spinor representation of $so(n)$, realized on fermionic oscillators (equivalently the Clifford algebra generated by operators $c^a$ with graded commutation relations fixed by the invariant metric $\varepsilon_{ab}$), its symplectic counterpart — the metaplectic representation on bosonic oscillators, which is infinite-dimensional —, the fundamental representation, and the Jordan–Schwinger representations built from $n$ Heisenberg canonical pairs, bosonic in the orthogonal and fermionic in the symplectic case.

The same paper treated both symmetry types uniformly (the $so$ and $sp$ cases are interchanged by swapping symmetrization with antisymmetrization, encoded in the sign $\epsilon$), derived the explicit spinorial/metaplectic R-operator $\check{\mathfrak R}_{12}(u)$ intertwining two oscillator L-operators through a modified RLL relation in which the fundamental R-matrix is replaced by the spinorial one, and showed how the fusion procedure — multiplying L-operators at shifted spectral parameters and projecting the tensor product of two spinor representations onto an invariant subspace, here the fundamental (vector) representation — reproduces the fundamental R-matrix and the Jordan–Schwinger L-operator. The coefficients of the R-operator, $r_{2m}(u)=\frac{2^{2m}\,\Gamma\!\left(m+\epsilon\frac{u}{2}\right)}{\Gamma\!\left(m+1-\epsilon\frac{u+n}{2}\right)}\,A_0(u),\qquad r_{2m+1}(u)=\frac{2^{2m}\,\Gamma\!\left(m+\tfrac12+\epsilon\frac{u}{2}\right)}{\Gamma\!\left(m+\tfrac12-\epsilon\frac{u+n}{2}\right)}\,A_1(u),$ contain two arbitrary scalar normalization functions $A_0(u)$ and $A_1(u)$ that the paper leaves unfixed. In the symplectic case the oscillator spaces are infinite-dimensional, so the sums over basis states in the trace and fusion computations require a regularization, which the paper assumes to exist without constructing it. These limitations, together with the fact that the constraints extracted from the RLL relation (such as the vanishing of the triple-index (anti)symmetrized anticommutator $[G_{[ae}G_{f)b}]_+$ of the generators) are established only as necessary conditions, define the open program addressed here. Terminology used below: unitarity of an R-operator means $\check{\mathfrak R}_{12}(u)\check{\mathfrak R}_{12}(-u)=\mathbf 1$ up to normalization, and crossing symmetry relates the operator on $V\otimes V$ to the one on $V\otimes V^*$ with dual representation; the algebraic Bethe ansatz is the standard pseudovacuum-based method for diagonalizing transfer matrices built from R-operators.

Problem Statement

Complete the representation-theoretic foundation of the orthogonal and symplectic Yangian R-operator framework of Isaev, Karakhanyan and Kirschner, by settling the three interlinked issues the paper left open. The facets, which jointly serve the single objective of placing the spinorial/metaplectic R-operator and the truncated-evaluation L-operators of the $so(n)$ and $sp(2m)$ Yangians on complete and rigorous footing, are:

(1) Classification. Determine all representations $\rho$ of $\mathcal G=so(n)$ or $sp(2m)$ for which the matrix of generators satisfies the quadratic characteristic identity required for the first-order truncation of $L(u)$, or the cubic characteristic identity required for the second-order truncation, so that the L-operator built on $\rho$ obeys the RLL relation; the exhibited spinor/metaplectic, fundamental and Jordan–Schwinger families are not assumed to exhaust the admissible classes. (Later work has settled the linear evaluation and the quadratic evaluation under a vanishing condition on the antisymmetric second weight components; the unrestricted quadratic case and the correspondence between the weight-condition and characteristic-identity formulations for general modules remain open.)

(2) Normalization. Fix the arbitrary scalar normalization functions $A_0(u)$ and $A_1(u)$ in the general solution for the spinorial/metaplectic R-operator coefficients $r_k(u)$ — by natural normalization conditions, analytic continuations, or other principled choices — stating the condition imposed and showing that it determines the two functions uniquely up to an explicitly identified residual freedom, and determine the consequences of the choice for unitarity, crossing symmetry, and the other analytic properties of the R-operator.

(3) Regularization. Construct explicitly the regularization of the metaplectic construction that the source paper assumes: the oscillator spaces are infinite-dimensional, so the sums or integrations over basis states in the trace and fusion computations diverge, and a regularization must be specified under which the trace identities used in the fusion arguments hold, together with its domain of definition, its convergence, and its dependence on the regularization scheme.

The program is complete when the set of admissible representations is classified, the R-operator's analytic normalization is fixed by a stated condition that determines it, with its consequences derived, and the infinite-dimensional symplectic case is rigorously defined.

References

1. A. P. Isaev, D. Karakhanyan, R. Kirschner, 'Orthogonal and symplectic Yangians and Yang-Baxter R-operators', Nucl. Phys. B 904 (2016) 124-147, DOI 10.1016/j.nuclphysb.2016.01.007, arXiv:1511.06152, https://arxiv.org/abs/1511.06152
2. D. Chicherin, S. Derkachov, A. P. Isaev, 'Spinorial R-matrix', J. Phys. A 46 (2013) 485201, DOI 10.1088/1751-8113/46/48/485201, arXiv:1303.4929, https://arxiv.org/abs/1303.4929
3. D. Karakhanyan, R. Kirschner, 'Orthogonal and symplectic Yangians - linear and quadratic evaluations', Nucl. Phys. B 933 (2018) 14-39, DOI 10.1016/j.nuclphysb.2018.05.022, arXiv:1712.06849, https://arxiv.org/abs/1712.06849
4. D. R. Karakhanyan, R. Kirschner, 'Second-order evaluations of orthogonal and symplectic Yangians', Theor. Math. Phys. 192 (2017) 1154-1161, DOI 10.1134/S0040577917080062
5. D. R. Karakhanyan, R. Kirschner, 'Orthogonal and symplectic Yangians and Lie algebra representations', Theor. Math. Phys. 198 (2019) 239-248, DOI 10.1134/S0040577919020053
6. D. Karakhanyan, R. Kirschner, 'Representations of orthogonal and symplectic Yangians', Nucl. Phys. B 967 (2021) 115402, DOI 10.1016/j.nuclphysb.2021.115402, arXiv:2010.06513, https://arxiv.org/abs/2010.06513
7. D. Karakhanyan, R. Kirschner, 'Spinorial R operator and Algebraic Bethe Ansatz', Nucl. Phys. B 951 (2020) 114905, DOI 10.1016/j.nuclphysb.2019.114905, arXiv:1911.08385, https://arxiv.org/abs/1911.08385
8. J. Fuksa, A. P. Isaev, D. Karakhanyan, R. Kirschner, 'Yangians and Yang-Baxter R-operators for ortho-symplectic superalgebras', Nucl. Phys. B 917 (2017) 44-85, DOI 10.1016/j.nuclphysb.2017.01.029, arXiv:1612.04713, https://arxiv.org/abs/1612.04713
9. A. P. Isaev, D. Karakhanyan, R. Kirschner, 'Yang-Baxter R-operators for osp superalgebras', Nucl. Phys. B 965 (2021) 115355, DOI 10.1016/j.nuclphysb.2021.115355, arXiv:2009.08143, https://arxiv.org/abs/2009.08143
10. N. Jing, M. Liu, A. Molev, 'Isomorphism between the R-matrix and Drinfeld presentations of Yangian in types B, C and D', Commun. Math. Phys. 361 (2018) 827-872, DOI 10.1007/s00220-018-3185-x, arXiv:1705.08155, https://arxiv.org/abs/1705.08155
11. R. Frassek, A. Tsymbaliuk, 'Rational Lax Matrices from Antidominantly Shifted Extended Yangians: BCD Types', Commun. Math. Phys. 392 (2022) 545-619, DOI 10.1007/s00220-022-04345-6, arXiv:2104.14518, https://arxiv.org/abs/2104.14518
12. R. Frassek, 'Oscillator realisations associated to the D-type Yangian: Towards the operatorial Q-system of orthogonal spin chains', Nucl. Phys. B 956 (2020) 115063, DOI 10.1016/j.nuclphysb.2020.115063, arXiv:2001.06825, https://arxiv.org/abs/2001.06825
13. A. P. Isaev, A. A. Provorov, 'Split Casimir operator of the Lie algebra so(2r) in spinor representations, colour factors, and the Yang-Baxter equation', Nucl. Phys. B 1026 (2026) 117445, DOI 10.1016/j.nuclphysb.2026.117445, arXiv:2603.04561, https://arxiv.org/abs/2603.04561