Sumset phenomenon in countable amenable groups

Jin proved that whenever A and B are sets of positive upper density in Z, A+B is piecewise syndetic. Jin's theorem was subsequently generalized by Jin and Keisler to a certain family of abelian groups, which in particular contains Zd. Answering a question of Jin and Keisler, we show that this result can be extended to countable amenable groups. Moreover we establish that such sumsets (or — depending on the notation — “product sets”) are piecewise Bohr, a result which for G=Z was proved by Bergelson, Furstenberg and Weiss. In the case of an abelian group G, we show that a set is piecewise Bohr if and only if it contains a sumset of two sets of positive upper Banach density.     

Weakly continuously Urysohn spaces

We study weakly continuously Urysohn spaces, which were introduced in [P.L. Zenor, Continuously extending partial functions, Proc. Amer. Math. Soc. 135 (1) (2007) 305-312]. We show that every weakly continuously Urysohn wΔ-space has a base of countable order, that separable weakly continuously Urysohn spaces are submetrizable, hence continuously Urysohn, that monotonically normal weakly continuously Urysohn spaces are hereditarily paracompact, and that no linear extension of any uncountable subspace of the Sorgenfrey line is weakly continuously Urysohn. These results generalize various results in the literature concerning continuously Urysohn spaces.     

Compact metrizable groups are isometry groups of compact metric spaces

This note is devoted to proving the following result: given a compact metrizable group , there is a compact metric space such that is isomorphic (as a topological group) to the isometry group of .

     

More on continuously Urysohn spaces

We study the properties of weakly continuously Urysohn and continuously Urysohn spaces. We show that being a (weakly) continuously Urysohn space is not a multiplicative property, and that this property is not preserved under perfect maps. However, being a weakly continuously Urysohn space is preserved under perfect open maps. By using the scattering process, we show that the class of protometrizable spaces is also contained in the class of continuously Urysohn space. We also give a characterization of the continuously Urysohn property for well-ordered spaces, and prove that a paracompact locally continuously Urysohn ordered space is continuously Urysohn.     

On the homotopy groups of separable metric spaces

The aim of this paper is to discuss the homotopy properties of locally well-behaved spaces. First, we state a nerve theorem. It gives sufficient conditions under which there is a weak n-equivalence between the nerve of a good cover and its underlying space. Then we conclude that for any (n−1)-connected, locally (n−1)-connected compact metric space X which is also n-semilocally simply connected, the nth homotopy group of X, πn(X), is finitely presented. This result allows us to provide a new proof for a generalization of Shelah?s theorem (Shelah, 1988 [18]) to higher homotopy groups (Ghane and Hamed, 2009 [8]). Also, we clarify the relationship between two homotopy properties of a topological space X, the property of being n-homotopically Hausdorff and the property of being n-semilocally simply connected. Further, we give a way to recognize a nullhomotopic 2-loop in 2-dimensional spaces. This result will involve the concept of generalized dendrite which introduce here. Finally, we prove that each 2-loop is homotopic to a reduced 2-loop.     

Property A for groups acting on metric spaces

Gouliang Yu has introduced a property of discrete metric spaces and groups called property A which implies the coarse Baum–Connes Conjecture and hence the Novikov Higher Signature Conjecture. In this paper we extend a result of Jean-Louis Tu to conclude that a group acting by isometries on a metric space with finite asymptotic dimension whose d-stabilizers have property A, also has property A. As a result, we conclude a theorem of Tu, according to which, a fundamental group of a finite graph of groups whose vertices have property A also has property A.     

The size of isometry groups on metric spaces

Limits on the dimension of the isometry group of a topological metric space homeomorphic to an n-dimensional manifold are given. Under suitable smoothness conditions the bound is $\text{n(n + 1)}\text{2}$.     

Strong measure zero in separable metric spaces and Polish groups

The notion of strong measure zero is studied in the context of Polish groups and general separable metric spaces. An extension of a theorem of Galvin, Mycielski and Solovay is given, whereas the theorem is shown to fail for the Baer–Specker group \({{\mathbb{Z}^{\omega}}}\). The uniformity number of the ideal of strong measure zero subsets of a separable metric space is examined, providing solutions to several problems of Miller and Steprāns (Ann Pure Appl Logic 140(1–3):52–59, 2006).     

Trees,tight extensions of metric spaces,and the cohomological dimension of certain groups: A note on combinatorial properties of metric spaces

The concept of tight extensions of a metric space is introduced, the existence of an essentially unique maximal tight extension T_x—the “tight span,” being an abstract analogon of the convex hull—is established for any given metric space X and its properties are studied. Applications with respect to (1) the existence of embeddings of a metric space into trees, (2) optimal graphs realizing a metric space, and (3) the cohomological dimension of groups with specific length functions are discussed.     

