Köthe’s upper nil radical for modules

Let M be a left R-module. In this paper a generalization of the notion of an s-system of rings to modules is given. Let N be a submodule of M. Define $\mathcal{S}(N):=\{ {m\in M}:\, \mbox{every } s\mbox{-system containing } m \mbox{ meets}~N \}$ . It is shown that $\mathcal{S}(N)$ is equal to the intersection of all s-prime submodules of M containing N. We define $\mathcal{N}({}_{R}M) = \mathcal{S}(0)$ . This is called (Köthe’s) upper nil radical of M. We show that if R is a commutative ring, then $\mathcal{N}({}_{R}M) = {\mathop{\mathrm{rad}}\nolimits}_{R}(M)$ where ${\mathop{\mathrm{rad}}\nolimits}_{R}(M)$ denotes the prime radical of M. We also show that if R is a left Artinian ring, then ${\mathop{\mathrm{rad}}\nolimits}_{R}(M)=\mathcal{N}({}_{R}M)= {\mathop{\mathrm{Rad}}\nolimits}\, (M)= {\mathop{\mathrm{Jac}}\nolimits}\, (R)M$ where ${\mathop{\mathrm{Rad}}\nolimits}\, (M)$ denotes the Jacobson radical of M and ${\mathop{\mathrm{Jac}}\nolimits}\, (R)$ the Jacobson radical of the ring R. Furthermore, we show that the class of all s-prime modules forms a special class of modules.     

On uniformly bounded spherical functions in Hilbert space

Let G be a commutative group, written additively, with a neutral element 0, and let K be a finite group. Suppose that K acts on G via group automorphisms ${G \ni a \mapsto ka \in G}$ , ${k \in K}$ . Let ${{\mathfrak{H}}}$ be a complex Hilbert space and let ${{\mathcal L}({\mathfrak{H}})}$ be the algebra of all bounded linear operators on ${{\mathfrak{H}}}$ . A mapping ${u \colon G \to {\mathcal L}({\mathfrak{H}})}$ is termed a K-spherical function if it satisfies (1) ${|K|^{-1} \sum_{k\in K} u (a+kb)=u (a) u (b)}$ for any ${a,b\in G}$ , where |K| denotes the cardinality of K, and (2) ${u (0) = {\rm id}_{\mathfrak {H}},}$ where ${{\rm id}_{\mathfrak {H}}}$ designates the identity operator on ${{\mathfrak{H}}}$ . The main result of the paper is that for each K-spherical function ${u \colon G \to {\mathcal {L}}({\mathfrak {H}})}$ such that ${\| u \|_{\infty} = \sup_{a\in G} \| u (a)\|_{{\mathcal L}({\mathfrak{H}})} < \infty,}$ there is an invertible operator S in ${{\mathcal L}({\mathfrak{H}})}$ with ${\| S \| \, \| S^{-1}\| \leq |K| \, \| u \|_{\infty}^2}$ such that the K-spherical function ${{\tilde{u}} \colon G \to {\mathcal L}({\mathfrak{H}})}$ defined by ${{\tilde{u}}(a) = S u (a) S^{-1},\,a \in G,}$ satisfies ${{\tilde{u}}(-a) = {\tilde{u}}(a)^*}$ for each ${a \in G}$ . It is shown that this last condition is equivalent to insisting that ${{\tilde{u}}(a)}$ be normal for each ${a \in G}$ .     

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]).     

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.     

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.     

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.     

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 .     

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} $ ).     

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.     

Nikodym Maximal Functions Associated with Variable Planes in {\mathbb{R}^{3}}

Given a vector field ${\mathfrak{a}}$ on ${\mathbb{R}^3}$ , we consider a mapping ${x\mapsto \Pi_{\mathfrak{a}}(x)}$ that assigns to each ${x\in\mathbb{R}^3}$ , a plane ${\Pi_{\mathfrak{a}}(x)}$ containing x, whose normal vector is ${\mathfrak{a}(x)}$ . Associated with this mapping, we define a maximal operator ${\mathcal{M}^{\mathfrak{a}}_N}$ on ${L^1_{loc}(\mathbb{R}^3)}$ for each ${N\gg 1}$ by $$\mathcal{M}^{\mathfrak{a}}_Nf(x)=\sup_{x\in\tau} \frac{1}{|\tau|} \int_{\tau}|f(y)|\,dy$$ where the supremum is taken over all 1/N ×? 1/N?× 1 tubes τ whose axis is embedded in the plane ${\Pi_\mathfrak{a}(x)}$ . We study the behavior of ${\mathcal{M}^{\mathfrak{a}}_N}$ according to various vector fields ${\mathfrak{a}}$ . In particular, we classify the operator norms of ${\mathcal{M}^{\mathfrak{a}}_N}$ on ${L^2(\mathbb{R}^3)}$ when ${\mathfrak{a}(x)}$ is the linear function of the form (a ₁₁ x ₁?+?a ₂₁ x ₂, a ₁₂ x ₁?+?a ₂₂ x ₂, 1). The operator norm of ${\mathcal{M}^\mathfrak{a}_N}$ on ${L^2(\mathbb{R}^3)}$ is related with the number given by $$D=(a_{12}+a_{21})^2-4a_{11}a_{22}.$$      

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)$ .     

