Enveloping algebras of Slodowy slices and Goldie rank

Let U( \mathfrakg,e ) U\left( {\mathfrak{g},e} \right) be the finite W-algebra associated with a nilpotent element e in a complex simple Lie algebra \mathfrakg = \textLie(G) \mathfrak{g} = {\text{Lie}}(G) and let I be a primitive ideal of the enveloping algebra U( \mathfrakg ) U\left( \mathfrak{g} \right) whose associated variety equals the Zariski closure of the nilpotent orbit (Ad G) e. Then it is known that I = \textAn\textn_{U( \mathfrakg )}( Q_e ?_{U( \mathfrakg,e )}V ) I = {\text{An}}{{\text{n}}_{U\left( \mathfrak{g} \right)}}\left( {{Q_e}{ \otimes_{U\left( {\mathfrak{g},e} \right)}}V} \right) for some finite dimensional irreducible U( \mathfrakg,e ) U\left( {\mathfrak{g},e} \right) -module V, where Q _e stands for the generalised Gelfand–Graev \mathfrakg \mathfrak{g} -module associated with e. The main goal of this paper is to prove that the Goldie rank of the primitive quotient U( \mathfrakg )

Dual partially harmonic tensors and Brauer-Schur-Weyl duality

Let V be a 2m-dimensional symplectic vector space over an algebraically closed field K. Let $ \mathfrak{B}_n^{(f)} Let V be a 2m-dimensional symplectic vector space over an algebraically closed field K. Let \mathfrakB_n^(f) \mathfrak{B}_n^{(f)} be the two-sided ideal of the Brauer algebra \mathfrakB_n( - 2m ) {\mathfrak{B}_n}\left( { - 2m} \right) over K generated by e ₁ e _3⋯ e _2f-1 where 0 ≤ f ≤ [n/2]. Let HT_f ^?n \mathcal{H}\mathcal{T}_f^{ \otimes n} be the subspace of partial-harmonic tensors of valence f in V ^⊗n . In this paper we prove that dimHT_f ^?n \mathcal{H}\mathcal{T}_f^{ \otimes n} and dim \textEn\textd_K\textSp(V)( V ^?n \mathord

On one class of extreme extensions of a measure

We consider a relationship between two sets of extensions of a finite finitely additive measure μ defined on an algebra \mathfrakB \mathfrak{B} of sets to a broader algebra \mathfrakA \mathfrak{A} . These sets are the set ex S _μ of all extreme extensions of the measure μ and the set H _μ of all extensions defined as l(A) = [^(m)]( h(A) ),   A ? \mathfrakA \lambda (A) = \hat{\mu }\left( {h(A)} \right),\,\,\,A \in \mathfrak{A} , where [^(m)] \hat{\mu } is a quotient measure on the algebra \mathfrakB

Extended equivariant Picard complexes and homogeneous spaces

Let k be a field of characteristic 0 and let [`(k)] \bar{k} be a fixed algebraic closure of k. Let X be a smooth geometrically integral k-variety; we set [`(X)] = X ×_k[`(k)] \bar{X} = X{ \times_k}\bar{k} and denote by [`(X)] \bar{X} . In [BvH2] we defined the extended Picard complex of X as the complex of Gal( [`(k)]

Smooth Schubert varieties in G/B and B-submodules of {{\mathfrak{g}} \left/ {\mathfrak{b}} \right.}

Let G be a semisimple linear algebraic group over \mathbbC \mathbb{C} without G ₂-factors, B a Borel subgroup of G and T ⊂ B a maximal torus. The flag variety G/B is a projective G-homogeneous variety whose tangent space at the identity coset is isomorphic, as a B-module, to \mathfrakg

On divisible weighted Dynkin diagrams and reachable elements

Let e be a nilpotent element of a complex simple Lie algebra $ \mathfrak{g} Let e be a nilpotent element of a complex simple Lie algebra \mathfrakg \mathfrak{g} . The weighted Dynkin diagram of e, D(e) \mathcal{D}(e) , is said to be divisible if D(e)

Estimation of the norm of the derivative of a monotone rational function in the spaces <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>

We show that the derivative of an arbitrary rational function R of degree n that increases on the segment [−1, 1] satisfies the following equality for all 0 < ε < 1 and p, q > 1:

On the ring of local polynomial invariants for a pair of entangled qubits

The entanglement characteristics of two qubits are encoded in the invariants of the adjoint action of the group SU(2) ⊗ SU(2) on the space of density matrices \mathfrakP₊ {\mathfrak{P}_{+} } , defined as the space of 4 × 4 positive semidefinite Hermitian matrices. The corresponding ring \textC[ \mathfrakP₊ ]^{\textSU( 2 ) ?\textSU ?( 2 )} {\text{C}}{\left[ {{\mathfrak{P}_{+} }} \right]^{{\text{SU}}\left( {2} \right) \otimes {\text{SU}} \otimes \left( {2} \right)}} of polynomial invariants is studied. A special integrity basis for \textC[ \mathfrakP₊ ]^{\textSU( 2 ) ?\textSU ?( 2 )} {\text{C}}{\left[ {{\mathfrak{P}_{+} }} \right]^{{\text{SU}}\left( {2} \right) \otimes {\text{SU}} \otimes \left( {2} \right)}} is described, and the constraints on its elements imposed by the positive semidefiniteness of density matrices are given explicitly in the form of polynomial inequalities. The suggested basis is characterized by the property that the minimum number of invariants, namely, two primary invariants of degree 2, 3 and one secondary invariant of degree 4 appearing in the Hironaka decomposition of \textC[ \mathfrakP₊ ]^{\textSU( 2 ) ?\textSU ?( 2 )} {\text{C}}{\left[ {{\mathfrak{P}_{+} }} \right]^{{\text{SU}}\left( {2} \right) \otimes {\text{SU}} \otimes \left( {2} \right)}} , are subject to the polynomial inequalities. Bibliography: 32 titles.     

Cohomology of solvable lie algebras and solvmanifolds

The cohomology H _{\mathfrakg\mathfrak{g} ) of the tangent Lie algebra \mathfrakg\mathfrak{g} of the group G with coefficients in the one-dimensional representation \mathfrakg\mathfrak{g} \mathbbK\mathbb{K} defined by [(W)\tilde] \mathfrakg \tilde \Omega _\mathfrak{g} of H ¹(G/ \mathfrakg\mathfrak{g} .}     

On quasiorder lattices and topology lattices of algebras

In this paper, it is shown that the dual [(\textQord)\tilde]\mathfrakA \widetilde{\text{Qord}}\mathfrak{A} of the quasiorder lattice of any algebra \mathfrakA \mathfrak{A} is isomorphic to a sublattice of the topology lattice á( \mathfrakA ) \Im \left( \mathfrak{A} \right) . Further, if \mathfrakA \mathfrak{A} is a finite algebra, then [(\textQord)\tilde]\mathfrakA @ á( \mathfrakA ) \widetilde{\text{Qord}}\mathfrak{A} \cong \Im \left( \mathfrak{A} \right) . We give a sufficient condition for the lattices [(\textCon)\tilde]\mathfrakA\text, [(\textQord)\tilde]\mathfrakA \widetilde{\text{Con}}\mathfrak{A}{\text{,}} \widetilde{\text{Qord}}\mathfrak{A} , and á( \mathfrakA ) \Im \left( \mathfrak{A} \right) . to be pairwise isomorphic. These results are applied to investigate topology lattices and quasiorder lattices of unary algebras.     

Automorphisms of a finitary factor power of an infinite symmetric group

We consider a semigroup FP_\textfin⁺ ( \mathfrakS_\textfin( \mathbbN ) ) FP_{\text{fin}}^{+} \left( {{\mathfrak{S}_{\text{fin}}}\left( \mathbb{N} \right)} \right) defined as a finitary factor power of a finitary symmetric group of countable order. It is proved that all automorphisms of FP_\textfin⁺ ( \mathfrakS_\textfin( \mathbbN ) ) FP_{\text{fin}}^{+} \left( {{\mathfrak{S}_{\text{fin}}}\left( \mathbb{N} \right)} \right) are induced by permutations from \mathfrakS( \mathbbN ) \mathfrak{S}\left( \mathbb{N} \right) .     

Balanced Deep Matrix Algebras

This paper continues the study of associative and Lie deep matrix algebras, DM(X,\mathbbK){\mathcal{DM}}(X,{\mathbb{K}}) and \mathfrakgld(X,\mathbbK){\mathfrak{gld}}(X,{\mathbb{K}}), and their subalgebras. After a brief overview of the general construction, balanced deep matrix subalgebras, BDM(X,\mathbbK){\mathcal{BDM}}(X,{\mathbb{K}}) and \mathfrakbld(X,\mathbbK){\mathfrak{bld}}(X,{\mathbb{K}}), are defined and studied for an infinite set X. The global structures of these two algebras are studied, devising a depth grading on both as well as determining their ideal lattices. In particular, \mathfrakbld(X,\mathbbK){\mathfrak{bld}}(X,{\mathbb{K}}) is shown to be semisimple. The Lie algebra \mathfrakbld(X,\mathbbK){\mathfrak{bld}}(X,{\mathbb{K}}) possesses a deep Cartan decomposition and is locally finite with every finite subalgebra naturally enveloped by a semi-direct product of \mathfraksl_n{\mathfrak{{sl}_n}}’s. We classify all associative bilinear forms on \mathfraksl₂\mathfrakd{\mathfrak{sl}_2\mathfrak{d}} (a natural depth analogue of \mathfraksl₂{\mathfrak{{sl}_2}}) and \mathfrakbld{\mathfrak{bld}}.     

Über die Bedingung Going up für {R \subset \hat{R}}

Let (R,\mathfrak m){(R,\mathfrak m)} be a noetherian, local ring with completion [^(R)]{\hat{R}} . We show that R ì [^(R)]{R \subset \hat{R}} satisfies the condition Going up if and only if there exists to every artinian R-module M with Ann_R(M) ì \mathfrakp{{\rm Ann}_R(M) \subset \mathfrak{p}} a submodule U ì M{U \subset M} with Ann_R(U)=\mathfrakp.{{\rm {Ann}}_R(U)=\mathfrak{p}.} This is further equivalent to R being formal catenary, to α(R) = 0 and to H^d_{\mathfrakq/\mathfrakp}(R/\mathfrakp)=0{H^d_{\mathfrak{q}/\mathfrak{p}}(R/\mathfrak{p})=0} for all prime ideals \mathfrakp ì \mathfrakq \subsetneq \mathfrakm{\mathfrak{p} \subset \mathfrak{q} \subsetneq \mathfrak{m}} where d = dim(R/\mathfrakp){d = {\rm {dim}}(R/\mathfrak{p})}.     

Properties of continuous functions on a normed space and its sphere

Let K ⊂ ℝ³ be a convex body of unit volume. It is proved that K contains an affine-regular pentagonal prism of volume 4( 5 - 2?5 ) \mathord

Estimate for the remainder in the Weyl asymptotics of the spectrum of the Maxwell operator in Lipschitz domains

We study the asymptotics of the spectrum of the Maxwell operator M in a bounded Lipschitz domain W ì \mathbbR³ \Omega \subset {\mathbb{R}^3} under the condition of the perfect conductivity of the boundary ∂Ω. We obtain the following estimate for the remainder in the Weyl asymptotic expansion of the counting function N(λ,M) of positive eigenvalues of the Maxwell operator M:

Lifting automorphisms of generalized adjoint quotients

Let G be a reductive algebraic group over an algebraically closed field K of characteristic zero. Let p:\mathfrakg^r ? X = \mathfrakg^r//G \pi :{\mathfrak{g}^r} \to X = {\mathfrak{g}^r}//G be the categorical quotient where \mathfrakg \mathfrak{g} is the adjoint representation of G and r is a suitably large integer (in general r ≥ 5, but for many cases r ≥ 3 or even r ≥ 2 suffices). We show that every automorphism φ of X lifts to a map F:\mathfrakg^r ? \mathfrakg^r \Phi :{\mathfrak{g}^r} \to {\mathfrak{g}^r} commuting with π. As an application we consider the action of φ on the Luna stratification of X.     

Lower bound in the Bernstein inequality for the first derivative of algebraic polynomials

We prove that max |p′(x)|, where p runs over the set of all algebraic polynomials of degree not higher than n ≥ 3 bounded in modulus by 1 on [−1, 1], is not lower than ( n - 1 ) \mathord

Parallelepipeds and centrally symmetric hexagonal prisms circumscribed about a three-dimensional centrally symmetric convex body

Let K be a three-dimensional centrally symmetric compact convex set of unit volume. It is proved that K is contained in a centrally symmetric hexagonal prism (or a parallelepiped) of volume 4

Around splitting and reaping for partitions of ω

We investigate splitting number and reaping number for the structure (ω) ^ω of infinite partitions of ω. We prove that \mathfrakr_d ￡ non(M),non(N),\mathfrakd{\mathfrak{r}_{d}\leq\mathsf{non}(\mathcal{M}),\mathsf{non}(\mathcal{N}),\mathfrak{d}} and \mathfraks_d 3 \mathfrakb{\mathfrak{s}_{d}\geq\mathfrak{b}} . We also show the consistency results ${\mathfrak{r}_{d} > \mathfrak{b}, \mathfrak{s}_{d} < \mathfrak{d}, \mathfrak{s}_{d} < \mathfrak{r}, \mathfrak{r}_{d} < \mathsf{add}(\mathcal{M})}${\mathfrak{r}_{d} > \mathfrak{b}, \mathfrak{s}_{d} < \mathfrak{d}, \mathfrak{s}_{d} < \mathfrak{r}, \mathfrak{r}_{d} < \mathsf{add}(\mathcal{M})} and ${\mathfrak{s}_{d} > \mathsf{cof}(\mathcal{M})}${\mathfrak{s}_{d} > \mathsf{cof}(\mathcal{M})} . To prove the consistency \mathfrakr_d < add(M){\mathfrak{r}_{d} < \mathsf{add}(\mathcal{M})} and \mathfraks_d < cof(M){\mathfrak{s}_{d} < \mathsf{cof}(\mathcal{M})} we introduce new cardinal invariants \mathfrakr_pair{\mathfrak{r}_{pair}} and \mathfraks_pair{\mathfrak{s}_{pair}} . We also study the relation between \mathfrakr_pair, \mathfraks_pair{\mathfrak{r}_{pair}, \mathfrak{s}_{pair}} and other cardinal invariants. We show that cov(M),cov(N) ￡ \mathfrakr_pair ￡ \mathfraks_d,\mathfrakr{\mathsf{cov}(\mathcal{M}),\mathsf{cov}(\mathcal{N})\leq\mathfrak{r}_{pair}\leq\mathfrak{s}_{d},\mathfrak{r}} and \mathfraks ￡ \mathfraks_pair ￡ non(M),non(N){\mathfrak{s}\leq\mathfrak{s}_{pair}\leq\mathsf{non}(\mathcal{M}),\mathsf{non}(\mathcal{N})} .