Isomeric Heisenberg Categorification

• Isomeric Heisenberg categorification is a framework that constructs categorical analogues of the Heisenberg algebra for queer supergroups using Clifford superalgebras.
• It adapts classical type A categorification by introducing new generators, relations, and combinatorial techniques for spin symmetric and super settings.
• This approach underpins isomeric Kac–Moody categorification, linking diagrammatic methods with advanced representation theory of Q(n) and related structures.

Isomeric Heisenberg categorification is the process of constructing categorical analogues of the Heisenberg algebra and its modules that are adapted to the $Q$-type setting, specifically the context of the queer supergroup $Q(n)$, spin symmetric groups, and category $\mathcal{O}$ for $\mathfrak{q}_n$. This theory extends classical (type $A$) Heisenberg categorification frameworks—central tools for controlling the representation theory of symmetric groups, general linear groups, and related structures—to the super and spin settings, with new generators, relations, and combinatorics reflecting the role of Clifford superalgebras and the affine Sergeev or Brauer–Clifford superalgebras. The construction provides a foundation for isomeric Kac–Moody categorification and ultimately enables categorification of key algebraic structures in $Q$-type representation theory (Brundan et al., 23 Nov 2025).

1. Foundational Motivation and Framework

Traditional Heisenberg and Kac–Moody categorifications, as developed by Khovanov, Mackaay–Savage, Brundan, Webster–Williamson, and others, give monoidal categories acting on Abelian categories; upon decategorification, these yield Heisenberg algebras of integral central charge. These frameworks fit the "type $A$" world, controlling representation theory for $GL$-type objects such as symmetric groups, cyclotomic Hecke algebras, quantum groups of type $A$, and category $\mathcal{O}$ for $Q(n)$0.

Isomeric categorification addresses $Q(n)$1-type representation theory, including spin symmetric groups, category $Q(n)$2 for $Q(n)$3, and representations of $Q(n)$4. This domain features distinct Cartan data: types $Q(n)$5 in characteristic 0, $Q(n)$6 in positive characteristic, and crucially requires working in the super-setting where the Cartan datum contains an odd simple root at label 0. In place of standard Heisenberg categories, the isomeric setting employs categories whose endomorphism algebras are affine Sergeev or affine oriented Brauer–Clifford superalgebras.

2. Structure of the Isomeric Heisenberg Category

For fixed algebraically closed ground field $Q(n)$7 (char $Q(n)$8), central charge $Q(n)$9, and the rank-one Clifford superalgebra $\mathcal{O}$0 (with $\mathcal{O}$1 odd and even trace form), the isomeric Heisenberg category $\mathcal{O}$2 is defined as a strict monoidal supercategory generated by the following:

• Objects: $\mathcal{O}$3 ("creation", upward arrow), $\mathcal{O}$4 ("annihilation", downward arrow).
• Generating 2-morphisms (even except where noted):
  • Clifford token (odd) on $\mathcal{O}$5.
  • Dot (even) on $\mathcal{O}$6.
  • Crossing on $\mathcal{O}$7.
  • Cup and cap giving $\mathcal{O}$8 as right (and left) dual to $\mathcal{O}$9.

The relations are as follows:

1. Zig–zag (adjunction): $\mathfrak{q}_n$0 is both left and right dual to $\mathfrak{q}_n$1.
2. Affine Sergeev superalgebra relations:
   • Braid and idempotent relations for crossings.
   • Clifford token squares to $\mathfrak{q}_n$2 ($\mathfrak{q}_n$3), tokens on the same strand anticommute.
   • Dots and tokens obey mixed (anti)commutativity, e.g., $\mathfrak{q}_n$4 on one strand.
   • Standard dot–crossing relations.
3. Inversion relation: The infinite matrix $\mathfrak{q}_n$5 (whose entries involve crossings, cups, and dotted cups) must be invertible in the additive envelope, ensuring decategorification recovers $\mathfrak{q}_n$6.
4. Odd bubble relation: A single-stranded "figure-eight" (odd bubble) with Clifford token is zero, eliminating unwanted odd bubbles.

Collectively, these specify the isomeric Heisenberg supercategory $\mathfrak{q}_n$7.

3. Notion and Realization of Isomeric Heisenberg Categorification

