Menger curvature and regularity of fractals

We show that if is an -regular set in for which the triple integral of the Menger curvature is finite and if , then almost all of can be covered with countably many curves. We give an example to show that this is false for .

     

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.     

Subsemivarieties of -algebras

A variety is a class of Banach algebras , for which there exists a family of laws such that is precisely the class of all Banach algebras which satisfies all of the laws (i.e. for all , . We say that is an -variety if all of the laws are homogeneous. A semivariety is a class of Banach algebras , for which there exists a family of homogeneous laws such that is precisely the class of all Banach algebras , for which there exists 0$"> such that for all homogeneous polynomials , , where . However, there is no variety between the variety of all -algebras and the variety of all -algebras, which can be defined by homogeneous laws alone. So the theory of semivarieties and the theory of varieties differ significantly. In this paper we shall construct uncountable chains and antichains of semivarieties which are not varieties.

     

Double exponential sums over thin sets

We estimate double exponential sums of the form

where is of multiplicative order modulo the prime and and are arbitrary subsets of the residue ring modulo . In the special case , our bound is nontrivial for with any fixed 0$">, while if in addition we have it is nontrivial for .

     

Integer solutions to interval linear equations and unique measurement

Every system of linearly independent homogeneous linear equations in unknowns with coefficients in has a unique (up to multiplication by ) non-zero solution vector in which the 's are integers with no common divisor greater than 1. It is known that, for large , can be arbitrarily greater than . We prove that if every equation, written as , is such that and are intervals of contiguous indices, then . This confirms conjectures of the author and Fred Roberts that arose in the theory of unique finite measurement.

     

Asymptotic behavior of Fourier transforms of self-similar measures

Let be a self-similar probability measure on satisfying where 0$"> and Let be the Fourier transform of A necessary and sufficient condition for to approach zero at infinity is given. In particular, if and for then 0$"> if and only if is a PV-number and is not a factor of . This generalizes the corresponding theorem of Erdös and Salem for the case

     

A two-dimensional Hahn-Banach theorem

Let , where and is a Banach space. Let be an extension of to all of (i.e., ) such that has minimal (operator) norm. In this paper we show in particular that, in the case and the field is R, there exists a rank- such that for all if and only if the unit ball of is either not smooth or not strictly convex. In this case we show, furthermore, that, for some , there exists a choice of basis such that ; i.e., each is a Hahn-Banach extension of .

     

Some results related to the Corach-Porta-Recht inequality

Let be the algebra of all bounded operators on a complex Hilbert space and let be an invertible self-adjoint (or skew-symmetric) operator of . Corach-Porta-Recht proved that

The problem considered here is that of finding (i) some consequences of the Corach-Porta-Recht Inequality; (ii) a necessary condition (resp. necessary and sufficient condition, when for the invertible positive operators to satisfy the operator-norm inequality for all in ; (iii) a necessary and sufficient condition for the invertible operator in to satisfy

     

A new construction of semi-free actions on Menger manifolds

A new construction of semi-free actions on Menger manifolds is presented. As an application we prove a theorem about simultaneous coexistence of countably many semi-free actions of compact metric zero-dimensional groups with the prescribed fixed-point sets: Let be a compact metric zero-dimensional group, represented as the direct product of subgroups , a -manifold and (resp., ) its pseudo-interior (resp., pseudo-boundary). Then, given closed subsets of , there exists a -action on such that (1) and are invariant subsets of ; and (2) each is the fixed point set of any element .

     

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.

     

An inequality for the norm of a polynomial factor

Let be a monic polynomial of degree , with complex coefficients, and let be its monic factor. We prove an asymptotically sharp inequality of the form , where denotes the sup norm on a compact set in the plane. The best constant in this inequality is found by potential theoretic methods. We also consider applications of the general result to the cases of a disk and a segment.

     

Compact operators whose real and imaginary parts are positive

Let be a compact operator on a Hilbert space such that the operators and are positive. Let be the singular values of and the eigenvalues of , all enumerated in decreasing order. We show that the sequence is majorised by . An important consequence is that, when is less than or equal to , and when this inequality is reversed.

     

Invariant projections and convolution operators

We prove the existence of invariant projections from the Banach space of -pseudomeasures onto with for closed neutral subgroup of a locally compact group . As a main application we obtain that every closed neutral subgroup is a set of -synthesis in and in fact locally -Ditkin in . We also obtain an extension theorem concerning the Fourier algebra.

     

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 Postnikov Tower and the Steenrod problem

The Steenrod problem asks: given a -module, when does there exist a Moore space realizing the module? By using the equivariant Postnikov Tower, it is shown that a -module is -realizable if and only if it is -realizable for all -Sylow subgroups , for all primes .

     

Parameter dependence of solutions of partial differential equations in spaces of real analytic functions

Let be an open set and let denote the class of real analytic functions on . It is proved that for every surjective linear partial differential operator and every family depending holomorphically on there is a solution family depending on in the same way such that The result is a consequence of a characterization of Fréchet spaces such that the class of ``weakly' real analytic -valued functions coincides with the analogous class defined via Taylor series. An example shows that the analogous assertions need not be valid if is replaced by another set.

     

Coefficient ideals and the Cohen-Macaulay property of Rees algebras

Let be a local ring and let be an ideal of positive height. If is a reduction of , then the coefficient ideal is by definition the largest ideal such that . In this article we study the ideal when the Rees algebra is Cohen-Macaulay.

     

Irreducible restriction and zeros of characters

Let be a finite group, let be normal in and suppose that is an irreducible complex character of . Then is not irreducible if and only if vanishes on some coset of in .

     

Subdivision schemes for iterated function systems

We identify iterated function systems and regular Borel measures such that the matrix subdivision process relative to a finite family converges if and only if satisfies certain spectral properties.     

Proof of Wang's conjecture on subspaces of an inner product space

B.Y. Wang conjectured that if and are subspaces of an -dimensional complex inner product space , and their dimensions are and , respectively, where , then there exists a -dimensional subspace having two orthonormal bases and with and for all .

We prove this conjecture and its real counterpart. The proof is in essence an application of a real version of the Bézout Theorem for the product of several projective spaces.