Supports of (\mathfrak{g},\mathfrak{k})-modules of finite type

Let $\mathfrak{g}$ be a semisimple Lie algebra and $\mathfrak{k}$ be a reductive subalgebra in $\mathfrak{g}$ . We say that a $\mathfrak{g}$ -module M is a $(\mathfrak{g},\mathfrak{k})$ -module if M, considered as a $\mathfrak{k}$ -module, is a direct sum of finite-dimensional $\mathfrak{k}$ -modules. We say that a $(\mathfrak{g},\mathfrak{k})$ -module M is of finite type if all $\mathfrak{k}$ -isotopic components of M are finite-dimensional. In this paper we prove that any simple $(\mathfrak{g},\mathfrak{k})$ -module of finite type is holonomic. A simple $\mathfrak{g}$ -module M is associated with the invariants V(M), V(LocM), and L(M) reflecting the ??directions of growth of M.?? We also prove that for a given pair $(\mathfrak{g},\mathfrak{k})$ the set of possible invariants is finite.     

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 .     

Boundedness and Compactness of Pseudodifferential Operators with Non-Regular Symbols on Weighted Lebesgue Spaces

Applying the boundedness on weighted Lebesgue spaces of the maximal singular integral operator S _* related to the Carleson?CHunt theorem on almost everywhere convergence, we study the boundedness and compactness of pseudodifferential operators a(x, D) with non-regular symbols in ${L^\infty(\mathbb{R}, V(\mathbb{R})), PC(\overline{\mathbb{R}}, V(\mathbb{R}))}$ and ${\Lambda_\gamma(\mathbb{R}, V_d(\mathbb{R}))}$ on the weighted Lebesgue spaces ${L^p(\mathbb{R},w)}$ , with 1?< p <? ?? and ${w\in A_p(\mathbb{R})}$ . The Banach algebras ${L^\infty(\mathbb{R}, V(\mathbb{R}))}$ and ${PC(\overline{\mathbb{R}}, V(\mathbb{R}))}$ consist, respectively, of all bounded measurable or piecewise continuous ${V(\mathbb{R})}$ -valued functions on ${\mathbb{R}}$ where ${V(\mathbb{R})}$ is the Banach algebra of all functions on ${\mathbb{R}}$ of bounded total variation, and the Banach algebra ${\Lambda_\gamma(\mathbb{R}, V_d(\mathbb{R}))}$ consists of all Lipschitz ${V_d(\mathbb{R})}$ -valued functions of exponent ${\gamma \in (0,1]}$ on ${\mathbb{R}}$ where ${V_d(\mathbb{R})}$ is the Banach algebra of all functions on ${\mathbb{R}}$ of bounded variation on dyadic shells. Finally, for the Banach algebra ${\mathfrak{A}_{p,w}}$ generated by all pseudodifferential operators a(x, D) with symbols ${a(x, \lambda) \in PC(\overline{\mathbb{R}}, V(\mathbb{R}))}$ on the space ${L^p(\mathbb{R}, w)}$ , we construct a non-commutative Fredholm symbol calculus and give a Fredholm criterion for the operators ${A \in \mathfrak{A}_{p,w}}$ .     

Yangians and quantum loop algebras

Let $\mathfrak{g }$ be a complex, semisimple Lie algebra. Drinfeld showed that the quantum loop algebra $U_\hbar (L\mathfrak g )$ of $\mathfrak{g }$ degenerates to the Yangian ${Y_\hbar (\mathfrak g )}$ . We strengthen this result by constructing an explicit algebra homomorphism $\Phi $ from $U_\hbar (L\mathfrak g )$ to the completion of ${Y_\hbar (\mathfrak g )}$ with respect to its grading. We show moreover that $\Phi $ becomes an isomorphism when ${U_\hbar (L\mathfrak g )}$ is completed with respect to its evaluation ideal. We construct a similar homomorphism for $\mathfrak{g }=\mathfrak{gl }_n$ and show that it intertwines the actions of $U_\hbar (L\mathfrak gl _{n})$ and $Y_\hbar (\mathfrak gl _{n})$ on the equivariant $K$ -theory and cohomology of the variety of $n$ -step flags in ${\mathbb{C }}^d$ constructed by Ginzburg–Vasserot.     

Finite dimensional irreducible representations of finite W-algebras associated to even multiplicity nilpotent orbits in classical Lie algebras

