Khovanov algebras for the periplectic Lie superalgebras

Jonas Nehme
2023-12-12
Abstract:The periplectic Lie superalgebra $\mathfrak{p}(n)$ is one of the most mysterious and least understood simple classical Lie superalgebras with reductive even part. We approach the study of its finite dimensional representation theory in terms of Schur--Weyl duality. We provide an idempotent version of its centralizer, i.e. the super Brauer algebra. We use this to describe explicitly the endomorphism ring of a projective generator for $\mathfrak{p}(n)$ resembling the Khovanov algebra of [BS11a]. We also give a diagrammatic description of the translation functors from [BDE19] in terms of certain bimodules and study their effect on projective, standard, costandard and irreducible modules. These results will be used to classify irreducible summands in $V^{\otimes d}$, compute $\mathrm{Ext}^1$ between irreducible modules and show that $\mathfrak{p}(n)$-mod does not admit a Koszul grading.
Representation Theory,Quantum Algebra
What problem does this paper attempt to address?
The problems that this paper attempts to solve are several key problems in the finite - dimensional representation theory of **periplectic Lie superalgebras** \(p(n)\). Specifically, the author hopes: 1. **Describe the category of finite - dimensional representations**: Explicitly describe the category of finite - dimensional representations of \(p(n)\), especially by describing the endomorphism ring of a projective generator. 2. **Classify irreducible modules**: Classify the irreducible direct summands of \(V^{\otimes d}\) and calculate \(\text{Ext}^1\) between irreducible modules. 3. **Study translation functors**: Give a diagrammatic description of the translation functors defined in [BDEA+19] and study their actions on projective, standard, costandard and irreducible modules. 4. **Prove that \(p(n)\)-mod does not have a Koszul grading**: Show that \(p(n)\)-mod does not admit a Koszul grading, that is, there is no non - negative grading such that the degree - 0 part is semisimple and is generated by the degree - 1 part. ### Main contributions 1. **Construction of Khovanov algebras**: - Define an idempotent version of the Khovanov algebra \(K\), which has a special basis and explicit multiplication rules. - Prove that there is an equivalence relationship between \(K\) and the category of finite - dimensional representations of \(p(n)\). 2. **Diagrammatic description**: - Use diagrammatic methods to describe the translation functors \(\Theta_i\) and show the actions of these functors on projective, standard, costandard and irreducible modules. 3. **Duality of irreducible modules**: - Provide a simple method to calculate the dual of an irreducible \(p(n)\)-module, just rotate the cap diagram associated with its highest weight by 180 degrees. 4. **Negation of Koszul grading**: - Prove that \(p(n)\)-mod does not admit a Koszul grading, which is a conclusion drawn from the structural analysis of \(K_n\). ### Formulas and diagrams Some of the key formulas and diagrams involved in the paper include: - **Basis elements of Khovanov algebras**: \[ \cdots \cdot \cdot \cdot \cdots \] These basis elements can be represented diagrammatically, with each node representing a specific operation. - **Translation functor \(\Theta_i\)**: \[ \Theta_i=\bigoplus_{j\in\mathbb{Z}}\Theta_i^j \] where \(\Theta_i^j\) represents adding a line segment labeled \(i\) at the \(j\)-th position. - **Duality of cap diagrams**: \[ \text{dual}(L(\lambda)) = \text{rotate}(L(\lambda), 180^{\circ}) \] Here \(L(\lambda)\) is an irreducible module, and its highest weight is represented by a cap diagram. ### Conclusion By introducing the Khovanov algebra \(K\) and diagrammatic methods, the author has successfully solved several key problems in the finite - dimensional representation theory of \(p(n)\), especially has given an explicit description of the endomorphism ring of the projective generator and has proven that \(p(n)\)-mod does not admit a Koszul grading. These results provide an important foundation for the representation theory of \(p(n)\).