Abstract:We introduce the periplectic $q$-Brauer category over an integral domain of characteristic not $2$. This is a strict monoidal supercategory and can be considered as a $q$-analogue of the periplectic Brauer category. We prove that the periplectic $q$-Brauer category admits a split triangular decomposition in the sense of Brundan-Stroppel. When the ground ring is an algebraically closed field, the category of locally finite dimensional right modules for the periplectic $q$-Brauer category is an upper finite fully stratified category in the sense of Brundan and Stroppel. We prove that periplectic $q$-Brauer algebras defined in [1] are isomorphic to endomorphism algebras in the periplectic $q$-Brauer category. Furthermore, a periplectic $q$-Brauer algebra is a standardly based algebra in the sense of Du and Rui. We construct Jucys-Murphy basis for any standard module of the periplectic $q$-Brauer algebra with respect to a family of commutative elements called Jucys-Murphy elements. Via them, we classify blocks for both periplectic $q$-Brauer category and periplectic $q$-Brauer algebras in generic case. Our result shows that both periplectic $q$-Brauer category and periplectic $q$-Brauer algebras are always not semisimple over any algebraically closed field.
What problem does this paper attempt to address?
The main problems that this paper attempts to solve are to introduce and study the periplectic q - Brauer category (denoted as \(B\)), and to explore its representation theory. Specifically, the goals of the paper include:
1. **Definition and Construction**: Define the periplectic q - Brauer category over an integer field with characteristic not equal to 2, and prove that it has a split triangular decomposition structure.
2. **Isomorphism Relationship**: Prove that the periplectic q - Brauer algebra \(B_{q,l}\) is isomorphic to the endomorphism algebra of an object in the periplectic q - Brauer category.
3. **Classification and Properties**:
- When the base ring is an algebraically closed field, prove that the locally finite - dimensional right \(B\)-module category is a co - finitely completely stratified category.
- Construct the Jucys - Murphy basis for classifying the blocks of the periplectic q - Brauer category and the periplectic q - Brauer algebra.
- Prove that these categories and algebras are not semisimple over any algebraically closed field.
4. **Application Prospects**: It is expected that the periplectic q - Brauer category will become a useful tool for studying the finite - dimensional modules of the quantum superalgebra \(U_q(p_n)\).
Through the study of these problems, the authors hope to expand the understanding of the periplectic Brauer algebra and its related categories, and provide new insights into quantum group theory and representation theory. In addition, they also expect these results to be applicable to a wider range of mathematical fields, such as Howe duality and other problems.
### Main Formula Summary
- **Generator Relations**:
- Braid relations:
\[
=,\quad =
\]
- Skein relation:
\[
-=(q - q^{-1})
\]
- Snake relations:
\[
=,\quad = -
\]
- Untwisting relations:
\[
= q,\quad =
\]
- Loop removing relation:
\[
= 0
\]
- **Algebra Homomorphism**:
- Define a tensor functor \(\Phi\) from the periplectic q - Brauer category to the \(U_q(p_n)\)-module category, satisfying:
\[
\Phi(1)=V_q,\quad \Phi() = t,\quad \Phi()=\varepsilon,\quad \Phi()=\vartheta
\]
- **Basic Theorem**:
- The morphism space \(\text{Hom}_B(m,s)\) is free over \(k\), with a basis given by \(D_B^{m,s}\), where \(D_B^{m,s}\) is the set of all reduced full - descending \((m,s)\)-tangle diagrams.
The introduction and proof of these formulas constitute the core content of the paper, aiming to establish and perfect the theoretical framework of the periplectic q - Brauer category.