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

     

On the algebra of functions -extendable for each finite

For each positive integer we construct a -function of one real variable, the graph of which has the following property: there exists a real function on which is -extendable to , for each finite, but it is not -extendable.

     

Blocks of central -group extensions

Let and be finite groups that have a common central -subgroup for a prime number , and let and respectively be -blocks of and induced by -blocks and respectively of and , both of which have the same defect group. We prove that if and are Morita equivalent via a certain special -bimodule, then such a Morita equivalence lifts to a Morita equivalence between and .

     

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.

     

Filling analytic sets by the derivatives of -smooth bumps

If is an infinite-dimensional Banach space, with separable dual, and is an analytic set such that any point can be reached from  by a continuous path contained (except for the point ) in the interior of , then is the range of the derivative of a -smooth function on  with bounded nonempty support.

     

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.

     

-additive families and the invariance of Borel classes

We prove that any -additive family of sets in an absolutely Souslin metric space has a -discrete refinement provided every partial selector set for is -discrete. As a corollary we obtain that every mapping of a metric space onto an absolutely Souslin metric space, which maps -sets to -sets and has complete fibers, admits a section of the first class. The invariance of Borel and Souslin sets under mappings with complete fibers, which preserves -sets, is shown as an application of the previous result.

     

New properties of Mrowka's space

We extend the technique of Mrowka to show that his space has the property that dim while ind , assuming his extra set-theoretic hypothesis. We also show that is compact, so assuming the extra axiom, there is an compact metric space with no compact completion.

     

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.

     

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 .

     

Self-adjointness of the perturbed wave operator on

We give classes of unbounded real-valued for which is self-adjoint on , , where is the wave operator defined on .

     

A row removal theorem for the Ext quiver of symmetric groups and Schur algebras

In 1981, G. D. James proved two theorems about the decomposition matrices of Schur algebras involving the removal of the first row or column from a Young diagram. He established corresponding results for the symmetric group using the Schur functor. We apply James' techniques to prove that row removal induces an injection on the corresponding between simple modules for the Schur algebra.

We then give a new proof of James' symmetric group result for partitions with the first part less than . This proof lets us demonstrate that first-row removal induces an injection on Ext spaces between these simple modules for the symmetric group. We conjecture that our theorem holds for arbitrary partitions. This conjecture implies the Kleshchev-Martin conjecture that for any simple module in characteristic . The proof makes use of an interesting fixed-point functor from -modules to -modules about which little seems to be known.

     

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.

     

Pseudocompact spaces and -spaces

Let be a completely regular Hausdorff space, and let be the space of continuous real-valued functions on endowed with the compact-open topology. We find various equivalent conditions for to be a -space, resolving an old question of Jarchow and consolidating work by Jarchow, Mazon, McCoy and Todd. Included are analytic characterizations of pseudocompactness and an example that shows that, for , Grothendieck's -spaces do not coincide with Jarchow's -spaces. Any such example necessarily answers a thirty-year-old question on weak barrelledness properties for , our original motivation.

     

-function of an operator: A white noise approach

Let be the canonical framework of white noise analysis over the Gel'fand triple and be the space of continuous linear operators from to . Let be a self-adjoint operator in with spectral representation . In this paper, it is proved that under appropriate conditions upon , there exists a unique linear mapping such that for each . The mapping is then naturally used to define as , where is the Dirac -function. Finally, properties of the mapping are investigated and several results are obtained.

     

Purely periodic -expansions with Pisot unit base

Let 1$"> be a Pisot unit. A family of sets defined by a -numeration system has been extensively studied as an atomic surface or Rauzy fractal. For the purpose of constructing a Markov partition, a domain constructed by an atomic surface has appeared in several papers. In this paper we show that the domain completely characterizes the set of purely periodic -expansions.

     

Measures of concordance determined by -invariant measures on

A measure, , on is said to be -invariant if its value for any Borel set is invariant with respect to the symmetries of the unit square. A function, , generated in a certain way by a measure, , on is shown to be a measure of concordance if and only if the generating measure is positive, regular, -invariant, and satisfies certain inequalities. The construction examined here includes Blomqvist's beta as a special case.

     

On Generic differential -extensions

Let be an algebraically closed field with trivial derivation and let denote the differential rational field , with , , , , differentially independent indeterminates over . We show that there is a Picard-Vessiot extension for a matrix equation , with differential Galois group , with the property that if is any differential field with field of constants , then there is a Picard-Vessiot extension with differential Galois group if and only if there are with well defined and the equation giving rise to the extension .

     

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.

     

The classical monotone convergence theorem of Beppo Levi fails in noncommutative -spaces

Let be a complex Hilbert space and let be a von Neumann algebra over equipped with a faithful, normal state . Then is a prehilbert space with respect to the inner product , whose completion is given by the Gelfand-Naimark-Segal representation theorem, according to which there exist a one-to-one -homomorphism of into the algebra of all bounded linear operators acting on and a cyclic, separating vector such that for all . Given any separable Hilbert space , we construct a faithful, normal state on and an increasing sequence of positive operators acting on such that is bounded, but fails to converge both bundlewise and in -norm. We also present an example of an increasing sequence of positive operators which has a subsequence converging both bundlewise and in -norm, but the whole sequence fails to converge in either sense. Finally, we observe that our results are linked to a previous one by R. V. Kadison.