Toeplitz -algebras on ordered groups and their ideals of finite elements

Let be a discrete abelian group and an ordered group. Denote by the minimal quasily ordered group containing . In this paper, we show that the ideal of finite elements is exactly the kernel of the natural morphism between these two Toeplitz -algebras. When is countable, we show that if the direct sum of -groups , then .

     

A factorization theorem for the derivative of a function in

We show that a function is the derivative of a function in the Hardy space of the unit disk for if and only if where and . Here, can be chosen to be non-vanishing, , and . As an application, we characterize positive measures on the unit disk such that the operator is bounded from the tent space to , where .

     

-identities on associative algebras

Let be an algebra over a field and a finite group of automorphisms and anti-automorphisms of . We prove that if satisfies an essential -polynomial identity of degree , then the -codimensions of are exponentially bounded and satisfies a polynomial identity whose degree is bounded by an explicit function of . As a consequence we show that if is an algebra with involution satisfying a -polynomial identity of degree , then the -codimensions of are exponentially bounded; this gives a new proof of a theorem of Amitsur stating that in this case must satisfy a polynomial identity and we can now give an upper bound on the degree of this identity.

     

Ample divisors on the blow up of at points

Fix integers with and ; if assume . Let be general points of the complex projective space and let be the blow up of at with exceptional divisors , . Set . Here we prove that the divisor is ample if and only if , i.e. if and only if .

     

Some corollaries of Frobenius' normal -complement theorem

For a prime divisor of the order of a finite group , we present the set of -subgroups generating . In particular, we present the set of primary subgroups of generating the last member of the lower central series of . The proof is based on the Frobenius Normal -Complement Theorem and basic properties of minimal nonnilpotent groups. Let be a group and a group-theoretic property inherited by subgroups and epimorphic images such that all minimal non--subgroups (-subgroups) of are not nilpotent. Then (see the lemma), if is generated by all -subgroups of it follows that is a -group.

     

Gradient estimates for positive solutions of the Laplacian with drift

Let be a complete Riemannian manifold of dimension without boundary and with Ricci curvature bounded below by where If is a vector field such that and on for some nonnegative constants and then we show that any positive solution of the equation satisfies the estimate

on , for all In particular, for the case when this estimate is advantageous for small values of and when it recovers the celebrated Liouville theorem of Yau (Comm. Pure Appl. Math. 28 (1975), 201-228).

     

type free resolutions of monomial ideals

Let be a monomial ideal of . Bayer-Peeva-Sturmfels studied a subcomplex of the Taylor resolution, defined by a simplicial complex . They proved that if is generic (i.e., no variable appears with the same non-zero exponent in two distinct monomials which are minimal generators), then is the minimal free resolution of , where is the Scarf complex of . In this paper, we prove the following: for a generic (in the above sense) monomial ideal and each integer , there is an embedded prime of . Thus a generic monomial ideal with no embedded primes is Cohen-Macaulay (in this case, is shellable). We also study a non-generic monomial ideal whose minimal free resolution is for some . In particular, we prove that if all associated primes of have the same height, then is Cohen-Macaulay and is pure and strongly connected.

     

Normalizers of the congruence subgroups of the Hecke group

Let cos and let be the Hecke group associated to . In this article, we show that for a prime ideal in , the congruence subgroups of are self-normalized in .

     

Open covers and partition relations

An open cover of a topological space is said to be an -cover if there is for each finite subset of the space a member of the cover which contains the finite set, but the space itself is not a member of the cover. We prove theorems which imply that a set of real numbers has Rothberger's property if, and only if, for each positive integer , for each -cover of , and for each function from the two-element subsets of , there is a subset of such that is constant on , and each element of belongs to infinitely many elements of (Theorem 1). A similar characterization is given of Menger's property for sets of real numbers (Theorem 6).

     

Behaviour of holomorphic automorphisms on equicontinuous subsets of the space

