Automatic continuity of -derivations on -algebras

Let be a -algebra acting on a Hilbert space , let be a linear mapping and let be a -derivation. Generalizing the celebrated theorem of Sakai, we prove that if is a continuous -mapping, then is automatically continuous. In addition, we show the converse is true in the sense that if is a continuous --derivation, then there exists a continuous linear mapping such that is a --derivation. The continuity of the so-called - -derivations is also discussed.

     

Local automorphisms and derivations on

The aim of this note is to give a short proof that 2-local derivations on , the matrix algebra over the complex numbers are derivations and to give a shorter proof that 2-local *-automorphisms on are *-automorphisms.

     

Tietze extension theorem for Hilbert -modules

We prove the following generalization of the noncommutative Tietze extension theorem: if is a countably generated Hilbert -module over a -unital -algebra, then the canonical extension of a surjective morphism of Hilbert -modules to extended (multiplier) modules, , is also surjective.

     

A separable non-remainder of

We prove that there is a compact separable continuum that (consistently) is not a remainder of the real line.

     

An ascending HNN extension of a free group inside

We give an example of a subgroup of which is a strictly ascending HNN extension of a non-abelian finitely generated free group . In particular, we exhibit a free group in of rank which is conjugate to a proper subgroup of itself. This answers positively a question of Drutu and Sapir (2005). The main ingredient in our construction is a specific finite volume (non-compact) hyperbolic 3-manifold which is a surface bundle over the circle. In particular, most of comes from the fundamental group of a surface fiber. A key feature of is that there is an element of in with an eigenvalue which is the square root of a rational integer. We also use the Bass-Serre tree of a field with a discrete valuation to show that the group we construct is actually free.

     

-actions with

Suppose that is a smooth -action on a closed smooth -dimensional manifold such that all Stiefel-Whitney classes of the tangent bundle to each connected component of the fixed point set vanish in positive dimension. This paper shows that if 2^k\dim F$"> and each -dimensional part possesses the linear independence property, then bounds equivariantly, and in particular, is the best possible upper bound of if is nonbounding.

     

Discrete spectra of -algebras and orthogonally closed submodules in Hilbert -modules

Let and be -algebras and let be an --imprimitivity bimodule. Then it is shown that if the spectrum of (resp. of ) is discrete, then every closed --submodule of is orthogonally closed in , and conversely that if (resp. ) is a -space and if every closed --submodule of is orthogonally closed in , then (resp. ) is discrete.

     

An ultrafilter with property

Let be a -supercompact cardinal. We show that carries a normal ultrafilter with a property introduced by Menas. With it we give a transparent proof of Kamo's theorem that carries a normal ultrafilter with the partition property.

     

Bundles of -correspondences over directed graphs and a theorem of Ionescu

We give a short proof of a recent theorem of Ionescu which shows that the Cuntz-Pimsner -algebra of a certain correspondence associated to a Mauldin-Williams graph is isomorphic to the graph algebra.

     

Simple corona -algebras

Let be a non-unital and -unital simple -algebra. We show that if is simple, then is purely infinite. We also show that is simple if and only if has a continuous scale provided that is not isomorphic to the compact operators.

     

On frames for countably generated Hilbert -modules

Let be a countably generated Hilbert -module over a -algebra We prove that a sequence is a standard frame for if and only if the sum converges in norm for every and if there are constants such that for every We also prove that surjective adjointable operators preserve standard frames. A class of frames for countably generated Hilbert -modules over the -algebra of all compact operators on some Hilbert space is discussed.

     

-bounding and -induction

Working in the base theory of , we show that for all , the bounding principle for -formulas ( ) is equivalent to the induction principle for -formulas ( ). This partially answers a question of J. Paris.

     

-adic -basis and regular local ring

We introduce the concept of -adic -basis as an extension of the concept of -basis. Let be a regular local ring of prime characteristic and a ring such that . Then we prove that is a regular local ring if and only if there exists an -adic -basis of and is Noetherian.

     

Principal groupoid -algebras with bounded trace

Suppose is a second countable, locally compact, Hausdorff, principal groupoid with a fixed left Haar system. We define a notion of integrability for groupoids and show is integrable if and only if the groupoid -algebra has bounded trace.

     

There is no separable universal -factor

Gromov constructed uncountably many pairwise nonisomorphic discrete groups with Kazhdan's property . We will show that no separable -factor can contain all these groups in its unitary group. In particular, no separable -factor can contain all separable -factors in it. We also show that the full group -algebras of some of these groups fail the lifting property.

     

-theory of -pseudo-differential algebras

We are concerned with the so-called -pseudo-differential calculus. We describe the spectrum of the unital and commutative -algebra given by the norm closure of the space of -order pseudo-differential operators modulo compact operators; other related algebras are also considered. Finally, their -theory is computed.

     

-summand vectors in Banach spaces

The aim of this paper is to study the set of all -summand vectors of a real Banach space . We provide a characterization of -summand vectors in smooth real Banach spaces and a general decomposition theorem which shows that every real Banach space can be decomposed as an -sum of a Hilbert space and a Banach space without nontrivial -summand vectors. As a consequence, we generalize some results and we obtain intrinsic characterizations of real Hilbert spaces.

     

Gromov hyperbolicity of the and metrics

In this note it is shown that the metric is always Gromov hyperbolic, but that the metric is Gromov hyperbolic if and only if has exactly one boundary point. As a corollary we get a new proof for the fact that the quasihyperbolic metric is Gromov hyperbolic in uniform domains.

     

Transitive families of projections in factors of type

We introduce a notion of transitive family of subspaces relative to a type factor, and hence a notion of transitive family of projections in such a factor. We show that whenever is a factor of type and is generated by two self-adjoint elements, then contains a transitive family of projections. Finally, we exhibit a free transitive family of projections that generate a factor of type .

     

On characterizations of commutativity of C-algebras

We give three kinds of characterizations of the commutativity of C- algebras. The first is the one from operator monotone property of functions regarded as the nonlinear version of Stinespring theorem, the second one is the characterization of commutativity of local type from expansion formulae of related functions and the third one is of global type from multiple positivity of those nonlinear positive maps induced from functions.