Disoriented Skein Category

• Disoriented skein category is a diagrammatic module category defined over OS(q,t) that encodes quantum symmetric pair dualities through toggle morphisms.
• It incorporates toggle and curl relations that establish strict functoriality and reflect the isomorphism between dual modules in quantum group representations.
• The category is categorically equivalent to the iquantum Brauer category, providing a streamlined framework for basis constructions and submodule classifications.

Searching arXiv for the cited papers and related work on disoriented skein categories. The disoriented skein category $DS(q,t)$ is a diagrammatic category defined as a right module category over the framed HOMFLYPT skein category $OS(q,t)$. It was introduced to encode the representation theory of quantum symmetric pairs associated with orthosymplectic Lie superalgebras inside general linear Lie superalgebras. Its basic feature is the presence of local “toggle” morphisms that identify the two orientations of a strand inside the module-category formalism, reflecting the fact that the natural $U_q(\mathfrak{gl}(m|2n))$-module and its dual become isomorphic after restriction to the relevant iquantum coideal algebra. The category is equivalent, as a module category over $OS(q,t)$, to the iquantum Brauer category $B(q,t)$, but it is presented as the more symmetric and better behaved model for duality, strict functoriality, and basis constructions (Salmasian et al., 16 Jul 2025).

1. Definition and categorical status

The defining structural point of $DS(q,t)$ is that it is not a monoidal category. Instead, it is a strict right module category over the strict monoidal category $OS(q,t)$. In the presentation used for $DS(q,t)$, the objects are the same as those of the acting category, while morphisms are generated by the morphisms of $OS(q,t)$ together with additional module generators, subject to the compatibility relation

$$(1_Y \otimes g)\circ (f\otimes h)= f\otimes(g\circ h)= (f\otimes g)\circ(1_X\otimes h).$$

This is the module-category analogue of tensor compatibility in a monoidal presentation (Salmasian et al., 16 Jul 2025).

The extra generators are two mutually inverse toggle morphisms

$OS(q,t)$0

described diagrammatically as local switches between the two orientations. These toggles are the essential new datum. They encode the representation-theoretic fact that, after restriction from the ambient quantum group $OS(q,t)$1 to the coideal algebra $OS(q,t)$2, the modules $OS(q,t)$3 and $OS(q,t)$4 become isomorphic. In this sense, “disorientation” is not the erasure of orientation data; it is the controlled introduction of explicit orientation-switching morphisms inside a module category.

A recurrent misconception is to regard $OS(q,t)$5 as a monoidal enlargement of the oriented skein category. The defining construction shows the opposite: the loss of monoidality is intrinsic, and the correct structure is that of a right $OS(q,t)$6-module category.

2. Generators, relations, and symmetries

The defining relations of $OS(q,t)$7 fall into two principal families. The first are the toggle relations, including the inverse identities

$OS(q,t)$8

In addition, there is a reflection-type relation governing how a toggle passes through a crossing-like configuration. The source describes this as a twisted reflection equation-type relation, and it is the principal diagrammatic expression of the coideal or reflection phenomenon underlying quantum symmetric pairs (Salmasian et al., 16 Jul 2025).

The second family consists of curl relations. These are the disoriented analogues of HOMFLYPT curl relations and specify how a toggle interacts with a cup- or cap-like bend. They have the schematic form

$OS(q,t)$9

with coefficients involving $U_q(\mathfrak{gl}(m|2n))$0 and $U_q(\mathfrak{gl}(m|2n))$1. Derived relations include oppositely oriented curl identities and their horizontally reflected versions. The source emphasizes an important structural restriction: because $U_q(\mathfrak{gl}(m|2n))$2 is only a module category, these curl relations do not hold arbitrarily inside a diagram. They are imposed only in positions compatible with the right action, typically when exposed on the left.

Three involutive symmetries are constructed. Horizontal reflection with parameter inversion gives

$U_q(\mathfrak{gl}(m|2n))$3

orientation reversal gives

$U_q(\mathfrak{gl}(m|2n))$4

and the bar involution gives

$U_q(\mathfrak{gl}(m|2n))$5

These operations mirror familiar symmetries in quantum group theory and are used in the structural analysis of morphisms and bases.

3. The oriented benchmark $U_q(\mathfrak{gl}(m|2n))$6

Because $U_q(\mathfrak{gl}(m|2n))$7 is defined only relative to $U_q(\mathfrak{gl}(m|2n))$8, its meaning depends on the role of the oriented skein category. In the formulation recalled for the disoriented theory, $U_q(\mathfrak{gl}(m|2n))$9 is the framed HOMFLYPT skein category: a strict pivotal braided monoidal category generated by the two oriented strands $OS(q,t)$0 and $OS(q,t)$1, together with crossings, cups, and caps. Its defining relations include braid relations, the HOMFLYPT skein relation

$OS(q,t)$2

