Good gradings of basic Lie superalgebras

We classify good ?-gradings of basic Lie superalgebras over an algebraically closed field $\mathbb{F}$ of characteristic zero. Good ?-gradings are used in quantum Hamiltonian reduction for affine Lie superalgebras, where they play a role in the construction of super W-algebras. We also describe the centralizer of a nilpotent even element and of an $\mathfrak{s}\mathfrak{l}_2$ -triple in $\mathfrak{g}\mathfrak{l}\left( {\left. m \right|n} \right)$ and $\mathfrak{o}\mathfrak{s}\mathfrak{p}\left( {\left. m \right|2n} \right)$ .     

Categories of bounded \left( {\mathfrak{sp}\left( {{{\mathrm{S}}^2}V \oplus {{\mathrm{S}}^2}{V^{*}}} \right),\;\mathfrak{gl}(V)} \right) - and \left( {\mathfrak{sp}\left( {{\varLambda^2}V \oplus {\varLambda^2}{V^{*}}} \right),\;\mathfrak{gl}(V)} \right) -modules

Let $ \mathfrak{g} $ be a reductive Lie algebra over $ \mathbb{C} $ and $ \mathfrak{k} \subset \mathfrak{g} $ be a reductive in $ \mathfrak{g} $ subalgebra. We call a $ \mathfrak{g} $ -module M a $ \left( {\mathfrak{g}{\hbox{,}}\;\mathfrak{k}} \right) $ -module whenever M is a direct sum of finite-dimensional $ \mathfrak{k} $ -modules. We call a $ \left( {\mathfrak{g}{\hbox{,}}\;\mathfrak{k}} \right) $ -module M bounded if there exists $ {C_M} \in {\mathbb{Z}_{{ \geqslant 0}}} $ such that for any simple finite-dimensional $ \mathfrak{k} $ -module E the dimension of the E-isotypic component is not greater than C _M dim E. Bounded $ \left( {\mathfrak{g}{\hbox{,}}\;\mathfrak{k}} \right) $ -modules form a subcategory of the category of $ \mathfrak{g} $ -modules. Let V be a finite-dimensional vector space. We prove that the categories of bounded $ \left( {\mathfrak{sp}\left( {{{\mathrm{S}}^2}V \oplus {{\mathrm{S}}^2}{V^{*}}} \right),\;\mathfrak{gl}(V)} \right) $ - and $ \left( {\mathfrak{sp}\left( {{\varLambda^2}V \oplus {\varLambda^2}{V^{*}}} \right),\;\mathfrak{gl}(V)} \right) $ -modules are isomorphic to the direct sum of countably many copies of the category of representations of some explicitly described quiver with relations under some mild assumptions on the dimension of V .     

Stable cohomology of alternating groups

