Homological Dimensions of the Algebra Formed by Entire Functions of Elements of a Nilpotent Lie Algebra

This note deals with homological characteristics of algebras of holomorphic functions of noncommuting variables generated by a finite-dimensional nilpotent Lie algebra . It is proved that the embedding of the universal enveloping algebra of into its Arens–Michael hull is an absolute localization in the sense of Taylor provided that      

A Constructive Proof of the Generalized Gelfand Isomorphism

Using an analog of the classical Frobenius recursion, we define the notion of a Frobenius -homomorphism. For , this is an ordinary ring homomorphism. We give a constructive proof of the following theorem. Let X be a compact Hausdorff space, the th symmetric power of X, and the algebra of continuous complex-valued functions on X with the sup-norm; then the evaluation map defined by the formula identifies the space with the space of all Frobenius -homomorphisms of the algebra into with the weak topology.     

A Question in the Theory of Totally Local Formations of Finite Groups

It is proved that all proper totally local subformations of a non one-generated totally local formation of finite groups are one-generated iff coincides with a formation of all soluble -groups, where ||=2.     

An Application of U(g)-bimodules to Representation Theory of Affine Lie Algebras

Let be the affine Lie algebra associated to the simple finite-dimensional Lie algebra . We consider the tensor product of the loop -module associated to the irreducible finite-dimensional -module V() and the irreducible highest weight -module L _k,. Then L _k, can be viewed as an irreducible module for the vertex operator algebra M _k,0. Let A(L _k,) be the corresponding -bimodule. We prove that if the -module is zero, then the -module is irreducible. As an example, we apply this result on integrable representations for affine Lie algebras.     

Generalized Harish-Chandra Modules: A New Direction in the Structure Theory of Representations

Let be a reductive Lie algebra over C. We say that a -module M is a generalized Harish-Chandra module if, for some subalgebra , M is locally -finite and has finite -multiplicities. We believe that the problem of classifying all irreducible generalized Harish-Chandra modules could be tractable. In this paper, we review the recent success with the case when is a Cartan subalgebra. We also review the recent determination of which reductive in subalgebras are essential to a classification. Finally, we present in detail the emerging picture for the case when is a principal 3-dimensional subalgebra.     

Diffeomorphisms of the Circle and the Beurling–Helson Theorem

We consider the algebra of absolutely convergent Fourier series on the circle . According to the Beurling–Helson theorem, the condition , implies that is trivial: . We construct a nontrivial diffeomorphism of onto itself such that , where (n) is an arbitrary given sequence with . By analogy with a conjecture due to Kahane, it is natural to suppose that this rate of growth is the slowest possible.     

Trajectory and Global Attractors of Three-Dimensional Navier--Stokes Systems

We construct the trajectory attractor of a three-dimensional Navier--Stokes system with exciting force . The set consists of a class of solutions to this system which are bounded in , defined on the positive semi-infinite interval of the time axis, and can be extended to the entire time axis so that they still remain bounded-in- solutions of the Navier--Stokes system. In this case any family of bounded-in- solutions of this system comes arbitrary close to the trajectory attractor . We prove that the solutions are continuous in t if they are treated in the space of functions ranging in . The restriction of the trajectory attractor to , , is called the global attractor of the Navier--Stokes system. We prove that the global attractor thus defined possesses properties typical of well-known global attractors of evolution equations. We also prove that as the trajectory attractors and the global attractors of the -order Galerkin approximations of the Navier--Stokes system converge to the trajectory and global attractors and , respectively. Similar problems are studied for the cases of an exciting force of the form depending on time and of an external force rapidly oscillating with respect to the spatial variables or with respect to time .     

Derangements and Tensor Powers of Adjoint Modules for \mathfrak{s}\mathfrak{l}_n

We obtain the decomposition of the tensor space as a module for , find an explicit formula for the multiplicities of its irreducible summands, and (when n 2k) describe the centralizer algebra = ( ) and its representations. The multiplicities of the irreducible summands are derangement numbers in several important instances, and the dimension of is given by the number of derangements of a set of 2k elements.     

Some New Extrapolation Estimates for the Scale of Spaces

