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 .

     

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.

     

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.

     

Spaces of type and the Hankel convolution

In this paper we introduce new function spaces that are denoted by , -1/2$"> and and that are spaces of type where the Hankel convolution and the Hankel transformation are defined. The spaces will play the same role in the Hankel setting that the spaces play in the theory of Fourier transformation.     

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.     

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 .

     

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.

     

A lifting theorem for symmetric commutants

Let be bounded operators on a Hilbert space such that . Given a symmetry on , i.e., , we define the -symmetric commutant of to be the operator space

In this paper we obtain lifting theorems for symmetric commutants. The result extends the Sz.-Nagy-Foias commutant lifting theorem (), the anticommutant lifting theorem of Sebestyén ( ), and the noncommutative commutant lifting theorem ( ). Sarason's interpolation theorem for is extended to symmetric commutants on Fock spaces.     

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.     

A note on triangular derivations of

For a field of characteristic zero, and for each integer , we construct a triangular derivation of whose ring of constants, though finitely generated over , cannot be generated by fewer than elements.

     

Invariant linear manifolds for CSL-algebras and nest algebras

Every invariant linear manifold for a CSL-algebra, , is a closed subspace if, and only if, each non-zero projection in is generated by finitely many atoms associated with the projection lattice. When is a nest, this condition is equivalent to the condition that every non-zero projection in has an immediate predecessor ( is well ordered). The invariant linear manifolds of a nest algebra are totally ordered by inclusion if, and only if, every non-zero projection in the nest has an immediate predecessor.     

Equicompact sets of operators defined on Banach spaces

Let and be Banach spaces. We say that a set denotes the space of all compact operators from into ) is equicompact if there exists a null sequence in such that for all and all . It is easy to show that collectively compactness and equicompactness are dual concepts in the following sense: is equicompact iff is collectively compact. We study some properties of equicompact sets and, among other results, we prove: 1) a set is equicompact iff each bounded sequence in has a subsequence such that is a converging sequence uniformly for ; 2) if does not have finite cotype and is a maximal equicompact set, then, given and a finite set in , there is an operator such that for and all .

     

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 .

     

Convex curves, Radon transforms and convolution operators defined by singular measures

Let be a convex curve in the plane and let be the arc-length measure of Let us rotate by an angle and let be the corresponding measure. Let . Then This is optimal for an arbitrary . Depending on the curvature of , this estimate can be improved by introducing mixed-norm estimates of the form where and are conjugate exponents.     

The globally irreducible representations of symmetric groups

Let be an algebraic number field and be the ring of integers of . Let be a finite group and be a finitely generated torsion free -module. We say that is a globally irreducible -module if, for every maximal ideal of , the -module is irreducible, where stands for the residue field .

Answering a question of Pham Huu Tiep, we prove that the symmetric group does not have non-trivial globally irreducible modules. More precisely we establish that if is a globally irreducible -module, then is an -module of rank with the trivial or sign action of .

     

The cohomology rings of the orbit spaces of free transformation groups of the product of two spheres

Let , a prime (resp. , act freely on a finitistic space with (resp. rational) cohomology ring isomorphic to that of . In this paper we determine the possible cohomology algebra of the orbit space .

     

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 .

     

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.     

A class of differentiable toral maps which are topologically mixing

We show that on the 2-torus there exists a open set of regular maps such that every map belonging to is topologically mixing but is not Anosov. It was shown by Mañé that this property fails for the class of toral diffeomorphisms, but that the property does hold for the class of diffeomorphisms on the 3-torus . Recently Bonatti and Diaz proved that the second result of Mañé is also true for the class of diffeomorphisms on the -torus ().