We show that under minimal assumptions, the intrinsic metric induced by a strongly local Dirichlet form induces a length space. The main input is a dual characterization of length spaces in terms of the property that the 1-Lipschitz functions form a sheaf.

We consider a complete metric space equipped with a doubling measure and a weak Poincaré inequality. We prove that for all p-superharmonic functions there exists an upper gradient that is integrable on H-chain sets with a positive exponent.

With the help of recent adjacent dyadic constructions by Hytönen and the author, we give an alternative proof of results of Lechner, Müller and Passenbrunner about the $L^p$-boundedness of shift operators acting on functions $f\in L^p(X;E)$ where 1 < p < ∞, X is a metric space and E is a UMD space.

For every metric space (X, d) and origin o ∈ X, we show the inequality I o(x, y) ≤ 2d o(x, y), where I o(x, y) = d(x, y)/d(x, o)d(y, o) is the metric space inversion semimetric, d o is a metric subordinate to I o, and x, y ∈ X o The constant 2 is best possible.

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 space can be embedded into L1 withO(log n) distortion. For diversities, the optimal distortion is unknown....

We quantify the extent to which a supercritical Sobolev mapping can increase the dimension of subsets of its domain, in the setting of metric measure spaces supporting a Poincaré inequality. We show that the set of mappings that distort the dimensions of sets by the maximum possible amount is a prevalent subset of the relevant function space. For foliations of a metric space X defined by a David–Semmes regular mapping Π : X → W, we quantitatively estimate, in terms of Hausdorff dimension in W, the...

In this article, via fractional Hajłasz gradients, the authors introduce a class of fractional Hajłasz-Morrey-Sobolev spaces, and investigate the relations among these spaces, (grand) Morrey-Triebel-Lizorkin spaces and Triebel-Lizorkin-type spaces on both Euclidean spaces and RD-spaces.

We prove, for any $n$, that there is a closed connected orientable surface $S$ so that the hyperbolic space ${ℍ}^n$ almost-isometrically embeds into the Teichmüller space of $S$, with quasi-convex image lying in the thick part. As a consequence, ${ℍ}^n$ quasi-isometrically embeds in the curve complex of $S$.

We prove metric differentiation for differentiability spaces in the sense of Cheeger [10, 14, 27]. As corollarieswe give a new proof of one of the main results of [14], a proof that the Lip-lip constant of any Lip-lip space in the sense of Keith [27] is equal to 1, and new nonembeddability results.

We give conditions on Gromov-Hausdorff convergent inverse systems of metric measure graphs which imply that the measured Gromov-Hausdorff limit (equivalently, the inverse limit) is a PI space i.e., it satisfies a doubling condition and a Poincaré inequality in the sense of Heinonen-Koskela [12]. The Poincaré inequality is actually of type (1, 1). We also give a systematic construction of examples for which our conditions are satisfied. Included are known examples of PI spaces, such as Laakso spaces,...

We characterize Carnot groups admitting a 1-quasiconformal metric inversion as the Lie groups of Heisenberg type whose Lie algebras satisfy the J2-condition, thus characterizing a special case of inversion invariant bi-Lipschitz homogeneity. A more general characterization of inversion invariant bi-Lipschitz homogeneity for certain non-fractal metric spaces is also provided.

A theorem of Lusin states that every Borel function onRis equal almost everywhere to the derivative of a continuous function. This result was later generalized to Rn in works of Alberti and Moonens-Pfeffer. In this note, we prove direct analogs of these results on a large class of metric measure spaces, those with doubling measures and Poincaré inequalities, which admit a form of differentiation by a famous theorem of Cheeger.

It is shown that a Banach space admits an equivalent norm whose modulus of uniform convexity has power-type $p$ if and only if it is Markov $p$-convex. Counterexamples are constructed to natural questions related to isomorphic uniform convexity of metric spaces, showing in particular that tree metrics fail to have the dichotomy property.

We show that a geodesic metric space which does not admit bilipschitz embeddings into Banach spaces with the Radon-Nikodým property does not necessarily contain a bilipschitz image of a thick family of geodesics. This is done by showing that no thick family of geodesics is Markov convex, and comparing this result with results of Cheeger-Kleiner, Lee-Naor, and Li. The result contrasts with the earlier result of the author that any Banach space without the Radon-Nikodým property contains a bilipschitz...

Let X be a metric space with doubling measure and L a one-to-one operator of type ω having a bounded H∞ -functional calculus in L2(X) satisfying the reinforced (pL; qL) off-diagonal estimates on balls, where pL ∊ [1; 2) and qL ∊ (2;∞]. Let φ : X × [0;∞) → [0;∞) be a function such that φ (x;·) is an Orlicz function, φ(·;t) ∊ A∞(X) (the class of uniformly Muckenhoupt weights), its uniformly critical upper type index l(φ) ∊ (0;1] and φ(·; t) satisfies the uniformly reverse Hölder inequality of order...

In this article we study the Ahlfors regular conformal gauge of a compact metric space $(X,d)$, and its conformal dimension ${dim}_{AR}(X,d)$. Using a sequence of finite coverings of $(X,d)$, we construct distances in its Ahlfors regular conformal gauge of controlled Hausdorff dimension. We obtain in this way a combinatorial description, up to bi-Lipschitz homeomorphisms, of all the metrics in the gauge. We show how to compute ${dim}_{AR}(X,d)$ using the critical exponent $Q_N$ associated to the combinatorial modulus.

For every ε > 0, any subset of ℝⁿ with Hausdorff dimension larger than (1-ε)n must have ultrametric distortion larger than 1/(4ε).