K-matrices for type-II graded Satake diagrams: the graded and twisted reflection-equation conjectures for quantum super-spherical pairs

Quantum super-spherical pairs, introduced by Algethami, Mudrov and Stukopin, are coideal subalgebras of general-linear and orthosymplectic quantum supergroups that quantize spherical subalgebras classified by $\mathbb{Z}_2$-graded Satake diagrams. For the 'type I' diagrams the paper proves an explicit reflection-equation theory: K-matrices of three families solve the graded reflection equation and intertwine the quantized coideals. For the 'essentially graded' type-II diagrams — the only ones with odd roots among the white nodes — it only conjectures explicit K-matrices, its expressions (4.27)–(4.32), expected to satisfy the graded reflection equation or its twisted versions (by matrix supertransposition or by a tail-flip automorphism); these were verified in low dimensions only. The authors' 2026 follow-up resolved the parallel non-triviality conjecture at the classical level while explicitly leaving the reflection-equation side open, and the quasi K-matrix theory of Shen–Wang covers only even Levi cores, so the universal K-matrix also remains unconstructed. The problem is to settle the conjectured type-II K-matrices against the appropriate (twisted) graded reflection equations for all ranks and admissible parameters, establish the corresponding quantum coideal correspondence, and construct the universal K-matrix for quantum super-spherical pairs.

Background

An integrable quantum system on a half-line, such as an open spin chain, is described algebraically by a solution $R$ of the Yang–Baxter equation on $V\otimes V$ (an R-matrix, encoding bulk scattering) together with a boundary matrix $K\in\mathrm{End}(V)$ satisfying the reflection equation (RE) introduced by Kulish and Sklyanin. Writing $S=PR$, where $P$ is the permutation of tensor factors, the constant RE reads $S_{12}K_2S_{12}K_2=K_2S_{12}K_2S_{12}$ in $\mathrm{End}(V)\otimes\mathrm{End}(V)$, with subscripts marking the tensor factor on which an operator acts nontrivially. In quantum-group representation theory, RE solutions arise as natural-module images of a universal object: for a quasitriangular Hopf algebra $U_q(\mathfrak{g})$ with universal R-matrix, Balagović and Kolb attached to each quantum symmetric pair — a coideal subalgebra $U_q(\mathfrak{k})\subset U_q(\mathfrak{g})$ (coideal meaning $\Delta(B)\subset B\otimes U_q(\mathfrak{g})$) quantizing the enveloping algebra of a symmetric pair $(\mathfrak{g},\mathfrak{k})$ — a universal K-matrix, an element $\mathcal{K}$ of a completion of $U_q(\mathfrak{g})$ satisfying $\Delta(\mathcal{K})=R_{21}\mathcal{K}_1R_{12}\mathcal{K}_2$. Quantum symmetric pairs were introduced by Letzter, extended to Kac–Moody algebras by Kolb, parametrized by generalized Satake diagrams (Dynkin diagrams with coloured nodes and a diagram involution $\tau$) by Regelskis and Vlaar, and generalized further by Appel and Vlaar.

