We discuss folklore statements about distance functions in manifolds with two-sided bounded curvature. The topics include regularity, subsets of positive reach and the cut locus.

We give a complete analytic and geometric description of the horofunction boundary for polygonal sub-Finsler metrics, that is, those that arise as asymptotic cones of word metrics, on the Heisenberg group. We develop theory for the more general case of horofunction boundaries in homogeneous groups by connecting horofunctions to Pansu derivatives of the distance function.

We study the properties of the maximal volume k -dimensional sections of the n -dimensional cube [−1, 1] n . We obtain a first order necessary condition for a k -dimensional subspace to be a local maximizer of the volume of such sections, which we formulate in a geometric way. We estimate the length of the projection of a vector of the standard basis of ℝ n onto a k -dimensional subspace that maximizes

Abstract We consider the general framework of a metric measure space satisfying the doubling volume property, associated with a non-negative self-adjoint operator, whose heat kernel enjoys standard Gaussian localization. We prove embedding theorems between Triebel-Lizorkin spaces associated with operators. Embeddings for non-classical Triebel-Lizorkin and (both classical and non-classical) Besov spaces

Abstract In this paper, using the idea of ultrametrization of metric spaces we introduce ultradiversification of diversities. We show that every diversity has an ultradiversification which is the greatest nonexpansive ultra-diversity image of it. We also investigate a Hausdorff-Bayod type problem in the setting of diversities, namely, determining what diversities admit a subdominant ultradiversity

Abstract We consider different notions of boundary traces for functions in Sobolev spaces defined on regular trees and show that the almost everywhere existence of these traces is independent of the chosen definition of a trace.

Abstract In this paper, we present a construction of frames on the Heisenberg group without using the Fourier transform. Our methods are based on the Calderón-Zygmund operator theory and Coifman’s decomposition of the identity operator on the Heisenberg group. These methods are expected to be used in further studies of several complex variables.

Abstract We consider generalized weak Morrey spaces with variable growth condition on spaces of homogeneous type and characterize the pointwise multipliers from a generalized weak Morrey space to another one. The set of all pointwise multipliers from a weak Lebesgue space to another one is also a weak Lebesgue space. However, we point out that the weak Morrey spaces do not always have this property

Abstract We study the space BMO𝒢 (𝕏) in the general setting of a measure space 𝕏 with a fixed collection 𝒢 of measurable sets of positive and finite measure, consisting of functions of bounded mean oscillation on sets in 𝒢. The aim is to see how much of the familiar BMO machinery holds when metric notions have been replaced by measure-theoretic ones. In particular, three aspects of BMO are considered:

Abstract In this paper, we study the boundedness and compactness of the commutator of Calderón– Zygmund operators T on spaces of homogeneous type (X, d, µ) in the sense of Coifman and Weiss. More precisely, we show that the commutator [b, T] is bounded on the weighted Morrey space Lωp,k(X) L_\omega ^{p,k}\left( X \right) with κ ∈ (0, 1) and ω ∈ Ap(X), 1 < p < ∞, if and only if b is in the BMO space

Abstract In this article the authors study complex interpolation of Sobolev-Morrey spaces and their generalizations, Lizorkin-Triebel-Morrey spaces. Both scales are considered on bounded domains. Under certain conditions on the parameters the outcome belongs to the scale of the so-called diamond spaces.

Abstract The aim of this paper is to prove the weak type vector-valued inequality for the modified Hardy– Littlewood maximal operator for general Radon measure on ℝn. Earlier, the strong type vector-valued inequality for the same operator and the weak type vector-valued inequality for the dyadic maximal operator were obtained. This paper will supplement these existing results by proving a weak type

Abstract Let (𝒳, d, μ) be a space of homogeneous type, in the sense of Coifman and Weiss, with the upper dimension ω. Assume that η ∈(0, 1) is the smoothness index of the wavelets on 𝒳 constructed by Auscher and Hytönen. In this article, via grand maximal functions, the authors introduce the Hardy–Lorentz spaces H*p,q(𝒳) H_*^{p,q}\left( \mathcal{X} \right) with the optimal range p∈(ωω+η,∞) p \in

