Completing the universal K-matrix framework for quantum symmetric pairs: cylindrical structures, affine factorization, meromorphicity, and classification of reflection-equation solutions

The survey of Appel and Vlaar (Indagationes Mathematicae 36 (2025) 1830-1862; arXiv:2410.21654) constructs boundary transfer matrices - commuting operator families governing integrable quantum systems with reflecting boundaries - from quantum symmetric pairs (coideal subalgebras $U_q(\mathfrak{k})\subset U_q(\mathfrak{g})$, also called ıquantum groups), and records the problems that remain open. They are grouped below under a single theme: complete the universal K-matrix framework for quantum symmetric pairs. Its five linked components are: (i) every generalized quantum symmetric pair parameter set admits a cylindrical structure, and, up to gauge, every invertible universal solution of the generalized reflection equation in finite type arises from quantum symmetric pair data (Conjecture 5.4.1); (ii) in affine type the basic K-matrix $\Upsilon$ admits a loop-triangular factorization (Conjecture 5.5.1); (iii) the spectral K-matrices $K_V(z)$ are Laurent expansions of meromorphic matrix-valued functions for all finite-dimensional $V$ and generic parameters (Conjecture 6.4.1); (iv) symmetrizable invertible solutions of the spectral reflection equation on tensor products of Kirillov-Reshetikhin modules arise from grading-shifted universal K-matrices, and the coideal subalgebras behind the non-symmetrizable solutions are classified up to isomorphism (Conjecture 6.5.1, Remark 6.5.2); and (v) universal fused K-operators and boundary TT-relations exist beyond rank one.

Background

The quantum inverse scattering method describes one-dimensional integrable systems through their R-matrices. On the algebraic side, the universal R-matrix of a quantum group $U_q(\mathfrak{g})$ - the $q$-deformation of the enveloping algebra of a symmetrizable Kac-Moody algebra $\mathfrak{g}$, with deformation parameter $q$ - satisfies the quantum Yang-Baxter equation, the fundamental consistency condition of factorized scattering, and generates commuting transfer matrices (operators obtained as traces, over an auxiliary space, of monodromy matrices built from the R-matrix) for systems with periodic boundary conditions. The associated spectral theory - Baxter functional relations (functional equations among the eigenvalues of commuting transfer matrices) and q-characters (Laurent-polynomial invariants that classify the finite-dimensional modules of a quantum affine algebra) - rests on two properties of the R-matrix: it admits an explicit factorization, and its matrix coefficients on finite-dimensional modules are meromorphic functions of the spectral parameter.

For systems with reflecting boundaries the corresponding object is a K-matrix: a solution of the reflection equation, the boundary analogue of the Yang-Baxter equation, introduced in the 1980s in the theory of open spin chains (one-dimensional quantum lattice systems whose endpoints reflect). A systematic algebraic source of K-matrices is the theory of quantum symmetric pairs (QSPs). A QSP is a coideal subalgebra $U_q(\mathfrak{k})\subset U_q(\mathfrak{g})$ (a subalgebra whose image under the coproduct, the comultiplication of the Hopf algebra $U_q(\mathfrak{g})$, is contained in $U_q(\mathfrak{k})\otimes U_q(\mathfrak{g})$) deforming the fixed-point subalgebra $U(\mathfrak{g})^{\theta}$ of an involutive automorphism $\theta$ of $\mathfrak{g}$ (an automorphism with $\theta^{2}=\mathrm{id}$), also called an ıquantum group; such subalgebras are classified combinatorially by Satake diagrams (Dynkin diagrams decorated with black nodes and arrows encoding the involution $\theta$) and depend on continuous parameters. Balagović and Kolb proved that every QSP of finite type carries a universal K-matrix: an intertwiner between the coideal action and a Cartan twist which satisfies a generalized reflection equation in which the role of the R-matrix is played by the quasi-R-matrix (the correction factor relating the universal R-matrix to its opposite). Appel and Vlaar extended this construction to arbitrary Kac-Moody type and built the tensor K-matrix formalism on top of it.

