Toeplitz operators on Bloch-type spaces

We characterize complex measures on the unit disk for which the Toeplitz operator , is bounded or compact on the Bloch type spaces .

     

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 ).

     

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.

     

Existence and uniqueness theorems for singular anisotropic quasilinear elliptic boundary value problems

On bounded domains we consider the anisotropic problems in with 1$"> and on and in with and on . Moreover, we generalize these boundary value problems to space-dimensions 2$">. Under geometric conditions on and monotonicity assumption on we prove existence and uniqueness of positive solutions.     

Two characterizations of pure injective modules

Let be a commutative ring with identity and an -module. It is shown that if is pure injective, then is isomorphic to a direct summand of the direct product of a family of finitely embedded modules. As a result, it follows that if is Noetherian, then is pure injective if and only if is isomorphic to a direct summand of the direct product of a family of Artinian modules. Moreover, it is proved that is pure injective if and only if there is a family of -algebras which are finitely presented as -modules, such that is isomorphic to a direct summand of a module of the form , where for each , is an injective -module.

     

The real rank zero property of crossed product

Let be a unital -algebra, and let be a -dynamical system with abelian and discrete. In this paper, we introduce the continuous affine map from the trace state space of the crossed product to the -invariant trace state space of . If is of real rank zero and is connected, we have proved that is homeomorphic. Conversely, if is homeomorphic, we also get some properties and real rank zero characterization of . In particular, in that case, is of real rank zero if and only if each unitary element in with the form can be approximated by the unitary elements in with finite spectrum, where , , and if moreover is a unital inductive limit of the direct sums of non-elementary simple -algebras of real rank zero, then the above can be cancelled.

     

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).

     

Resolutions of ideals of fat points with support in a hyperplane

Let be a fat point subscheme of , and let be a linear form such that some power of vanishes on (i.e., the support of lies in the hyperplane defined by , regarded as ). Let , where is the subscheme of residual to ; note that is a fat points subscheme of . In this paper we give a graded free resolution of the ideal over , in terms of the graded minimal free resolutions of the ideals . We also give a criterion for when the resolution is minimal, and we show that this criterion always holds if .

     

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.

     

Nonabelian free subgroups in homomorphic images of valued quaternion division algebras

Given a quaternion division algebra a noncentral element is called pure if its square belongs to the center. A theorem of Rowen and Segev (2004) asserts that for any quaternion division algebra of positive characteristic and any pure element the quotient of by the normal subgroup generated by is abelian-by-nilpotent-by-abelian. In this note we construct a quaternion division algebra of characteristic zero containing a pure element such that contains a nonabelian free group. This demonstrates that the situation in characteristic zero is very different.

     

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.

     

Universality of uniform Eberlein compacta

We prove that if for some regular , then there is no family of less than c-algebras of size which are jointly universal for c-algebras of size . On the other hand, it is consistent to have a cardinal as large as desired and satisfying and , while there are c-algebras of size that are jointly universal for c-algebras of size . Consequently, by the known results of M. Bell, it is consistent that there is as in the last statement and uniform Eberlein compacta of weight such that at least one among them maps onto any Eberlein compact of weight (we call such a family universal). The only positive universality results for Eberlein compacta known previously required the relevant instance of to hold. These results complete the answer to a question of Y. Benyamini, M. E. Rudin and M. Wage from 1977 who asked if there always was a universal uniform Eberlein compact of a given weight.

     

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

     

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

     

Isomorphic -subspaces in Orlicz-Lorentz sequence spaces

Given a decreasing weight and an Orlicz function satisfying the -condition at zero, we show that the Orlicz-Lorentz sequence space contains an -isomorphic copy of , if and only if the Orlicz sequence space does, that is, if , where and are the Matuszewska-Orlicz lower and upper indices of , respectively. If does not satisfy the -condition, then a similar result holds true for order continuous subspaces and of and , respectively.

     

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.

     

Gibbs' phenomenon and surface area

If a function is of bounded variation on and is a positive approximate identity, we prove that the area of the graph of converges from below to the relaxed area of the graph of . Moreover we give asymptotic estimates for the area of the graph of the square partial sums of multiple Fourier series of functions with suitable discontinuities.

     

The sufficiency of arithmetic progressions for the Conjecture

Define by if is odd and if is even. The Conjecture states that the -orbit of every positive integer contains . A set of positive integers is said to be sufficient if the -orbit of every positive integer intersects the -orbit of an element of that set. Thus to prove the Conjecture it suffices to prove it on some sufficient set. Andaloro proved that the sets are sufficient for and asked if is also sufficient for larger values of . We answer this question in the affirmative by proving the stronger result that is sufficient for any nonnegative integers and with i.e. every nonconstant arithmetic sequence forms a sufficient set. We then prove analagous results for the Divergent Orbits Conjecture and Nontrivial Cycles Conjecture.

     

On Burch's inequality and a reduction system of a filtration

Let be a multiplicative filtration of a local ring such that the Rees algebra is Noetherian. We recall Burch's inequality for and give an upper bound of the a-invariant of the associated graded ring using a reduction system of . Applying those results, we study the symbolic Rees algebra of certain ideals of dimension .