Polar Brauer categories, infinitesimal braids and Lie superalgebra representations

Gustav Lehrer,Ruibin Zhang

2024-03-31

Abstract:We define a class of monoidal categories whose morphisms are diagrams, and which are enhancements and generalisations of the Brauer category obtained by adjoining infinitesimal braids, "coupons" and poles. Properties of these categories are explored, particularly diagrammatic equations. We construct functors from certain of them to categories of representations of Lie algebras and superalgebras. Applications include a diagrammatic construction of the centre of the universal enveloping superalgebra and certain "characteristic identities", as well as an analysis of certain tensor representations. We show how classical diagram categories arising in invariant theory are special cases of our constructions, placing them in a single unified framework.

Representation Theory

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to enhance and generalize the traditional Brauer categories by introducing polar Brauer categories with infinitesimal braids, "coupons" and poles. These enhanced categories are designed to study the decomposition of tensor product modules in the representation theory of Lie algebras and Lie superalgebras, especially through the action of Casimir operators. Specifically, the goals of the paper include:

1. **Define new category structures**: Construct a new class of monoidal categories whose morphisms are composed of diagrams, and enhance and generalize the traditional Brauer categories by adding infinitesimal braids, "coupons" and poles.

2. **Explore category properties**: Study the properties of these new categories, especially the diagrammatic equations, and their relationships with the representations of Lie algebras and Lie superalgebras.

3. **Construct functors**: Construct functors from certain specific enhanced Brauer categories to the representation categories of Lie algebras and Lie superalgebras, thus providing a specific bridge from the diagrammatic method to the representation theory.

4. **Application examples**:
- Construct the center of the universal enveloping superalgebra.
- Analyze certain characteristic identities.
- Study specific tensor representations.

5. **Unified framework**: Place various diagrammatic categories (such as Brauer categories) that appear in classical invariant theory under a unified framework, and show how they emerge as special cases of a broader construction.

### Formula examples

- **Casimir operator**:
\[
C = \sum_{a = 1}^{\dim(\mathfrak{g})} X_a X^a
\]
where \( X_a \) and \( X^a \) are bases of the Lie algebra \( \mathfrak{g} \), and are dual to each other under a non - degenerate, conjugate - invariant bilinear form.

- **Tempered Casimir operator**:
\[
t=\frac{1}{2}(\Delta(C)-C\otimes1 - 1\otimes C)
\]
This operator obviously commutes with \( \Delta(\mathfrak{U}(\mathfrak{g})) \).

- **Casimir operator of tensor product module**:
\[
C_{ij}=\sum_{\alpha = 1}^{\dim(\mathfrak{g})}1^{\otimes(i - 1)}\otimes X_\alpha\otimes1^{\otimes(j - i - 1)}\otimes X^\alpha\otimes1^{\otimes(r - j)}
\]

### Conclusion

By introducing these new category structures and diagrammatic methods, the paper provides a powerful tool for studying the representation theory of Lie algebras and Lie superalgebras. These tools not only help to understand specific representations, but also can reveal the deep - seated connections between different representations.