The survey (Appel-Vlaar, 2025) develops the boundary analogue of the transfer-matrix machinery. Its key notions are the following. A cylindrical structure on a quasitriangular bialgebra $A$ with a right coideal subalgebra $B$ (terminology going back to the cylinder braiding of tom Dieck and Häring-Oldenburg) is data $(\psi,J,K)$ - an automorphism, a twist, and an intertwiner - whose defining conditions produce a universal solution $K$ of the generalized reflection equation $K_{1}\cdot(R^{\psi})_{21}\cdot K_{2}\cdot R=(R^{\psi\psi})_{21}\cdot K_{2}\cdot R^{\psi}\cdot K_{1}$ in $A\otimes A$; the intertwiner $K$ is called the basic K-matrix, and for a quantum symmetric pair the survey constructs it as a triangular-type element $\Upsilon=\sum_{\lambda}\Upsilon_{\lambda}$, with components graded by positive roots, in a completion of the positive part $U_q(\mathfrak{n}^{+})\subset U_q(\mathfrak{g})$. Cylindrical structures are considered up to gauge transformation, the action of an invertible $g\in A^{\times}$ sending $(\psi,J,K)$ to $(\mathrm{Ad}(g)\circ\psi,\,(g\otimes g)\cdot J\cdot\Delta(g)^{-1},\,g\cdot K)$. The tensor K-matrix $\overline{\mathbb{K}}$, assembled from the universal K-matrix and a dual K-matrix, yields commuting boundary transfer matrices $\mathscr{T}(z)$. In affine type, for each finite-dimensional module $V$ in the category $\mathcal{C}$ of finite-dimensional type-1 (weight) modules over the quantum affine algebra (whose simple objects are classified by Drinfeld polynomials), the grading-shifted universal K-matrix acts as a formal Laurent series $K_{V}(z)$ satisfying the spectral (trigonometric) reflection equation. Kirillov-Reshetikhin (KR) modules are the simple objects of $\mathcal{C}$ with all but one Drinfeld polynomial trivial. In rank one, i.e. for $\mathfrak{g}=\widehat{\mathfrak{sl}}_{2}$, a distinguished coideal subalgebra is the q-Onsager algebra - a q-deformation of Onsager's algebra from the two-dimensional Ising model, which embeds into $U_q(\widehat{\mathfrak{sl}}_{2})$ and governs the open XXZ spin chain with diagonal boundaries - and much of the explicit theory beyond the universal constructions is currently confined to this rank-one case. Regelskis and Vlaar classified all invertible solutions of the reflection equations for the trigonometric R-matrix of type $A^{(1)}_{N-1}$: solutions of symmetric-pair (Satake) origin are called symmetrizable, and the classification also yields non-symmetrizable solutions, some of which cannot be obtained as limits of symmetrizable ones. Finally, the generalized parameters $\Gamma\Sigma_q$ form an enlarged parameter set for QSP data (parameters $\gamma$ together with grading shifts $\sigma$) going beyond the standard constraints under which all currently known existence and uniqueness results for universal K-matrices are proved.

The survey proves commutativity of the boundary transfer matrices and constructs $\mathscr{T}(z)$ in this generality, but explicitly leaves open the classification-and-analyticity layer of the theory, posed as four numbered conjectures together with a fusion problem. The authors' declared overarching goal is a universal description of the spectra of integrable systems with reflecting boundaries, in analogy with the bulk theory of Baxter relations and q-characters of Frenkel-Reshetikhin and Frenkel-Mukhin, and with the quantum Knizhnik-Zamolodchikov intertwiners of Frenkel-Reshetikhin (intertwining operators characterized by systems of q-difference equations).

Problem Statement

The problem is to complete the universal boundary-transfer-matrix framework for quantum symmetric pairs, in the sense of the following five components posed as open in the survey of Appel and Vlaar (Indagationes Mathematicae 36 (2025) 1830-1862; arXiv:2410.21654). The common scientific objective linking them is to establish that quantum symmetric pairs with generalized parameters are exactly the algebraic origin of reflection-equation solutions, with an explicit factorized universal form, meromorphic spectral representatives, and fusion functional relations - the boundary analogue of the universal R-matrix framework for periodic systems.

(1) Existence and universality of cylindrical structures (Conjecture 5.4.1). Prove that, for every generalized parameter pair $(\gamma,\sigma)$ in the enlarged parameter set $\Gamma\Sigma_q$, the quantum symmetric pair $(U_q(\mathfrak{g}),U_q(\mathfrak{k}))$ admits a cylindrical structure; and prove that, up to gauge transformation, every invertible universal solution of the generalized reflection equation for $U_q(\mathfrak{g})$ with $\dim(\mathfrak{g})<\infty$ arises from such quantum symmetric pair data.

(2) Affine factorization of the basic K-matrix (Conjecture 5.5.1). Prove that, for a quantum symmetric pair of affine type, the basic K-matrix $\Upsilon$ admits a loop-triangular factorization analogous to that of the (quasi-)R-matrix of quantum affine algebras, in which each factor is expressed by an infinite product of restricted rank-one K-matrices (those associated with symmetric pairs whose restricted root system has rank one), indexed by a convex order (a total order on the positive roots compatible with taking sums) on the positive restricted root system (the root system of the symmetric pair, i.e. the restrictions of the roots of $\mathfrak{g}$ to the anti-fixed part of the Cartan subalgebra), and the abelian factor is non-trivial.

