Hyperbolic unit groups

In this paper we study the groups whose integral group rings have hyperbolic unit groups . We classify completely the torsion subgroups of and the polycyclic-by-finite subgroups of the group . Finally, we classify the groups for which the boundary of has dimension zero.

     

Hilbert modules over a class of semicrossed products

Given the disk algebra and an automorphism , there is associated a non-self-adjoint operator algebra called the semicrossed product of with . Buske and Peters showed that there is a one-to-one correspondence between the contractive Hilbert modules over and pairs of contractions and on satisfying . In this paper, we show that the orthogonally projective and Shilov Hilbert modules over correspond to pairs of isometries on satisfying . The problem of commutant lifting for is left open, but some related results are presented.     

Cardinal spline interpolation from

Let be the discrete Hardy space, consisting of those sequences , such that , where , , is the discrete Hilbert transform of . For a sequence , let be the unique cardinal spline of degree interpolating to at the integers. The norm of this operator, , is called a Lebesgue constant from to , and it was proved that .

It is proved in this paper that

     

``Lebesgue measure' on , II

Let be the set of real numbers, and define . We construct a complete measure space where the -algebra contains the Borel subsets of , and is a translation-invariant measure such that for any measurable rectangle , if , then , where is Lebesgue measure on . The measure is not -finite. We prove three Fubini theorems, namely, the Fubini theorem, the mean Fubini-Jensen theorem, and the pointwise Fubini-Jensen theorem. Finally, as an application of the measure , we construct, via selfadjoint operators on , a ``Schrödinger model' of the canonical commutation relations: , , .

     

The groups of quasiconformal homeomorphisms on Riemann surfaces

Suppose is a connected Riemann surface. Let denote the homeomorphism group of with the compact-open topology, and denote the subgroup of quasiconformal mappings of onto itself, and let and denote the identity components of and respectively. In this paper we show that the pair is an -manifold, and determine their topological types.

     

Isolated invariant curves of a foliation

We bound the equisingularity type of the set of isolated separatrices of a holomorphic foliation of in terms of the Milnor number of . This result gives a bound for the degree of an algebraic invariant curve of a foliation of in terms of the degree of , provided that all the branches of are isolated separatrices.

     

The -invariant and Gorensteinness of graded rings associated to filtrations of ideals in regular local rings

Let be a regular local ring and let be a filtration of ideals in such that is a Noetherian ring with . Let and let be the -invariant of . Then the theorem says that is a principal ideal and for all if and only if is a Gorenstein ring and . Hence , if is a Gorenstein ring, but the ideal is not principal.

     

The Laplacian subalgebra of is a strongly singular masa

In this paper, we present a new class of strongly singular maximal abelian subalgebras living inside the -folded tensor product of the free group factor with itself (). The notions of strongly singular masas in type factors and that of asymptotic homomorphism were introduced by A. Sinclair and R. Smith. One of their first examples was the Laplacian subalgebra of the free group factor, generated by the sum of words of length 1 in . This subalgebra was known to be a singular masa. Using the results of A. Sinclair and R. Smith, we show that the unique trace-preserving conditional expectation onto the Laplacian subalgebra of is an asymptotic homomorphism, and hence the Laplacian subalgebra is a strongly singular masa for every .

     

Gradient ranges of bumps on the plane

For a -smooth bump function we show that the gradient range is the closure of its interior, provided that admits a modulus of continuity satisfying as . The result is a consequence of a more general result about gradient ranges of bump functions of the same degree of smoothness. For such bump functions we show that for open sets , either the intersection is empty or its topological dimension is at least two. The proof relies on a new Morse-Sard type result where the smoothness hypothesis is independent of the dimension of the space.

     

(APD)-property of -algebras by extensions of -algebras with (APD)

A unital -algebra is said to have the (APD)-property if every nonzero element in has the approximate polar decomposition. Let be a closed ideal of . Suppose that and have (APD). In this paper, we give a necessary and sufficient condition that makes have (APD). Furthermore, we show that if and or is a simple purely infinite -algebra, then has (APD).

     

Smooth rank one perturbations of selfadjoint operators

Let be a selfadjoint operator in a Hilbert space with inner product . The rank one perturbations of have the form , , for some element . In this paper we consider smooth perturbations, i.e. we consider for some . Function-theoretic properties of their so-called -functions and operator-theoretic consequences will be studied.

     

Convexity numbers of closed sets in

For 2$"> let be the -ideal in generated by all sets which do not contain equidistant points in the usual metric on . For each 2$"> a set is constructed in so that the -ideal which is generated by the convex subsets of restricted to the convexity radical is isomorphic to . Thus is equal to the least number of convex subsets required to cover -- the convexity number of .

For every non-increasing function \aleph_0\}$"> we construct a model of set theory in which for each . When is strictly decreasing up to , uncountable cardinals are simultaneously realized as convexity numbers of closed subsets of . It is conjectured that , but never more than , different uncountable cardinals can occur simultaneously as convexity numbers of closed subsets of . This conjecture is true for and .     

Segal-Bargmann transforms of one-mode interacting Fock spaces associated with Gaussian and Poisson measures

Let and denote the Gaussian and Poisson measures on , respectively. We show that there exists a unique measure on such that under the Segal-Bargmann transform the space is isomorphic to the space of analytic -functions on with respect to . We also introduce the Segal-Bargmann transform for the Poisson measure and prove the corresponding result. As a consequence, when and have the same variance, and are isomorphic to the same space under the - and -transforms, respectively. However, we show that the multiplication operators by on and on act quite differently on .

     

A non-Hausdorff model for the complement of a complexified hyperplane arrangement

Given a hyperplane arrangement in a real vector space , we introduce a real algebraic prevariety , and exhibit the complement of in the complexification of as the total space of an affine bundle over with fibers modeled on the dual vector space .

     

Cofinality changes required for a large set of unapproachable ordinals below

In , assume that is a strong limit cardinal and . Let be the set of approachable ordinals less than . An open question of M. Foreman is whether can be non-stationary in some and preserving extension of . It is shown here that if is such an outer model, then is infinite, for each positive integer .

     

On conjugation invariants in the dual Steenrod algebra

We investigate the canonical conjugation, , of the mod dual Steenrod algebra, , with a view to determining the subspace, , of elements invariant under . We give bounds on the dimension of this subspace for each degree and show that, after inverting , it becomes polynomial on a natural set of generators. Finally we note that, without inverting , is far from being polynomial.

     

Games and general distributive laws in Boolean algebras

The games and are played by two players in -complete and max -complete Boolean algebras, respectively. For cardinals such that or , the -distributive law holds in a Boolean algebra iff Player 1 does not have a winning strategy in . Furthermore, for all cardinals , the -distributive law holds in iff Player 1 does not have a winning strategy in . More generally, for cardinals such that , the -distributive law holds in iff Player 1 does not have a winning strategy in . For regular and , implies the existence of a Suslin algebra in which is undetermined.

     

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.

     

Sufficient conditions for one domain to contain another in a space of constant curvature

As an application of the analogue of C-S. Chen's kinematic formula in the 3-dimensional space of constant curvature , that is, Euclidean space , -sphere , hyperbolic space (, respectively), we obtain sufficient conditions for one domain to contain another domain in either an Euclidean space , or a -sphere or a hyperbolic space .

     

Constants of derivations in polynomial rings over unique factorization domains

A well-known theorem, due to Nagata and Nowicki, states that the ring of constants of any -derivation of , where is a commutative field of characteristic zero, is a polynomial ring in one variable over . In this paper we give an elementary proof of this theorem and show that it remains true if we replace by any unique factorization domain of characteristic zero.