arxiv: 2605.01696 · v1 · submitted 2026-05-03 · 🧮 math.QA · math.RT

Recognition: 3 theorem links

· Lean Theorem

Relative braid group symmetries on quantum supersymmetric pairs of type sAIII

Weinan Zhang, Yaolong Shen

Authors on Pith no claims yet

Pith reviewed 2026-05-08 18:52 UTC · model grok-4.3

classification 🧮 math.QA math.RT

keywords relative braid group symmetriesquantum supersymmetric pairsrelative Coxeter groupoidquasi K-matricestype sAIIIintertwining propertiesquantum groups

0 comments

The pith

Quantum supersymmetric pairs of type sAIII admit relative braid group symmetries via new quasi K-matrix properties.

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

This paper introduces the relative Coxeter groupoid for quantum supersymmetric pairs of type sAIII and constructs intrinsic relative braid group symmetries on them. The symmetries arise from establishing new intertwining properties of quasi K-matrices that extend the non-supersymmetric setting. Explicit formulas for the symmetries are derived, and they are shown to satisfy the braid relations inside the relative Coxeter groupoid. A sympathetic reader would care because the result supplies concrete symmetry operators in a supersymmetric quantum algebra context where such structures were previously unavailable.

Core claim

We introduce the relative Coxeter groupoid and construct intrinsic relative braid group symmetries for quantum supersymmetric pairs of type sAIII. These symmetries are constructed by establishing new intertwining properties of quasi K-matrices, which generalize the earlier non-super construction. We derive explicit formulas for these symmetries and prove that they satisfy the braid relations in the relative Coxeter groupoid.

What carries the argument

The relative Coxeter groupoid, with its braid relations carried by the new intertwining properties of quasi K-matrices that define the relative braid group symmetries.

If this is right

Explicit formulas are obtained for the relative braid group symmetries on the pairs.
The symmetries satisfy the braid relations inside the relative Coxeter groupoid.
The intertwining properties of quasi K-matrices are established for the supersymmetric case.
The construction applies directly to quantum supersymmetric pairs of type sAIII.

Where Pith is reading between the lines

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

The same quasi K-matrix technique could be tested on other supersymmetric types to see whether relative braid symmetries appear more generally.
The explicit formulas open the possibility of direct calculations of invariants or representation multiplicities that use these symmetries.
If the relations hold, one could ask whether the relative Coxeter groupoid admits a presentation or generators-and-relations description beyond the braid part.

Load-bearing premise

The new intertwining properties of quasi K-matrices hold in the supersymmetric setting and generalize the earlier non-super construction without additional hidden assumptions on the underlying quantum group data.

What would settle it

An explicit matrix computation on a low-dimensional representation of a small-rank sAIII supersymmetric pair in which one of the proposed symmetries violates a braid relation would falsify the claim.

read the original abstract

We introduce the relative Coxeter groupoid and construct intrinsic relative braid group symmetries for quantum supersymmetric pairs of type sAIII. These symmetries are constructed by establishing new intertwining properties of quasi $K$-matrices, which generalize the earlier non-super construction of Wang and the second author. We derive explicit formulas for these symmetries and prove that they satisfy the braid relations in the relative Coxeter groupoid.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript introduces the relative Coxeter groupoid and constructs intrinsic relative braid group symmetries for quantum supersymmetric pairs of type sAIII. These symmetries are obtained by establishing new intertwining properties of quasi K-matrices that generalize the non-super construction of Wang and the second author. Explicit formulas for the symmetries are derived, and the braid relations are proved inside the relative Coxeter groupoid by direct computation on the quasi-K-matrix intertwiners, with super-grading signs tracked consistently through the defining relations and the explicit action on generators.

Significance. If the results hold, the work extends the theory of quantum symmetric pairs to the supersymmetric setting by providing explicit braid symmetries without additional hidden assumptions on the underlying quantum group data beyond the standard Drinfeld-Jimbo presentation. The direct (if tedious) verification of the braid relations and the consistent insertion of parity factors that cancel appropriately in the relations constitute a concrete technical contribution. These explicit formulas and the relative Coxeter groupoid framework supply tools that may be useful for representation-theoretic applications and the study of quantum invariants in the supersymmetric case.

minor comments (3)

