pith. sign in

arxiv: 2507.12328 · v2 · submitted 2025-07-16 · 🧮 math.QA · math.RT

The disoriented skein and iquantum Brauer categories

Hadi Salmasian , Alistair Savage , Yaolong Shen This is my paper

Pith reviewed 2026-05-19 04:14 UTC · model grok-4.3

classification 🧮 math.QA math.RT
keywords disoriented skein categoryiquantum Brauer categoryquantum symmetric pairsorthosymplectic Lie superalgebrasHOMFLYPT skein categorydiagrammatic representation theorymodule category equivalenceincarnation functors
0
0 comments X

The pith

The disoriented skein category admits full incarnation functors to modules over iquantum enveloping algebras and equates to the iquantum Brauer category as module categories over the framed HOMFLYPT skein category.

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

This paper develops a diagrammatic approach to representations of quantum symmetric pairs coming from orthosymplectic Lie superalgebras inside general linear ones. It defines the disoriented skein category as a module category over the framed HOMFLYPT skein category. The central results show that this category supports full incarnation functors into the target module categories and functions as an interpolating object between them. An equivalence of module categories is established with the iquantum Brauer category once both are equipped with compatible actions. The disoriented skein version supplies duality and strict functoriality, together with explicit bases for all morphism spaces.

Core claim

The disoriented skein category is introduced as a module category over the framed HOMFLYPT skein category. It admits full incarnation functors to the categories of modules over the iquantum enveloping algebras for the relevant quantum symmetric pairs and serves as an interpolating category among them. An equivalence of module categories is defined between the disoriented skein category and the iquantum Brauer category after the latter receives the induced module structure. The disoriented skein category carries a duality structure and makes the incarnation functors strict morphisms of module categories. Explicit bases are constructed for the morphism spaces in both the disoriented skein and

What carries the argument

The disoriented skein category, defined as a module category over the framed HOMFLYPT skein category, which supplies the diagrammatic calculus and incarnation functors to representation categories of quantum symmetric pairs.

If this is right

  • Representation theory of the quantum symmetric pairs can be carried out entirely through diagrams and relations in the disoriented skein category.
  • Explicit bases for morphism spaces permit direct computation of Hom dimensions and composition rules without passing through the enveloping algebra.
  • The equivalence transfers results between the skein and Brauer presentations while preserving module actions over the HOMFLYPT category.
  • Duality built into the skein category supplies a diagrammatic description of dual modules for orthosymplectic quantum groups.

Where Pith is reading between the lines

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

  • The strict module morphisms may shorten proofs that compare different diagrammatic models for the same quantum symmetric pairs.
  • The interpolating property suggests a uniform way to move between type A and orthosymplectic cases inside a single category.
  • Explicit bases open the possibility of algorithmic enumeration of morphisms for small-rank examples.

Load-bearing premise

The disoriented skein category can be consistently defined as a module category over the framed HOMFLYPT skein category so that the incarnation functors remain strict morphisms and the equivalence to the iquantum Brauer category preserves the module structures.

What would settle it

A concrete morphism in the disoriented skein category whose image under an incarnation functor lies outside the target module category, or a pair of objects shown to be non-isomorphic under the claimed equivalence to the iquantum Brauer category.

read the original abstract

We develop a diagrammatic approach to the representation theory of the quantum symmetric pairs corresponding to orthosymplectic Lie superalgebras inside general linear Lie superalgebras. Our approach is based on the disoriented skein category, which we define as a module category over the framed HOMFLYPT skein category. The disoriented skein category admits full incarnation functors to the categories of modules over the iquantum enveloping algebras corresponding to the quantum symmetric pairs, and it can be viewed as an interpolating category for these categories of modules. We define an equivalence of module categories between the disoriented skein category and the iquantum Brauer category (also known as the $q$-Brauer category), after endowing the latter with the structure of a module category over the framed HOMFLYPT skein category. The disoriented skein category has some advantages over the iquantum Brauer category, possessing duality structure and allowing the incarnation functors to be strict morphisms of module categories. Finally, we construct explicit bases for the morphism spaces of the disoriented skein and iquantum Brauer categories.

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

1 major / 2 minor

Summary. The paper defines the disoriented skein category as a module category over the framed HOMFLYPT skein category. It constructs full incarnation functors from this category to the module categories over the iquantum enveloping algebras for the quantum symmetric pairs associated to orthosymplectic Lie superalgebras inside general linear ones. The disoriented skein category is presented as an interpolating category, and an equivalence of module categories is established with the iquantum Brauer category after endowing the latter with a compatible module structure over the framed HOMFLYPT skein category. Advantages of the disoriented skein category (duality and strict module morphisms) are noted, and explicit bases for morphism spaces in both categories are constructed.