curl relations with scalar $OS(q,t)$3, and adjunction relations for cups and caps (Salmasian et al., 16 Jul 2025).

In the more general representation-theoretic study of oriented skein categories, the corresponding oriented skein category $OS(q,t)$4 is the oriented analogue of the Temperley–Lieb category and underpins the HOMFLY–PT invariant in the same sense that Temperley–Lieb underpins the Jones polynomial. It is obtained from framed oriented tangles by quotienting by skein and twist relations, is a strict ribbon category, and admits a highest-weight-theoretic representation theory whose simples and standards are indexed by bipartitions. Its additive Karoubi envelope has a Grothendieck ring identified, in the generic semisimple case, with $OS(q,t)$5, and it also admits a graded lift as a 2-representation of a Kac–Moody 2-category (Brundan, 2017).

This oriented theory is the natural benchmark for the disoriented one. The disoriented category does not replace the oriented skein category; it is built over it and inherits its diagrammatic and representation-theoretic significance through the module action.

4. Quantum symmetric pairs and incarnation functors

The algebraic target of the disoriented diagrammatics is the quantum symmetric pair

$OS(q,t)$6

Here $OS(q,t)$7 is a right coideal subalgebra of $OS(q,t)$8, not a Hopf subalgebra. This explains the categorical asymmetry: $OS(q,t)$9-modules form a monoidal category, while $B(q,t)$0-modules form only a module category over it. Diagrammatically, $B(q,t)$1 models $B(q,t)$2-tensor representations, and $B(q,t)$3 models $B(q,t)$4-tensor representations (Salmasian et al., 16 Jul 2025).

The iquantum enveloping superalgebra $B(q,t)$5 is generated by elements

$B(q,t)$6

with more elaborate formulas in certain even, odd, and negative-index cases involving braid group automorphisms $B(q,t)$7. An additional generator $B(q,t)$8 is adjoined, so that

$B(q,t)$9

This extra generator models the disconnected orthosymplectic group component and is required for fullness of the diagrammatic functor.

The key representation-theoretic fact is the existence of an isomorphism

$DS(q,t)$0

after restriction from $DS(q,t)$1 to $DS(q,t)$2. This is the algebraic origin of the toggle generator. It yields the incarnation functor

$DS(q,t)$3

which sends the generating object to the restricted natural module and the toggles to $DS(q,t)$4 and $DS(q,t)$5. The functor is a strict morphism of module categories and is full. Consequently, $DS(q,t)$6 functions as an interpolating diagrammatic category for the tensor-module theory of $DS(q,t)$7.

5. Equivalence with the iquantum Brauer category and basis theory

The iquantum Brauer category $DS(q,t)$8, also called the $DS(q,t)$9-Brauer category, provides a second diagrammatic model for the same representation-theoretic setting. It is generated by objects $OS(q,t)$0 for $OS(q,t)$1, together with left cups and caps and thick crossings, subject to braid-type relations, a skein relation, curl relations, higher hump relations, and commuting relations between cups, caps, and crossings. The disoriented theory equips $OS(q,t)$2 with a right $OS(q,t)$3-module structure by specifying how the generators of $OS(q,t)$4 act through endofunctors $OS(q,t)$5 (Salmasian et al., 16 Jul 2025).

A central theorem is the equivalence of right module categories

$OS(q,t)$6

The functor

$OS(q,t)$7

is the unique strict morphism of $OS(q,t)$8-modules sending both toggles to $OS(q,t)$9, while

$DS(q,t)$0

sends $DS(q,t)$1 to the corresponding length-$DS(q,t)$2 disoriented word and transports the Brauer generators to their disoriented analogues. The identities

$DS(q,t)$3

and

$DS(q,t)$4

give inverse equivalences.

The disoriented presentation is preferred for several reasons recorded explicitly in the source. First, it has better duality structure, because cups and caps may appear in arbitrary positions once both orientations are present. Second, its incarnation functor $DS(q,t)$5 is strict as a module functor, whereas the Brauer-side functor $DS(q,t)$6 is compatible with the module structure only up to a natural isomorphism. Third, the basis theorem is simpler in the disoriented setting.

For objects $DS(q,t)$7, a $DS(q,t)$8-matching is a partition of

$DS(q,t)$9

into pairs. A reduced $OS(q,t)$0-diagram is a diagram with no closed loops, no string with more than one critical point, no self-intersections, no pair of strings crossing more than once, and toggles in standardized positions. Choosing one reduced diagram for each matching gives a set $OS(q,t)$1, and the theorem states that

$OS(q,t)$2

is a free module with basis $OS(q,t)$3. The corresponding basis for $OS(q,t)$4 is obtained by applying $OS(q,t)$5 to these reduced disoriented diagrams.

6. Idempotent completion, indecomposables, and classification of submodules

A later development studies $OS(q,t)$6 within a general theory of submodules of module categories over monoidal categories. In that setting one assumes $OS(q,t)$7 and $OS(q,t)$8 satisfying