An abstract setting for hamiltonian actions

In this paper we develop an abstract setup for hamiltonian group actions as follows: Starting with a continuous 2-cochain ω on a Lie algebra ${\mathfrak h}$ with values in an ${\mathfrak h}$ -module V, we associate subalgebras ${\mathfrak {sp}(\mathfrak h,\omega) \supseteq \mathfrak {ham}(\mathfrak h,\omega)}$ of symplectic, resp., hamiltonian elements. Then ${\mathfrak {ham}(\mathfrak h,\omega)}$ has a natural central extension which in turn is contained in a larger abelian extension of ${\mathfrak {sp}(\mathfrak h,\omega)}$ . In this setting, we study linear actions of a Lie group G on V which are compatible with a homomorphism ${\mathfrak g \to \mathfrak {ham}(\mathfrak h,\omega)}$ , i.e., abstract hamiltonian actions, corresponding central and abelian extensions of G and momentum maps ${J : \mathfrak g \to V}$ .     

Step Refinable Functions and Orthogonal MRA on Vilenkin Groups

We find necessary and sufficient conditions on refinable step function under which this function generates an orthogonal MRA in the $L_{2}(\mathfrak{G})$ -spaces on Vilenkin group $\mathfrak{G}$ . We consider a class of refinable step functions for which the mask m ₀(χ) is constant on cosets $\mathfrak{G}_{-1}^{\bot}\chi$ and its modulus |m ₀(χ)| has two values only: 0 and 1. We prove that any refinable step function φ from this class that generates an orthogonal MRA on Vilenkin group $\mathfrak{G}$ has Fourier transform with condition $\operatorname{supp}\hat{\varphi}(\chi)\subset\mathfrak{G}_{p-2}^{\bot}$ . We show the sharpness of this result, too.     

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.     

On Deformations of Lie Algebroids

For any Lie algebroid A, its 1-jet bundle ${\mathfrak{J} A}$ is a Lie algebroid naturally and there is a representation ${\pi:\mathfrak{J} A\longrightarrow\mathfrak{D} A}$ . Denote by ${{\rm d}_{\mathfrak{J}}}$ the corresponding coboundary operator. In this paper, we realize the deformation cohomology of a Lie algebroid A introduced by M. Crainic and I. Moerdijk as the cohomology of a subcomplex ${(\Gamma({\rm Hom}(\wedge^\bullet\mathfrak{J} A,A)_{{\mathfrak{D}} A}),{\rm d}_{\mathfrak{J}})}$ of the cochain complex ${(\Gamma({\rm Hom}(\wedge^\bullet\mathfrak{J} A, A)),{\rm d}_\mathfrak{J})}$ .     

On ideals with the Rees property

A homogeneous ideal I of a polynomial ring S is said to have the Rees property if, for any homogeneous ideal ${J \subset S}$ which contains I, the number of generators of J is smaller than or equal to that of I. A homogeneous ideal ${I \subset S}$ is said to be ${\mathfrak{m}}$ -full if ${\mathfrak{m}I:y=I}$ for some ${y \in \mathfrak{m}}$ , where ${\mathfrak{m}}$ is the graded maximal ideal of ${S}$ . It was proved by one of the authors that ${\mathfrak{m}}$ -full ideals have the Rees property and that the converse holds in a polynomial ring with two variables. In this note, we give examples of ideals which have the Rees property but are not ${\mathfrak{m}}$ -full in a polynomial ring with more than two variables. To prove this result, we also show that every Artinian monomial almost complete intersection in three variables has the Sperner property.     

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 the correlation functions of the characteristic polynomials of the hermitian sample covariance matrices

We consider asymptotic behavior of the correlation functions of the characteristic polynomials of the hermitian sample covariance matrices ${H_n=n^{-1}A_{m,n}^* A_{m,n}}$ , where A _m,n is a m × n complex random matrix with independent and identically distributed entries ${\mathfrak{R}a_{\alpha j}}$ and ${\mathfrak{I}a_{\alpha j}}$ . We show that for the correlation function of any even order the asymptotic behavior in the bulk and at the edge of the spectrum coincides with those for the Gaussian Unitary Ensemble up to a factor, depending only on the fourth moment of the common probability law of entries ${\mathfrak{R}a_{\alpha j}}$ , ${\mathfrak{I}a_{\alpha j}}$ , i.e., the higher moments do not contribute to the above limit.     

Algebras of Convolution Type Operators with Piecewise Slowly Oscillating Data. I: Local and Structural Study

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{A}_{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, we construct a Fredholm symbol calculus for the Banach algebra ${\mathfrak{A}_{p,w}}$ and establish a Fredholm criterion for the operators ${A \in \mathfrak{A}_{p,w}}$ in terms of their Fredholm symbols. To study the Banach algebra ${\mathfrak{A}_{p,w}}$ we apply the theory of Mellin pseudodifferential operators, the Allan–Douglas local principle, the two idempotents theorem and the method of limit operators. The paper is divided in two parts. The first part deals with the local study of ${\mathfrak{A}_{p,w}}$ and necessary tools for studying local algebras.