On Korenblum's maximum principle

Let be the Bergman space over the open unit disk in the complex plane. Korenblum's maximum principle states that there is an absolute constant , such that whenever ( ) in the annulus , then . In this paper we prove that Korenblum's maximum principle holds with .

     

The Banach algebra generated by a contraction

Let be a contraction on a Banach space and the Banach algebra generated by . Let be the unitary spectrum (i.e., the intersection of with the unit circle) of . We prove the following theorem of Katznelson-Tzafriri type: If is at most countable, then the Gelfand transform of vanishes on if and only if

     

The spherical Paley-Wiener theorem on the complex Grassmann manifolds SU

We prove the Paley-Wiener theorem for the spherical transform on the complex Grassmann manifolds SUSU   U. This theorem characterizes the -biinvariant smooth functions on the group that are supported in the -invariant ball of radius , with less than the injectivity radius of , in terms of holomorphic extendability, exponential growth, and Weyl invariance properties of the spherical Fourier transforms , originally defined on the discrete set of highest restricted spherical weights.

     

An ascending HNN extension of a free group inside

We give an example of a subgroup of which is a strictly ascending HNN extension of a non-abelian finitely generated free group . In particular, we exhibit a free group in of rank which is conjugate to a proper subgroup of itself. This answers positively a question of Drutu and Sapir (2005). The main ingredient in our construction is a specific finite volume (non-compact) hyperbolic 3-manifold which is a surface bundle over the circle. In particular, most of comes from the fundamental group of a surface fiber. A key feature of is that there is an element of in with an eigenvalue which is the square root of a rational integer. We also use the Bass-Serre tree of a field with a discrete valuation to show that the group we construct is actually free.

     

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.

     

On the relative commutants of subfactors

Let be factors generated by a periodic tower of finite dimensional -algebras. We prove that for sufficiently large , is -isomorphic to a subalgebra of .

     

Functions -orthogonal with respect to their own zeros

In 1939, G. H. Hardy proved that, under certain conditions, the only functions satisfying

where the are the zeros of , are the Bessel functions. We replace the above integral by the Jackson -integral and give the -analogue of Hardy's result.

     

A Beurling-Carleson set which is a uniqueness set for a given weighted space of analytic functions

Let be a sequence of positive real numbers. We define as the space of functions which are analytic in the unit disc , continuous on and such that

where is the Fourier coefficient of the restriction of to the unit circle . Let be a closed subset of . We say that is a Beurling-Carleson set if

where denotes the distance between and . In 1980, A. Atzmon asked whether there exists a sequence of positive real numbers such that for all and that has the following property: for every Beurling-Carleson set , there exists a non-zero function in that vanishes on . In this note, we give a negative answer to this question.

     

Operators with bounded conjugation orbits

For a bounded invertible operator on a complex Banach space let be the set of operators in for which Suppose that and is in A bound is given on in terms of the spectral radius of the commutator. Replacing the condition in by the weaker condition as for every 0$">, an extension of the Deddens-Stampfli-Williams results on the commutant of is given.

     

Extensions of orthosymmetric lattice bimorphisms

Let be an Archimedean vector lattice, let be its Dedekind completion and let be a Dedekind complete vector lattice. If is an orthosymmetric lattice bimorphism, then there exists a lattice bimorphism that not just extends but also has to be orthosymmetric. As an application, we prove the following: Let be an Archimedean -algebra. Then the multiplication in can be extended to a multiplication in , the Dedekind completion of , in such a fashion that is again a -algebra with respect to this extended multiplication. This gives a positive answer to the problem posed by C. B. Huijsmans in 1990.

     

Poincaré duality algebras and rings of coinvariants

Let be a faithful representation of a finite group over the field . Via the group acts on and hence on the algebra of homogenous polynomial functions on the vector space . R. Kane (1994) formulated the following result based on the work of R. Steinberg (1964): If the field has characteristic 0, then is a Poincaré duality algebra if and only if is a pseudoreflection group. The purpose of this note is to extend this result to the case (i.e. the order of is relatively prime to the characteristic of ).

     

