Related papers: Cheeger's differentiation theorem via the multilin…

On metric spaces equipped with doubling measures, we prove that a differentiability theorem holds for Lipschitz functions if and only if the space supports nontrivial (metric) derivations in the sense of Weaver that satisfy an additional…

We demonstrate the necessity of a Poincar\'e type inequality for those metric measure spaces that satisfy Cheeger's generalization of Rademacher's theorem for all Lipschitz functions taking values in a Banach space with the Radon-Nikodym…

We prove metric differentiation for differentiability spaces in the sense of Cheeger. As corollaries we give a new proof that the minimal generalized upper gradient coincides with the pointwise Lipschitz constant for Lipschitz functions on…

We prove the equivalence of two seemingly very different ways of generalising Rademacher's theorem to metric measure spaces. One such generalisation is based upon the notion of forming partial derivatives along a very rich structure of…

For Lipschitz maps between a metric measure space and a metric space, combining the ideas of Kirchheim's metric differentiability and Cheeger's differentiable structures leads to a Rademacher-type theorem for a notion of metric…

We combine Kirchheim's metric differentials with Cheeger charts in order to establish a non-embeddability principle for any collection $\mathcal C$ of Banach (or metric) spaces: if a metric measure space $X$ bi-Lipschitz embeds in some…

This note details how a recent structure theorem for normal $1$-currents proved by the first and third author allows to prove a conjecture of Cheeger concerning the structure of Lipschitz differentiability spaces. More precisely, we show…

Rademacher theorem states that every Lipschitz function on the Euclidean space is differentiable almost everywhere, where "almost everywhere" refers to the Lebesgue measure. In this paper we prove a differentiability result of similar type,…

We prove the differentiability of Lipschitz maps X-->V, where X is a complete metric measure space satisfying a doubling condition and a Poincar\'e inequality, and V is a Banach space with the Radon Nikodym Property (RNP). The proof depends…

Following Weaver we study generalized differential operators, called (metric) derivations, and their linear algebraic properties. In particular, for k = 1, 2 we show that measures on k-dimensional Euclidean space that induce rank-k modules…

Let $E \subseteq \mathbb{R}^n$ be a union of line segments and $F \subseteq \mathbb{R}^n$ the set obtained from $E$ by extending each line segment in $E$ to a full line. Keleti's line segment extension conjecture posits that the Hausdorff…

Let $(X,d,\mu)$ be a complete metric measure space, with $\mu$ a locally doubling measure, that supports a local weak $L^2$-Poincar\'e inequality. By assuming a heat semigroup type curvature condition, we prove that Cheeger-harmonic…

A Kakeya set in $\mathbb{R}^n$ is a compact set that contains a unit line segment $I_e$ in each direction $e \in S^{n-1}$. The Kakeya conjecture states that any Kakeya set in $\mathbb{R}^n$ has Hausdorff dimension $n$. We consider a…

The Kakeya conjecture is generally formulated as one the following statements: every compact/Borel/arbitrary subset of ${\mathbb R}^n$ that contains a (unit) line segment in every direction has Hausdorff dimension $n$; or, sometimes, that…

We study Lipschitz differentiability spaces, a class of metric measure spaces introduced by Cheeger. We show that if an Ahlfors regular Lipschitz differentiability space has charts of maximal dimension, then, at almost every point, all its…

For a metric space $X$, we study the space $D^{\infty}(X)$ of bounded functions on $X$ whose infinitesimal Lipschitz constant is uniformly bounded. $D^{\infty}(X)$ is compared with the space $\LIP^{\infty}(X)$ of bounded Lipschitz functions…

In a 2013 paper, Cheeger and Kleiner introduced a new type of dimension for metric spaces, the "Lipschitz dimension". We study the dimension-theoretic properties of Lipschitz dimension, including its behavior under Gromov-Hausdorff…

We prove that for every function $f:X\to Y$, where $X$ is a separable Banach space and $Y$ is a Banach space with RNP, there exists a set $A\in\tilde\mcA$ such that $f$ is Gateaux differentiable at all $x\in S(f)\setminus A$, where $S(f)$…

On complete metric spaces that support doubling measures, we show that the validity of a Rademacher theorem for Lipschitz functions can be characterised by Keith's "Lip-lip" condition. Roughly speaking, this means that at almost every…

We prove that all bounded subsets of $\mathbb{Q}_p^n$ containing a line segment of unit length in every direction have Hausdorff and Minkowski dimension $n$. This is the analogue of the classical Kakeya conjecture with $\mathbb{R}$ replaced…