Coarse embeddings of metric spaces into Banach spaces

There are several characterizations of coarse embeddability of locally finite metric spaces into a Hilbert space. In this note we give such characterizations for general metric spaces. By applying these results to the spaces , we get their coarse embeddability into a Hilbert space for . This together with a theorem by Banach and Mazur yields that coarse embeddability into and into are equivalent when . A theorem by G.Yu and the above allow us to extend to , , the range of spaces, coarse embeddings into which is guaranteed for a finitely generated group to satisfy the Novikov Conjecture.

     

Decomposable form equations without the finiteness property

Let be a finitely generated (but not necessarily algebraic) extension field of . Let be a form (homogeneous polynomial) in variables with coefficients in , and suppose that is decomposable (i.e., that it factorizes into linear factors over some finite extension of ). We say that has the finiteness property over if for every (here denotes the set of non-zero elements in ) and for every subring of which is finitely generated over , the equation

has only finitely many solutions. This paper proves the following result: Let be a decomposable form in variables with coefficients in , which factorizes into linear factors over . Let denote a maximal set of pairwise linearly independent linear factors of . If has the finiteness property over , then 2(m-1)$">.

     

Joins of projective varieties and multisecant spaces

Let , , be integral varieties. For any integers 0$">, , and set and . Let be the set of all linear -spaces contained in a linear -space spanned by points of , points of , ..., points of . Here we study some cases where has the expected dimension. The case was recently considered by Chiantini and Coppens and we follow their ideas. The two main results of the paper consider cases where each is a surface, more particularly:

or

     

A new representation of the Dedekind completion of -spaces

A new representation of the Dedekind completion of is given. We present a necessary and sufficient condition on a compact Hausdorff space for which the Dedekind completion of is , the space of real valued bounded functions on some set .

     

On the class number of certain imaginary quadratic fields

Theorem. Let 2$"> denote an integer, the square-free part of and the class number of the field . Then except for the case , divides .

     

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.

     

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.

     

On finite groups admitting a special noncoprime action

An important result of Turull (1984) is the following:

Let be a finite solvable group, and . Then , where denotes the Fitting height and denotes the composition length.

The purpose of this work is to give a treatment of the minimal configuration in this framework with additional conditions, yet without the coprimeness condition.

     

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.

     

Non-zero boundaries of Leibniz half-spaces

It is proved that for any , there exists a norm and two points , in such that the boundary of the Leibniz half-space has non-zero Lebesgue measure. When , it is known that the boundary must have zero Lebesgue measure.

     

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.

     

Borel sets with countable sections for nonseparable spaces

We prove that every (extended) Borel subset of , where is a complete metric and is Polish, can be covered by countably many extended Borel graphs of mappings from to if the sections , , are countable. This is a nonseparable version of a classical theorem of Luzin and Novikov.

     

Fixed point and selection theorems in hyperconvex spaces

It is shown that a set-valued mapping of a hyperconvex metric space which takes values in the space of nonempty externally hyperconvex subsets of always has a lipschitzian single valued selection which satisfies for all . (Here denotes the usual Hausdorff distance.) This fact is used to show that the space of all bounded -lipschitzian self-mappings of is itself hyperconvex. Several related results are also obtained.

     

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

     

The Lindelöf property and fragmentability

Let be a compact Hausdorff space and the space of continuous real functions on . In this paper we prove that any -Lindelöf subset of which is compact for the topology of pointwise convergence on a dense subset is norm fragmented; i.e., each non-empty subset of it contains a non-empty -relatively open subset of small supremum norm diameter. Several applications are given.     

A compact group which is not Valdivia compact

A compact space is Valdivia compact if it can be embedded in a Tikhonov cube in such a way that the intersection is dense in , where is the sigma-product ( the set of points with countably many non-zero coordinates). We show that there exists a compact connected Abelian group of weight which is not Valdivia compact, and deduce that Valdivia compact spaces are not preserved by open maps.

     

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.

     

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.

     

Metrically generated theories

Many examples are known of natural functors describing the transition from categories of generalized metric spaces to the ``metrizable" objects in some given topological construct . If preserves initial morphisms and if is initially dense in , then we say that is -metrically generated. Our main theorem proves that is -metrically generated if and only if can be isomorphically described as a concretely coreflective subconstruct of a model category with objects sets structured by collections of generalized metrics in and natural morphisms. This theorem allows for a unifying treatment of many well-known and varied theories. Moreover, via suitable comparison functors, the various relationships between these theories are studied.

     

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 .