Significance. If the constructions hold, the work provides a valuable diagrammatic and categorical framework for representations of quantum symmetric pairs, extending skein-theoretic methods to this context. The module-category equivalence, strict functoriality, and explicit bases enable concrete computations and unify approaches to these representations, with potential impact on quantum topology and superalgebra representation theory.

major comments (1)
  1. [§3] §3 (Incarnation functors): The claim that the functors are full and strict morphisms of module categories depends on verifying that the disoriented skein relations are compatible with the framed HOMFLYPT action and map to the defining relations of the iquantum enveloping algebra modules; the current argument would benefit from an explicit check on a generating set of diagrams to confirm no additional relations are imposed.
minor comments (2)
  1. [Introduction] Introduction: A brief comparison table or diagram contrasting the disoriented skein category with the standard HOMFLYPT skein and the iquantum Brauer category would clarify the interpolating role.
  2. [§5] §5 (Explicit bases): The basis diagrams in the figures would be easier to follow with consistent labeling of disorientation points and a statement of the dimension formula they realize.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their positive assessment and constructive feedback on our manuscript. We address the single major comment below and will revise the paper accordingly to incorporate the suggested clarification.

read point-by-point responses

  1. Referee: [§3] §3 (Incarnation functors): The claim that the functors are full and strict morphisms of module categories depends on verifying that the disoriented skein relations are compatible with the framed HOMFLYPT action and map to the defining relations of the iquantum enveloping algebra modules; the current argument would benefit from an explicit check on a generating set of diagrams to confirm no additional relations are imposed.

    Authors: We agree that an explicit verification on a generating set of diagrams would improve the clarity and rigor of the argument in §3. In the revised manuscript, we will add a dedicated subsection (or expanded paragraph) that performs this check explicitly: we enumerate the generators of the disoriented skein relations, verify their compatibility with the framed HOMFLYPT skein action by direct computation on diagrams, and confirm that their images under the proposed incarnation functors satisfy precisely the defining relations of the iquantum enveloping algebra modules without introducing extraneous relations. This will make the proof that the functors are full and strict morphisms of module categories fully transparent. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper introduces the disoriented skein category via an explicit definition as a module category over the framed HOMFLYPT skein category, then constructs full incarnation functors to module categories over iquantum enveloping algebras and proves an equivalence of module categories to the iquantum Brauer category (after endowing the latter with compatible module structure). These steps rely on direct diagrammatic definitions, explicit bases for morphism spaces, and verification that the functors are strict morphisms of module categories. No load-bearing step reduces by construction to a fitted parameter, self-referential definition, or unverified self-citation chain; the derivations add independent content on top of established skein categories and are self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claims rest on standard categorical axioms and the specific definitions introduced for the disoriented skein category and its module structure over the framed HOMFLYPT skein category.

axioms (1)
  • standard math Axioms of module categories and strict morphisms in the context of skein categories
    Invoked when defining the disoriented skein category as a module category and requiring incarnation functors to be strict.
invented entities (1)
  • disoriented skein category no independent evidence
    purpose: To serve as an interpolating module category with duality for representations of quantum symmetric pairs
    Newly defined in the paper as a module over the framed HOMFLYPT skein category.

pith-pipeline@v0.9.0 · 5725 in / 1429 out tokens · 31638 ms · 2026-05-19T04:14:01.200293+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

