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 $ϕ^{2}$ is identity on even part and negative identity on the odd part. The generalized notion of the real form is subsequently introduced also for complex algebraic supergroups.
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.
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…
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…
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.
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…
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…
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 …
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
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…
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.
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…
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 we discuss the notion of smoothness in complex algebraic supergeometry and we prove that all affine complex algebraic supergroups are smooth. We then prove the stabilizer theorem in the algebraic context, providing some useful applications.
The algebraic and geometric classification of noncommutative Jordan superalgebras
Mansoura University（曼苏拉大学）；University of Beira Interior（贝拉内陆大学）；Institute of Mathematics Academy of Sciences of Uzbekistan（乌兹别克斯坦科学院数学研究所）；National University of Uzbekistan（乌兹别克斯坦国立大学）
The algebraic and geometric classification of right alternative superalgebras
Mansoura University（曼苏拉大学）；University of Beira Interior（比拉内陆大学）；Moscow Center for Fundamental and Applied Mathematics（莫斯科基础与应用数学中心）；Institute of Mathematics Academy of Sciences of Uzbekistan（乌兹别克斯坦科学院数学研究所）；National University of Uzbekistan（乌兹别克斯坦国立大学）
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 fine abelian group gradings on the simple exceptional classical Lie superalgebras over algebraically closed fields of characteristic 0 are determined up to equivalence.
Multiparameter Quantum Supergroups, Deformations and Specializations
Universidad Nacional de La Plata（拉普拉塔国立大学）；Guangdong-Technion Israel Institute of Technology（广东以色列理工学院）；Università degli Studi di Roma “Tor Vergata”（罗马托维加塔大学）
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 $\…
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.
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…
For every parabolic subgroup $P$ of a Lie supergroup $G$ the homogeneous superspace $G/P$ carries a $G$-invariant supergeometry. We address the quesiton whether $\mathfrak{g}=\operatorname{Lie}(G)$ is the maximal symmetry of this supergeometry in the case of exceptional Lie superalgebras $G(3)$ and $F(4)$. Our approach is to consider the negatively graded Lie superalgebras for every choice of parabolic, and to compute the Tanaka-Weisfeiler prolongations, with reduction of the structure group when required (2 resp 3 cases), thus realizing $G(3)$ and $F(4)$ as symmetries of supergeometries. This…
We give a detailed description of the algebraic group Aut(g) of automorphisms of a simple finite dimensional Lie superalgebra g over an algebraically closed field k of characteristic 0. We also give a description of the group of automorphisms of the k-Lie superalgebra $g \otimes_k R$ whenever R is a Noetherian domain with trivial Picard group.
We introduce the concept of a $δ$-superderivation of a superalgebra. $δ$-Derivations of Cartan-type Lie superalgebras are treated, as well as $δ$-superderivations of simple finite-dimensional Lie superalgebras and Jordan superalgebras over an algebraically closed field of characteristic 0. We give a complete description of $\{1}{2}$-derivations for Cartan-type Lie superalgebras. It is proved that nontrivial $δ$-(super)derivations are missing on the given classes of superalgebras, and as a consequence, $δ$-superderivations are shown to be trivial on simple finite-dimensional noncommutative Jord…
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.
