The quantum Gaudin system

In this paper, we explicitly construct the quantum $\mathfrak{g}\mathfrak{l}_n $ Gaudin model for general n and for a general number N of particles. To this end, we construct a commutative family in $U(\mathfrak{g}\mathfrak{l}_n )^{ \otimes N} $ . When passing to the classical limit (which is the projection onto the associated graded algebra), our family gives the entire family of classical Gaudin Hamiltonians. The construction is based on the special limit of the Bethe subalgebra in the Yangian $Y(\mathfrak{g}\mathfrak{l}_n )$ .     

The index of centralizers of elements in classical Lie algebras

The index of a finite-dimensional Lie algebra $\mathfrak{g}$ is the minimum of dimensions of the stabilizers $\mathfrak{g}_\alpha $ over all covectors $\alpha \in \mathfrak{g}^ * $ . Let $\mathfrak{g}$ be a reductive Lie algebra over a field $\mathbb{K}$ of characteristic ≠ = 2. Élashvili conjectured that the index of $\mathfrak{g}_\alpha $ is always equal to the index, or, which is the same, the rank of $\mathfrak{g}$ . In this article, Élashvili’s conjecture is proved for classical Lie algebras. Furthermore, it is shown that if $\mathfrak{g} = \mathfrak{g}\mathfrak{l}_n $ or $\mathfrak{g} = \mathfrak{s}\mathfrak{p}_{2n} $ and $e \in \mathfrak{g}$ is a nilpotent element, then the coadjoint action of $\mathfrak{g}_e $ has a generic stabilizer. For $\mathfrak{g}$ , we give examples of nilpotent elements $e \in \mathfrak{g}$ such that the coadjoint action of $\mathfrak{g}_e $ does not have a generic stabilizer.     

Ultrapowers ofL 1(μ) and the subsequence splitting principle

We study the ultrapowers $L_1 (\mu )_\mathfrak{U} $ of aL ₁(μ) space, by describing the components of the well-known representation $L_1 (\mu )_\mathfrak{U} = L_1 (\mu _\mathfrak{U} ) \oplus _1 L_1 (\nu _\mathfrak{U} )$ , and we give a representation of the projection from $L_1 (\mu )_\mathfrak{U} $ onto $L_1 (\mu _\mathfrak{U} )$ . Moreover, the subsequence splitting principle forL ₁(μ) motivates the following question: if $\mathfrak{V}$ is an ultrafilter on ? and $[f_i ] \in L_1 (\mu )_\mathfrak{V} $ , is it possible to find a weakly convergent sequence (g _i ) ?L ₁(μ) following $\mathfrak{V}$ and a disjoint sequence (h _i ) ?L ₁(μ) such that [f _i ]=[g _i ]+[h _i ]? If $\mathfrak{V}$ is a selective ultrafilter, we find a positive answer by showing that $f = [f_i ] \in L_1 (\mu )_\mathfrak{V} $ belongs to $L_1 (\mu _{_\mathfrak{V} } )$ if and only if its representatives {f _i } are weakly convergent following $\mathfrak{V}$ and $f \in L_1 (\nu _\mathfrak{V} )$ if and only if it admits a representative consisting of pairwise disjoint functions. As a consequence, we obtain a new proof of the subsequence splitting principle. If $\mathfrak{V}$ is not a p-point then the above characterizations of $L_1 (\nu _{_\mathfrak{V} } )$ and $L_1 (\nu _{_\mathfrak{V} } )$ fail and the answer to the question is negative.     

A Characterization of Projective Spaces by a Set of Planes