Lifts of - and -morphisms to -morphisms

Let be the Hochschild complex of cochains on and let be the space of multivector fields on . In this paper we prove that given any -structure (i.e. Gerstenhaber algebra up to homotopy structure) on , and any -morphism (i.e. morphism of a commutative, associative algebra up to homotopy) between and , there exists a -morphism between and that restricts to . We also show that any -morphism (i.e. morphism of a Lie algebra up to homotopy), in particular the one constructed by Kontsevich, can be deformed into a -morphism, using Tamarkin's method for any -structure on . We also show that any two of such -morphisms are homotopic.

     

Nikolskii-type inequalities for shift invariant function spaces

Let be a vectorspace of complex-valued functions defined on of dimension over . We say that is shift invariant (on ) if implies that for every , where on . In this note we prove the following.

Theorem. Let be a shift invariant vectorspace of complex-valued functions defined on of dimension over . Let . Then

for every and

     

Automatic continuity of -derivations on -algebras

Let be a -algebra acting on a Hilbert space , let be a linear mapping and let be a -derivation. Generalizing the celebrated theorem of Sakai, we prove that if is a continuous -mapping, then is automatically continuous. In addition, we show the converse is true in the sense that if is a continuous --derivation, then there exists a continuous linear mapping such that is a --derivation. The continuity of the so-called - -derivations is also discussed.

     

Self-commutators of automorphic composition operators on the Dirichlet space

Let be a conformal automorphism on the unit disk and be the composition operator on the Dirichlet space induced by . In this article we completely determine the point spectrum, spectrum, essential spectrum and essential norm of the operators and self-commutators of , which expose that the spectrum and point spectrum coincide. We also find the eigenfunctions of the operators.

     

Extreme contractions on continuous vector-valued function spaces

An old question asks whether extreme contractions on are necessarily nice; that is, whether the conjugate of such an operator maps extreme points of the dual ball to extreme points. Partial results have been obtained. Determining which operators are extreme seems to be a difficult task, even in the scalar case. Here we consider the case of extreme contractions on , where itself is a Banach space. We show that every extreme contraction on to itself which maps extreme points to elements of norm one is nice, where is compact and is the sequence space .

     

On chaotic -semigroups and infinitely regular hypercyclic vectors

A -semigroup on a Banach space is called hypercyclic if there exists an element such that is dense in . is called chaotic if is hypercyclic and the set of its periodic vectors is dense in as well. We show that a spectral condition introduced by Desch, Schappacher and Webb requiring many eigenvectors of the generator which depend analytically on the eigenvalues not only implies the chaoticity of the semigroup but the chaoticity of every . Furthermore, we show that semigroups whose generators have compact resolvent are never chaotic. In a second part we prove the existence of hypercyclic vectors in for a hypercyclic semigroup , where is its generator.

     

An ultrafilter with property

Let be a -supercompact cardinal. We show that carries a normal ultrafilter with a property introduced by Menas. With it we give a transparent proof of Kamo's theorem that carries a normal ultrafilter with the partition property.

     

Algebraic isomorphisms and -subspace lattices

The class of -lattices was originally defined in the second author's thesis and subsequently by Longstaff, Nation, and Panaia. A subspace lattice on a Banach space which is also a -lattice is called a -subspace lattice, abbreviated JSL. It is demonstrated that every single element of has rank at most one. It is also shown that has the strong finite rank decomposability property. Let and be subspace lattices that are also JSL's on the Banach spaces and , respectively. The two properties just referred to, when combined, show that every algebraic isomorphism between and preserves rank. Finally we prove that every algebraic isomorphism between and is quasi-spatial.

     

On the irreducibility of the Hilbert scheme of space curves

Denote by the Hilbert scheme parametrizing smooth irreducible complex curves of degree and genus embedded in . In 1921 Severi claimed that is irreducible if . As it has turned out in recent years, the conjecture is true for and , while for it is incorrect. We prove that , and are irreducible, provided that , and , correspondingly. This augments the results obtained previously by Ein (1986), (1987) and by Keem and Kim (1992).