We investigate the notion of real form of complex Lie superalgebras and supergroups, both in the standard and graded version. Our functorial approach allows most naturally to go from the superalgebra to the supergroup and retrieve the real forms as fixed points, as in the ordinary setting. We also introduce a more general notion of compact real form for Lie superalgebras and supergroups, and we prove some existence results for Lie superalgebras that are simple contragredient and their associated connected simply connected supergroups.
We show that every connected affine algebraic supergroup defined over a field k, with diagonalizable maximal torus and whose tangent Lie superalgebra is a k-form of a complex simple Lie superalgebra of classical type is a Chevalley supergroup, as it is defined and constructed explicitly in [R. Fioresi, F. Gavarini, "Chevalley Supergroups", Memoirs of the AMS 215 (2012), no. 1014].
We prove that the cohomology ring of a finite-dimensional restricted Lie superalgebra over a field of characteristic $p > 2$ is a finitely-generated algebra. Our proof makes essential use of the explicit projective resolution of the trivial module constructed by J. Peter May for any graded restricted Lie algebra. We then prove that the cohomological finite generation problem for finite supergroup schemes over fields of odd characteristic reduces to the existence of certain conjectured universal extension classes for the general linear supergroup $GL(m|n)$ that are similar to the universal exte…
For a large class of finite-dimensional Lie superalgebras (including the classical simple ones) a Lie supergroup associated to the algebra is defined by fixing the Hopf superalgebra of functions on the supergroup. Then it is shown that on this Hopf superalgebra there exists a non-zero left integral. According to a recent work by the authors, this integral is unique up to scalar multiples.
The paper concerns two versions of the notion of real forms of Lie superalgebras. One is the standard approach, where a real form of a complex Lie superalgebra is a real Lie superalgebra such that its complexification is the original complex Lie superalgebra. The second is related to considering $A$-points of a Lie superalgebra over a commutative complex superalgebra $A$ equipped with superconjugation. It is not difficult to see that the first real form can be obtained as the set of fixed points of an antilinear involutive automorphism and the second is related to an automorphism $ϕ$ such that…
In the framework of algebraic supergeometry, we give a construction of the scheme-theoretic supergeometric analogue of Chevalley groups, namely affine algebraic supergroups associated to simple Lie superalgebras of classical type. In particular both basic (even exceptional) and strange cases are covered. This provides a unified approach to most of the algebraic supergroups considered so far in literature, and an effective method to construct new ones. As an intermediate step, we prove an existence theorem for Chevalley bases of simple classical Lie superalgebras and a PBW-like theorem for thei…
I present a construction "a` la Chevalley" of affine supergroups associated with simple Lie superalgebras of (classical) type D(2,1;a), for any possible value of the parameter a - in particular, including non-integral values of a. This extends the similar work performed in [R. Fioresi, F. Gavarini, "Chevalley Supergroups", Memoirs of the AMS 215 (2012), no. 1014 - arXiv:0808.0785v8 [math.RA]], where all other simple Lie superalgebras of classical type were considered. The case of simple Lie superalgebras of Cartan type is dealt with in [F. Gavarini, "Algebraic supergroups of Cartan type", Foru…
I present a construction of connected affine algebraic supergroups G_V associated with simple Lie superalgebras g of Cartan type and with g-modules V. Conversely, I prove that every connected affine algebraic supergroup whose tangent Lie superalgebra is of Cartan type is necessarily isomorphic to one of the supergroups G_V that I introduced. In particular, the supergroup constructed in this way associated with g := W(n) and its standard representation is described somewhat more in detail. In addition, *** an "Erratum" is added here *** after the main text to fix a mistake which was kindly poin…
From the four normed division algebras--the real numbers, complex numbers, quaternions and octonions, of dimension k=1, 2, 4 and 8, respectively--a systematic procedure gives a 3-cocycle on the Poincare superalgebra in dimensions k+2=3, 4, 6 and 10, and a 4-cocycle on the Poincare superalgebra in dimensions k+3=4, 5, 7 and 11. The existence of these cocycles follow from spinor identities that hold only in these dimensions, and which are closely related to the existence of the superstring in dimensions k+2, and the super-2-brane in dimensions k+3. In general, an (n+1)-cocycle on a Lie superalge…
We give a combinatorial construction for the canonical bases of the $\pm$-parts of the quantum enveloping superalgebra $\bfU(\mathfrak{gl}_{m|n})$ and discuss their relationship with the Kazhdan-Lusztig bases for the quantum Schur superalgebras $\bsS(m|n,r)$ introduced in \cite{DR}. We will also extend this relationship to the induced bases for simple polynomial representations of $\bfU(\mathfrak{gl}_{m|n})$.
By using certain quantum differential operators, we construct a super representation for the quantum queer supergroup U_v(q_n). The underlying space of this representation is a deformed polynomial superalgebra in 2n^2 variables whose homogeneous components can be used as the underlying spaces of queer q-Schur superalgebras. We then extend the representation to its formal power series algebra which contains a (super) submodule isomorphic to the regular representation of U_v(q_n). A monomial basis M for U_v(q_n) plays a key role in proving the isomorphism. In this way, we may present the quantum…
Recent work applying higher gauge theory to the superstring has indicated the presence of `higher symmetry'. Infinitesimally, this is realized by a `Lie 2-superalgebra' extending the Poincare superalgebra in precisely the dimensions where the classical supersymmetric string makes sense: 3, 4, 6 and 10. In the previous paper in this series, we constructed this Lie 2-superalgebra using the normed division algebras. In this paper, we use an elegant geometric technique to integrate this Lie 2-superalgebra to a `Lie 2-supergroup' extending the Poincare supergroup in the same dimensions. Briefly, a …
We show a correspondence between tensor representations of the super general linear group GL(m|n) and tensor representations of the general linear superalgebra gl(m|n) constructed by Berele and Regev.
The purpose of this paper is to extend the theory of Super Harish-Chandra pairs, originally developed by Koszul for Lie supergroups, to analytic and algebraic supergroups, in order to obtain information also about their representations. We also define the distribution superalgebra for algebraic and analytic supergroups and study its relation with the universal enveloping superalgebra
Invariant integrals on Hopf superalgebras, in particular, the classical and quantum Lie supergroups, are studied. The uniqueness (up to scalar multiples) of a left integral is proved, and a super version of Maschke's theorem is discussed. A construction of left integrals is developed for classical and quantum Lie supergroups. Applied to several classes of examples the construction yields the left integrals in explicit form.
The complex Lie superalgebras $\mathfrak{g}$ of type $D(2,1;a)$ - also denoted by $\mathfrak{osp}(4,2;a) $ - are usually considered for "non-singular" values of the parameter $a$, for which they are simple. In this paper we introduce five suitable integral forms of $\mathfrak{g}$, that are well-defined at singular values too, giving rise to "singular specializations" that are no longer simple: this extends the family of simple objects of type $D(2,1;a)$ in five different ways. The resulting five families coincide for general values of $a$, but are different at "singular" ones: here they provid…
In this paper, the Hom-Lie superalgebra structures on exceptional simple Lie superalgebras of vector fields are studied. Taking advantage of the Z-grading structures and the transitivity, we prove that there is only the trivial Hom-Lie superalgebra structures on exceptional simple Lie superalgebras. Our proof is obtained by studying the Hom-Lie superalgebra structures on their 0-th and -1-st Z-components.
Infinitesimal supersymmetries over classical Lie groups that do not necessarily integrate to Lie supergroups are described. They yield a notion of supersymmetry that is less rigid than the assumption of a Lie supergroup action but still implies an underlying action of a Lie group. In contrast to Lie supergroups, the arising representation-theoretical Lie supergroups (RTLSG) occur as families associated to Harish-Chandra superpairs. However morphisms of RTLSGs directly correspond to morphisms of Harish-Chandra superpairs. Particular RTLSGs can be derived from the explicit constructions of Lie s…
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…
We show that the superanalogue of the Iwasawa decomposition exists for supergroup $SL(n,m,\mathbb{C})$. The first component of the decomposition is the compact real form $SU(n,m)$, which was constructed following the idea of our article [3]. The second component is the super version of the $AN$ group, that we define in this article.
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 determine the Lie superalgebras over fields of characteristic zero that are graded by the root system A(n,n) of the special linear Lie superalgebra psl(n+1,n+1).
In this paper we propose the notion of cluster superalgebras which is a supersymmetric version of the classical cluster algebras introduced by Fomin and Zelevinsky. We show that the symplectic-orthogonal supergroup $SpO(2|1)$ admits a cluster superalgebra structure and as a consequence of this, we deduce that the supercommutative superalgebra generated by all the entries of a superfrieze is a subalgebra of a cluster superalgebra. We also show that the coordinate superalgebra of the super Grassmannian $G(2|0; 4|1)$ of chiral conformal superspace (that is, $(2|0)$ planes inside the superspace $\…
It is known that there exists a natural functor $Φ$ from Lie supergroups to super Harish-Chandra pairs. A functor going backwards, that associates a Lie supergroup with each super Harish-Chandra pair, yielding an equivalence of categories, was found by Koszul [18]; this result was later extended by other authors, to different levels of generality, but always elaborating on Koszul's original idea. In this paper, I provide two new backwards equivalences, i.e. two different functors $Ψ^\circ$ and $Ψ^e$ that construct a Lie supergroup (thought of as a special group-valued functor) out of a given s…
A depth one grading $\mathfrak{g}= \mathfrak{g}^{-1}\oplus \mathfrak{g}^0 \oplus \mathfrak{g}^1 \oplus \cdots \oplus \mathfrak{g}^{\ell}$ of a finite dimensional Lie superalgebra $\mathfrak{g}$ is called nonlinear irreducible if the isotropy representation $\mathrm{ad}_{\mathfrak{g}^0}|_{\mathfrak{g}^{-1}}$ is irreducible and $\mathfrak{g}^1 \neq (0)$. An example is the full prolongation of an irreducible linear Lie superalgebra $\mathfrak{g}^0 \subset \mathfrak{gl}(\mathfrak{g}^{-1})$ of finite type with non-trivial first prolongation. We prove that a complex Lie superalgebra $\mathfrak{g}$ w…
This paper considers the multiplicative Hom-Lie superalgebra structures on infinite dimensional simple Lie superalgebras of vector fields with characteristic zero. The main result is that there is only the multiplicative Hom-Lie superalgebra structure on these Lie superalgebras.
The purpose of this paper is to study the relationships between a BiHom-Lie superalgebras and its induced 3-BiHom-Lie superalgebras. We introduce the notion of $(α^s,β^r)$-derivation, $(α^s,β^r)$-quasiderivation and generalized $(α^s,β^r)$-derivation of 3-BiHom-Lie superalgebras, and their relation with derivation of BiHom-Lie superalgebras. We introduce also the concepts of Rota-Baxter operators and Nijenhuis Operators of BiHom $3$-Lie superalgebras. We also explore the construction of $3$-BiHom-Lie superalgebras by using Rota-Baxter of BiHom-Lie superalgebras.
The purpose of this paper is to define the representation and the cohomology of Hom-Lie superalgebras. Moreover we study Central extensions and provide as application the computations of the derivations and second cohomology group of q-deformed Witt superalgebra.
Multiparameter Quantum Supergroups, Deformations and Specializations
Universidad Nacional de La Plata（拉普拉塔国立大学）；Guangdong-Technion Israel Institute of Technology（广东以色列理工学院）；Università degli Studi di Roma “Tor Vergata”（罗马托维加塔大学）
(Multiplicative) Hom-Lie-Yamaguti superalgebras which generalize Hom-Lie supertriple systems (and subsequently ternary multiplicative Hom-Nambu superalgebras) and Hom-Lie superalgebras in the same way as Lie-Yamaguti superalgebras [Frac] generalize Lie supertriple systems and Lie superalgebras are defined. We show that the category of (multiplicative) Hom-Lie-Yamaguti superalgebras is closed under twisting by self-morphisms. Construction of some examples of Hom-Lie-Yamaguti superalgebras is given. The notion of an $n^{th}-$derived (binary) Hom-superalgebras is extended to the one of an $n^{th}…
In this paper, enveloping Lie superalgebras of Bol superalgebras are introduced. The notion of Killing-Ricci forms and invariant forms of these superalgebras are investigated as generalization of the ones of Bol algebras.
Throughout this paper, we will study Rota-Baxter operators and super O-operator of associative BiHom superalgebras, BiHom Lie superalgebras, BiHom pre-Lie superalgebras and BiHom-L-dendriform superalgebras. Then we give some properties of BiHom pre-Lie superalgebras constructed from associative BiHom superalgebras, BiHom Lie superalgebras and BiHom-L-dendriform superalgebras. As applications, we study the theory of cohomology groups of BiHom-pre-Lie superalgebras.
The purpose of this paper is to study the relationships between a Hom-Lie superalgebra and its induced 3-ary-Hom-Lie superalgebra. We provide an overview of the theory and explore the structure properties such as ideals, center, derived series, solvability, nilpotency, central extensions, and the cohomology.
The aim of this paper is to introduce the notion of restricted Hom- Lie superalgebras. This class of algebras is a generalization of both restricted Hom-Lie algebras and restricted Lie superalgebras. In this paper, we present a way to obtain restricted Hom-Lie superalgebras from the classical restricted Lie superalgebras along with algebra en- domorphisms. Homomorphisms relations between restricted Hom-Lie superalgebras are defined and studied. Also, we obtain some proper- ties of p-maps and restrictable Hom-Lie superalgebras.
Complete hom-Lie superalgebra are considered and some equivalent conditions for a hom-Lie superalgebra to be a complete hom-Lie superalgebra are established. In particular, the relation between decomposition and completeness for a hom-Lie superalgebra is described. Moreover, some conditions that the set of $α^{s}$-derivations of a hom-Lie superalgebra to be complete and simply complete are obtained.
By definition, a quadratic Lie superalgebra is a Lie superalgebra endowed with a non-degenerate supersymmetric bilinear form which satisfies the even and invariant properties. In this paper we calculate all of the second cohomology group of elementary quadratic Lie superalgebras which have been classified in \cite{DU14} by applying the super-Poisson bracket on the super exterior algebra. Besides, we give the classification of 8-dimensional solvable quadratic Lie superalgebras having 6-dimensional indecomposable even part. The method is based on the double extension and classification results o…
The aim of this paper is to introduce the notion of BiHom-Lie superalgebras. This class of algebras is a generalization of both BiHom-Lie algebras and Hom-Lie superalgebras. In this article, we first present two ways to construct BiHom-Lie superalgebras from BiHom-associative superalgebras and Hom-Lie superalgebras by Yau's twist principle. Also, we explore some general classes of BiHom-Lie admissible superalgebras and describe all these classes via $G$-BiHom-associative superalgebras, where $G$ is a subgroup of the symmetric group $S_{3}$. Finally, we discuss the concept of $β^{k}$-derivation…
The paper studies nilpotent $n$-Lie superalgebras. More specifically speaking, we first prove Engel's theorem for $n$-Lie superalgebras. Second, we research some properties of nilpotent $n$-Lie superalgebras, Finally, we give several sufficient conditions that an $n$-Lie superalgebra is nilpotent.
For a finitely generated integral super domain $A$, we prove the Lie superalgebra $\mathcal{V} = Der(A)$ of super derivations is a simple Lie superalgebra.
In this paper, we introduce the notion of n-Hom-pre-Lie superalgebras. We investigate the representation theory of n-Hom-pre-Lie superalgebras and we give some related results and structures based on Rota-Baxter operators, O-operators and Nijenhuis operators. Moreover, we study relationships between n-Hom-pre-Lie superalgebras and its induced Hom-pre-Lie superalgebras. The same procedure is applied for the representations of n- Hom-pre-Lie superalgebras.
We introduce the notion of omni-Lie superalgebra as a super version of the omni-Lie algebra introduced by Weinstein. This algebraic structure gives a nontrivial example of Leibniz superalgebra and Lie 2-superalgebra. We prove that there is a one-to-one correspondence between Dirac structures of the omni-Lie superalgebra and Lie superalgebra structures on subspaces of a super vector space.
In this paper, all symmetric super-biderivations of some Lie superalgebras are determined. As an application, commutative post-Lie superalgebra structures on these Lie superalgebras are also obtained.
We consider the $δ$-derivations of classical Lie superalgebras and prove that these superalgebras admit nonzero $δ$-derivations only when $δ= 0,1/2,1$. The structure of $1/2$-derivations for classical Lie superalgebras is completely determined.
In this paper, we construct free Lie Rota-Baxter superalgebra by using Gröbner-Shirshov bases theory. We firstly construct free operated Lie superalgebras by the operated super-Lyndon-Shirshov monomials. Secondly, we establish Gröbner-Shirshov bases theory for operated Lie superalgebras. Thirdly, we find a Gröbner-Shirshov basis of a free Lie Rota-Baxter superalgebra on a $\mathbb{Z}_2$-graded set. Consequently, we can obtain a linear basis of a free Lie Rota-Baxter superalgebra by the composition-diamond lemma for operated Lie superalgebras.
In this article, we define the capable pairs of Lie superalgebras. We classify all capable pairs of abelian and Heisenberg Lie superalgebras. After that we discuss on pairs of Lie superalgebras with derived subalgebra of dimension one and a non-abelian ideal. Finally, we determine the structure of the Schur multiplier of pairs of Heisenberg Lie superalgebras.
We generalize to the case of Lie superalgebras the classical symplectic double extension of symplectic Lie algebras introduced in [2]. We use this concept to give an inductive description of nilpotent homogeneous-symplectic Lie superalgebras. Several examples are included to show the existence of homogeneous quadratic symplectic Lie superalgebras other than even-quadratic even-symplectic considered in [6]. We study the structures of even (resp. odd)-quadratic odd (resp. even)-symplectic Lie superalgebras and odd-quadratic odd-symplectic Lie superalgebras and we give its inductive descriptions …
Models of the exceptional simple modular Lie superalgebras in characteristic $p\geq 3$, that have appeared in the classification due to Bouarroudj, Grozman and Leites of the Lie superalgebras with indecomposable symmetrizable Cartan matrices, are provided. The models relate these exceptional Lie superalgebras to some low dimensional nonassociative algebraic systems.
The purpose of this paper is to extend the cohomology and conformal derivation theories of the classical Lie conformal algebras to Lie conformal superalgebras. Firstly, we construct the semidirect product of a Lie conformal superalgebra and its conformal module, and study derivations of this semidirect product. Secondly, we develop cohomology theory of Lie conformal superalgebras and discuss some applications to the study of deformations of Lie conformal superalgebras. Finally, we introduce generalized derivations of Lie conformal superalgebras and study their properties.
The aim of this note is to completely determine the second homology group of the special queer Lie superalgebra $\mathfrak{sq}_n(R)$ coordinatized by a unital associative superalgebra $R$, which will be achieved via an isomorphism between the special linear Lie superalgebra $\mathfrak{sl}_{n}(R\otimes Q_1)$ and the special queer Lie superalgebra $\mathfrak{sq}_n(R)$.
A complex intuitionistic fuzzy Lie superalgebra is a generalization of intuitionistic fuzzy Lie superalgebra whose membership function takes values in the unit disk in the complex plane. In this research, the concepts of complex intuitionistic fuzzy sets are introduced to Lie superalgebras. We define the complex intuitionistic fuzzy Lie sub superalgebras and complex intuitionistic fuzzy ideals of Lie superalgebras. Then, we study some related properties of complex intuitionistic fuzzy Lie sub-superalgebras and complex intuitionistic fuzzy ideals. Finally, we define the image and preimage of co…
We define complex Minkowski superspace in 4 dimensions as the big cell inside a complex flag supermanifold. The complex conformal supergroup acts naturally on this super flag, allowing us to interpret it as the conformal compactification of complex Minkowski superspace. We then consider real Minkowski superspace as a suitable real form of the complex version. Our methods are group theoretic, based on the real conformal supergroup and its Lie superalgebra.
In this paper, we characterize the local superderivations on Cartan type Lie superalgebras over the complex field $\mathbb{C}$. Furthermore, we prove that every local superderivations on Cartan type simple Lie superalgebras is a superderivations. As an application, using the results on local superderivations we characterize the $2$-local superderivations on Cartan type Lie superalgebras. We prove that every $2$-local superderivations on Cartan type Lie superalgebras is a superderivations.