§2 (definition of the relative Coxeter groupoid): the presentation of the groupoid generators and relations would be clearer with an explicit low-rank example for type sAIII, such as the action on the first few generators, to illustrate how the super-grading affects the Coxeter relations.
§4 (explicit formulas): the formulas for the braid symmetries are given in dense notation; inserting one or two intermediate steps showing how the parity factors from the quasi-K-matrix intertwiners combine would improve readability without lengthening the argument.
References: the citation to the non-super construction by Wang and the second author should include the precise arXiv or journal reference in the bibliography for immediate accessibility.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and detailed summary of our work, as well as the recommendation for minor revision. No specific major comments or points requiring clarification were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via new properties and direct verification

full rationale

The paper introduces the relative Coxeter groupoid and constructs the braid symmetries explicitly from newly established intertwining properties of quasi K-matrices in the supersymmetric setting. These properties are stated to generalize the non-super case, with explicit formulas derived and braid relations proved by direct (if tedious) computation that tracks super-grading signs through the defining relations and generator actions. No step reduces a claimed prediction or result to a fitted parameter, self-definition, or unverified self-citation chain; the central proof content is independent of the referenced prior work.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Based solely on the abstract, the paper introduces a new groupoid and symmetries but does not list explicit free parameters, ad-hoc axioms, or invented entities. It relies on standard background from quantum group theory (properties of R-matrices, K-matrices, and their quasi versions) that are presumed to come from prior literature.

pith-pipeline@v0.9.0 · 5352 in / 1121 out tokens · 63474 ms · 2026-05-08T18:52:41.010106+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

Foundation.AlexanderDuality / DimensionForcing alexander_duality_circle_linking — RS forces D=3 spatial dimensions; the paper's m,n,a,r are algebraic ranks unrelated to physical spatial dimension. unclear
Type sAIII super Satake diagram with b−1 = 2a−1 black nodes and r pairs of white nodes; underlying Lie superalgebra g = gl(m|n).
Cost.FunctionalEquation washburn_uniqueness_aczel — RS's J-cost uniqueness has no analog in this paper; the paper has no cost functional, no ratio symmetry, no φ. unclear
Proof that T_i, T'_i satisfy braid relations of the relative Coxeter groupoid, via canonical factorization of the quasi K-matrix.

Reference graph

Works this paper leans on

33 extracted references · 1 canonical work pages

[1]

Algethami, A

D. Algethami, A. Mudrov, and V. Stukopin. Quantum super-spherical pairs.J. Algebra674 (2025), 276–313

2025
[2]

Appel and B

A. Appel and B. Vlaar. Universal K-matrix for quantum Kac-Moody algebras.Represent. Theory26 (2022), 764–824

2022
[3]

S. Araki. On root systems and an infinitesimal classification of irreducible symmetric spaces.J. Math. Osaka City Univ.13 (1962), 1–34

1962
[4]

Balagovi´ c and S

M. Balagovi´ c and S. Kolb. Universal K-matrix for quantum symmetric pairs.J. Reine Angew. Math. 747 (2019), 299–353

2019
[5]

Bao and W

H. Bao and W. Wang. A new approach to Kazhdan-Lusztig theory of typeBvia quantum symmetric pairs.Ast´ erisque402 (2018), vii+134

2018
[6]

Bao and W

H. Bao and W. Wang. Canonical bases arising from quantum symmetric pairs.Invent. Math.213 (2018), 1099–1177

2018
[7]

Benkart, S.-J

G. Benkart, S.-J. Kang, and M. Kashiwara. Crystal bases for the quantum superalgebraU q(gl(m, n)). J. Amer. Math. Soc.13 (2000), 295–331

2000
[8]

Cheng and W

S. Cheng and W. Wang. Dualities and representations of Lie superalgebras. Vol. 144. Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2012, xviii+302

2012
[9]

Dobson and S

L. Dobson and S. Kolb. Factorisation of quasiK-matrices for quantum symmetric pairs.Selecta Math. (N.S.)25 (2019), Paper No. 63, 55

2019
[10]

Heckenberger and H

I. Heckenberger and H. Yamane. A generalization of Coxeter groups, root systems, and Matsumoto’s theorem.Math. Z.259 (2008), 255–276

2008
[11]

J. Jantzen. Lectures on quantum groups. Vol. 6. Graduate Studies in Mathematics. American Mathe- matical Society, Providence, RI, 1996, viii+266

