SearcharxivSearch

arXiv subjects

Vera Serganova

Publications and source records attributed to Vera Serganova.

At least 19 recordsLinked to original sources

The Harish-Chandra isomorphism for supersymmetric spaces and ghost distributions

We prove the Harish-Chandra isomorphism theorem for supersymmetric spaces, describing the polynomial algebra of eigenvalues of invariant differential operators. The polynomials obtained satisfy novel invariance conditions, which remain somewhat mysterious. We also prove the Harish-Chandra isomorphism for ghost distributions, which satisfy a `square root' of the invariance conditions coming from invariant differential operators. All proofs are algebraic, and rely on a rank-one reduction argument and the Chevalley restriction theorem.

math.RT

Balanced and neat elements in quasi-reductive Lie superalgebras

Let $G$ be a quasi-reductive supergroup (so its underlying algebraic group $G_{\bar 0}$ is reductive). We consider two trivially intersecting classes of odd elements: neat elements and balanced elements. Neat elements are always $ad$-nilpotent and may be embedded into subalgebras that are isomorphic to $\mathfrak{osp}(1|2)$, a simple Lie superalgebra whose underlying Lie algebra is $\mathfrak{sl}_2$. Balanced odd elements, on the other hand, are a natural generalization of the notion of a self-commuting element (an element $x\in Lie(G)_{\bar 1}$ for which $[x,x]=0$). Balanced elements are used to define homology-type functors on the category of representations of $G$. We show that any element $x\in Lie(G)_{\bar 1}$ may be written as a sum of a neat and a balanced odd element which commute with each other. This theorem has a categorical application. Let $\mathfrak{g}^{(1|1)}$ be the $(1|1)$-dimensional Lie superalgebra generated by $x \in Lie(G)_{\bar 1}$. The semisimplification of the category of finite-dimensional super-representations of $\mathfrak{g}^{(1|1)}$ is a functor $S: Rep(\mathfrak{g}^{(1|1)}) \to Rep(SOSp(1|2))$. Any $x\in Lie(G)_{\bar 1}$ induces a homomorphism $ i_x:\mathfrak{g}^{(1|1)}\to Lie(G)$. Let $$Φ_x=S\circ (-)\downarrow_{i_x}:Rep(G)\to Rep(SOSp(1|2))$$ be the composition of the restriction functor $(-)\downarrow_{i_x}$ and the functor $S $. We show that the functor $Φ_x$ may be described explicitly using the homology-type functor $Φ_{x_{bal}}$ corresponding to the balanced part of $x$ in the above decomposition. These homology-type functors are known as Duflo-Serganova functors. Finally, we provide a full classification of distinguished odd elements in simple quasi-reductive Lie superalgebras and show that in all cases except $\mathfrak{spe}(n)$, such elements are either balanced or neat.

math.RT

Classification of irreducible real modules of real Lie superalgebras

We classify irreducible finite-dimensional modules of a collection of real Lie superalgebras that includes the simple ones, their classical variants, complex Lie superalgebras after restriction of scalars, and all real Lie algebras. Our strategy is to reduce this classification to determining the orbits of the parity and conjugation functors on irreducible modules of the complexifications of the aforementioned algebras. Then we provide explicit results for the computation of these orbits. For Lie superalgebras of basic type or of type $\mathbf Q(n)$, our classification applies to any highest-weight parametrization of irreducible complex modules with respect to an arbitrary Borel subalgebra. As a consequence, in the special case of real simple Lie algebras we obtain a new perspective on the classification of real simple modules and establish a conceptual connection with Kostant's cascade of strongly orthogonal roots.

math.RT

Jacobson-Morozov Lemma for Algebraic Supergroups

Given a quasi-reductive algebraic supergroup $G$, we use the theory of semisimplifications of symmetric monoidal categories to define a symmetric monoidal functor $Φ_x: Rep(G) \to Rep(OSp(1|2))$ associated to any given element $x \in \mathrm{Lie}(G)_{\bar 1}$. For nilpotent elements $x$, we show that the functor $Φ_x$ can be defined using the Deligne filtration associated to $x$. We use this approach to prove an analogue of the Jacobson-Morozov Lemma for algebraic supergroups. Namely, we give a necessary and sufficient condition on odd nilpotent elements $x\in \mathrm{Lie}(G)_{\bar 1}$ which define an embedding of supergroups $OSp(1|2)\to G$ so that $x$ lies in the image of the corresponding Lie algebra homomorphism.

math.RT

Around the center

The center of a semisimple Lie algebra can be described as the algebra of W-invariant functions on the dual of the Cartan subalgebra. The centers of many Lie superalgebras have a similar description, but the defining equivalence relation on the dual of the Cartan subalgebra is not given by a finite group action. Lagrangian equivalence relations that we introduce generalize the action of a subgroup of the orthogonal group. Using them, we present a new proof of a result by Ian Musson about the centers of Lie superalgebras. Our proof is not based on a case-by-case analysis.

math.RT

Special modules over Jordan algebras

In this paper we study special representations of finite-dimensional Jordan algebra $J$ whose $Rad^2 J=0$. For each Jordan algebra $J$ of this class we consider its Tits-Kantor-Koecher construction $TKK(J)$ and then associate to the latter a quiver with relations $Q$ such that the category of representations of $Q$ is isomorphic to the category of special representations of $J$.

math.RT

Almost inner derivations of Lie superalgebras

An almost inner derivation of a Lie algebra $L$ is a derivation that coincides with an inner derivation on each one-dimensional subspace of $L$. The almost inner derivations form a subalgebra ${aDer}(L)$ of the Lie algebra ${Der}(L)$ of all derivations of $L$, containing the inner derivations ${iDer}(L)$ as an ideal. If $L$ is a simple finite-dimensional Lie algebra, then ${aDer}(L)={iDer}(L)$, since all derivations of $L$ are inner. In this paper, we introduce and study almost inner derivations derivations of Lie superalgebras. Since simple Lie superalgebras may admit non-inner outer derivations, the existence of non-inner almost inner derivations becomes a nontrivial question. Nevertheless, we show that all almost inner derivations of finite-dimensional simple Lie superalgebras over $\mathbb C$ are inner. We also give examples of naturally occurring non-inner almost inner derivations derivations of some pseudo-reductive Lie superalgebras related to the Sato-Kimura classification of prehomogeneous vector spaces.

math.RA

Towards the Green correspondence for supergroups

We prove a version of the Green correspondence for complex algebraic supergroups, constructing a correspondence between certain indecomposable representations of G and the normalizer of a Sylow subgroup of G.

math.RT

Localization theorem for homological vector fields

We present a general theorem which computes the cohomology of a homological vector field on global sections of vector bundles over smooth affine supervarieties. The hypotheses and results have the clear flavor of a localization theorem.

math.RT

On the Jucys-Murphy method and fusion procedure for the Sergeev superalgebra

We use the Jucys-Murphy elements to construct a complete set of primitive idempotents for the Sergeev superalgebra ${\mathcal S}_n$. We produce seminormal forms for the simple modules over ${\mathcal S}_n$ and over the spin symmetric group algebra with explicit constructions of basis vectors. We show that the idempotents can also be obtained from a new version of the fusion procedure.

math.RT

On the Grothendieck ring of a quasireductive Lie superalgebra

Given a Lie superalgebra $\mathfrak{g}$ and a maximal quasitoral subalgebra $\mathfrak{h}$, we consider properties of restrictions of $\mathfrak{g}$-modules to $\mathfrak{h}$. This is a natural generalization of the study of characters in the case when $\mathfrak{h}$ is an even maximal torus. We study the case of $\mathfrak{g}=\mathfrak{q}_n$ with $\mathfrak{h}$ a Cartan subalgebra, and prove several special properties of the restriction in this case, including an explicit realization of the $\mathfrak{h}$-supercharacter ring.

math.RT

Restriction Theorems and Root Systems for Symmetric Superspaces

In this paper we consider those involutions $θ$ of a finite-dimensional Kac-Moody Lie superalgebra $\mathfrak g$, with associated decomposition $\mathfrak g=\mathfrak k\oplus\mathfrak p$, for which a Cartan subspace $\mathfrak a$ in $\mathfrak p_{\bar 0}$ is self-centralizing in $\mathfrak p$. For such $θ$ the restriction map $C_θ$ from $\mathfrak p$ to $\mathfrak a$ is injective on the algebra $P(\mathfrak p)^{\mathfrak k}$ of $\mathfrak k$-invariant polynomials on $\mathfrak p$. There are five infinite families and five exceptional cases of such involutions, and for each case we explicitly determine the structure of $P(\mathfrak p)^{\mathfrak k}$ by giving a complete set of generators for the image of $C_θ$. We also determine precisely when the restriction map $R_θ$ from $P(\mathfrak g)^{\mathfrak g}$ to $P(\mathfrak p)^{\mathfrak k}$ is surjective. Finally we introduce the notion of a generalized restricted root system, and show that in the present setting the $\mathfrak a$-roots $Δ(\mathfrak a,\mathfrak g)$ always form such a system.

math.RT

Root groupoid and related Lie superalgebras

We introduce a notion of a root groupoid as a replacement of the notion of Weyl group for (Kac-Moody) Lie superalgebras. The objects of the root groupoid classify certain root data, the arrows are defined by generators and relations. As an abstract groupoid the root groupoid has many connected components and we show that to some of them one can associate an interesting family of Lie superalgebras which we call root superalgebras. We classify root superalgebras satisfying some additional assumptions. To each root groupoid component we associate a graph (called skeleton) generalizing the Cayley graph of the Weyl group. We establish the Coxeter property of the skeleton generalizing in this way the fact that the Weyl group of a Kac-Moody Lie algebra is Coxeter.

math.RT

Matsumoto theorem for skeleta

We present a proof of a generalization of the theorem of H.~Matsumoto on Coxeter groups. Our generalized version is applicable to "graphs admitting geometric realization". The original version of the theorem for Coxeter groups is a special case when applied to the Cayley graph and the geometric representation of a Coxeter group. Our version of Matsumoto theorem is also applicable to skeleta, graphs that were defined in the recent paper by the authors on root Lie superalgebras.

math.RT

Sylow theorems for supergroups

We introduce Sylow subgroups and $0$-groups to the theory of complex algebraic supergroups, which mimic Sylow subgroups and $p$-groups in the theory of finite groups. We prove that Sylow subgroups are always $0$-groups, and show that they are unique up to conjugacy. Further, we give an explicit classification of $0$-groups which will be very useful for future applications. Finally, we prove an analogue of Sylow's third theorem on the number of Sylow subgroups of a supergroup.

math.RT

On representations of the Lie superalgebra p(n)

We introduce a new way to study representations of the Lie superalgebra $p(n)$. Since the center of the universal enveloping algebra $U$ acts trivially on all irreducible representations, we suggest to study the quotient algebra $\bar{U}$ by the radical of $U$. We show that $\bar{U}$ has a large center which separates typical finite dimensional irreducible representations. We give a description of $\bar{U}$ factored by a generic central character. Using this description we obtain character formulae of generic (infinite-dimensional) irreducible representations. We also describe some geometric properties of the supervariety $Spec Gr \bar{U}$ in the coadjoint representation.

math.RT

Quasireductive supergroups

We call an affine algebraic supergroup quasireductive if its underlying algebraic group is reductive. We obtain some results about the structure and representations of reductive supergroups.

math.RT

The Duflo-Serganova functor, vingt ans après

We review old and new results concerning the $DS$ functor and associated varieties for Lie superalgebras. These notions were introduced in the unpublished manuscript arXiv:math/0507198 by Michel Duflo and the third author. This paper includes the results and proofs of the original manuscript, as well as a survey of more recent results.

math.RT