On a pattern of reflexive operator spaces

A linear subspace is a separating subspace for an operator space if the only member of annihilating is 0. It is proved in this paper that if has a strictly separating vector and a separating subspace satisfying , then is reflexive. Applying this to finite dimensional leads to more results on reflexivity. For example, if dim , and every nonzero operator in has rank , then is reflexive.

     

Endomorphism rings of simple modules over group rings

If is a finitely generated nilpotent group which is not abelian-by-finite, a field, and a finite dimensional separable division algebra over , then there exists a simple module for the group ring with endomorphism ring . An example is given to show that this cannot be extended to polycyclic groups.

     

The existence of a maximizing vector for the numerical range of a compact operator

Let be a complex Lebesgue space with a unique duality map from to , the conjugate space of . Let be a compact operator on . This paper focuses on properties of and . We adapt an example due to Halmos to show that for , there is a compact operator on with the semi-open interval . So is not attained as a maximum. A corollary of the main result in this paper is that if , and , then is attained as a maximum.

     

Representation of continuous functions as sums of Green functions

Let , where is polar and compact and is a domain with Green function . We characterize those subsets of which have the following property: Every positive continuous function on can be written as , where and for each .

     

Approximation from locally finite-dimensional shift-invariant spaces

After exploring some topological properties of locally finite-dimensional shift-invariant subspaces of , we show that if provides approximation order , then it provides the corresponding simultaneous approximation order. In the case is generated by a compactly supported function in , it is proved that provides approximation order in the -norm with if and only if the generator is a derivative of a compactly supported function that satisfies the Strang-Fix conditions.

     

On the pluricanonical map of threefolds of general type

Let be a smooth minimal threefold of general type and let be an integer . Assume that the image of the pluricanonical map of is a curve. Then a simple computation shows that is necessarily or . When with a numerical condition or when , we obtain two inequalities and , where is the irregularity of and is the Euler characteristic of .

     

Isometries of certain operator algebras

To a given basis on an -dimensional Hilbert space , we associate the algebra of all linear operators on having every as an eigenvector. So, is commutative, semisimple, and -dimensional. Given two algebras of this type, and , there is a natural algebraic isomorphism of and . We study the question: When does preserve the operator norm?

     

Cohomological detection and regular elements in group cohomology

Suppose that is a compact Lie group or a discrete group of finite virtual cohomological dimension and that is a field of characteristic . Suppose that is a set of elementary abelian -subgroups such that the cohomology is detected on the centralizers of the elements of . Assume also that is closed under conjugation and that is in whenever some subgroup of is in . Then there exists a regular element in the cohomology ring such that the restriction of to an elementary abelian -subgroup is not nilpotent if and only if is in . The converse of the result is a theorem of Lannes, Schwartz and the second author. The results have several implications for the depth and associated primes of the cohomology rings.

     

A characterization of reflexive Banach spaces

A Banach space is not reflexive if and only if there exist a closed separable subspace of and a convex closed subset of with empty interior which contains translates of all compact sets in . If, moreover, is separable, then it is possible to put .

     

On perturbations of M-accretive operators in Banach spaces

In this paper, we consider the solvability of nonlinear equations of the form

where is an m-accretive operator on a Banach space , is a mapping on and .

     

Amenability and weak amenability of second conjugate Banach algebras

For a Banach algebra , amenability of necessitates amenability of , and similarly for weak amenability provided is a left ideal in . For a locally compact group, indeed more generally, is amenable if and only if is finite. If is weakly amenable, then is weakly amenable.

     

On Voiculescu's double commutant theorem

For a separable infinite-dimensional Hilbert space , we consider the full algebra of bounded linear transformations and the unique non-trivial norm-closed two-sided ideal of compact operators . We also consider the quotient -algebra with quotient map

For any -subalgebra of , the relative commutant is given by for all in . It was shown by D. Voiculescu that, for any separable unital -subalgebra of ,

In this note, we exhibit a non-separable unital -subalgebra of for which (VDCT) fails.

     

A completely regular space which is the -complement of itself

Two topologies and on a fixed set are -complements if is the cofinite topology and is a sub-base for the discrete topology. In 1967, Steiner and Steiner showed that of any two -complements on a countable set, at least one is not Hausdorff. In 1969, Anderson and Stewart asked whether a Hausdorff topology on an uncountable set can have a Hausdorff -complement. We construct two homeomorphic completely regular -complementary topologies.

     

Stability of semigroups commuting with a compact operator

It is proved that if are bounded -semigroups on Banach spaces and , resp., and , are bounded operators with dense ranges such that intertwines with and commutes with , then is strongly stable provided ---the generator of ---does not have eigenvalue on . An analogous result holds for power-bounded operators.

     

Products of images

Let be the \u{C}ech-Stone remainder . We show that there exists a large class of images of such that whenever is a subset of of cardinality at most the continuum, then is again an image of . The class contains all separable compact spaces, all compact spaces of weight at most and all perfectly normal compact spaces.

     

The second iterate of a map with dense orbit

Suppose that is a Hausdorff topological space having no isolated points and that is continuous. We show that if the orbit of a point under is dense in while the orbit of under is not, then the space decomposes into three sets relative to which the dynamics of are easy to describe. This decomposition has the following consequence: suppose that has dense orbit under and that the closure of the set of points of having odd period under has nonempty interior; then has dense orbit under .

     

Singular integrals with exponential weights

We study the operators

where is the Hardy-Littlewood maximal function, the Hilbert transform or Carleson operator.

Under suitable conditions on the weight of exponential type, we prove boundedness of from spaces, defined on with respect to the measure to with the same density measure. These operators, that arise in questions of harmonic analysis on noncompact symmetric spaces, are bounded from to if and only if .

     

Completely distributive CSL algebras with no complements in

Anoussis and Katsoulis have obtained a criterion for the space to have a closed complement in , where is a completely distributive commutative subspace lattice. They show that, for a given , the set of for which this complement exists forms an interval whose endpoints are harmonic conjugates. Also, they establish the existence of a lattice for which has no complement for any . However, they give no specific example. In this note an elementary demonstration of a simple example of this phenomenon is given. From this it follows that for a wide range of lattices , fails to have a complement for any .

     

Best bounds for the approximate units for certain ideals of

We compute the best bound for the approximate units of the augmentation ideal of the group algebra of a locally compact amenable group . More generally such a calculation is performed for the kernel of the canonical map from onto , being a closed amenable subgroup of . Analogous results involving certain ideals of the Fourier algebra of an amenable group are also discussed.