1996
[12]

S. Kolb. Quantum symmetric Kac-Moody pairs.Adv. Math.267 (2014), 395–469

2014
[13]

Kolb and J

S. Kolb and J. Pellegrini. Braid group actions on coideal subalgebras of quantized enveloping algebras. J. Algebra336 (2011), 395–416

2011
[14]

Kolb and M

S. Kolb and M. Yakimov. Symmetric pairs for Nichols algebras of diagonal type via star products.Adv. Math.365 (2020), 107042, 69

2020
[15]

G. Letzter. Coideal subalgebras and quantum symmetric pairs.New directions in Hopf algebras. Vol. 43. Math. Sci. Res. Inst. Publ. Cambridge Univ. Press, Cambridge, 2002, 117–165

2002
[16]

Lu and W

M. Lu and W. Wang. Braid group symmetries on quasi-splitıquantum groups viaıHall algebras. Selecta Math. (N.S.)28 (2022), Paper No. 84

2022
[17]

M. Lu, R. Yang, and W. Zhang. PBW bases forıquantum groups.J. Algebra684 (2025), 441–478

2025
[18]

G. Lusztig. Coxeter orbits and eigenspaces of Frobenius.Invent. Math.38 (1976/77), 101–159

1976
[19]

G. Lusztig. Finite-dimensional Hopf algebras arising from quantized universal enveloping algebra.J. Amer. Math. Soc.3 (1990), 257–296

1990
[20]

G. Lusztig. Hecke algebras with unequal parameters. Vol. 18. CRM Monograph Series. American Mathematical Society, Providence, RI, 2003, vi+136

2003
[21]

G. Lusztig. Introduction to Quantum Groups. Modern Birkh¨ auser Classics. Reprint of the 1994 edition. Birkh¨ auser/Springer, New York, 2010, xiv+346

1994
[22]

G. Lusztig. Quantum groups at roots of 1.Geom. Dedicata35.1-3 (1990), 89–113

1990
[23]

Matsumoto

H. Matsumoto. G´ en´ erateurs et relations des groupes de Weyl g´ en´ eralis´ es.C. R. Acad. Sci. Paris258 (1964), 3419–3422

1964
[24]

Y. Shen. Quantum supersymmetric pairs andıSchur duality of type AIII.J. Algebra661 (2025), 853– 903

2025
[25]

Shen and W

Y. Shen and W. Wang.ıSchur duality and Kazhdan-Lusztig basis expanded.Adv. Math.427 (2023), Paper No. 109131, 40

2023
[26]

Shen and W

Y. Shen and W. Wang. Quantum supersymmetric pairs of basic types.Commun. Math. Phys.406 (2025)

2025
[27]

W. Wang. Quantum symmetric pairs.ICM—International Congress of Mathematicians. Vol. 4. Sec- tions 5–8. EMS Press, Berlin, 2023, 3080–3102. REFERENCES 29

2023
[28]

Wang and W

W. Wang and W. Zhang. An intrinsic approach to relative braid group symmetries onıquantum groups. Proc. Lond. Math. Soc. (3)127 (2023), 1338–1423

2023
[29]

Wang and W

W. Wang and W. Zhang. Relative braid group symmetries on modified iquantum groups and their modules.arXiv:2508.12041. 2025

work page arXiv 2025
[30]

Watanabe

H. Watanabe. Classical weight modules overıquantum groups.J. Algebra578 (2021), 241–302

2021
[31]

H. Yamane. On defining relations of affine Lie superalgebras and affine quantized universal enveloping superalgebras.Publ. Res. Inst. Math. Sci.35 (1999), 321–390

1999
[32]

H. Yamane. Quantized enveloping algebras associated with simple Lie superalgebras and their universal R-matrices.Publ. Res. Inst. Math. Sci.30 (1994), 15–87

1994
[33]

W. Zhang. Relative braid group symmetries onıquantum groups of Kac-Moody type.Selecta Math. (N. S.)29 (2023), Paper No. 59. (Y.S.)Department of Mathematics and Statistics, University of Ottawa, Ottawa, ON, K1N 6N5, Canada URL:sites.google.com/virginia.edu/yaolongshen,ORCiD:orcid.org/0000-0002-8840-3394 Email address:yshen5@uottawa.ca (W.Z.)Department of M...

2023