A note on branching theorems

Let be a complex, simply connected semisimple analytic group with a closed connected reductive subgroup. Suppose is an irreducible holomorphic -module and an irreducible holomorphic -module. We prove that Hom possesses the structure of an irreducible -module whenever is . Moreover, for all and if and only if is commutative.

     

Serial subalgebras of finitary Lie algebras

A Lie subalgebra of is said to be finitary if it consists of elements of finite rank. We show that, if acts irreducibly on , and if is infinite-dimensional, then every non-trivial ascendant Lie subalgebra of acts irreducibly on too. When , it follows that the locally solvable radical of such is trivial. In general, locally solvable finitary Lie algebras over fields of characteristic are hyperabelian.

     

Free summands of conormal modules and central elements in homotopy Lie algebras of local rings

If is a surjective local homomorphism with kernel , such that and the conormal module has a free summand of rank , then the degree central subspace of the homotopy Lie algebra of has dimension greater than or equal to . This is a corollary of the Main Theorem of this note. The techniques involved provide new proofs of some well known results concerning the conormal module.

     

A dichotomy theorem for subsets of the power set of the natural numbers

The following dichotomy is established for any pair , of hereditary families of finite subsets of : Given , an infinite subset of , there exists an infinite subset of so that either , or , where denotes the set of all finite subsets of .

     

Almost periodic hyperfunctions

We characterize the almost periodic hyperfunctions by showing that the following statements are equivalent for any bounded hyperfunction . (i) is almost periodic. (ii) for every . (iii) There are two functions and an infinite order differential operator such that (iv) The Gauss transform of is almost periodic for every 0$">. Here is the space of almost periodic continuous functions, is the Sato space of test functions for the Fourier hyperfunctions, and is the heat kernel. This generalizes the result of Schwartz on almost periodic distributions and that of Cioranescu on almost periodic (non-quasianalytic) ultradistributions to the case of hyperfunctions.

     

Holomorphic perturbation of Fourier coefficients

Let be the unit circle, let be a Banach space continuously embedded in and suppose that is a Banach -module under convolution. We show that if and is holomorphic in a neighbourhood of with and then

     

Compact range property and operators on -algebras

We prove that a Banach space has the compact range property (CRP) if and only if, for any given -algebra , every absolutely summing operator from into is compact. Related results for -summing operators () are also discussed as well as operators on non-commutative -spaces and -summing operators.

     

Diagonal type conditions on group C-algebras

Let be a locally compact group with and its enveloping and reduced C-algebras respectively. We show that if is residually finite dimensional, then is maximally almost periodic, and is residually finite dimensional if and only if is both amenable and maximally almost periodic. Letting be the left regular representation of , we show that a certain quasidiagonality condition on implies that is amenable.

     

Spectra of subdivision operators

Let be a sequence of complex numbers and except for finitely many . The subdivision operator associated with is the bi-infinite matrix . This operator plays an important role in wavelet analysis and subdivision algorithms. As the adjoint it is closely related to the well-known transfer operators (also called Ruelle operator).

In this paper we show that for any , the spectrum of in is always a closed disc centered at the origin. Moreover, except for finitely many points, all the points in the open disc of the spectrum lie in the residual spectrum.

     

Irreducible restriction and zeros of characters

Let be a finite group, let be normal in and suppose that is an irreducible complex character of . Then is not irreducible if and only if vanishes on some coset of in .

     

Les transformations de Cremona stellaires

On construit explicitement toutes les transformations de Cremona de qui satisfont à la propriété suivante: il existe tels que les droites par sont envoyées sur les droites par . On caractérise de plusieurs manières ces transformations et pour chaque entier non-négatif on donne des formules pour la dimension de l'ensemble constitué de celles qui ont degré .

ABSTRACT. We construct the Cremona transformations of satisfying the following property: there exist such that the image of all straight lines through are straight lines through . We characterise these transformations, and for all non-negative integer we give a formula for the dimension of the set of those whose degree is .

     

An inequality for the norm of a polynomial factor

Let be a monic polynomial of degree , with complex coefficients, and let be its monic factor. We prove an asymptotically sharp inequality of the form , where denotes the sup norm on a compact set in the plane. The best constant in this inequality is found by potential theoretic methods. We also consider applications of the general result to the cases of a disk and a segment.

     

A new construction of semi-free actions on Menger manifolds

A new construction of semi-free actions on Menger manifolds is presented. As an application we prove a theorem about simultaneous coexistence of countably many semi-free actions of compact metric zero-dimensional groups with the prescribed fixed-point sets: Let be a compact metric zero-dimensional group, represented as the direct product of subgroups , a -manifold and (resp., ) its pseudo-interior (resp., pseudo-boundary). Then, given closed subsets of , there exists a -action on such that (1) and are invariant subsets of ; and (2) each is the fixed point set of any element .

     

Detecting completeness from Ext-vanishing

Motivated by work of C. U. Jensen, R.-O. Buchweitz, and H. Flenner, we prove the following result. Let be a commutative noetherian ring and an ideal in the Jacobson radical of . Let be the -adic completion of . If is a finitely generated -module such that for all , then is -adically complete.

     

A refinement of the toral rank conjecture for 2-step nilpotent Lie algebras

It is known that the total (co)-homoloy of a 2-step nilpotent Lie algebra is at least , where is the center of . We improve this result by showing that a better lower bound is , where and is a complement of in . Furthermore, we provide evidence that this is the best possible bound of the form .

     

Asymptotic behavior of Fourier transforms of self-similar measures

Let be a self-similar probability measure on satisfying where 0$"> and Let be the Fourier transform of A necessary and sufficient condition for to approach zero at infinity is given. In particular, if and for then 0$"> if and only if is a PV-number and is not a factor of . This generalizes the corresponding theorem of Erdös and Salem for the case

     

Convex curves, Radon transforms and convolution operators defined by singular measures

Let be a convex curve in the plane and let be the arc-length measure of Let us rotate by an angle and let be the corresponding measure. Let . Then This is optimal for an arbitrary . Depending on the curvature of , this estimate can be improved by introducing mixed-norm estimates of the form where and are conjugate exponents.     

Characterization of completions of reduced local rings

We find necessary and sufficient conditions for a complete local ring to be the completion of a reduced local ring. Explicitly, these conditions on a complete local ring with maximal ideal are (i) or , and (ii) for all , if is an integer of , then .

     

A note on -bases of a regular affine domain extension

Let be a tower of commutative rings where is a regular affine domain over an algebraically closed field of prime characteristic and is a regular domain. Suppose has a -basis over and . For a subset of whose elements satisfy a certain condition on linear independence, let be a set of maximal ideals of such that is a -basis of over . We shall characterize this set in a geometrical aspect.