Let $\mathfrak{g} = \mathfrak{g}_{\overline{0}} \oplus \mathfrak{g}_{\overline{1}}$ be a Lie superalgebra over an algebraically closed field, $k$, of characteristic 0. An endotrivial $\mathfrak{g}$-module, $M$, is a $\mathfrak{g}$-supermodule such that $\operatorname{Hom}_k(M,M) \cong k_{ev} \oplus P$ as $\mathfrak{g}$-supermodules, where $k_{ev}$ is the trivial module concentrated in degree $\overline{0}$ and $P$ is a projective $\mathfrak{g}$-supermodule. In the stable module category, these modules form a group under the operation of the tensor product. We show that for an endotrivial module $M$, the syzygies $Ω^n(M)$ are also endotrivial, and for certain Lie superalgebras of particular interest, we show that $Ω^1(k_{ev})$ and the parity change functor actually generate the group of endotrivials. Additionally, for a broader class of Lie superalgebras, for a fixed $n$, we show that there are finitely many endotrivial modules of dimension $n$.
If $\mathfrak{g} = \mathfrak{g}_{\overline{0}} \oplus \mathfrak{g}_{\overline{1}}$ is a Lie superalgebra over an algebraically closed field $k$ of characteristic 0, the notion of an endotrivial module has recently been extended to $\mathfrak{g}$-modules by defining $M$ to be endotrivial if $\operatorname{Hom}_k(M,M) \cong k_{ev} \oplus P$ as $\mathfrak{g}$-supermodules. Here, $k_{ev}$ denotes the trivial module concentrated in degree $\overline{0}$ and $P$ is a $(U(\mathfrak{g}), U(\mathfrak{g}_{\overline{0}}))$-projective supermodule. In the stable module category, these modules form a group …
In this paper we determine the torsion free rank of the group of endotrivial modules for any finite group of Lie type, in both defining and non-defining characteristic. On our way to proving this, we classify the maximal rank $2$ elementary abelian $\ell$-subgroups in any finite group of Lie type, for any prime $\ell$, which may be of independent interest.
Motivated by a recent result of Robinson showing that simple endotrivial modules essentially come from quasi-simple groups we classify such modules for finite special linear and unitary groups as well as for exceptional groups of Lie type. Our main tool is a lifting result for endotrivial modules obtained in a previous paper which allows us to apply character theoretic methods. As one application we prove that the $\ell$-rank of quasi-simple groups possessing a faithful simple endotrivial module is at most 2. As a second application we complete the proof that principal blocks of finite simple …
The theories of $π$-points and modules of constant Jordan type have been a topic of much recent interest in the field of finite group scheme representation theory. These theories allow for a finite group scheme module $M$ to be restricted down and considered as a module over a space of small subgroups whose representation theory is completely understood, but still provide powerful global information about the original representation of $M$. This paper provides an extension of these ideas and techniques to study finite dimensional supermodules over a classical Lie superalgebra $\mathfrak{g} = \…
We construct a duality functor on the category of continuous representations of linearly compact Lie superalgebras, using representation theory of Lie conformal superalgebras. We compute the dual representations of the generalized Verma modules.
A contragredient Lie superalgebra is a superalgebra defined by a Cartan matrix. In general, a contragredient Lie superalgebra is not finite dimensional, however it has a natural Z-grading by finite dimensional components. A contragredient Lie superalgebra has finite growth if the dimensions of these graded components depend polynomially on the degree. We discuss the classification of finite-growth contragredient Lie superalgebras. (Joint work with Vera Serganova)
Following analogous constructions for Lie algebras, we define Whittaker modules and Whittaker categories for finite-dimensional simple Lie superalgebras. Results include a decomposition of Whittaker categories for a Lie superalgebra according to the action of an appropriate sub-superalgebra; and, for basic classical Lie superalgebras of type I, a description of the strongly typical simple Whittaker modules.
A Lie superalgebra is called quasi-Frobenius if it admits a closed anti-symmetric non-degenerate bilinear form. We study the notion of double extensions of quasi-Frobenius Lie superalgebra when the form is either orthosymplectic or periplectic. We show that every quasi-Frobenius Lie superalgebra that satisfies certain conditions can be obtained as a double extension of a smaller quasi-Frobenius Lie superalgebra. We classify all 4-dimensional quasi-Frobenius Lie superalgebras, and show that such Lie superalgebras must be solvable. We study the notion of $T^*$-extensions (or Lagrangian extension…
We derive explicit formulas for the inverses of the Cartan matrices of the simple Lie algebras and the basic classical Lie superalgebras, as well as for their infinite generalizations.
An $n$-Lie superalgebra of parity 0 is called a first-class $n$-Lie superalgebra. In this paper, we give the representation and cohomology for a first-class $n$-Lie superalgebra and obtain a relation between extensions of a first-class $n$-Lie superalgebra $\mathfrak{b}$ by an abelian one $\mathfrak{a}$ and $Z^1(\mathfrak{b}, \mathfrak{a})_{\bar{0}}$. We also introduce the notion of $T^*$-extensions of first-class $n$-Lie superalgebras and prove that every finite-dimensional nilpotent metric first-class $n$-Lie superalgebra $(\g,< ,>_{\g})$ over an algebraically closed field of characteristic …
We study character rings of quasireductive Lie superalgebras and give a new proof of the Sergeev-Veselov theorem describing the character rings of finite-dimensional Kac-Moody superalgebras.
In this paper we construct a large class of modules for toroidal Lie superalgebras. Toroidal Lie superalgebras are universal central extension of G tensor A where G is a basic classical Lie superalgebra and A is a Laurent polynomial ring in sevaral variables. The case where G is simple finite dimensional Lie algebra is included.
This article classifies the real forms of Lie Superalgebra by Vogan diagrams, developing Borel and de Seibenthal theorem of semisimple Lie algebras for Lie superalgebras. A Vogan diagram is a Dynkin diagram of triplet $(\mathfrak{g}_{C},\mathfrak{h_{\bar{0}}},\triangle^{+})$, where $\mathfrak{g}_{C}$ is a real Lie superalgebra, $\mathfrak{h_{\bar{0}}}$ cartan subalgebra, $\triangle^{+}$ positive root system. Although the classification of real forms of contragradient Lie superalgebras is already done. But our method is a quicker one to classify.
We initiate and develop the theory of finite $W$-superalgebras $\mathcal{W}_χ$ associated to the queer Lie superalgebra $\g=\q(N)$ and a nilpotent linear functional $χ\in \ev\g^*$. We show that the definition of the $W$-superalgebra is independent of various choices. We also establish a Skryabin type equivalence between the category of $\mathcal{W}_χ$-modules and a category of certain $\g$-modules.
Finite dimensional modular Lie superalgebras over algebraically closed fields with indecomposable Cartan matrices are classified under some technical, most probably inessential, hypotheses. If the Cartan matrix is invertible, the corresponding Lie superalgebra is simple otherwise the quotient of the derived Lie superalgebra modulo center is simple (if its rank is greater than 1). Eleven new exceptional simple modular Lie superalgebras are discovered. Several features of classic notions, or notions themselves, are clarified or introduced, e.g., Cartan matrix, several versions of restrictedness …
The main goal of this paper is to develop the structure theory of Hom-Lie superalgebras in characteristic 2. We discuss their representations, semidirect product, $α^k$-derivations and provide a classification in low dimension. We introduce another notion of restrictedness on Hom-Lie algebras in characteristic 2, different from one given by Guan and Chen. This definition is inspired by the process of queerification of restricted Lie algebras in characteristic 2. We also show that any restricted Hom-Lie algebra in characteristic 2 can be queerified to give rise to a Hom-Lie superalgebra. Moreov…
We prove a formula for $S_n$ characters which are indexed by the partitions in the $(k,\ell)$ hook. The proof applies a combinatorial part of the theory of Lie superalgebras.
We discuss the classification of good Z-gradings of basic Lie superalgebras. This problem arose in connection to W-algebras, where good Z-gradings play a role in their construction.
We describe Borel and parabolic subalgebras of affine Lie superalgebras and study the Verma type modules associated to such subalgebras. We give necessary and sufficient conditions under which these modules are simple.
We classify integrable bounded simple weight modules over classical Lie superalgebras at infinity. We also study the categories of such modules, and we prove that for most of the classical Lie superalgebras at infinity the respective category is semisimple.
In this work infinitesimal deformations of the model filiform $\mathbb{Z}_2 \times \mathbb{Z}_2$-color Lie superalgebra have been studied. All the filiform $\mathbb{Z}_2 \times \mathbb{Z}_2$-color Lie superalgebras can be obtained by means of infinitesimal deformations, hence the importance of these. Thus, in particular, we give a family of filiform $\mathbb{Z}_2 \times \mathbb{Z}_2$-color Lie superalgebras via linearly integrable deformations.
We solve two problems in representation theory for the periplectic Lie superalgebra pe(n), namely the description of the primitive spectrum in terms of functorial realisations of the braid group and the decomposition of category O into indecomposable blocks. To solve the first problem we establish a new type of equivalence between category O for all (not just simple or basic) classical Lie superalgebras and a category of Harish-Chandra bimodules. The latter bimodules have a left action of the Lie superalgebra but a right action of the underlying Lie algebra. To solve the second problem we esta…
We classify all simple bounded highest weight modules of a basic classical Lie superalgebra $\mathfrak g$. In particular, our classification leads to the classification of the simple weight modules with finite weight multiplicities over all classical Lie superalgebras. We also obtain some character formulas of strongly typical bounded highest weight modules of $\mathfrak g$.
Vogan raised the idea of Dirac cohomology to study representations of semisimple Lie groups and Lie algebras. He conjectured that the infinitesimal character of Harish-Chandra modules are determined by their Dirac cohomology. Huang and Pandžić proved this conjecture and initiated the research on Dirac cohomology for Lie superalgebras based on Kostant's results. The aim of the present paper is to study Dirac cohomology of unitary representations for the general linear superalgebra and its relation to nilpotent Lie superalgebra cohomology.
We study tilting and projective-injective modules in a parabolic BGG category $\mathcal O$ for an arbitrary classical Lie superalgebra. We establish a version of Ringel duality for this type of Lie superalgebras which allows to express the characters of tilting modules in terms of those of simple modules in that category. We also obtain a classification of projective-injective modules in the full BGG category $\mathcal O$ for all simple classical Lie superalgebras. We then classify and give an explicit combinatorial description of parabolic subalgebras of the periplectic Lie superalgebras and …
We show that, for many Lie superalgebras admitting a compatible $\mathbb{Z}$-grading, Kac induction functor gives rise to a bijection between simple supermodules over a Lie superalgebra and simple supermodules over the even part of this Lie superalgebra. This reduces the classification problem for the former to the one for the latter. Our result applies to all classical Lie superalgebra of type $I$, in particular, to the general linear Lie superalgebra $\gl(m|n)$. In the latter case we also show that the rough structure of simple $\gl(m|n)$-supermodules and also that of Kac supermodules depend…
The purpose of this paper is to study Hom-Lie superalgebras, that is a superspace with a bracket for which the superJacobi identity is twisted by a homomorphism. This class is a particular case of $Γ$-graded quasi-Lie algebras introduced by Larsson and Silvestrov. In this paper, we characterize Hom-Lie admissible superalgebras and provide a construction theorem from which we derive a one parameter family of Hom-Lie superalgebras deforming the orthosymplectic Lie superalgebra. Also, we prove a $\mathbb{Z}_2$-graded version of a Hartwig-Larsson-Silvestrov Theorem which leads us to a construction…
In this paper, we find a family $SL^{n,m}$, in any arbitrary dimensions, of cohomologically rigid solvable Lie superalgebras with nilradical the model filiform Lie superalgebra $L^{n,m}$. Moreover, we exhibit a family of cohomologically rigid solvable Lie superalgebras with nilradical the model nilpotent Lie superalgebra of generic characteristic sequence. Both cases correspond to solvable Lie superalgebras of maximal dimension for a given nilradical. Contrariwise, we will show that the family of Lie superalgebras $SL^{n,m}$ can be deformed if defined over a field of odd characteristic.
We prove denominator identities for the periplectic Lie superalgebra $\mathfrak{p}(n)$, thereby completing the problem of finding denominator identities for all simple classical finite-dimensional Lie superalgebras.
We investigate a new cohomology of Lie superalgebras, which may be compared to a de Rham cohomology of Lie supergroups involving both differential and integral forms. It is defined by a BRST complex of Lie superalgebra modules, which is formulated in terms of a Weyl superalgebra and incorporates inequivalent representations of the bosonic Weyl subalgebra. The new cohomology includes the standard Lie superalgebra cohomology as a special case. Examples of new cohomology groups are computed.
Given an algebraically closed field $\Bbbk$ of characteristic zero, a Lie superalgebra $\mathfrak{g}$ over $\Bbbk$ and an associative, commutative $\Bbbk$-algebra $A$ with unit, a Lie superalgebra of the form $\mathfrak{g} \otimes_\Bbbk A$ is known as a map superalgebra. Map superalgebras generalize important classes of Lie superalgebras, such as, loop superalgebras (where $A=\Bbbk[t, t^{-1}]$), and current superalgebras (where $A=\Bbbk[t]$). In this paper, we define Weyl functors, global and local Weyl modules for all map superalgebras where $\mathfrak{g}$ is either $\mathfrak{sl} (n,n)$ with…
In this paper, we introduce the relevant concepts of $n$-ary multiplicative Hom-Nambu-Lie superalgebras and construct three classes of $n$-ary multiplicative Hom-Nambu-Lie superalgebras. As a generalization of the notion of derivations for $n$-ary multiplicative Hom-Nambu-Lie algebras, we discuss the derivations of $n$-ary multiplicative Hom-Nambu-Lie superalgebras. In addition, the theory of one parameter formal deformation of $n$-ary multiplicative Hom-Nambu-Lie superalgebras is developed by choosing a suitable cohomology.
We introduce the PBW degeneration for basic classical Lie superalgebras and construct for all type I, $\mathfrak{osp}(1,2n)$ and exceptional Lie superalgebras new monomial bases. These bases are parametrized by lattice points in convex lattice polytopes, sharing useful properties such as the integer decomposition property. This paper is the first step towards extending the framework of PBW degenerations to the Lie superalgebra setting.
Let $\mathfrak{g}=\mathfrak{g}_{\bar 0}+\mathfrak{g}_{\bar 1}$ be a basic Lie superalgebra over $\mathbb{C}$, and $e$ a minimal nilpotent element in $\mathfrak{g}_{\bar 0}$. Set $W_χ'$ to be the refined $W$-superalgebra associated with the pair $(\mathfrak{g},e)$, which is called a minimal $W$-superalgebra. In this paper we present a set of explicit generators of minimal $W$-superalgebras and the commutators between them. In virtue of this, we show that over an algebraically closed field $\mathds{k}$ of characteristic $p\gg0$, the lower bounds of dimensions in the modular representations of ba…
