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.

     

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 .

     

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

     

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 .

     

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

     

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.

     

Exceptional curves on smooth rational surfaces with not nef and of self-intersection zero

A -curve is a smooth rational curve of self-intersection , where is a positive integer. In 1998 Hirschowitz asked whether a smooth rational surface defined over the field of complex numbers, having an anti-canonical divisor not nef and of self-intersection zero, has -curves. In this paper we prove that for such a surface , the set of -curves on is finite but non-empty, and that may have no -curves. Related facts are also considered.

     

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.

     

Closed sets which are not -critical

In this paper we first observe that the complement of a countable closed subset of an -dimensional manifold has large -homology group. In the last section we use this information to prove that, under some topological conditions on the given manifold, certain families of fibers, in the total space of a fibration over , are not critical sets for some special real or -valued functions.

     

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.