This note deals with the following question: How many planes of a linear space (P, $\mathfrak{L}$ ) must be known as projective planes to ensure that (P, $\mathfrak{L}$ ) is a projective space? The following answer is given: If for any subset M of a linear space (P, $\mathfrak{L}$ ) the restriction (M, $\mathfrak{L}$ )(M)) is locally complete, and if for every plane E of (M, $\mathfrak{L}$ (M)) the plane $\bar E$ generated by E is a projective plane, then (P, $\mathfrak{L}$ ) is a projective space (cf. 5.6). Or more generally: If for any subset M of P the restriction (M, $\mathfrak{L}$ (M)) is locally complete, and if for any two distinct coplanar lines G1, G2 ∈ $\mathfrak{L}$ (M) the lines $\bar G_1 ,\bar G_2 \varepsilon \mathfrak{L}$ generated by G1, G2 have a nonempty intersection and $\overline {G_1 \cup {\text{ }}G_2 }$ satisfies the exchange condition, then (P, $\mathfrak{L}$ ) is a generalized projective space.     

Classical Limit of the Scaled Elliptic Algebra \mathcal{A} ħ,η (\widetilde{\mathfrak{s}\mathfrak{l}}_2)

The classical limit of the scaled elliptic algebra $\mathcal{A}$ ?,η ( $\widetilde{\mathfrak{s}\mathfrak{l}}_2$ ) is investigated. The limiting Lie algebra is described in two equivalent ways: as a central extension of the algebra of generalized automorphic sl2 valued functions on a strip and as an extended algebra of decreasing automorphic sl2 valued functions on the real line. A bialgebra structure and an infinite-dimensional representation in the Fock space are studied. The classical limit of elliptic algebra $\mathcal{A}$ q,p ( $\widetilde{\mathfrak{s}\mathfrak{l}}_2$ ) is also briefly presented.     

Commutative Subalgebras of Quantum Algebras

In the present paper, a general assertion is proved, claiming that, for every associative algebra $\mathcal{A}$ without zero divisors which admits a valuation and a seminorm concordant with the valuation, the transcendence degree of an arbitrary commutative subalgebra does not exceed the maximal number of independent pairwise pseudocommuting elements of some basis of the algebra $\mathcal{A}$ . The author shows that for such a algebra $\mathcal{A}$ one can take an arbitrary algebra of quantum Laurent polynomials, quantum analogs of the Weyl algebra, and also some universal coacting algebras. In the case of the algebra $\mathcal{L}$ of quantum Laurent polynomials, it is proved that the transcendence degree of a maximal commutative subalgebra of $\mathcal{L}$ coincides with the maximal number of independent pairwise commuting elements of the monomial basis of the algebra $\mathcal{L}$ .     

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

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.     

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.     

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 .     

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.     

Embedded Spaces of Trigonometric Splines and Their Wavelet Expansion

With each infinite grid X: ? < x _?1 < x ₀ < x ₁ < ? we associate the system of trigonometric splines $\{ \mathfrak{T}_j^B \}$ of class C ¹(α, β), the linear space $$T^B (X)\mathop = \limits^{def} \{ \tilde u|\tilde u = \sum\limits_j {c_j \mathfrak{T}_j^B } \quad \forall c_j \in \mathbb{R}^1 \} ,$$ and the functionals g ⁽ⁱ⁾ ∈ (C ¹(α, β))* with the biorthogonality property: $\left\langle {g(i),\mathfrak{T}_j^B } \right\rangle = \delta _{i,j}$ (here $\alpha \mathop = \limits^{def} \lim _{j \to - \infty } x_j ,\quad \beta \mathop = \limits^{def} \lim _{j \to + \infty } x_j$ ). For nested grids $\bar X \subset X$ , we show that the corresponding spaces $T^B (\bar X)$ are embedded in $T^B (X)$ and obtain decomposition and reconstruction formulas for the spline-wavelet expansion $T^B (X) = T^B (\bar X)\dot + W$ derived with the help of the system of functionals indicated above.     

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.     

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.     

On Homotopes of Novikov Algebras

Given a unital associative commutative ring Φ containing $\frac{1}{2}$ , we consider a homotope of a Novikov algebra, i.e., an algebra $A_\varphi $ that is obtained from a Novikov algebra A by means of the derived operation $x \cdot y = xy\varphi $ on the Φ-module A, where the mapping ? satisfies the equality $xy\varphi = x(y\varphi )$ . We find conditions for a homotope of a Novikov algebra to be again a Novikov algebra.     

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

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.