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.

     

Krull dimension of the enveloping algebra of a semisimple Lie algebra

Let be a complex semisimple Lie algebra and be its enveloping algebra. We deduce from the work of R. Bezrukavnikov, A. Braverman and L. Positselskii that the Krull-Gabriel-Rentschler dimension of is equal to the dimension of a Borel subalgebra of .

     

Normalizers of the congruence subgroups of the Hecke group II

Let . Let be an ideal of and let be the maximal ideal of such that . Then . In particular, if is square free, then is self-normalized in .

     

Arens-Michael enveloping algebras and analytic smash products

Let be a finite-dimensional complex Lie algebra, and let be its universal enveloping algebra. We prove that if , the Arens-Michael envelope of is stably flat over (i.e., if the canonical homomorphism is a localization in the sense of Taylor (1972), then is solvable. To this end, given a cocommutative Hopf algebra and an -module algebra , we explicitly describe the Arens-Michael envelope of the smash product as an ``analytic smash product' of their completions w.r.t. certain families of seminorms.

     

Some Lie superalgebras associated to the Weyl algebras

Let be the Lie superalgebra . We show that there is a surjective homomorphism from to the Weyl algebra , and we use this to construct an analog of the Joseph ideal. We also obtain a decomposition of the adjoint representation of on and use this to show that if is made into a Lie superalgebra using its natural -grading, then . In addition, we show that if and are isomorphic as Lie superalgebras, then . This answers a question of S. Montgomery.

     

Almost-disjoint coding and strongly saturated ideals

We show that Martin's Axiom plus implies that there is no -saturated -ideal on .

     

A note concerning the index of the shift

Let be a finite, positive Borel measure with support in such that - the closure of the polynomials in - is irreducible and each point in is a bounded point evaluation for . We show that if 0$">and there is a nontrivial subarc of such that

-\infty,\end{displaymath}">

then for each nontrivial closed invariant subspace for the shift on .

     

-hyponormality is not translation-invariant

In this note we provide an example of a semi-hyponormal Hilbert space operator for which is not -hyponormal for some and all .

     

Sobolev spaces and the Cayley transform

The generalised Cayley transform  from an Iwasawa -group into the corresponding real unit sphere  induces isomorphisms between suitable Sobolev spaces and . We study the differential of  , and we obtain a criterion for a function to be in  .

     

Pointwise convergence of bounded cascade sequences

The cascade algorithm plays an important role in computer graphics and wavelet analysis. For an initial function , a cascade sequence is constructed by the iteration where is defined by In this paper, under a condition that the sequence is bounded in , we prove that the following three statements are equivalent: (i) converges . (ii) For , there exist a positive constant and a constant such that (iii) For some converges in . An example is presented to illustrate our result.

     

Strong comparison principle for solutions of quasilinear equations

Let , , be a bounded smooth connected open set and be a map satisfying the hypotheses (H1)-(H4) below. Let with , in and with be two weak solutions of

Suppose that in . Then we show that u_1$"> in under the following assumptions: either u_1$"> on , or on and in . We also show a measure-theoretic version of the Strong Comparison Principle.

     

A classification of prime segments in simple artinian rings

Let be a simple artinian ring. A valuation ring of is a Bézout order of so that is simple artinian, a Goldie prime is a prime ideal of so that is Goldie, and a prime segment of is a pair of neighbouring Goldie primes of A prime segment is archimedean if is equal to it is simple if and it is exceptional if In this last case, is a prime ideal of so that is not Goldie. Using the group of divisorial ideals, these results are applied to classify rank one valuation rings according to the structure of their ideal lattices. The exceptional case splits further into infinitely many cases depending on the minimal so that is not divisorial for

     

Weak properties of weighted convolution algebras

Suppose that is a weighted convolution algebra on with the weight normalized so that the corresponding space of measures is the dual space of the space of continuous functions. Suppose that is a continuous nonzero homomorphism, where is also a convolution algebra. If is norm dense in , we show that is (relatively) weak dense in , and we identify the norm closure of with the convergence set for a particular semigroup. When is weak continuous it is enough for to be weak dense in . We also give sufficient conditions and characterizations of weak continuity of . In addition, we show that, for all nonzero in , the sequence converges weak to 0. When is regulated, converges to 0 in norm.

     

Maximality theorems for Fréchet algebras

The algebra of unbounded holomorphic functions that is contained in the algebra is studied. For in but not in , we show that the algebra generated by and is dense in for all .

     

The alternative Dunford-Pettis property in -algebras and von Neumann preduals

A Banach space is said to have the alternative Dunford-Pettis property if, whenever a sequence weakly in with , we have for each weakly null sequence in X. We show that a -algebra has the alternative Dunford-Pettis property if and only if every one of its irreducible representations is finite dimensional so that, for -algebras, the alternative and the usual Dunford-Pettis properties coincide as was conjectured by Freedman. We further show that the predual of a von Neumann algebra has the alternative Dunford-Pettis property if and only if the von Neumann algebra is of type I.

     

A note on the existence of a largest topological factor with zero entropy

Given a topological system on a -compact Hausdorff space and its factor we show the existence of a largest topological factor containing such that for each -invariant measure , . When a relative variational principle holds, .

     

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.

     

Every -regular

We prove the following: Theorem A. If is a -regular ultrafilter, then either

(a)

is -regular, or

(b)

the cofinality of the linear order is , and is -regular for all .

Corollary B. Suppose that is singular, and either is regular, or . Then every -regular ultrafilter is -regular.

We also discuss some consequences and variations.

     

On quasi-complete intersections of codimension

In this paper, we prove that if , , is a locally complete intersection of pure codimension and defined scheme-theoretically by three hypersurfaces of degrees , then for using liaison theory and the Arapura vanishing theorem for singular varieties. As a corollary, a smooth threefold is projectively normal if is defined by three quintic hypersurfaces.

     

Maximal estimates for the -dimensional Walsh-Fourier series

The -dimensional dyadic martingale Hardy spaces are introduced and it is proved that the maximal operator of the means of a Walsh-Fourier series is bounded from to and is of weak type , provided that the supremum in the maximal operator is taken over a positive cone. As a consequence we obtain that the means of a function converge a.e. to the function in question. Moreover, we prove that the means are uniformly bounded on whenever . Thus, in case , the means converge to in norm. The same results are proved for the conjugate means, too.