$OS(q,t)$9

The pair $$(1_Y \otimes g)\circ (f\otimes h)= f\otimes(g\circ h)= (f\otimes g)\circ(1_X\otimes h).$$0 is shown to be a strict tensor pair, and $$(1_Y \otimes g)\circ (f\otimes h)= f\otimes(g\circ h)= (f\otimes g)\circ(1_X\otimes h).$$1 carries an involution $$(1_Y \otimes g)\circ (f\otimes h)= f\otimes(g\circ h)= (f\otimes g)\circ(1_X\otimes h).$$2 together with an explicit $$(1_Y \otimes g)\circ (f\otimes h)= f\otimes(g\circ h)= (f\otimes g)\circ(1_X\otimes h).$$3-cylinder twist $$(1_Y \otimes g)\circ (f\otimes h)= f\otimes(g\circ h)= (f\otimes g)\circ(1_X\otimes h).$$4. The general theorem then identifies $$(1_Y \otimes g)\circ (f\otimes h)= f\otimes(g\circ h)= (f\otimes g)\circ(1_X\otimes h).$$5-submodules of $$(1_Y \otimes g)\circ (f\otimes h)= f\otimes(g\circ h)= (f\otimes g)\circ(1_X\otimes h).$$6 with submodules of the path-algebra module $$(1_Y \otimes g)\circ (f\otimes h)= f\otimes(g\circ h)= (f\otimes g)\circ(1_X\otimes h).$$7: $$(1_Y \otimes g)\circ (f\otimes h)= f\otimes(g\circ h)= (f\otimes g)\circ(1_X\otimes h).$$8 and the same correspondence persists after Karoubi completion (Salmasian et al., 18 Mar 2026).

The Karoubi envelope $$(1_Y \otimes g)\circ (f\otimes h)= f\otimes(g\circ h)= (f\otimes g)\circ(1_X\otimes h).$$9 admits a complete classification of indecomposable objects. Writing

$OS(q,t)$00

one studies primitive idempotents through the Hecke quotient and shows that a complete set of pairwise nonisomorphic indecomposable objects in $OS(q,t)$01 is

$OS(q,t)$02

Thus the indecomposables are indexed by all partitions.

The submodule structure is governed by a distinguished sequence of partitions

$OS(q,t)$03

and by the dimension criterion

$OS(q,t)$04

with equality exactly for $OS(q,t)$05. This leads to a pagoda structure and a complete description of the proper submodules. The $OS(q,t)$06-submodules of $OS(q,t)$07 form a chain

$OS(q,t)$08

where

$OS(q,t)$09

Equivalently, the proper $OS(q,t)$10-submodules of $OS(q,t)$11 are exactly

$OS(q,t)$12

and each is generated by a single idempotent

$OS(q,t)$13

The source summarizes this by stating that there are no exotic submodules: every proper submodule is one of these kernels. It also gives the quotient presentation

$OS(q,t)$14

which makes the relation between the disoriented skein category and tensor modules of quantum supergroups completely explicit.

7. Conceptual context within skein theory

The disoriented skein category belongs to a broader shift in skein theory from purely local quotient constructions toward categorical and higher-categorical formulations. In HOMFLYPT skein theory for oriented $OS(q,t)$15-manifolds, one approach constructs a fundamental $OS(q,t)$16-groupoid of the space of singular links: objects are isotopy classes of links, $OS(q,t)$17-morphisms are transversal deformations that cross codimension-$OS(q,t)$18 strata, and $OS(q,t)$19-morphisms are homotopies controlled by codimension-$OS(q,t)$20 phenomena such as differentiability relations, geometric $OS(q,t)$21-relations, and tangency relations. The source further remarks that the constructions extend to tangles and suggest analogous non-oriented or decorated variants (Kaiser, 2020).

This does not furnish a disoriented skein category in the sense of $OS(q,t)$22, but it places disoriented skein theory within a larger program in which skein relations are understood as linear shadows of higher categorical structures. A plausible implication is that the toggle calculus of $OS(q,t)$23 can be viewed as one specific diagrammatic realization of that broader categorical perspective.

A different but related categorification direction appears in the study of genus-zero Kauffman bracket skein algebras, where the skein algebra of $OS(q,t)$24 is identified with a quantized $OS(q,t)$25-theoretic Coulomb branch and hence with the Grothendieck ring of a monoidal derived category of equivariant coherent sheaves on a Braverman–Finkelberg–Nakajima variety of triples (Allegretti et al., 19 May 2025). That result concerns Kauffman bracket rather than HOMFLYPT skein theory and produces a monoidal categorification rather than a module category. Even so, it shows that skein-theoretic objects can sit naturally inside geometric representation theory, and it clarifies by contrast the distinctive role of $OS(q,t)$26: not a monoidal skein algebra, but a rigidly controlled module category that interpolates tensor-module categories for orthosymplectic quantum symmetric pairs.