A dichotomy theorem for subsets of the power set of the natural numbers

The following dichotomy is established for any pair , of hereditary families of finite subsets of : Given , an infinite subset of , there exists an infinite subset of so that either , or , where denotes the set of all finite subsets of .

     

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.     

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 .

     

Holomorphic perturbation of Fourier coefficients

Let be the unit circle, let be a Banach space continuously embedded in and suppose that is a Banach -module under convolution. We show that if and is holomorphic in a neighbourhood of with and then

     

The Dirichlet-Jordan test and multidimensional extensions

If is a foliation of an open set by smooth -dimensional surfaces, we define a class of functions , supported in , that are, roughly speaking, smooth along and of bounded variation transverse to . We investigate geometrical conditions on that imply results on pointwise Fourier inversion for these functions. We also note similar results for functions on spheres, on compact 2-dimensional manifolds, and on the 3-dimensional torus. These results are multidimensional analogues of the classical Dirichlet-Jordan test of pointwise convergence of Fourier series in one variable.

     

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 .

     

Dense subsets of maximally almost periodic groups

A (discrete) group is said to be maximally almost periodic if the points of are distinguished by homomorphisms into compact Hausdorff groups. A Hausdorff topology on a group is totally bounded if whenever there is such that . For purposes of this abstract, a family with a totally bounded topological group is a strongly extraresolvable family if (a)  \vert G\vert$">, (b) each is dense in , and (c) distinct satisfy ; a totally bounded topological group with such a family is a strongly extraresolvable topological group.

We give two theorems, the second generalizing the first.

Theorem 1. Every infinite totally bounded group contains a dense strongly extraresolvable subgroup.

Corollary. In its largest totally bounded group topology, every infinite Abelian group is strongly extraresolvable.

Theorem 2. Let be maximally almost periodic. Then there are a subgroup of and a family such that

(i) is dense in every totally bounded group topology on ;

(ii) the family is a strongly extraresolvable family for every totally bounded group topology on such that ; and

(iii) admits a totally bounded group topology as in (ii).

Remark. In certain cases, for example when is Abelian, one must in Theorem 2 choose . In certain other cases, for example when the largest totally bounded group topology on is compact, the choice is impossible.

     

Are covering (enveloping) morphisms minimal?

We prove that for certain classes of modules such that direct sums of -covers ( -envelopes) are -covers ( -envelopes), -covering ( -enveloping) homomorphisms are always right (left) minimal. As a particular case we see that over noetherian rings, essential monomorphisms are left minimal. The same type of results are given when direct products of -covers are -covers. Finally we prove that over commutative noetherian rings, any direct product of flat covers of modules of finite length is a flat cover.     

Characterization of discriminator varieties

We prove that a variety is a discriminator variety if and only if has the Fraser-Horn property and every member of is representable as a Boolean product whose factors are directly indecomposable or trivial.

     

Minimal sufficiency of order statistics in convex models

Let be a convex and dominated statistical model on the measurable space , with minimal sufficient, and let . Then , the -algebra of all permutation invariant sets belonging to the -fold product -algebra , is shown to be minimal sufficient for the corresponding model for independent observations, .

The main technical tool provided and used is a functional analogue of a theorem of Grzegorek (1982) concerning generators of .

     

Almost periodic hyperfunctions

We characterize the almost periodic hyperfunctions by showing that the following statements are equivalent for any bounded hyperfunction . (i) is almost periodic. (ii) for every . (iii) There are two functions and an infinite order differential operator such that (iv) The Gauss transform of is almost periodic for every 0$">. Here is the space of almost periodic continuous functions, is the Sato space of test functions for the Fourier hyperfunctions, and is the heat kernel. This generalizes the result of Schwartz on almost periodic distributions and that of Cioranescu on almost periodic (non-quasianalytic) ultradistributions to the case of hyperfunctions.

     

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.

     

An order characterization of commutativity for -algebras

In this paper, we investigate the problem of when a -algebra is commutative through operator-monotonic increasing functions. The principal result is that the function is operator-monotonic increasing on a -algebra if and only if is commutative. Therefore, -algebra is commutative if and only if in for all positive elements in .

     

Single elements and module isomorphisms of some operator algebra modules

In this paper, we first introduce the concept of single elements in a module. A systematic study of single elements in the Alg-module is initiated, where is a completely distributive subspace lattice on a Hilbert space . Furthermore, as an application of single elements, we study module isomorphisms between norm closed Alg-modules, where is a nest, and obtain the following result: Suppose that are norm closed Alg-modules and that is a module isomorphism. Then and there exists a non-zero complex number such that .

     

The structure of quantum spheres

We show that the C*-algebra of a quantum sphere , 1$">, consists of continuous fields of operators in a C*-algebra , which contains the algebra of compact operators with , such that is a constant function of , where is the quotient map and is the unit circle.

     

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

     

An image problem for compact operators

Let be a separable Banach space and a sequence of closed subspaces of satisfying for all . We first prove the existence of a dense-range and injective compact operator such that each is a dense subset of , solving a problem of Yahaghi (2004). Our second main result concerns isomorphic and dense-range injective compact mappings between dense sets of linearly independent vectors, extending a result of Grivaux (2003).

     

Types in reductive -adic groups: The Hecke algebra of a cover

In this paper, is a non-Archimedean local field and is the group of -points of a connected reductive algebraic group defined over . Also, is an irreducible representation of a compact open subgroup of , the pair being a type in . The pair is assumed to be a cover of a type in a Levi subgroup of . We give conditions, generalizing those of earlier work, under which the Hecke algebra is the tensor product of a canonical image of and a sub-algebra , for a compact open subgroup of containing .

     

Normality and exceptional values of derivatives

We show that a family of functions meromorphic in some domain is normal, if for all the derivative omits the value and if the values that can take at the zeros of satisfy certain restrictions. As an application we obtain a new proof of a theorem of Langley which classifies the functions meromorphic in the plane such that and have no zeros.

     

Compact range property and operators on -algebras

We prove that a Banach space has the compact range property (CRP) if and only if, for any given -algebra , every absolutely summing operator from into is compact. Related results for -summing operators () are also discussed as well as operators on non-commutative -spaces and -summing operators.