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.

     

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.

     

A dual graph construction for higher-rank graphs, and -theory for finite 2-graphs

Given a -graph and an element of , we define the dual -graph, . We show that when is row-finite and has no sources, the -algebras and coincide. We use this isomorphism to apply Robertson and Steger's results to calculate the -theory of when is finite and strongly connected and satisfies the aperiodicity condition.

     

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.

     

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.

     

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.

     

On the algebra range of an operator on a Hilbert -module over compact operators

Let be a Hilbert -module over the -algebra of all compact operators on a complex Hilbert space . Given an orthogonal projection , we describe the set for an arbitrary adjointable operator . The relationship between the set and the matricial range of is established.

     

Functional calculus and -regularity of a class of Banach algebras

Suppose that is a -dynamical system such that is of polynomial growth. If is finite dimensional, we show that any element in has slow growth and that is -regular. Furthermore, if is discrete and is a ``nice representation' of , we define a new Banach -algebra which coincides with when is finite dimensional. We also show that any element in has slow growth and is -regular.

     

Exactness of one relator groups

A discrete group is -exact if the reduced crossed product with converts a short exact sequence of --algebras into a short exact sequence of -algebras. A one relator group is a discrete group admitting a presentation where is a countable set and is a single word over . In this short paper we prove that all one relator discrete groups are -exact. Using the Bass-Serre theory we also prove that a countable discrete group acting without inversion on a tree is -exact if the vertex stabilizers of the action are -exact.

     

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

     

Irreducibility of the -classes on smooth rational surfaces

We give a characterization for a -divisor on a smooth rational surface to be irreducible under the assumption that an anticanonical divisor of is nef. Here is nef means for every effective divisor on , and a -divisor is a divisor such that the two numerical conditions hold.

As an application we give explicit examples of blowing up the projective plane at nine points infinitely near such that the obtained surface has an infinite number of -curves. A -curve is a smooth rational curve of self-intersection .

     

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.

     

Hopf algebras of dimension

Let be a finite-dimensional Hopf algebra over an algebraically closed field of characteristic 0. If is not semisimple and for some odd integer , then or is not unimodular. Using this result, we prove that if for some odd prime , then is semisimple. This completes the classification of Hopf algebras of dimension .

     

Spectrally bounded -derivations on Banach algebras

Applying the density theorem on algebras with -derivations, we show that if a -derivation of a unital Banach algebra is spectrally bounded, then . Also, if and only if , where denotes the spectral radius of .

     

The number of planar central configurations for the -body problem is finite when mass positions are fixed

In the -body problem a central configuration is formed when the position vector of each particle with respect to the center of mass is a common scalar multiple of its acceleration vector. Lindstrom showed for and for 4$"> that if masses are located at fixed points in the plane, then there are only a finite number of ways to position the remaining th mass in such a way that they define a central configuration. Lindstrom leaves open the case . In this paper we prove the case using as variables the mutual distances between the particles.

     

Properly -realizable groups

A finitely presented group is said to be properly -realizable if there exists a compact -polyhedron with and whose universal cover has the proper homotopy type of a (p.l.) -manifold with boundary. In this paper we show that, after taking wedge with a -sphere, this property does not depend on the choice of the compact -polyhedron with . We also show that (i) all -ended and -ended groups are properly -realizable, and (ii) the class of properly -realizable groups is closed under amalgamated free products (HNN-extensions) over a finite cyclic group (as a step towards proving that -ended groups are properly -realizable, assuming -ended groups are).

     

Real -flats tangent to quadrics in

Let and denote the dimension and the degree of the Grassmannian , respectively. For each there are (a priori complex) -planes in tangent to general quadratic hypersurfaces in . We show that this class of enumerative problems is fully real, i.e., for there exists a configuration of real quadrics in (affine) real space so that all the mutually tangent -flats are real.

     

Semi-continuity of metric projections in -direct sums

Let be a proximinal subspace of finite codimension of . We show that is proximinal in and the metric projection from onto is Hausdorff metric continuous. In particular, this implies that the metric projection from onto is both lower Hausdorff semi-continuous and upper Hausdorff semi-continuous.

     

More on convexity numbers of closed sets in

The convexity number of a set is the least size of a family of convex sets with . is countably convex if its convexity number is countable. Otherwise is uncountably convex.

Uncountably convex closed sets in have been studied recently by Geschke, Kubis, Kojman and Schipperus. Their line of research is continued in the present article. We show that for all , it is consistent that there is an uncountably convex closed set whose convexity number is strictly smaller than all convexity numbers of uncountably convex subsets of .

Moreover, we construct a closed set whose convexity number is and that has no uncountable -clique for any 1$">. Here is a -clique if the convex hull of no -element subset of is included in . Our example shows that the main result of the above-named authors, a closed set either has a perfect -clique or the convexity number of is in some forcing extension of the universe, cannot be extended to higher dimensions.

     

A Hilbert -module not anti-isomorphic to itself

We study the complexification of real Hilbert -modules over real -algebras. We give an example of a Hilbert -module that is not the complexification of any Hilbert -module, where is a real -algebra.