Abstract Gromov (2001) and Sturm (2003) proved that any four points in a CAT(0) space satisfy a certain family of inequalities. We call those inequalities the ⊠-inequalities, following the notation used by Gromov. In this paper, we prove that a metric space X containing at most five points admits an isometric embedding into a CAT(0) space if and only if any four points in X satisfy the ⊠-inequalities

Abstract We prove a duality relation for the moduli of the family of curves connecting two sets and the family of surfaces separating the sets, in the setting of a complete metric space equipped with a doubling measure and supporting a Poincaré inequality. Then we apply this to show that quasiconformal mappings can be characterized by the fact that they quasi-preserve the modulus of certain families

Abstract We show that the combination of doubling and (1, p)-Poincaré inequality is equivalent to a version of the Ap-condition on rooted K-ary trees.

Abstract Hare, Mendivil, and Zuberman have recently shown that if X ⊂ ℝ is compact and of non-zero Assouad dimension dimA X, then for all s > dimA X, X supports measures with Assouad dimension s. We generalize this result to arbitrary complete metric spaces.

Abstract The deformability condition for submanifolds of fixed degree immersed in a graded manifold can be expressed as a system of first order PDEs. In the particular but important case of ruled submanifolds, we introduce a natural choice of coordinates, which allows to deeply simplify the formal expression of the system, and to reduce it to a system of ODEs along a characteristic direction. We introduce

Abstract We study Hausdorff convergence (and related topics) in the chordalization of a metric space to better understand pointed Gromov-Hausdorff convergence of quasihyperbolic distances (and other conformal distances).

Abstract This paper studies the Hausdorff dimension of the intersection of isotropic projections of subsets of ℝ2n, as well as dimension of intersections of sets with isotropic planes. It is shown that if A and B are Borel subsets of ℝ2n of dimension greater than m, then for a positive measure set of isotropic m-planes, the intersection of the images of A and B under orthogonal projections onto these

Abstract The aim of this note is to prove a representation theorem for left–invariant functionals in Carnot groups. As a direct consequence, we can also provide a Г-convergence result for a smaller class of functionals.

Abstract We study the long-scale Ollivier Ricci curvature of graphs as a function of the chosen idleness. Similarly to the previous work on the short-scale case, we show that this idleness function is concave and piecewise linear with at most 3 linear parts. We provide bounds on the length of the first and last linear pieces. We also study the long-scale curvature for the Cartesian product of two regular

Abstract Let G be a group and let S be a generating set of G. In this article,we introduce a metric dC on G with respect to S, called the cardinal metric.We then compare geometric structures of (G, dC) and (G, dW), where dW denotes the word metric. In particular, we prove that if S is finite, then (G, dC) and (G, dW) are not quasiisometric in the case when (G, dW) has infinite diameter and they are

Abstract We prove distance bounds for graphs possessing positive Bakry-Émery curvature apart from an exceptional set, where the curvature is allowed to be non-positive. If the set of non-positively curved vertices is finite, then the graph admits an explicit upper bound for the diameter. Otherwise, the graph is a subset of the tubular neighborhood with an explicit radius around the non-positively curved

Abstract The objective of this series is to study metric geometric properties of disjoint unions of Cayley graphs of amenable groups by group properties of the Cayley accumulation points in the space of marked groups. In this Part II, we prove that a disjoint union admits a fibred coarse embedding into a Hilbert space (as a disjoint union) if and only if the Cayley boundary of the sequence in the space

Abstract Using the duality of metric currents and polylipschitz forms, we show that a BLD-mapping f : X → Y between oriented cohomology manifolds X and Y induces a pull-back operator f* : Mk,loc(Y) → Mk,loc(X) between the spaces of metric k-currents of locally finite mass. For proper maps, the pull-back is a right-inverse (up to multiplicity) of the push-forward f* : Mk,loc(X) → Mk,loc(Y). As an application