Using new extrapolation estimates for the - and -functionals of couples of limit spaces of the -scale , we introduce a class of extrapolation functors. A characterization of this class via the real interpolation method permits one to obtain new equivalent expressions for the norms in symmetric spaces close to and , which depend only on the -norms of a function.     

Quotient Groups of Groups of Certain Classes

For an arbitrary variety of groups and an arbitrary class of groups that is closed on quotient groups, we prove that a quotient group G/N of the group G possesses an invariant system with - and -factors (respectively, is a residually -group) if G possesses an invariant system with - and -factors (respectively, is a residually -group) and N (respectively, N is a maximal invariant -subgroup of the group G).     

Fixed Points of Multivalued Contractions

A fixed-point theorem is proved for a broad class of closed-valued -contractions with for any positive t and with .     

The property of having independent basis in semigroup varieties

There exist independently based semigroup varieties and , , such that has no cover in the interval [ ; ].Translated from Algebra i Logika, Vol. 44, No. 1, pp. 81–96, January–February, 2005.     

Hypersurfaces in ℝn and critical points in their external region

In this paper we study the hypersurfaces given as connected compact regular fibers of a differentiable map , in the cases in which has finitely many nondegenerate critical points in the unbounded component of .     

Spectral Properties of Solutions of the Burgers Equation with Small Dissipation

We study the asymptotic behavior as of the Sobolev norm of the solution to the Cauchy problem for the one-dimensional quasilinear Burgers type equation (It is assumed that the problem is , the boundary conditions are periodic, and .) We show that the locally time-averaged Sobolev norms satisfy the estimate . The estimates obtained as a consequence for the Fourier coefficients justify Kolmogorov's spectral theory of turbulence for the case of the Burgers equation.     

Sharp Pointwise Interpolation Inequalities for Derivatives

We prove new pointwise inequalities involving the gradient of a function , the modulus of continuity of the gradient , and a certain maximal function and show that these inequalities are sharp. A simple particular case corresponding to and is the Landau type inequality , where the constant 8/3 is best possible and

Continuous Functors and Duality

Let be an associative ring with identity, and let be the category of left unitary -modules. A complete characterization of continuous additive co- and contravariant functors is given. Such functors are either representable, or equivalent to a tensor product, or trivial ones. The class of categories that are dual to and, therefore, are equivalent to the category of compact right -modules is constructed by purely algebraic means. A canonical category is singled out in this class. A purely algebraic structure that is equivalent to the topology-algebraic structure of compact right -modules is constructed. Algebraic analogs of connection and complete disconnection are given. Bibliography: 6 titles.     

Ore Extensions of Hopf Algebras

In this paper, Ore extensions in the class of Hopf algebras are studied. The classification theorem enables one to describe the Hopf--Ore extensions for the group algebras, for the algebras and , and for the quantum ax + b group.     

Semisimple Lie Algebras of Differential Operators

Starting from the commutation relations in a complex semisimple Lie algebra , one may obtain a space of vector fields on Euclidean space such that and are isomorphic when is equipped with the usual Lie bracket between vector fields and the isotropy subalgebra of is a Borel subalgebra . Furthermore, one may adjoin to the vector fields in multiplication operators to obtain an -parameter family of distinct presentations of as spaces of differential operators, where is the dual of a Cartan subalgebra. Some of these presentations will preserve a space of polynomials on Euclidean space, and, in fact, all the finite-dimensional representations of can be presented in this way. All of this is carried out explicitly for arbitrary . In doing so, one discovers there is a Lie group of diffeomorphisms of the unipotent subgroup N complementary to B which acts on these presentations and preserves a certain notion of weight.     

On the Karoubi Filtration of a Category

Let be an -filtered category in the sense of Karoubi. This is the categorical analogue of an ideal in a ring . Pedersen and Weibel constructed a fibration of K-theory spectra associated with the sequence . We present a new easier proof based on Waldhausen' generic fibration.     

On Complete Arcs Arising from Plane Curves

We point out an interplay between -Frobenius non-classical plane curves and complete -arcs in . A typical example that shows how this works is the one concerning an Hermitian curve. We present some other examples here which give rise to the existence of new complete -arcs with parameters and being a power of the characteristic. In addition, for q a square, new complete -arcs with either and or and are constructed by using certain reducible plane curves.