We determine the stable cohomology groups ( $H_S^i \left( {{{\mathfrak{A}_n ,\mathbb{Z}} \mathord{\left/ {\vphantom {{\mathfrak{A}_n ,\mathbb{Z}} {p\mathbb{Z}}}} \right. \kern-0em} {p\mathbb{Z}}}} \right)$ of the alternating groups $\mathfrak{A}_n$ for all integers n and i, and all odd primes p.     

A decomposition of the universal embedding space for the near polygon {{\mathbb H}_n}

Let ${{\mathbb H}_n, n \geq 1}$ , be the near 2n-gon defined on the 1-factors of the complete graph on 2n?+?2 vertices, and let e denote the absolutely universal embedding of ${{\mathbb H}_n}$ into PG(W), where W is a ${\frac{1}{n+2} \left(\begin{array}{c}2n+2 \\ n+1\end{array}\right)}$ -dimensional vector space over the field ${{\mathbb F}_2}$ with two elements. For every point z of ${{\mathbb H}_n}$ and every ${i \in {\mathbb N}}$ , let Δ _i (z) denote the set of points of ${{\mathbb H}_n}$ at distance i from z. We show that for every pair {x, y} of mutually opposite points of ${{\mathbb H}_n, W}$ can be written as a direct sum ${W_0 \oplus W_1 \oplus \cdots \oplus W_n}$ such that the following four properties hold for every ${i \in \{0,\ldots,n \}}$ : (1) ${\langle e(\Delta_i(x) \cap \Delta_{n-i}(y)) \rangle = {\rm PG}(W_i)}$ ; (2) ${\left\langle e \left( \bigcup_{j \leq i} \Delta_j(x) \right) \right\rangle = {\rm PG}(W_0 \oplus W_1 \oplus \cdots \oplus W_i)}$ ; (3) ${\left\langle e \left( \bigcup_{j \leq i} \Delta_j(y) \right) \right\rangle = {\rm PG}(W_{n-i}\oplus W_{n-i+1} \oplus \cdots \oplus W_n)}$ ; (4) ${\dim(W_i) = |\Delta_i(x) \cap \Delta_{n-i}(y)| = \left(\begin{array}{c}n \\ i\end{array}\right)^2 - \left(\begin{array}{c}n \\ i-1\end{array}\right) \cdot \left(\begin{array}{c}n \\ i+1\end{array}\right)}$ .     

Cartan Invariants in the Category of Restricted Representation for gl（m｜n）

Let k be an algebraically closed field of characteristic p 〉 2, and gl（m｜n） be the general linear Lie superalgebra over k. The Cartan invariants for the restricted supermodule category for gl（m｜n） are presented.     

Representation of cyclotomic fields and their subfields

Let $\mathbb{K}$ be a finite extension of a characteristic zero field $\mathbb{F}$ . We say that a pair of n × n matrices (A,B) over $\mathbb{F}$ represents $\mathbb{K}$ if $\mathbb{K} \cong {{\mathbb{F}\left[ A \right]} \mathord{\left/ {\vphantom {{\mathbb{F}\left[ A \right]} {\left\langle B \right\rangle }}} \right. \kern-0em} {\left\langle B \right\rangle }}$ , where $\mathbb{F}\left[ A \right]$ denotes the subalgebra of $\mathbb{M}_n \left( \mathbb{F} \right)$ containing A and 〈B〉 is an ideal in $\mathbb{F}\left[ A \right]$ , generated by B. In particular, A is said to represent the field $\mathbb{K}$ if there exists an irreducible polynomial $q\left( x \right) \in \mathbb{F}\left[ x \right]$ which divides the minimal polynomial of A and $\mathbb{K} \cong {{\mathbb{F}\left[ A \right]} \mathord{\left/ {\vphantom {{\mathbb{F}\left[ A \right]} {\left\langle {q\left( A \right)} \right\rangle }}} \right. \kern-0em} {\left\langle {q\left( A \right)} \right\rangle }}$ . In this paper, we identify the smallest order circulant matrix representation for any subfield of a cyclotomic field. Furthermore, if p is a prime and $\mathbb{K}$ is a subfield of the p-th cyclotomic field, then we obtain a zero-one circulant matrix A of size p × p such that (A, J) represents $\mathbb{K}$ , where J is the matrix with all entries 1. In case, the integer n has at most two distinct prime factors, we find the smallest order 0, 1-companion matrix that represents the n-th cyclotomic field. We also find bounds on the size of such companion matrices when n has more than two prime factors.     

A commutant realization of Odake’s algebra

The bcβγ-system $ \mathcal{W} $ of rank 3 has an action of the affine vertex algebra $ {V_0}\left( {\mathfrak{s}{{\mathfrak{l}}_2}} \right) $ , and the commutant vertex algebra $ \mathcal{C}=\mathrm{Com}\left( {{V_0}\left( {\mathfrak{s}{{\mathfrak{l}}_2}} \right),\mathcal{W}} \right) $ contains copies of V _?3/2 $ \left( {\mathfrak{s}{{\mathfrak{l}}_2}} \right) $ and Odake’s algebra $ \mathcal{O} $ . Odake’s algebra is an extension of the N = 2 super-conformal algebra with c = 9, and is generated by eight fields which close nonlinearly under operator product expansions. Our main result is that V _?3/2 $ \left( {\mathfrak{s}{{\mathfrak{l}}_2}} \right) $ and $ \mathcal{O} $ form a Howe pair (i.e., a pair of mutual commutants) inside $ \mathcal{C} $ . More generally, any finite-dimensional representation of a Lie algebra $ \mathfrak{g} $ gives rise to a similar Howe pair, and this example corresponds to the adjoint representation of $ \mathfrak{s}{{\mathfrak{l}}_2} $ .     

On p-tuples of the Grassmann manifolds

We provide a matrix invariant for isometry classes of p-tuples of points in the Grassmann manifold ${G_{n}\left(\mathbb{K}^{d}\right) }$ ( ${\mathbb{K=\mathbb{R}}}$ or ${\mathbb{C}}$ ). This invariant fully characterizes the p-tuple. We use it to classify the regular p-tuples of ${G_{2}\left(\mathbb{R}^{d}\right) }$ , ${G_{3}\left( \mathbb{R}^{d}\right) }$ and ${G_{2}\left( \mathbb{C}^{d}\right) }$ .     

Bethe subalgebras of the group algebra of the symmetric group

We introduce families $ \mathcal{B}_n^S\left( {{z_1},\ldots,{z_n}} \right) $ and $ \mathcal{B}_{{n,\hbar}}^S\left( {{z_1},\ldots,{z_n}} \right) $ of maximal commutative subalgebras, called Bethe subalgebras, of the group algebra $ \mathbb{C}\left[ {\mathfrak{S}n} \right] $ of the symmetric group. Bethe subalgebras are deformations of the Gelfand?Zetlin subalgebra of $ \mathbb{C}\left[ {\mathfrak{S}n} \right] $ . We describe various properties of Bethe subalgebras.     

Differentiable vectors and unitary representations of Fréchet–Lie supergroups

A locally convex Lie group G has the Trotter property if, for every $x_1, x_2 \in \mathfrak{g }$ , $$\begin{aligned} \exp _G(t(x_1 + x_2))=\lim _{n \rightarrow \infty } \left(\exp _G\left(\frac{t}{n}x_1\right)\exp _G\left(\frac{t}{n}x_2\right)\right)^n \end{aligned}$$ holds uniformly on compact subsets of $\mathbb{R }$ . All locally exponential Lie groups have this property, but also groups of automorphisms of principal bundles over compact smooth manifolds. A key result of the present article is that, if G has the Trotter property, $\pi : G \rightarrow {\mathrm{GL}}(V)$ is a continuous representation of G on a locally convex space, and $v \in V$ is a vector such that $\overline{\mathtt{d}\pi }(x)v :=\frac{d}{dt}|_{t=0} \pi (\exp _G(tx))v$ exists for every $x \in \mathfrak{g }$ , then the map $\mathfrak{g }\rightarrow V,x \mapsto \overline{\mathtt{d}\pi }(x)v$ is linear. Using this result we conclude that, for a representation of a locally exponential Fréchet–Lie group G on a metrizable locally convex space, the space of $\mathcal{C }^{k}$ -vectors coincides with the common domain of the k-fold products of the operators $\overline{\mathtt{d}\pi }(x)$ . For unitary representations on Hilbert spaces, the assumption of local exponentiality can be weakened to the Trotter property. As an application, we show that for smooth (resp., analytic) unitary representations of Fréchet–Lie supergroups $(G,\mathfrak{g })$ where G has the Trotter property, the common domain of the operators of $\mathfrak{g }=\mathfrak{g }_{\overline{0}}\oplus \mathfrak{g }_{\overline{1}}$ can always be extended to the space of smooth (resp., analytic) vectors for G.     

A Construction of Generalized Harish-Chandra Modules for Locally Reductive Lie Algebras

We study cohomological induction for a pair $ {\left( {\mathfrak{g},\mathfrak{k}} \right)} $ , $ \mathfrak{g} $ being an infinitedimensional locally reductive Lie algebra and $ \mathfrak{k} \subset \mathfrak{g} $ being of the form $ \mathfrak{k}_{0} \subset C_{\mathfrak{g}} {\left( {\mathfrak{k}_{0} } \right)} $ , where $ \mathfrak{k}_{0} \subset \mathfrak{g} $ is a finite-dimensional reductive in $ \mathfrak{g} $ subalgebra and $ C_{\mathfrak{g}} {\left( {\mathfrak{k}_{0} } \right)} $ is the centralizer of $ \mathfrak{k}_{0} $ in $ \mathfrak{g} $ . We prove a general nonvanishing and $ \mathfrak{k} $ -finiteness theorem for the output. This yields, in particular, simple $ {\left( {\mathfrak{g},\mathfrak{k}} \right)} $ -modules of finite type over k which are analogs of the fundamental series of generalized Harish-Chandra modules constructed in [PZ1] and [PZ2]. We study explicit versions of the construction when $ \mathfrak{g} $ is a root-reductive or diagonal locally simple Lie algebra.     

Permanent Versus Determinant over a Finite Field

Let $ \mathbb{F} $ be a finite field of characteristic different from 2. We study the cardinality of sets of matrices with a given determinant or a given permanent for the set of Hermitian matrices $ {{\mathcal{H}}_n}\left( \mathbb{F} \right) $ and for the whole matrix space M _n ( $ \mathbb{F} $ ). It is known that for n = 2, there are bijective linear maps Φ on $ {{\mathcal{H}}_n}\left( \mathbb{F} \right) $ and M _n ( $ \mathbb{F} $ ) satisfying the condition per A = det Φ(A). As an application of the obtained results, we show that if n ≥ 3, then the situation is completely different and already for n = 3, there is no pair of maps (Φ, ?), where Φ is an arbitrary bijective map on matrices and ? : $ \mathbb{F} $ → $ \mathbb{F} $ is an arbitrary map such that per A = ?(det Φ(A)) for all matrices A from the spaces $ {{\mathcal{H}}_n}\left( \mathbb{F} \right) $ and M _n ( $ \mathbb{F} $ ), respectively. Moreover, for the space M _n ( $ \mathbb{F} $ ), we show that such a pair of transformations does not exist also for an arbitrary n > 3 if the field $ \mathbb{F} $ contains sufficiently many elements (depending on n). Our results are illustrated by a number of examples.     

The geometric meaning of Zhelobenko operators

Let $ \mathfrak{g} $ be the complex semisimple Lie algebra associated to a complex semisimple algebraic group G, $ \mathfrak{b} $ a Borel subalgebra of $ \mathfrak{g} $ , $ \mathfrak{h}\subset \mathfrak{b} $ the Cartan sublagebra, and N ? G the unipotent subgroup corresponding to the nilradical $ \mathfrak{n}\subset \mathfrak{b} $ . We show that the explicit formula for the extremal projection operator for $ \mathfrak{g} $ obtained by Asherova, Smirnov, and Tolstoy and similar formulas for Zhelobenko operators are related to the existence of a birational equivalence $ N\times \mathfrak{h}\to \mathfrak{b} $ given by the restriction of the adjoint action. Simple geometric proofs of formulas for the “classical” counterparts of the extremal projection operator and of Zhelobenko operators are also obtained.     

Lattice-theoretic characterizations of the group classes {\mathfrak{N}^{k-1}\mathfrak{A}} and {\mathfrak{N}^k} for k?�� 2

Let ${2\leq k\in \mathbb{N}}$ . Recently, Costantini and Zacher obtained a lattice-theoretic characterization of the classes ${\mathfrak{N}^k}$ of finite soluble groups with nilpotent length at most k. It is the aim of this paper to give a lattice-theoretic characterization of the classes ${\mathfrak{N}^{k-1}\mathfrak{A}}$ of finite groups with commutator subgroup in ${\mathfrak{N}^{k-1}}$ ; in addition, our method also yields a new characterization of the classes ${\mathfrak{N}^k}$ . The main idea of our approach is to use two well-known theorems of Gaschütz on the Frattini and Fitting subgroups of finite groups.     

Compatible Adapted Pairs and a Common Slice Theorem for Some Centralizers

Let $ \mathfrak{g} $ be a simple Lie algebra and $ x \in \mathfrak{g} $ nilpotent. We derive a criterion for when the G-orbits in $ \mathfrak{g}* $ and the G ^x -orbits in $ {\left( {\mathfrak{g}^{x} } \right)}^{*} $ admit a common slice, applicable (in principle) when x is of Bala–Carter type. When $ \mathfrak{g} $ is of type A, or if x is the highest root vector with g not of type E₈, we show that this criterion is satisfied. In these cases we also show that the Mishchenko–Fomenko shift of argument produces a maximal Poisson commutative polynomial subalgebra of $ S{\left( {\mathfrak{g}^{x} } \right)} $ which maps isomorphically by restriction of functions to an affine translate of a subspace of $ {\left( {\mathfrak{g}^{x} } \right)}^{*} $ . It is conjectured that the above criterion is satisfied when the dimensions of certain weights spaces, which can be computed purely combinatorially, are decreasing.     

MULTIPLICITY-FREE PRIMITIVE IDEALS ASSOCIATED WITH RIGID NILPOTENT ORBITS

Let G be a simple algebraic group defined over ?. Let e be a nilpotent element in $ \mathfrak{g} $ = Lie(G) and denote by U ( $ \mathfrak{g} $ , e) the finite W-algebra associated with the pair ( $ \mathfrak{g} $ , e). It is known that the component group Γ of the centraliser of e in G acts on the set ? of all one-dimensional representations of U ( $ \mathfrak{g} $ , e). In this paper we prove that the fixed point set ?^Γ is non-empty. As a corollary, all finite W-algebras associated with $ \mathfrak{g} $ admit one-dimensional representations. In the case of rigid nilpotent elements in exceptional Lie algebras we find irreducible highest weight $ \mathfrak{g} $ -modules whose annihilators in U ( $ \mathfrak{g} $ ) come from one-dimensional representations of U ( $ \mathfrak{g} $ , e) via Skryabin’s equivalence. As a consequence, we show that for any nilpotent orbit $ \mathcal{O} $ in $ \mathfrak{g} $ there exists a multiplicity-free (and hence completely prime) primitive ideal of U ( $ \mathfrak{g} $ ) whose associated variety equals the Zariski closure of $ \mathcal{O} $ in $ \mathfrak{g} $ .     

A class of subelliptic quasilinear equations

Suppose $\mathfrak {X} = \{X_1, X_2, \ldots,\,X_m\}$ is a system of real smooth vector fields on an open neighbourhood Ω of the closure of a bounded connected open set M in $\mathbb {R}^N$ satisfying the finite rank condition of Hörmander, namely the rank of the Lie algebra generated by $\mathfrak {X}$ under the usual bracket operation is a constant equal to N. We study the smoothness of solutions of a class of quasilinear equations of the form $$Q_{\mathfrak {X}}u = \sum _{j=1}^m X_j^*a_j(x, u, Xu) +b (x, u, Xu) = 0$$ where $a_j,\,b \in C^{\infty}(\Omega \times \mathbb {R} \times \mathbb {R}^m; \mathbb {R})$ . It is shown that if the matrix $\left({\frac {\partial a_j}{\partial \xi_i}}\right)$ is positive definite on $M \times \mathbb {R}^{m+1}$ then any weak solution $u \in \mathcal {C}^{2,\alpha}(M, \mathfrak {X})$ belongs to C ^∞(M).     

On the Equivariant Cohomology of Subvarieties of a \mathfrak{B}-Regular Variety

By a $\mathfrak{B}$ -regular variety, we mean a smooth projective variety over $\mathbb{C}$ admitting an algebraic action of the upper triangular Borel subgroup $\mathfrak{B} \subset {\text{SL}}_{2} {\left( \mathbb{C} \right)}$ such that the unipotent radical in $\mathfrak{B}$ has a unique fixed point. A result of Brion and the first author [4] describes the equivariant cohomology algebra (over $\mathbb{C}$ ) of a $\mathfrak{B}$ -regular variety X as the coordinate ring of a remarkable affine curve in $X \times \mathbb{P}^{1}$ . The main result of this paper uses this fact to classify the $\mathfrak{B}$ -invariant subvarieties Y of a $\mathfrak{B}$ -regular variety X for which the restriction map i _Y : H ^*(X) → H ^*(Y) is surjective.