38 extracted references · 38 canonical work pages · 16 internal anchors

  1. [1]

    A basis theorem for the affine oriented Brauer category and its cyclotomic quotients

    J. Brundan, J. Comes, D. Nash, and A. Reynolds. A basis theorem for the affine oriented B rauer category and its cyclotomic quotients. Quantum Topol. , 8(1):75--112, 2017. http://arxiv.org/abs/1404.6574 arXiv:1404.6574 , https://doi.org/10.4171/QT/87 doi:10.4171/QT/87

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.4171/qt/87 2017

  2. [2]

    Universal K-matrix for quantum symmetric pairs

    M. Balagovi\'c and S. Kolb. Universal K -matrix for quantum symmetric pairs. J. Reine Angew. Math. , 747:299--353, 2019. http://arxiv.org/abs/1507.06276 arXiv:1507.06276 , https://doi.org/10.1515/crelle-2016-0012 doi:10.1515/crelle-2016-0012

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1515/crelle-2016-0012 2019

  3. [3]

    J. Brundan. Representations of the oriented skein category. 2017. http://arxiv.org/abs/1712.08953 arXiv:1712.08953

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  4. [4]

    H. Bao, P. Shan, W. Wang, and B. Webster. Categorification of quantum symmetric pairs I . Quantum Topol. , 9(4):643--714, 2018. http://arxiv.org/abs/1605.03780 arXiv:1605.03780 , https://doi.org/10.4171/QT/117 doi:10.4171/QT/117

    work page doi:10.4171/qt/117 2018

  5. [5]

    Canonical bases arising from quantum symmetric pairs

    H. Bao and W. Wang. Canonical bases arising from quantum symmetric pairs. Invent. Math. , 213(3):1099--1177, 2018. http://arxiv.org/abs/1610.09271 arXiv:1610.09271 , https://doi.org/10.1007/s00222-018-0801-5 doi:10.1007/s00222-018-0801-5

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s00222-018-0801-5 2018

  6. [6]

    Brundan, W

    J. Brundan, W. Wang, and B. Webster. Nil- B rauer categorifies the split -quantum group of rank one. 2023. http://arxiv.org/abs/2305.05877 arXiv:2305.05877

    work page arXiv 2023

  7. [7]

    Brundan, W

    J. Brundan, W. Wang, and B. Webster. Categorification of quasi-split iquantum groups. 2025. http://arxiv.org/abs/2505.22929 arXiv:2505.22929

    work page arXiv 2025

  8. [8]

    Webs and quantum skew Howe duality

    S. Cautis, J. Kamnitzer, and S. Morrison. Webs and quantum skew H owe duality. Math. Ann. , 360(1-2):351--390, 2014. http://arxiv.org/abs/1210.6437 arXiv:1210.6437 , https://doi.org/10.1007/s00208-013-0984-4 doi:10.1007/s00208-013-0984-4

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s00208-013-0984-4 2014

  9. [9]

    Cui and Y

    W. Cui and Y. Shen. Canonical basis of q - B rauer algebras and S chur dualities. Math. Res. Lett. , 31(1):91--126, 2024. http://arxiv.org/abs/2203.02082 arXiv:2203.02082 , https://doi.org/10.4310/mrl.240904211718 doi:10.4310/mrl.240904211718

    work page doi:10.4310/mrl.240904211718 2024

  10. [10]

    P. Deligne. La cat\' e gorie des repr\' e sentations du groupe sym\' e trique S_t , lorsque t n'est pas un entier naturel. In Algebraic groups and homogeneous spaces , volume 19 of Tata Inst. Fund. Res. Stud. Math. , pages 209--273. Tata Inst. Fund. Res., Mumbai, 2007

    work page 2007

  11. [11]

    Tensor categories , volume 205 of Mathematical Surveys and Monographs

    P. Etingof, S. Gelaki, D. Nikshych, and V. Ostrik. Tensor categories , volume 205 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, 2015. https://doi.org/10.1090/surv/205 doi:10.1090/surv/205

    work page doi:10.1090/surv/205 2015

  12. [12]

    Schur-Weyl duality for the Brauer algebra and the ortho-symplectic Lie superalgebra

    M. Ehrig and C. Stroppel. Schur- W eyl duality for the B rauer algebra and the ortho-symplectic L ie superalgebra. Math. Z. , 284(1-2):595--613, 2016. http://arxiv.org/abs/1412.7853 arXiv:1412.7853 , https://doi.org/10.1007/s00209-016-1669-y doi:10.1007/s00209-016-1669-y

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s00209-016-1669-y 2016

  13. [13]

    Lie supergroups vs. super Harish-Chandra pairs: a new equivalence

    F. Gavarini. A new equivalence between super H arish- C handra pairs and L ie supergroups. Pacific J. Math. , 306(2):451--485, 2020. http://arxiv.org/abs/1609.02844 arXiv:1609.02844 , https://doi.org/10.2140/pjm.2020.306.451 doi:10.2140/pjm.2020.306.451

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.2140/pjm.2020.306.451 2020

  14. [14]

    M. Gao, H. Rui, and L. Song. A basis theorem for the affine K auffman category and its cyclotomic quotients. J. Algebra , 608:774--846, 2022. http://arxiv.org/abs/2006.09626 arXiv:2006.09626 , https://doi.org/10.1016/j.jalgebra.2022.07.005 doi:10.1016/j.jalgebra.2022.07.005

    work page doi:10.1016/j.jalgebra.2022.07.005 2022

  15. [15]

    S. Kolb. Quantum symmetric K ac- M oody pairs. Adv. Math. , 267:395--469, 2014. http://arxiv.org/abs/1207.6036 arXiv:1207.6036 , https://doi.org/10.1016/j.aim.2014.08.010 doi:10.1016/j.aim.2014.08.010

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.aim.2014.08.010 2014

  16. [16]

    S. Kolb. Braided module categories via quantum symmetric pairs. Proc. Lond. Math. Soc. (3) , 121(1):1--31, 2020. http://arxiv.org/abs/1705.04238 arXiv:1705.04238 , https://doi.org/10.1112/plms.12303 doi:10.1112/plms.12303

    work page doi:10.1112/plms.12303 2020

  17. [17]

    Symmetric pairs for Nichols algebras of diagonal type via star products

    S. Kolb and M. Yakimov. Symmetric pairs for N ichols algebras of diagonal type via star products. Adv. Math. , 365:107042, 69, 2020. http://arxiv.org/abs/1901.00490 arXiv:1901.00490 , https://doi.org/10.1016/j.aim.2020.107042 doi:10.1016/j.aim.2020.107042

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.aim.2020.107042 2020

  18. [18]

    G. Letzter. Symmetric pairs for quantized enveloping algebras. J. Algebra , 220(2):729--767, 1999. https://doi.org/10.1006/jabr.1999.8015 doi:10.1006/jabr.1999.8015

    work page doi:10.1006/jabr.1999.8015 1999

  19. [19]

    a user Classics. Birkh\

    G. Lusztig. Introduction to Q uantum G roups . Modern Birkh\" a user Classics. Birkh\" a user/Springer, New York, 2010. Reprint of the 1994 edition. https://doi.org/10.1007/978-0-8176-4717-9 doi:10.1007/978-0-8176-4717-9

    work page doi:10.1007/978-0-8176-4717-9 2010

  20. [20]

    G. I. Lehrer and R. B. Zhang. The B rauer category and invariant theory. J. Eur. Math. Soc. (JEMS) , 17(9):2311--2351, 2015. http://arxiv.org/abs/1207.5889 arXiv:1207.5889 , https://doi.org/10.4171/JEMS/558 doi:10.4171/JEMS/558

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.4171/jems/558 2015

  21. [21]

    G. I. Lehrer and R. B. Zhang. The first fundamental theorem of invariant theory for the orthosymplectic supergroup. Comm. Math. Phys. , 349(2):661--702, 2017. http://arxiv.org/abs/1401.7395 arXiv:1401.7395 , https://doi.org/10.1007/s00220-016-2731-7 doi:10.1007/s00220-016-2731-7

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s00220-016-2731-7 2017

  22. [22]

    Schur-Weyl reciprocity between the quantum superalgebra and the Iwahori-Hecke algebra

    H. Mitsuhashi. Schur- W eyl reciprocity between the quantum superalgebra and the I wahori- H ecke algebra. Algebr. Represent. Theory , 9:309--322, 2006. http://arxiv.org/abs/math/0506156 arXiv:math/0506156 , https://doi.org/10.1007/s10468-006-9014-5 doi:10.1007/s10468-006-9014-5

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s10468-006-9014-5 2006

  23. [23]

    A. I. Molev. A new quantum analog of the B rauer algebra. Czechoslovak J. Phys. , 53:1073--1078, 2003. Quantum groups and integrable systems. http://arxiv.org/abs/math/0211082 arXiv:math/0211082 , https://doi.org/10.1023/B:CJOP.0000010536.64174.8e doi:10.1023/B:CJOP.0000010536.64174.8e

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1023/b:cjop.0000010536.64174.8e 2003

  24. [24]

    P. J. McNamara and A. Savage. The spin B rauer category. Forum Math. Sigma , 12:Paper No. e98, 2024. http://arxiv.org/abs/2312.11766 arXiv:2312.11766 , https://doi.org/10.1017/fms.2024.102 doi:10.1017/fms.2024.102

    work page doi:10.1017/fms.2024.102 2024

  25. [25]

    P. J. McNamara and A. Savage. The quantum spin B rauer category. 2025. http://arxiv.org/abs/2504.16618 arXiv:2504.16618

    work page arXiv 2025

  26. [26]

    Mixed quantum skew Howe duality and link invariants of type A

    H. Queffelec and A. Sartori. Mixed quantum skew H owe duality and link invariants of type A . J. Pure Appl. Algebra , 223(7):2733--2779, 2019. http://arxiv.org/abs/1504.01225 arXiv:1504.01225 , https://doi.org/10.1016/j.jpaa.2018.09.014 doi:10.1016/j.jpaa.2018.09.014

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.jpaa.2018.09.014 2019

  27. [27]

    Rui and L

    H. Rui and L. Song. Affine B rauer category and parabolic category O in types B , C , D . Math. Z. , 293(1-2):503--550, 2019. http://arxiv.org/abs/2307.08061 arXiv:2307.08061 , https://doi.org/10.1007/s00209-018-2207-x doi:10.1007/s00209-018-2207-x

    work page doi:10.1007/s00209-018-2207-x 2019

  28. [28]

    Y. Shen. Quantum supersymmetric pairs and S chur duality of type AIII . J. Algebra , 661:853--903, 2025. http://arxiv.org/abs/2210.01233 arXiv:2210.01233 , https://doi.org/10.1016/j.jalgebra.2024.07.035 doi:10.1016/j.jalgebra.2024.07.035

    work page doi:10.1016/j.jalgebra.2024.07.035 2025

  29. [29]

    Samchuck-Schnarch and A

    S. Samchuck-Schnarch and A. Savage. Diagrammatics for real supergroups. Ann. Represent. Theory , 1(2):125--191, 2024. http://arxiv.org/abs/2301.01414 arXiv:2301.01414 , https://doi.org/10.5802/art.7 doi:10.5802/art.7

    work page doi:10.5802/art.7 2024

  30. [30]

    Sartori and D

    A. Sartori and D. Tubbenhauer. Webs and q - H owe dualities in types BCD . Trans. Amer. Math. Soc. , 371:7387--7431, 2019. http://arxiv.org/abs/1701.02932 arXiv:1701.02932 , https://doi.org/10.1090/tran/7583 doi:10.1090/tran/7583

    work page doi:10.1090/tran/7583 2019

  31. [31]

    Savage and B

    A. Savage and B. Webster. Bubbles in the affine B rauer and K auffman categories. J. Aust. Math. Soc. To appear. http://arxiv.org/abs/2408.07000 arXiv:2408.07000

    work page arXiv

  32. [32]

    Shen and W

    Y. Shen and W. Wang. Quantum supersymmetric pairs of basic types. Comm. Math. Phys. , 406(8):Paper No. 187, 2025. http://arxiv.org/abs/2408.02874 arXiv:2408.02874 , https://doi.org/10.1007/s00220-025-05339-w doi:10.1007/s00220-025-05339-w

    work page doi:10.1007/s00220-025-05339-w 2025

  33. [33]

    V. G. Turaev. Operator invariants of tangles, and R -matrices. Izv. Akad. Nauk SSSR Ser. Mat. , 53(5):1073--1107, 1135, 1989. https://doi.org/10.1070/IM1990v035n02ABEnH000711 doi:10.1070/IM1990v035n02ABEnH000711

    work page doi:10.1070/im1990v035n02abenh000711 1989

  34. [34]

    W. Wang. Quantum symmetric pairs. In I CM --- I nternational C ongress of M athematicians. V ol. 4. S ections 5--8 , pages 3080--3102. EMS Press, Berlin, 2023. http://arxiv.org/abs/2112.10911 arXiv:2112.10911

    work page arXiv 2023

  35. [35]

    Watanabe

    H. Watanabe. Classical weight modules over quantum groups. J. Algebra , 578:241--302, 2021. http://arxiv.org/abs/1912.11157 arXiv:1912.11157 , https://doi.org/10.1016/j.jalgebra.2021.02.023 doi:10.1016/j.jalgebra.2021.02.023

    work page doi:10.1016/j.jalgebra.2021.02.023 2021

  36. [36]

    H. Wenzl. A q - B rauer algebra. J. Algebra , 358:102--127, 2012. http://arxiv.org/abs/1102.3892 arXiv:1102.3892 , https://doi.org/10.1016/j.jalgebra.2012.02.017 doi:10.1016/j.jalgebra.2012.02.017

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.jalgebra.2012.02.017 2012

  37. [37]

    H. Yamane. Quantized enveloping algebras associated with simple L ie superalgebras and their universal R -matrices. Publ. Res. Inst. Math. Sci. , 30(1):15--87, 1994. https://doi.org/10.2977/prims/1195166275 doi:10.2977/prims/1195166275

    work page doi:10.2977/prims/1195166275 1994

  38. [38]

    H. Yamane. On defining relations of affine L ie superalgebras and affine quantized universal enveloping superalgebras. Publ. Res. Inst. Math. Sci. , 35(3):321--390, 1999. http://arxiv.org/abs/q-alg/9603015 arXiv:q-alg/9603015 , https://doi.org/10.2977/prims/1195143607 doi:10.2977/prims/1195143607

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.2977/prims/1195143607 1999