Abstract The aim of this note is to generalize to the class of non collapsed RCD(K, N) metric measure spaces the volume bound for the effective singular strata obtained by Cheeger and Naber for non collapsed Ricci limits in [13]. The proof, which is based on a quantitative differentiation argument, closely follows the original one. As a simple outcome we provide a volume estimate for the enlargement

Abstract We show that if a CD(K, n) space (X, d, f ℋn) with n ≥ 2 has curvature bounded above by κ in the sense of Alexandrov then f is constant.

Abstract We provide a general strategy to construct multilinear inequalities of Brascamp–Lieb type on compact homogeneous spaces of Lie groups. As an application we obtain sharp integral inequalities on the real unit sphere involving functions with some degree of symmetry.

Abstract In this short note, we prove that the stochastic order of Radon probability measures on any ordered topological space is antisymmetric. This has been known before in various special cases. We give a simple and elementary proof of the general result.

Abstract We study a family of spheres with constant mean curvature (CMC) in the Riemannian Heisenberg group H1. These spheres are conjectured to be the isoperimetric sets of H1. We prove several results supporting this conjecture. We also focus our attention on the sub-Riemannian limit.

Abstract The theory of boundary regularity for p-harmonic functions is extended to unbounded open sets in complete metric spaces with a doubling measure supporting a p-Poincaré inequality, 1 < p < ∞. The barrier classification of regular boundary points is established, and it is shown that regularity is a local property of the boundary. We also obtain boundary regularity results for solutions of the

Abstract We use continuous and discrete unification to prove that standard triple bubbles in ℝ2 and 𝕊2 are the minimizers of perimeter, among all clusters (Definition 2.3) enclosing the same triple of areas. Unification defines a unified measurement that allows all configurations, regardless of areas, to compete together. Continuous unification proves that if a unified minimizer were better than expected

Abstract We consider Lipschitz maps with values in quasi-metric spaces and extend such maps to finitely many points. We prove that in this context every 1-Lipschitz map admits an extension such that its Lipschitz constant is bounded from above by the number of added points plus one. Moreover, we prove that if the source space is a Hilbert space and the target space is a Banach space, then there exists

Abstract We obtain sharp lower bounds on the radii of inscribed balls for strictly convex isoperimetric domains lying in a 2-dimensional Alexandrov metric space of curvature bounded below. We also characterize the case when such bounds are attained.

Abstract We give a metric characterization of the scalar curvature of a smooth Riemannian manifold, analyzing the maximal distance between (n + 1) points in infinitesimally small neighborhoods of a point. Since this characterization is purely in terms of the distance function, it could be used to approach the problem of defining the scalar curvature on a non-smooth metric space. In the second part

Abstract In this short note, we give a sufficient condition for almost smooth compact metric measure spaces to satisfy the Bakry-Émery condition BE(K, N). The sufficient condition is satisfied for the glued space of any two (not necessary same dimensional) closed pointed Riemannian manifolds at their base points. This tells us that the BE condition is strictly weaker than the RCD condition even in

Abstract We study the intrinsic geometry of area minimizing hypersurfaces from a new point of view by relating this subject to quasiconformal geometry. Namely, for any such hypersurface H we define and construct a so-called S-structure. This new and natural concept reveals some unexpected geometric and analytic properties of H and its singularity set Ʃ. Moreover, it can be used to prove the existence

Abstract Let X be a set. Let K(x, y) > 0 be a measure of the affinity between the data points x and y. We prove that K has the structure of a Newtonian potential K(x, y) = φ(d(x, y)) with φ decreasing and d a quasi-metric on X under two mild conditions on K. The first is that the affinity of each x to itself is infinite and that for x ≠ y the affinity is positive and finite. The second is a quantitative

Abstract The classic double bubble theorem says that the least-perimeter way to enclose and separate two prescribed volumes in ℝN is the standard double bubble. We seek the optimal double bubble in ℝN with density, which we assume to be strictly log-convex. For N = 1 we show that the solution is sometimes two contiguous intervals and sometimes three contiguous intervals. In higher dimensions we think