An isomeric Heisenberg categorification of central charge $\mathfrak{q}_n$8 consists of:

• A locally finite Abelian supercategory $\mathfrak{q}_n$9.
• A biadjoint pair of exact endofunctors $A$0.
• Even unit and counit morphisms $A$1, $A$2.
• Supernatural transformations corresponding to the dot, token, and crossing generators, such that the $A$3 relations hold in $A$4.

Equivalently, this is a strict monoidal super-functor $A$5, with $A$6 generated as a Serre subcategory by the action of $A$7 and $A$8 on a finite set of objects with purely even supercenter in each endomorphism algebra.

Decategorification: The Grothendieck group $A$9 (ignoring parity shift) recovers the ordinary Heisenberg algebra: $Q$0.

4. Spectral and Weight-Space Decomposition

Nilpotency of the dot on $Q$1 enables spectral decomposition:

• $Q$2 and $Q$3 decompose as $Q$4, $Q$5, with spectral parameters $Q$6 (specifically, square roots of $Q$7, shifted).
• The pairs $Q$8 satisfy analogous relations to $Q$9, but focus on the eigenvalue $A$0; Clifford token induces $A$1 and $A$2.
• A weight function for irreducible $A$3 is constructed from the order of poles/zeros of the bubble generating function

$A$4

• The resulting decomposition $A$5 is indexed by the minimal weight lattice $A$6; $A$7 and $A$8 induce transitions between these weight subcategories.

5. Comparison with Ordinary Heisenberg Categorification

Key structural differences include:

• The supernature, with Clifford token ($A$9) introducing nilpotent, anticommuting operations not present in type $GL$0.
• Bubble slides and the odd bubble relation, simplifying the affine Sergeev algebraic presentation and affecting the calculus of diagrams.
• A change of variable $GL$1 for each $GL$2-colored strand, and the emergence of rational invariants (e.g., $GL$3) tied to the underlying super-Cartan data.
• Dependence of matrix inversion (for $GL$4) on the parity of $GL$5 and the presence of bubbles with Clifford tokens, in contrast to the uniform behavior found in type $GL$6 settings.

6. From Isomeric Heisenberg to Isomeric Kac–Moody Categorification

Building on the isomeric Heisenberg framework, the isomeric Kac–Moody 2-category $GL$7 is introduced, reflecting the same super-Cartan datum:

• Objects: weights $GL$8.
• 1-morphisms: divided power functors ($GL$9, $A$0).
• 2-morphisms: dots, tokens, crossings, cups/caps, with quiver Hecke–Clifford relations (as per Kang–Kashiwara–Tsuchioka).

Bridge theorem: Any isomeric Heisenberg categorification $A$1 furnishes, after decomposing $A$2 and passing to weight subcategories, a 2-representation of $A$3. The combinatorial 2-morphisms $A$4, derived from the change-of-variable and bubble-slide machinery, provide the required relations for crossings and bubble slides in $A$5.

This realizes a complete categorification of the isomeric Heisenberg and Kac–Moody algebras, mirroring the established classical type $A$6 narrative (Brundan et al., 23 Nov 2025).

7. Examples and Applications

Applications of these constructions include:

• Category of finite-dimensional modules over the spin-symmetric (Sergeev) superalgebra.
• Rational $A$7-modules.
• Category $A$8 for $A$9.

In each case, the categorical framework leads to structural understanding of phenomena such as integrable crystals, Rickard equivalences à la Chuang–Rouquier, canonical bases, and higher structures.

As a minimal example, consider $\mathcal{O}$0, the category of finite-dimensional $\mathcal{O}$1-supermodules. Here,

• $\mathcal{O}$2,
• $\mathcal{O}$3,
• the dot is multiplication by $\mathcal{O}$4,
• the token is the Clifford generator $\mathcal{O}$5.

All defining relations of $\mathcal{O}$6 are satisfied, and $\mathcal{O}$7, manifesting the basic Fock-space representation of the Heisenberg algebra of zero charge.

This framework lays the groundwork for a full $\mathcal{O}$8-type analogue of classical type $\mathcal{O}$9 categorifications, accommodating the additional complexities imposed by the queer supergroup $Q(n)$00 and its associated algebraic structures (Brundan et al., 23 Nov 2025).