(3) Meromorphicity of spectral K-matrices (Conjecture 6.4.1). Prove that, for all $V\in\mathcal{C}$ - not necessarily irreducible - and for generic QSP parameters, the formal Laurent series $K_{V}(z)$ is the Laurent-series expansion of a meromorphic matrix-valued function.

(4) Classification of spectral reflection-equation solutions (Conjecture 6.5.1 and Remark 6.5.2). Prove that symmetrizable invertible solutions of the spectral reflection equation (with $\psi$ replaced by a diagram automorphism) on tensor products of Kirillov-Reshetikhin modules are, up to rescaling, the actions of grading-shifted universal K-matrices of affine quantum symmetric pairs with generalized parameter constraints; and classify, up to isomorphism, the coideal subalgebras $B\subset U_q(\mathfrak{g})$ underlying the non-symmetrizable invertible solutions of Regelskis and Vlaar - that is, determine for every such solution the coideal subalgebra it arises from - of which only the triangular q-Onsager algebra is currently understood.

(5) Universal fused K-operators and boundary TT-relations (Section 6.9(2) of the survey). Construct the universal fused K-operators (fused analogues of the tensor K-matrix $\overline{\mathbb{K}}$, obtained from it by evaluation on finite-dimensional modules), and prove that they satisfy the boundary TT-relations (the fusion relations for the boundary transfer matrices $\mathscr{T}^{(W)}_{V}(z)$, in the sense of the fusion procedure for open chains of Mezincescu and Nepomechie) for general affine quantum symmetric pairs, beyond the rank-one q-Onsager case in which they are currently established only under a conjectural identification of fused K-operators with a universal tensor K-matrix.

The five components are posed in the survey as separate open problems, each independently refutable: a resolution of any one of them is a result in its own right, but the task is complete only when all five are resolved.

References