Consider a compact Hausdorff topological space , a -triple and , the -triple of all continuous -valued functions with the pointwise operations and the norm of the supremum. Let be the group of all holomorphic automorphisms of the unit ball of that map every equicontinuous subset lying strictly inside into another such a set. The real Banach-Lie group and its Lie algebra are investigated. The identity connected component of is identified when has the strong Banach-Stone property. This extends to the infinite dimensional setting a well known result concerning the case .

     

A description of Hilbert -modules in which all closed submodules are orthogonally closed

Let , be -algebras and a full Hilbert --bimodule such that every closed right submodule is orthogonally closed, i.e., . Then there are families of Hilbert spaces , such that and are isomorphic to -direct sums , resp. , and is isomorphic to the outer direct sum .

     

The connected stable rank of the purely infinite simple -algebras

Suppose that is a unital purely infinite simple -algebra. If the class [1] of the unit 1 in has torsion, then ; if [1] is torsion-free in , then . If is a non-unital purely infinite simple -algebra, then .

     

Interpolation in inflated Hilbert spaces

The interpolation problem for a reflexive algebra Alg is this: Given two operators and , under what conditions can we be sure that there will exist an operator in Alg such that ? There are simple necessary conditions that have been investigated in several earlier papers. Here we present an example to show that the conditions are not, in general, sufficient. We also suggest a strengthened set of conditions which are necessary and are ``almost' sufficient, in the sense that they will ensure that lies in the weak-operator closure of the set {:Alg}.

     

Common fixed points of commuting holomorphic maps in the unit ball of

Let be the unit ball of (). We prove that if are holomorphic self-maps of such that , then and have a common fixed point (possibly at the boundary, in the sense of -limits). Furthermore, if and have no fixed points in , then they have the same Wolff point, unless the restrictions of and to the one-dimensional complex affine subset of determined by the Wolff points of and are commuting hyperbolic automorphisms of that subset.

     

The weak closure of the set of left translation operators

It is known that for an amenable locally compact group , is not in the weak closure of of . In this paper, it is proved that the converse of this is true. In other words, if is a non-amenable locally compact group, then is in the weak closure of . This answers several questions of Ülger. Applications to the algebra and the dual of the reduced group -algebra are obtained.

     

Relative Brauer groups of discrete valued fields

Let be a non-trivial finite Galois extension of a field . In this paper we investigate the role that valuation-theoretic properties of play in determining the non-triviality of the relative Brauer group, , of over . In particular, we show that when is finitely generated of transcendence degree 1 over a -adic field and is a prime dividing , then the following conditions are equivalent: (i) the -primary component, , is non-trivial, (ii) is infinite, and (iii) there exists a valuation of trivial on such that divides the order of the decomposition group of at .

     

A class of

Extending an example given by T. Kriete, we develop a class of measures each of which consists of a measure on along with a series of weighted point masses in . This class provides relatively simple examples of measures which have the property that the collection of analytic bounded point evaluations for varies with . The first known measures with this property were recently constructed by J. Thomson.

     

Unconditional basic sequence in -stability

This paper is concerned with unconditional basic sequences in . We prove that, under some conditions, a sequence in is a bounded unconditional basic sequence if and only if it is -stable. At last the results are applied to the shift-invariant basic sequences generated by a finite subset of , which is very important in wavelet analysis.

     

A note on -bases of rings

Let be a tower of rings of characteristic . Suppose that is a finitely presented -module. We give necessary and sufficient conditions for the existence of -bases of over . Next, let be a polynomial ring where is a perfect field of characteristic , and let be a regular noetherian subring of containing such that . Suppose that is a free -module. Then, applying the above result to a tower of rings, we shall show that a polynomial of minimal degree in is a -basis of over .

     

Positive differentials, theta functions and Hardy kernels

Let be a planar regular region whose Schottky double has genus and set . For fixed we determine the range of the function where is the Riemann theta function on . Also we introduce two weighted Hardy spaces to study the problem when the matrix is positive definite. The proof relies on new theta identities using Fay's trisecants formula.