Related papers: Expansive maps are isometries

Decomposition spaces are a class of function spaces constructed out of well-behaved coverings and partitions of unity of a set. The structure of the covering of the set determines the properties of the decomposition space. Besov spaces,…

We prove that $i)$ if $\mathcal{A}$ is $\lambda $-accessible and it is axiomatizable in (finitary) coherent logic then $\lambda $-pure maps are strict monomorphisms and $ii)$ if there is a proper class of strongly compact cardinals and…

We give a short axiomatic introduction to Carnot groups and their subRiemannian and subFinsler geometry. We explain how such spaces can be metrically described as exactly those proper geodesic spaces that admit dilations and are…

We show that the spaces of holomorphic and continuous maps from a smooth complex projective variety to a projective space have the same homology in a range depending on the degree of the maps.

We present a short and self-contained proof of the extension property for partial isometries of the class of all finite metric spaces.

In the present paper we investigate the properties of the Hausdorff mapping $\mathcal{H}$, which takes each compact metric space to the space of its nonempty closed subspaces. It is shown that this mapping is nonexpanding (Lipschitz mapping…

Given a point and an expanding map on the unit interval, we consider the set of points for which the forward orbit under this map is bounded away from the given point. For maps like multiplication by an integer modulo 1, such sets have full…

We describe surjective linear isometries and linear isometry groups of a large class of Lipschitz-free spaces that includes e.g. Lipschitz-free spaces over any graph. We define the notion of a Lipschitz-free rigid metric space whose…

Recall that the Rado graph is the unique countable graph that realizes all one-point extensions of its finite subgraphs. The Rado graph is well-known to be universal and homogeneous in the sense that every isomorphism between finite…

We introduce the notion of pseudo-cones of metric spaces as a generalization of both of the tangent cones and the asymptotic cones. We prove that the Assouad dimension of a metric space is bounded from below by that of any pseudo-cone of…

For an Alexandrov space (with curvature bounded below), we determine the maximal dimension of its isometry group and show that the space is isometric to a Riemannian manifold, provided the dimension of its isometry group is maximal. We also…

We prove that the coarse assembly maps for proper metric spaces which are non-positively curved in the sense of Busemann are isomorphisms, where we do not assume that the spaces are with bounded coarse geometry. Also it is shown that we can…

Let $(M,d)$ be a bounded countable metric space and $c>0$ a constant, such that $d(x,y)+d(y,z)-d(x,z) \ge c$, for any pairwise distinct points $x,y,z$ of $M$. For such metric spaces we prove that they can be isometrically embedded into any…

For two not necessarily commutative topological groups G and T, let H(G,T) denote the space of all continuous homomorphisms from G to T with the compact-open topology. We prove that if G is metrizable and T is compact then H(G,T) is a…

We classify all tight holomorphic maps between Hermitian symmetric spaces of non-compact type.

In this paper we study critial isometric and minimal isometric embeddings of classes of Riemannian metrics which we call {\it quasi-$k$-curved metrics}. Quasi-$k$-curved metrics generalize the metrics of space forms. We construct explicit…

Extending the results of reconstruction of compact metric spaces by inverse limits, we show that if $(X, d), (Y, d)$ are compact metric spaces, then the mapping space $Y^X$ is homotopy equivalent to the inverse limit of an inverse system of…

We compute the full isometry group of any left invariant metric on a simply connected, non-unimodular Lie group of dimension three. As an application, we determine the index of symmetry of such metrics and prove that the singularities of…

We study a wide class of metrics in a Lebesgue space with a standard measure, the class of so-called admissible metrics. We consider the cone of admissible metrics, introduce a special norm in it, prove compactness criteria, define the…

A directed space is a topological space $X$ together with a subspace $\vec{P}(X)\subset X^I$ of \emph{directed} paths on $X$. A symmetry of a directed space should therefore respect both the topology of the underlying space and the topology…