We consider finite W-algebras ${U(\mathfrak{g},e)}$ associated to even multiplicity nilpotent elements in classical Lie algebras. We give a classification of finite dimensional irreducible ${U(\mathfrak{g},e)}$ -modules with integral central character in terms of the highest weight theory from Brundan et al. (Int. Math. Res. Notices 15, art. ID rnn051, 2008). As a corollary, we obtain a parametrization of primitive ideals of ${U(\mathfrak{g})}$ with associated variety the closure of the adjoint orbit of e and integral central character.     

Cohomology and Support Varieties for Restricted Lie Superalgebras

Let $(\mathfrak{g}, [p]) $ be a restricted Lie superalgebra over an algebraically closed field k of characteristic p?>?2. Let $\mathfrak{u}(\mathfrak{g})$ denote the restricted enveloping algebra of $\mathfrak{g}$ . In this paper we prove that the cohomology ring $\operatorname{H}^\bullet(\mathfrak{u}(\mathfrak{g}), k)$ is finitely generated. This allows one to define support varieties for finite dimensional $\mathfrak{u}(\mathfrak{g})$ -supermodules. We also show that support varieties for finite dimensional $\mathfrak{u}(\mathfrak{g})$ - supermodules satisfy the desirable properties of a support variety theory.     

Irreducible representations of the classical Lie superalgebra of type A(0,n) in prime characteristic

Let $\mathfrak{g }=\mathfrak{s }\mathfrak{l }(1|n+1)$ be the classical Lie superalgebra of type $A(0,n)$ over an algebraically closed field of prime characteristic $p>2$ . A sufficient condition is provided for baby Kac $\mathfrak{g }$ -modules to be simple. Moreover, simple $\mathfrak{g }$ -modules with (quasi) regular semisimple characters are classified. In particular, up to isomorphism, all the simple modules for $\mathfrak{s }\mathfrak{l }(1|2)$ are determined, and representatives and dimensions of simples are precisely given. As an application, simple modules for the general linear Lie superalgebra $\mathfrak{g }\mathfrak{l }(1|n+1)$ with certain $p$ -characters are classified. In particular, a complete classification of simple $\mathfrak{g }\mathfrak{l }(1|2)$ -modules is given.     

On the annihilators and attached primes of top local cohomology modules

Let ${\mathfrak{a}}$ be an ideal of a commutative Noetherian ring R and M a finitely generated R-module. It is shown that ${{\rm Ann}_R(H_{\mathfrak{a}}^{{\rm dim} M}(M))= {\rm Ann}_R(M/T_R(\mathfrak{a}, M))}$ , where ${T_R(\mathfrak{a}, M)}$ is the largest submodule of M such that ${{\rm cd}(\mathfrak{a}, T_R(\mathfrak{a}, M)) < {\rm cd}(\mathfrak{a}, M)}$ . Several applications of this result are given. Among other things, it is shown that there exists an ideal ${\mathfrak{b}}$ of R such that ${{\rm Ann}_R(H_{\mathfrak{a}}^{{\rm dim} M}(M))={\rm Ann}_R(M/H_{\mathfrak{b}}^{0}(M))}$ . Using this, we show that if ${ H_{\mathfrak{a}}^{{\rm dim} R}(R)=0}$ , then ${{{\rm Att}_R} H^{{\rm dim} R-1}_{\mathfrak a}(R)= \{\mathfrak{p} \in {\rm Spec} R | \,{\rm cd}(\mathfrak{a}, R/\mathfrak{p}) = {\rm dim} R-1\}.}$ These generalize the main results of Bahmanpour et al. (see [2, Theorem 2.6]), Hellus (see [7, Theorem 2.3]), and Lynch (see [10, Theorem 2.4]).     

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.     

Algebras of Convolution Type Operators with Piecewise Slowly Oscillating Data. II: Local Spectra and Fredholmness

Let ${\mathcal{B}_{p,w}}$ be the Banach algebra of all bounded linear operators acting on the weighted Lebesgue space ${L^p(\mathbb{R},w)}$ , where ${p\in(1,\infty)}$ and w is a Muckenhoupt weight. We study the Banach subalgebra ${\mathfrak{U}_{p,w}}$ of ${\mathcal{B}_{p,w}}$ generated by all multiplication operators aI ( ${a\in PSO^\diamond}$ ) and all convolution operators W ⁰(b) ( ${b\in PSO_{p,w}^\diamond}$ ), where ${PSO^\diamond\subset L^\infty(\mathbb{R})}$ and ${PSO_{p,w}^\diamond\subset M_{p,w}}$ are algebras of piecewise slowly oscillating functions that admit piecewise slowly oscillating discontinuities at arbitrary points of ${\mathbb{R}\cup\{\infty\}}$ , and M _p,w is the Banach algebra of Fourier multipliers on ${L^p(\mathbb{R},w)}$ . Under some conditions on the Muckenhoupt weight w, using results of the local study of ${\mathfrak{U}_{p,w}}$ obtained in the first part of the paper and applying the theory of Mellin pseudodifferential operators and the two idempotents theorem, we now construct a Fredholm symbol calculus for the Banach algebra ${\mathfrak{U}_{p,w}}$ and establish a Fredholm criterion for the operators ${A\in\mathfrak{U}_{p,w}}$ in terms of their Fredholm symbols. In four partial cases we obtain for ${\mathfrak{U}_{p,w}}$ more effective results.     

