Related papers: Homotopical models for metric spaces and completen…
We introduce a new model structure on the category of dendroidal spaces, designed to provide a further model for the homotopy theory of $\infty$-operads. This model is directly analogous to a recent construction on the category of…
We study the category pro-SSet of pro-simplicial sets, which arises in etale homotopy theory, shape theory, and pro-finite completion. We establish a model structure on pro-SSet so that it is possible to do homotopy theory in this category.…
Homotopy type theory is a formal language for doing abstract homotopy theory -- the study of identifications. But in unmodified homotopy type theory, there is no way to say that these identifications come from identifying the path-connected…
We give an answer to the following question: for which metric in an abstract lattice the completion as a metric space coincides with the completion as a lattice. We obtain the answer for inductive limits of lattices which are complete in…
In this paper we study compact closed categories within the context of homotopical algebra. We construct two new model category structures by localizing two (Quillen equivalent) model categories of symmetric monoidal categories with the…
We develop the structure theory of full isometry groups of locally compact non-positively curved metric spaces. Amongst the discussed themes are de Rham decompositions, normal subgroup structure and characterising properties of symmetric…
We investigate certain geometric properties of the spaces of idempotent measures. In particular, we prove that the space of idempotent measures on an infinite compact metric space is homeomorphic to the Hilbert cube.
We study metrically projective and metrically free matricially normed spaces. We describe these spaces in terms of a special space $\widehat M_n$, the space of $n\times n$ matrices, endowed with a special matrix-norm. We show that…
We explain how the notion of homotopy colimits gives rise to that of mapping spaces, even in categories which are not simplicial. We apply the technique of model approximations and use elementary properties of the category of spaces to be…
We study metric spaces that admit a conical bicombing and thus obey a weak form of non-positive curvature. Prime examples of such spaces are injective metric spaces. In this article we give a complete characterization of complete metric…
We study locally compact metric spaces that enjoy various forms of homogeneity with respect to M\"obius self-homeomorphisms. We investigate connections between such homogeneity and the combination of isometric homogeneity with…
Having developed a description of indefinite extrinsic symmetric spaces by corresponding infinitesimal objects in the preceding paper we now study the classification problem for these algebraic objects. In most cases the transvection group…
By seeing whether a Liouville type theorem holds for positive, bounded, and/or finite energy $p$-harmonic and $p$-quasiharmonic functions, we classify proper metric spaces equipped with a locally doubling measure supporting a local…
Metric spaces satisfying properties stronger than completeness and weaker than compactness have been studied by many authors over the years. One such significant family is that of cofinally complete metric spaces. We discuss the…
We show that for any two von Neumann algebras $M$ and $N$, the space of non-unital normal homomorphisms $N\to M$ with finite support, modulo conjugation by unitaries in $M$, is Dedekind complete with respect to the partial order coming from…
In this paper we extend the construction of complementary series representations to convex-cocompact isometry groups of CAT(-1) spaces with conditionally negative metrics. Our approach is purely dynamical and generalizes the constructions…
There are described hierarchies of equations coupling a metric with a trace-free tensor having prescribed symmetries and in the kernel of certain generalized gradients. These specialize, when the tensor vanishes identically, to the usual…
Associated to any affine space A endowed with a metric structure of arbitrary signature we consider the space of affine functionals operating on the space of quadratic functions of A. On this functional space we characterize a symmetric…
We announce results on the structure of CAT(0) groups, CAT(0) lattices and of the underlying spaces. Our statements rely notably on a general study of the full isometry groups of proper CAT(0) spaces. Classical statements about Hadamard…
In this paper the theory of uniformly convex metric spaces is developed. These spaces exhibit a generalized convexity of the metric from a fixed point. Using a (nearly) uniform convexity property a simple proof of reflexivity is presented…