Volume 5, Issue 1

A measure is 1-rectifiable if there is a countable union of finite length curves whose complement has zero measure. We characterize 1-rectifiable Radon measures μ in n-dimensional Euclidean space for all n ≥ 2 in terms of positivity of the lower density and finiteness of a geometric square function, which loosely speaking, records in an L 2 gauge the extent to which μ admits approximate tangent lines, or has rapidly growing density ratios, along its support. In contrast with the classical theorems of Besicovitch, Morse and Randolph, and Moore, we do not assume an a priori relationship between μ and 1-dimensional Hausdorff measure H 1 . We also characterize purely 1-unrectifiable Radon measures, i.e. locally finite measures that give measure zero to every finite length curve. Characterizations of this form were originally conjectured to exist by P. Jones. Along the way, we develop an L 2 variant of P. Jones’ traveling salesman construction, which is of independent interest.

In 1958 L. Fejes Tóth and J. Molnar proposed a conjecture about a lower bound for the thinnest covering of the plane by circles with arbitrary radii from a given interval of the reals. If only two kinds of radii can occur this conjecture was in essence proven by A. Florian in 1962, leaving the general case unanswered till now. The goal of this paper is to analytically describe the general case in such a way that the conjecture can easily be numerically verified and upper and lower limits for the asserted bound can be gained.

The goal of the paper is to study the angle between two curves in the framework of metric (and metric measure) spaces. More precisely, we give a new notion of angle between two curves in a metric space. Such a notion has a natural interplay with optimal transportation and is particularly well suited for metric measure spaces satisfying the curvature-dimension condition. Indeed one of the main results is the validity of the cosine formula on RCD * (K, N) metric measure spaces. As a consequence, the new introduced notions are compatible with the corresponding classical ones for Riemannian manifolds, Ricci limit spaces and Alexandrov spaces.

We investigate properties which remain invariant under the action of quasi-Möbius maps of quasimetric spaces. A metric space is called doubling with constant D if every ball of finite radius can be covered by at most D balls of half the radius. It is shown that the doubling property is an invariant property for (quasi-)Möbius maps. Additionally it is shown that the property of uniform disconnectedness is an invariant for (quasi-)Möbius maps as well.

We show that products of snowflaked Euclidean lines are not minimal for looking down. This question was raised in Fractured fractals and broken dreams, Problem 11.17, by David and Semmes. The proof uses arguments developed by Le Donne, Li and Rajala to prove that the Heisenberg group is not minimal for looking down. By a method of shortcuts, we define a new distance d such that the product of snowflaked Euclidean lines looks down on (R N , d), but not vice versa.

We establish trace theorems for function spaces defined on general Ahlfors regular metric spaces Z. The results cover the Triebel-Lizorkin spaces and the Besov spaces for smoothness indices s < 1, as well as the first order Hajłasz-Sobolev space M 1,p (Z). They generalize the classical results from the Euclidean setting, since the traces of these function spaces onto any closed Ahlfors regular subset F ⊂ Z are Besov spaces defined intrinsically on F. Our method employs the definitions of the function spaces via hyperbolic fillings of the underlying metric space.

Carnot groups are distinguished spaces that are rich of structure: they are those Lie groups equipped with a path distance that is invariant by left-translations of the group and admit automorphisms that are dilations with respect to the distance. We present the basic theory of Carnot groups together with several remarks.We consider them as special cases of graded groups and as homogeneous metric spaces.We discuss the regularity of isometries in the general case of Carnot-Carathéodory spaces and of nilpotent metric Lie groups.

The Urysohn space is a separable complete metric space with two fundamental properties: (a) universality: every separable metric space can be isometrically embedded in it; (b) ultrahomogeneity: every finite isometry between two finite subspaces can be extended to an auto-isometry of the whole space. The Urysohn space is uniquely determined up to isometry within separable metric spaces by these two properties. We introduce an analogue of the Urysohn space for diversities, a recently developed variant of the concept of a metric space. In a diversity any finite set of points is assigned a non-negative value, extending the notion of a metric which only applies to unordered pairs of points.We construct the unique separable complete diversity that it is ultrahomogeneous and universal with respect to separable diversities.