Algethami, Mudrov and Stukopin extended this picture to Lie superalgebras. A Lie superalgebra is a $\mathbb{Z}_2$-graded algebra $\mathfrak{g}=\mathfrak{g}_{\bar 0}\oplus\mathfrak{g}_{\bar 1}$ whose bracket obeys the graded commutation rule; the basic matrix superalgebras are the general linear $\mathfrak{gl}(N|2m)$ and the ortho-symplectic $\mathfrak{osp}(N|2m)$ (even part $\mathfrak{so}_N\oplus\mathfrak{sp}_{2m}$, preserving a bilinear form symmetric on the even and skew on the odd coordinates of the natural module $V=\mathbb{C}^{N|2m}$). The quantum supergroup $U_q(\mathfrak{g})$ is a quasitriangular Hopf superalgebra: tensor products carry the graded sign rule $(a\otimes b)(a'\otimes b')=(-1)^{|b||a'|}aa'\otimes bb'$, the universal R-matrix acts on the graded tensor square, and the graded permutation $P(v\otimes w)=(-1)^{|v||w|}w\otimes v$ replaces the flip, so the RE itself becomes $\mathbb{Z}_2$-graded. The matrix supertransposition $A\mapsto A^{t}$, $A^{t}_{ij}=A_{ji}(-1)^{(|i|+|j|)|i|}$, replaces ordinary transposition and yields a twisted RE (equation (3.4) of the source), while a second twist (equation (3.5) there) involves an involutive Hopf-superalgebra automorphism flipping the 'tail' roots of the Dynkin diagram.

A super-spherical pair is the super analogue of a symmetric pair: $\mathfrak{k}\subset\mathfrak{g}$ is the isotropy subalgebra of a family of matrix invariants, playing the role of the isotropy subgroup of an RE solution. It is generated over a Levi subalgebra $\mathfrak{l}$ by elements $x_\alpha=e_\alpha+c_\alpha f_{\tilde\alpha}+\grave c_\alpha u_\alpha$ indexed by the white nodes $\alpha$ of a decorated Dynkin diagram, where $\tau$ is an involution-type operator on the root basis (a substitute for the longest element of the Weyl group, which does not exist for super root systems), $\tilde\alpha$ is determined by $\tau$, and the coefficients $c_\alpha\in\mathbb{C}^{\times}$ are called mixture parameters. Filtering the decorated diagrams through combinatorial selection rules yields the graded Satake diagrams of the source. Diagrams whose shape is an admissible non-graded Satake diagram are of type I; the remaining, essentially graded diagrams — the families (4.18), (4.19), (4.20) of the source, all having odd roots among the white nodes — are of type II.

For type I the source proves a full reflection-equation theory: Theorem 3.1 gives explicit invertible even K-matrices of three families (A, B, C) solving the graded RE for the natural module of the ortho-symplectic quantum supergroups (the general-linear list being exhaustive by the authors' companion paper), and Theorem 5.3 quantizes every diagram's $\mathfrak{k}$ to a left coideal subalgebra $U_q(\mathfrak{k})\subset U_q(\mathfrak{g})$, whose relation to the K-matrices is computed in its Sections 5.1–5.3. For type II only conjectures are offered — apart from the special diagram (4.20), which is settled through a K-matrix of type C from Theorem 3.1 (its coideal is treated in Section 5.3 of the source): specific K-matrices — the expressions (4.27)–(4.32), with parameter constraints such as $y_iy_{i'}=-\lambda\mu$ and, in one family, $\mu=\kappa_m\kappa_{m'}q^{-2\rho_{m+1}}\lambda$ — are 'guessed', verified in low dimensions, and expected to satisfy the graded RE or one of its twisted versions, the appropriate version being part of the question. The authors also state that a universal K-matrix for quantum super-spherical pairs is 'natural to expect' without constructing it, and announce a forthcoming study of these matters.

Two later developments fix the current status. First, the authors' own follow-up, 'Graded Satake diagrams and super-symmetric pairs' (arXiv:2604.03394), extends the classification to arbitrary Borel subalgebras and proves in its Theorem 4.7 that every graded Satake diagram yields a proper spherical subalgebra $\mathfrak{k}\subsetneq\mathfrak{g}$ — resolving the source's Conjecture 1 on non-triviality, but only at the classical level: the follow-up states explicitly that it 'does not address such important issues as coideal subalgebras, R-matrices, reflection equation'. Second, Shen and Wang constructed, for their parallel class of quantum supersymmetric pairs, a super Satake diagram classification, a quantum Iwasawa decomposition, a quasi K-matrix (the coideal analogue of the quasi R-matrix, a key ingredient toward — but not a substitute for — a universal K-matrix) and an i-Schur duality with the q-Brauer algebra; they state that constructing the universal K-matrix in the super setting 'will be interesting to develop'. Their framework does not cover the type-II diagrams, in which odd roots occur among the white nodes (per the follow-up's characterization, it is restricted to even Levi cores).

Problem Statement

Fix $q\in\mathbb{C}^{\times}$ not a root of unity, and let $\mathfrak{g}$ be $\mathfrak{gl}(N|2m)$, $\mathfrak{osp}(2n|2m)$ or $\mathfrak{osp}(2n+1|2m)$, with the quantum supergroup $U_q(\mathfrak{g})$ in its natural representation on the graded module $V=\mathbb{C}^{N|2m}$ and graded R-matrix $R$, $S=PR$, exactly as fixed by Algethami, Mudrov and Stukopin in Journal of Algebra 674 (2025) 276–313. Consider the type-II graded Satake diagrams of that paper — the essentially graded diagrams of its lists (4.18), (4.19), (4.20) — together with the K-matrices conjectured for them, its expressions (4.27)–(4.32), each subject to the parameter constraints stated there (the special diagram (4.20) is already settled via the type-C K-matrix, so the conjectured expressions concern the diagrams of (4.18) and (4.19)).

(1) Settle, for every type-II family, for all ranks and all admissible parameter values, whether the conjectured K-matrix is an invertible even solution of the appropriate version of the $\mathbb{Z}_2$-graded reflection equation: the untwisted RE (3.3), the supertransposition-twisted RE (3.4), or the automorphism-twisted RE (3.5), specifying which version is appropriate for each family. Each of the six conjectured expressions — the black-tailed (4.27), white-tailed (4.28), middle (4.29) and tail-flipped (4.30) diagrams of (4.19), and the two $\mathfrak{gl}(N|2m)$ diagram families of (4.18) with (4.31) and (4.32) — must be either proved to satisfy the appropriate equation in full generality, or refuted (with an explicit failing rank and parameter values) and corrected.

(2) Establish the quantum correspondence for type-II pairs: prove that the coideal subalgebras $U_q(\mathfrak{k})$ of the source's Theorem 5.3 for these diagrams are quasitriangular coideals with respect to the above K-matrices — the graded, and where (3.4) or (3.5) applies twisted, analogues of the invariance relations between $U_q(\mathfrak{k})$ and $K$ established for type I in Sections 5.1–5.2 and for the type-C diagram in Section 5.3 — including the specification of the involutive anti-automorphism implementing the supertransposition and of the tail-flip automorphism, and their compatibility with the coproduct.

(3) Construct the universal K-matrix for quantum super-spherical pairs: an even element $\mathcal{K}$ of a suitable completion of $U_q(\mathfrak{g})$ satisfying the graded reflection coproduct identity $\Delta(\mathcal{K})=R_{21}\mathcal{K}_1R_{12}\mathcal{K}_2$, whose image in the natural representation is the corresponding K-matrix — at least for the pairs associated with the untwisted RE (type I and those type-II families settled under (3.3) in part (1)) — generalizing the non-graded constructions of Balagović–Kolb and Appel–Vlaar to the Hopf-superalgebra setting.

Deliverables (1)–(3) jointly constitute one objective: establishing the reflection-equation theory of quantum super-spherical pairs for the essentially graded diagrams, i.e. proving at the quantum level the source's expectation that every graded Satake diagram gives rise to a non-trivial spherical pair 'associated with an appropriate version of RE'. A complete answer settles every family in (1) (proof, or refutation with correction), establishes (2) for all type-II diagrams, and provides (3) at least in the untwisted case. The exhaustive classification of all invertible constant RE solutions for ortho-symplectic quantum (super)groups — which the source itself notes is unknown even in the non-graded case — is background context, not part of the required answer.

References

1. D. Algethami, A. Mudrov, V. Stukopin, "Quantum super-spherical pairs", Journal of Algebra 674 (2025) 276–313, DOI 10.1016/j.jalgebra.2025.03.010, arXiv:2407.19477, https://arxiv.org/abs/2407.19477
2. D. Algethami, A. Mudrov, V. Stukopin, "Graded Satake diagrams and super-symmetric pairs", arXiv:2604.03394 (2026), https://arxiv.org/abs/2604.03394
3. D. Algethami, A. Mudrov, V. Stukopin, "Solutions to graded reflection equation of GL-type", Letters in Mathematical Physics 114 (2024), article 22, DOI 10.1007/s11005-024-01769-0, arXiv:2310.15667, https://arxiv.org/abs/2310.15667
4. Yaolong Shen, Weiqiang Wang, "Quantum supersymmetric pairs of basic types", Communications in Mathematical Physics 406 (2025), article 187, DOI 10.1007/s00220-025-05339-w, arXiv:2408.02874, https://arxiv.org/abs/2408.02874
5. Yaolong Shen, Weinan Zhang, "Relative braid group symmetries on quantum supersymmetric pairs of type sAIII", arXiv:2605.01696 (2026), https://arxiv.org/abs/2605.01696
6. Kang Lu, "Twisted super Yangians of quasi-split type A", Journal of Algebra 711 (2027) 474–529, DOI 10.1016/j.jalgebra.2026.06.035, arXiv:2607.16594, https://arxiv.org/abs/2607.16594
7. Martina Balagović, Stefan Kolb, "Universal K-matrix for quantum symmetric pairs", Journal für die reine und angewandte Mathematik 747 (2019) 299–353, DOI 10.1515/crelle-2016-0012, https://doi.org/10.1515/crelle-2016-0012
8. Andrea Appel, Bart Vlaar, "Universal K-matrices for quantum Kac-Moody algebras", Representation Theory 26 (2022) 764–824, DOI 10.1090/ert/623, https://doi.org/10.1090/ert/623
9. Vidas Regelskis, Bart Vlaar, "Quasitriangular coideal subalgebras of Uq(g) in terms of generalized Satake diagrams", Bulletin of the London Mathematical Society 52 (2020) 693–715, DOI 10.1112/blms.12360, https://doi.org/10.1112/blms.12360
10. Gail Letzter, "Symmetric pairs for quantized enveloping algebras", Journal of Algebra 220 (1999) 729–767, DOI 10.1006/jabr.1999.8015, https://doi.org/10.1006/jabr.1999.8015
11. Stefan Kolb, "Quantum symmetric Kac–Moody pairs", Advances in Mathematics 267 (2014) 395–469, DOI 10.1016/j.aim.2014.08.010, https://doi.org/10.1016/j.aim.2014.08.010
12. P. P. Kulish, E. K. Sklyanin, "Algebraic structures related to reflection equations", Journal of Physics A: Mathematical and General 25 (1992) 5963–5975, DOI 10.1088/0305-4470/25/22/022, https://doi.org/10.1088/0305-4470/25/22/022