We give conditions under which a ber-preserving quasisymmetric map between open subsets of bered metric spaces is locally biLipschitz. We also show that a quasiconformal map between open subsets of 2-step Carnot groups with reducible rst layer is locally biLipschitz.

Abstract We study an inhomogeneous Neumann boundary value problem for functions of least gradient on bounded domains in metric spaces that are equipped with a doubling measure and support a Poincaré inequality. We show that solutions exist under certain regularity assumptions on the domain, but are generally nonunique. We also show that solutions can be taken to be differences of two characteristic

Abstract We introduce and study the conical curvature-dimension condition, CCD(K, N), for finite graphs.We show that CCD(K, N) provides necessary and sufficient conditions for the underlying graph to satisfy a sharp global Poincaré inequality which in turn translates to a sharp lower bound for the first eigenvalues of these graphs. Another application of the conical curvature-dimension analysis is

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 homogeneousmetric spaces

Abstract 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 M1,p(Z). They generalize the classical results from the Euclidean setting, since the traces of these function spaces onto any closed Ahlfors regular

Abstract 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

Abstract 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

Abstract 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

Abstract 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

Abstract 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

Abstract 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 L2 gauge the extent to which μ admits approximate tangent

Abstract By studying the group of rigid motions, PSH(1), in the 3D-Heisenberg group H1,we define a density and a measure in the set of horizontal lines. We show that the volume of a convex domain D ⊂ H1 is equal to the integral of the length of chords of all horizontal lines intersecting D. As in classical integral geometry, we also define the kinematic density for PSH(1) and show that the measure

Abstract For each β > 1 we construct a family Fβ of metric measure spaces which is closed under the operation of taking weak-tangents (i.e. blow-ups), and such that each element of Fβ admits a (1, P)-Poincaré inequality if and only if P > β.

Abstract Let Ω ⊂ Rn be a strongly Lipschitz domain. In this article, the authors study Hardy spaces, Hpr (Ω)and Hpz (Ω), and Hardy-Sobolev spaces, H1,pr (Ω) and H1,pz,0 (Ω) on , for p ∈ ( n/n+1, 1]. The authors establish grand maximal function characterizations of these spaces. As applications, the authors obtain some div-curl lemmas in these settings and, when is a bounded Lipschitz domain, the authors

Abstract Let (Z, d, μ) be a compact, connected, Ahlfors Q-regular metric space with Q > 1. Using a hyperbolic filling of Z,we define the notions of the p-capacity between certain subsets of Z and of theweak covering p-capacity of path families Γ in Z.We show comparability results and quasisymmetric invariance.As an application of our methodswe deduce a result due to Tyson on the geometric quasiconformality

Abstract We apply Gromov’s ham sandwich method to get: (1) domain monotonicity (up to a multiplicative constant factor); (2) reverse domain monotonicity (up to a multiplicative constant factor); and (3) universal inequalities for Neumann eigenvalues of the Laplacian on bounded convex domains in Euclidean space.

Abstract Diversities are like metric spaces, except that every finite subset, instead of just every pair of points, is assigned a value. Just as there is a theory of minimal distortion embeddings of fiite metric spaces into L1, there is a similar, yet undeveloped, theory for embedding finite diversities into the diversity analogue of L1 spaces. In the metric case, it iswell known that an n-point metric

Abstract We give an example of a smooth surface of revolution for which all circles about the origin are strictly stable for fixed area but small isoperimetric regions are nearly round discs away from the origin.

Abstract This article studies an integral representation of functionals of linear growth on metric measure spaces with a doubling measure and a Poincaré inequality. Such a functional is defined via relaxation, and it defines a Radon measure on the space. For the singular part of the functional, we get the expected integral representation with respect to the variation measure. A new feature is that

Abstract In this note, we prove that on a surface with Alexandrov’s curvature bounded below, the distance derives from a Riemannian metric whose components, for any p ∈ [1, 2), locally belong to W1,p out of a discrete singular set. This result is based on Reshetnyak’s work on the more general class of surfaces with bounded integral curvature.