On the cardinality of Urysohn spaces

Recently, in Cammaroto et al. (2013) [4] we obtained a generalization of the famous inequality established by A.V. Arhangel?ski? in 1969 for Hausdoff spaces. In this paper, following this line of research, we present a common variation of this inequality for Urysohn spaces by developing a Main Theorem for obtaining inequalities. In particular, we extend a 2006 inequality by Hodel for Urysohn spaces. Moreover, this extended inequality is used to analyze a result containing an increasing chain of spaces that satisfies the same cardinality inequality and this new result solves an open problem in Cammaroto et al. (2013) [4] for Urysohn spaces. This general theorem also provides a new cardinal inequality for Hausdorff spaces. The paper is concluded with some open problems.     

On amenable and compact groups

In the sequel ofB. E. Johnson's work on amenable Banach algebras we characterize amenable and compact groups.     

Compact quantum metric spaces and ergodic actions of compact quantum groups

We show that for any co-amenable compact quantum group A=C(G) there exists a unique compact Hausdorff topology on the set EA(G) of isomorphism classes of ergodic actions of G such that the following holds: for any continuous field of ergodic actions of G over a locally compact Hausdorff space T the map T→EA(G) sending each t in T to the isomorphism class of the fibre at t is continuous if and only if the function counting the multiplicity of γ in each fibre is continuous over T for every equivalence class γ of irreducible unitary representations of G. Generalizations for arbitrary compact quantum groups are also obtained. In the case G is a compact group, the restriction of this topology on the subset of isomorphism classes of ergodic actions of full multiplicity coincides with the topology coming from the work of Landstad and Wassermann. Podle? spheres are shown to be continuous in the natural parameter as ergodic actions of the quantum SU(2) group. We also introduce a notion of regularity for quantum metrics on G, and show how to construct a quantum metric from any ergodic action of G, starting from a regular quantum metric on G. Furthermore, we introduce a quantum Gromov-Hausdorff distance between ergodic actions of G when G is separable and show that it induces the above topology.     

Globalization of the partial isometries of metric spaces and local approximation of the group of isometries of Urysohn space

We prove the equivalence of the two important facts about finite metric spaces and universal Urysohn metric spaces U, namely Theorems A and G: Theorem A (Approximation): The group of isometry ISO(U) contains everywhere dense locally finite subgroup; Theorem G (Globalization): For each finite metric space F there exists another finite metric space and isometric imbedding j of F to such that isometry j induces the imbedding of the group monomorphism of the group of isometries of the space F to the group of isometries of space and each partial isometry of F can be extended up to global isometry in . The fact that Theorem G, is true was announced in 2005 by author without proof, and was proved by S. Solecki in [S. Solecki, Extending partial isometries, Israel J. Math. 150 (2005) 315-332] (see also [V. Pestov, The isometry group of the Urysohn space as a Lévy group, Topology Appl. 154 (10) (2007) 2173-2184; V. Pestov, A theorem of Hrushevski-Solecki-Vershik applied to uniform and coarse embeddings of the Urysohn metric space, math/0702207]) based on the previous complicate results of other authors. The theorem is generalization of the Hrushevski's theorem about the globalization of the partial isomorphisms of finite graphs. We intend to give a constructive proof in the same spirit for metric spaces elsewhere. We also give the strengthening of homogeneity of Urysohn space and in the last paragraph we gave a short survey of the various constructions of Urysohn space including the new proof of the construction of shift invariant universal distance matrix from [P. Cameron, A. Vershik, Some isometry groups of Urysohn spaces, Ann. Pure Appl. Logic 143 (1-3) (2006) 70-78].     

Extension and reconstruction theorems for the Urysohn universal metric space

We prove some extension theorems involving uniformly continuous maps of the universal Urysohn space. As an application, we prove reconstruction theorems for certain groups of autohomeomorphisms of this space and of its open subsets.     

Ultrametricity and metric betweenness in tangent spaces to metric spaces

The paper deals with pretangent spaces to general metric spaces. An ultrametricity criterion for pretangent spaces is found and it is closely related to the metric betweenness in the pretangent spaces.     

Web‐compact spaces,Fréchet‐Urysohn groups and a Suslin closed graph theorem

A topological space X is strongly web‐compact if X admits a family {A_α: α ∈ ?^?} of relatively countably compact sets covering X and such that A_α ? A_β for α ≤ β. The main result of this paper states the following: Theorem A Let X and Y be topological groups and f a homomorphism between X and Y with closed graph. If X is Fréchet‐Urysohn and Baire and Y is strongly web‐compact, then f is continuous. This extends a result of Valdivia. We provide an example showing that the property of being strongly web‐compact is not productive. This applies to show that there are quasi‐Suslin spaces X whose product X × X is not quasi‐Suslin (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)