1. A. Appel and B. Vlaar, Boundary transfer matrices arising from quantum symmetric pairs, Indagationes Mathematicae 36(6) (2025) 1830-1862, DOI 10.1016/j.indag.2025.05.008; preprint arXiv:2410.21654, https://arxiv.org/abs/2410.21654
2. M. Balagović and S. Kolb, Universal K-matrix for quantum symmetric pairs, Journal für die reine und angewandte Mathematik (Crelles Journal) 747 (2019) 299-353, DOI 10.1515/crelle-2016-0012; preprint arXiv:1507.06276, https://arxiv.org/abs/1507.06276
3. A. Appel and B. Vlaar, Universal K-matrices for quantum Kac-Moody algebras, Representation Theory 26 (2022) 764-824, DOI 10.1090/ert/623; preprint arXiv:2007.09218, https://arxiv.org/abs/2007.09218
4. A. Appel and B. Vlaar, Trigonometric K-matrices for finite-dimensional representations of quantum affine algebras, Journal of the European Mathematical Society (2025), DOI 10.4171/jems/1686; preprint arXiv:2203.16503, https://arxiv.org/abs/2203.16503
5. A. Appel and B. Vlaar, Tensor K-matrices for quantum symmetric pairs, Communications in Mathematical Physics 406(5) (2025) article 100, DOI 10.1007/s00220-025-05241-5; preprint arXiv:2402.16676, https://arxiv.org/abs/2402.16676
6. S. Kolb, Braided module categories via quantum symmetric pairs, Proceedings of the London Mathematical Society (3) 121(1) (2020) 1-31, DOI 10.1112/plms.12303; preprint arXiv:1705.04238, https://arxiv.org/abs/1705.04238
7. V. Regelskis and B. Vlaar, Quasitriangular coideal subalgebras of U_q(g) in terms of generalized Satake diagrams, Bulletin of the London Mathematical Society 52(4) (2020) 693-715, DOI 10.1112/blms.12360; preprint arXiv:1807.02388, https://arxiv.org/abs/1807.02388
8. V. Regelskis and B. Vlaar, Solutions of the U_q(\widehat{\mathfrak{sl}}_N) reflection equations, Journal of Physics A: Mathematical and Theoretical 51(34) (2018) 345204, DOI 10.1088/1751-8121/aad026; preprint arXiv:1803.06491, https://arxiv.org/abs/1803.06491
9. P. Baseilhac and S. Belliard, The half-infinite XXZ chain in Onsager's approach, Nuclear Physics B 873(3) (2013) 550-584, DOI 10.1016/j.nuclphysb.2013.05.003
10. L. Dobson and S. Kolb, Factorisation of quasi K-matrices for quantum symmetric pairs, Selecta Mathematica (New Series) 25 (2019) article 63, DOI 10.1007/s00029-019-0508-5; preprint arXiv:1804.02912, https://arxiv.org/abs/1804.02912
11. H. Kusano, M. Okado, and H. Watanabe, Kirillov-Reshetikhin modules and quantum K-matrices, Communications in Mathematical Physics 405 (2024) article 88, DOI 10.1007/s00220-024-04975-y; preprint arXiv:2209.10325, https://arxiv.org/abs/2209.10325
12. P. Baseilhac, A. M. Gainutdinov, and G. Lemarthe, Universal TT- and TQ-relations via centrally extended q-Onsager algebra, Nuclear Physics B 1026 (2026) 117427, DOI 10.1016/j.nuclphysb.2026.117427; preprint arXiv:2511.15876, https://arxiv.org/abs/2511.15876
13. C. Ruan, Freidel-Maillet type equations on fused K-matrices over the positive part of U_q(\widehat{\mathfrak{sl}}_2), preprint arXiv:2512.00819 (2025), https://arxiv.org/abs/2512.00819
14. J.-R. Li and T. Przeździecki, Boundary q-characters of evaluation modules for split quantum affine symmetric pairs, preprint arXiv:2504.14042 (2025), https://arxiv.org/abs/2504.14042
15. T. Przeździecki, Drinfeld rational fractions for affine Kac-Moody quantum symmetric pairs, Selecta Mathematica (New Series) 31(5) (2025) article 87, DOI 10.1007/s00029-025-01088-9; preprint arXiv:2311.13705, https://arxiv.org/abs/2311.13705
16. J.-R. Li and T. Przeździecki, Compatibility of Drinfeld presentations for split affine Kac-Moody quantum symmetric pairs, Letters in Mathematical Physics 115 (2025) article 75, DOI 10.1007/s11005-025-01964-7; preprint arXiv:2406.19303, https://arxiv.org/abs/2406.19303
17. R. Bartlett, T. Przeździecki, and L. Tappeiner, GKLO representations of twisted Yangians in type AI and quantizations of symmetric quotients of the affine Grassmannian, preprint arXiv:2510.12706 (2025), https://arxiv.org/abs/2510.12706
18. M. Lu, X. Pan, W. Wang, and W. Zhang, Braid group action and quasi-split affine ıquantum groups III, preprint arXiv:2511.00882 (2025), https://arxiv.org/abs/2511.00882
19. H. Zhu, PBW bases and centralisers for the q-Onsager algebra, preprint arXiv:2607.10097 (2026), https://arxiv.org/abs/2607.10097
20. H. Zhu, A new PBW basis for the alternating central extension of the q-Onsager algebra, Nuclear Physics B (2026), DOI 10.1016/j.nuclphysb.2026.117577; preprint arXiv:2607.02849, https://arxiv.org/abs/2607.02849
21. H. Watanabe, Integrable modules over quantum symmetric pair coideal subalgebras, Journal of the Institute of Mathematics of Jussieu 24(6) (2025) 2257-2282, DOI 10.1017/s1474748025100984
22. H. Watanabe, Finite-dimensional irreducible representations of twisted loop algebras of the second kind, preprint arXiv:2506.02379 (2025), https://arxiv.org/abs/2506.02379
23. I. Frenkel and N. Reshetikhin, Quantum affine algebras and holonomic difference equations, Communications in Mathematical Physics 146(1) (1992) 1-60, DOI 10.1007/BF02099206
24. E. Frenkel and N. Reshetikhin, The q-characters of representations of quantum affine algebras and deformations of W-algebras, Contemporary Mathematics 248 (1999) 163-205, DOI 10.1090/conm/248/03823
25. E. Frenkel and E. Mukhin, Combinatorics of q-characters of finite-dimensional representations of quantum affine algebras, Communications in Mathematical Physics 216(1) (2001) 23-57, DOI 10.1007/s002200000323
26. T. tom Dieck and R. Häring-Oldenburg, Quantum groups and cylinder braiding, Forum Mathematicum 10(5) (1998) 619-639, DOI 10.1515/form.10.5.619
27. L. Mezincescu and R. I. Nepomechie, Fusion procedure for open chains, Journal of Physics A: Mathematical and General 25(9) (1992) 2533-2543, DOI 10.1088/0305-4470/25/9/024