On the Left and Right Brylinski-Kostant Filtrations

Let $\mathfrak{g}$ be a complex semisimple Lie algebra, $\mathfrak{b}$ a Borel subalgebra, and $\mathfrak{h}\subset\mathfrak{b}$ a Cartan subalgebra. Let V be a finite dimensional simple $U(\mathfrak{g})$ module. Based on a principal s-triple (e,h,f) and following work of Kostant, Brylinski (J Amer Math Soc 2(3):517–533, 1989) defined a filtration $\mathcal{F}_e$ for all weight subspaces V _μ of V and calculated the dimensions of the graded subspaces for μ dominant. In Joseph et al. (J Amer Math Soc 13(4):945–970, 2000) these dimensions were calculated for all μ. Let δM(0) be the finite dual of the Verma module of highest weight 0. It identifies with the global functions on a Weyl group translate of the open Bruhat cell and so inherits a natural degree filtration. On the other hand, up to an appropriate shift of weights, there is a unique $U(\mathfrak{b})$ module embedding of V into δM(0) and so the degree filtration induces a further filtration $\mathcal{F}$ on each weight subspace V _μ . A casual reading of Joseph et al. (J Amer Math Soc 13(4):945–970, 2000) might lead one to believe that $\mathcal{F}$ and $\mathcal{F}_e$ coincide. However this is quite false. Rather one should view $\mathcal{F}_e$ as coming from a left action of $U(\mathfrak{n})$ and then there is a second (Brylinski-Kostant) filtration $\mathcal{F}'_e$ coming from a right action. It is $\mathcal{F}'_e$ which may coincide with $\mathcal{F}$ . In this paper the above claim is made precise. First it is noted that $\mathcal{F}$ is itself not canonical, but depends on a choice of variables. Then it is shown that a particular choice can be made to ensure that $\mathcal{F}=\mathcal{F}'_e$ . An explicit form for the unique left $U(\mathfrak{b})$ module embedding $V\hookrightarrow\delta M(0)$ is given using the right action of $U(\mathfrak{n})$ . This is used to give a purely algebraic proof of Brylinski’s main result in Brylinski (J Amer Math Soc 2(3):517–533, 1989) which is much simpler than Joseph et al. (J Amer Math Soc 13(4):945–970, 2000). It is noted that the dimensions of the graded subspaces of $\rm{gr}_{\mathcal{F}_e} V_{\!\mu}$ and $\rm{gr}_{\mathcal{F}'_e} V_{\!\mu}$ can be very different. Their interrelation may involve the Kashiwara involution. Indeed a combinatorial formula for multiplicities in tensor products involving crystal bases and the Kashiwara involution is recovered. Though the dimensions for the graded subspaces of $\rm{gr}_{\mathcal{F}'_e} V_{\!\mu}$ are determined by polynomial degree, their values remain unknown.     

Restrictions of generalized Verma modules to symmetric pairs

We initiate a new line of investigation on branching problems for generalized Verma modules with respect to reductive symmetric pairs $ \left( {\mathfrak{g},\mathfrak{g}'} \right) $ . In general, Verma modules may not contain any simple module when restricted to a reductive subalgebra. In this article we give a necessary and sufficient condition on the triple $ \left( {\mathfrak{g},\mathfrak{g}',\mathfrak{p}} \right) $ such that the restriction $ {\left. X \right|_{\mathfrak{g}'}} $ always contains simple $ \mathfrak{g}' $ -modules for any $ \mathfrak{g} $ -module X lying in the parabolic BGG category $ {\mathcal{O}^\mathfrak{p}} $ attached to a parabolic subalgebra $ \mathfrak{p} $ of $ \mathfrak{g} $ . Formulas are derived for the Gelfand?CKirillov dimension of any simple module occurring in a simple generalized Verma module. We then prove that the restriction $ {\left. X \right|_{\mathfrak{g}'}} $ is generically multiplicity-free for any $ \mathfrak{p} $ and any $ X \in {\mathcal{O}^\mathfrak{p}} $ if and only if $ \left( {\mathfrak{g},\mathfrak{g}'} \right) $ is isomorphic to (A _n , A _n-1), (B _n , D _n ), or (D _n+1, B _n ). Explicit branching laws are also presented.     

Extending structures for Lie algebras

Let $\mathfrak{g }$ be a Lie algebra, $E$ a vector space containing $\mathfrak{g }$ as a subspace. The paper is devoted to the extending structures problem which asks for the classification of all Lie algebra structures on $E$ such that $\mathfrak{g }$ is a Lie subalgebra of $E$ . A general product, called the unified product, is introduced as a tool for our approach. Let $V$ be a complement of $\mathfrak{g }$ in $E$ : the unified product $\mathfrak{g } \,\natural \, V$ is associated to a system $(\triangleleft , \, \triangleright , \, f, \{-, \, -\})$ consisting of two actions $\triangleleft $ and $\triangleright $ , a generalized cocycle $f$ and a twisted Jacobi bracket $\{-, \, -\}$ on $V$ . There exists a Lie algebra structure $[-,-]$ on $E$ containing $\mathfrak{g }$ as a Lie subalgebra if and only if there exists an isomorphism of Lie algebras $(E, [-,-]) \cong \mathfrak{g } \,\natural \, V$ . All such Lie algebra structures on $E$ are classified by two cohomological type objects which are explicitly constructed. The first one $\mathcal{H }^{2}_{\mathfrak{g }} (V, \mathfrak{g })$ will classify all Lie algebra structures on $E$ up to an isomorphism that stabilizes $\mathfrak{g }$ while the second object $\mathcal{H }^{2} (V, \mathfrak{g })$ provides the classification from the view point of the extension problem. Several examples that compute both classifying objects $\mathcal{H }^{2}_{\mathfrak{g }} (V, \mathfrak{g })$ and $\mathcal{H }^{2} (V, \mathfrak{g })$ are worked out in detail in the case of flag extending structures.     

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.     

Varieties Generated by Wreath Products of Abelian Groups

This paper is a survey of our recent results concerning metabelian varieties, and more specifically, varieties generated by wreath products of Abelian groups. We give a full classification of cases where sets of wreath products of Abelian groups $ \mathfrak{X} $ Wr $ \mathfrak{Y} $ = { X Wr Y | X ∈ $ \mathfrak{X} $ , Y ∈ $ \mathfrak{Y} $ } and $ \mathfrak{X} $ wr $ \mathfrak{Y} $ = {X wr Y | X ∈ $ \mathfrak{X} $ , Y ∈ $ \mathfrak{Y} $ } generate the product variety $ \mathfrak{X} $ var ( $ \mathfrak{Y} $ ).     

CR-quadrics with a symmetry property

For non-degenerate CR-quadrics ${Q \subset \mathbb{C}^{n}}$ it is well known that the real Lie algebra ${\mathfrak{g} = \mathfrak{hol}(Q)}$ of all infinitesimal CR-automorphisms has a canonical grading ${\mathfrak{g} = \mathfrak{g}^{-2} \oplus\mathfrak{g}^{-1} \oplus\mathfrak{g}^{0} \oplus\mathfrak{g}^{1} \oplus\mathfrak{g}^{2}}$ . While the first three spaces in this grading, responsible for the affine automorphisms of Q, are always easy to describe this is not the case for the last two. In general, it is even difficult to determine the dimensions of ${\mathfrak{g}^{1}}$ and ${\mathfrak{g}^{2}}$ . Here we consider a class of quadrics with a certain symmetry property for which ${\mathfrak{g}^{1}, \mathfrak{g}^{2}}$ can be determined explicitly. The task then is to verify that there exist enough interesting examples. By generalizing the ?ilov boundaries of irreducible bounded symmetric domains of non-tube type we get a collection of basic examples. Further examples are obtained by ‘tensoring’ any quadric having the symmetry property with an arbitrary commutative (associative) unital *-algebra A (of finite dimension). For certain quadrics this also works if A is not necessarily commutative.     

Irregular and Singular Loci of Commuting Varieties

Let $ {\user1{\mathcal{C}}} $ be the commuting variety of the Lie algebra $ \mathfrak{g} $ of a connected noncommutative reductive algebraic group G over an algebraically closed field of characteristic zero. Let $ {\user1{\mathcal{C}}}^{{{\text{sing}}}} $ be the singular locus of $ {\user1{\mathcal{C}}} $ and let $ {\user1{\mathcal{C}}}^{{{\text{irr}}}} $ be the locus of points whose G-stabilizers have dimension > rk G. We prove that: (a) $ {\user1{\mathcal{C}}}^{{{\text{sing}}}} $ is a nonempty subset of $ {\user1{\mathcal{C}}}^{{{\text{irr}}}} $ ; (b) $ {\text{codim}}_{{\user1{\mathcal{C}}}} \,{\user1{\mathcal{C}}}^{{{\text{irr}}}} = 5 - {\text{max}}\,l{\left( \mathfrak{a} \right)} $ where the maximum is taken over all simple ideals $ \mathfrak{a} $ of $ \mathfrak{g} $ and $ l{\left( \mathfrak{a} \right)} $ is the “lacety” of $ \mathfrak{a} $ ; and (c) if $ \mathfrak{t} $ is a Cartan subalgebra of $ \mathfrak{g} $ and $ \alpha \in \mathfrak{t}^{*} $ root of $ \mathfrak{g} $ with respect to $ \mathfrak{t} $ , then $ \overline{{G{\left( {{\text{Ker}}\,\alpha \times {\text{Ker }}\alpha } \right)}}} $ is an irreducible component of $ {\user1{\mathcal{C}}}^{{{\text{irr}}}} $ of codimension 4 in $ {\user1{\mathcal{C}}} $ . This yields the bound $ {\text{codim}}_{{\user1{\mathcal{C}}}} \,{\user1{\mathcal{C}}}^{{{\text{sing}}}} \geqslant 5 - {\text{max}}\,l{\left( \mathfrak{a} \right)} $ and, in particular, $ {\text{codim}}_{{\user1{\mathcal{C}}}} \,{\user1{\mathcal{C}}}^{{{\text{sing}}}} \geqslant 2 $ . The latter may be regarded as an evidence in favor of the known longstanding conjecture that $ {\user1{\mathcal{C}}} $ is always normal. We also prove that the algebraic variety $ {\user1{\mathcal{C}}} $ is rational.     

Parabolic contractions of semisimple Lie algebras and their invariants

Let $G$ be a connected semisimple algebraic group with Lie algebra $\mathfrak{g }$ and $P$ a parabolic subgroup of $G$ with $\mathrm{Lie\, }P=\mathfrak{p }$ . The parabolic contraction $\mathfrak{q }$ of $\mathfrak{g }$ is the semi-direct product of $\mathfrak{p }$ and a $\mathfrak{p }$ -module $\mathfrak{g }/\mathfrak{p }$ regarded as an abelian ideal. We are interested in the polynomial invariants of the adjoint and coadjoint representations of $\mathfrak{q }$ . In the adjoint case, the algebra of invariants is easily described and it turns out to be a graded polynomial algebra. The coadjoint case is more complicated. Here we found a connection between symmetric invariants of $\mathfrak{q }$ and symmetric invariants of centralisers $\mathfrak{g }_e\subset \mathfrak{g }$ , where $e\in \mathfrak{g }$ is a Richardson element with polarisation $\mathfrak{p }$ . Using this connection and results of Panyushev et al. (J Algebra 313:343–391, 2007), we prove that the algebra of symmetric invariants of $\mathfrak{q }$ is free for all parabolic subalgebras in types $\mathbf A$ and $\mathbf C$ and some parabolics in type $\mathbf B$ . This technique also applies to the minimal parabolic subalgebras in all types. For $\mathfrak{p }=\mathfrak{b }$ , a Borel subalgebra of $\mathfrak{g }$ , one gets a contraction of $\mathfrak{g }$ recently introduced by Feigin (Selecta Math 18:513–537, 2012) and studied from invariant-theoretic point of view in our previous paper (Panyushev and Yakimova in Ann Inst Fourier 62(6):2053–2068, 2012).     

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.     

On {\mathbb{F}_q} -Rational Structure of Nilpotent Orbits in the Witt Algebra

Let ${\mathfrak{g}=W_1}$ be the p-dimensional Witt algebra over an algebraically closed field ${k=\overline{\mathbb{F}}_q}$ , where p > 3 is a prime and q is a power of p. Let G be the automorphism group of ${\mathfrak{g}}$ . The Frobenius morphism F _G (resp. ${F_\mathfrak{g}}$ ) can be defined naturally on G (resp. ${\mathfrak{g}}$ ). In this paper, we determine the ${F_\mathfrak{g}}$ -stable G-orbits in ${\mathfrak{g}}$ . Furthermore, the number of ${\mathbb{F}_q}$ -rational points in each ${F_\mathfrak{g}}$ -stable orbit is precisely given. Consequently, we obtain the number of ${\mathbb{F}_q}$ -rational points in the nilpotent variety.