Related papers: Behaviour of the reference measure on $\sf RCD$ sp…
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…
This note is motivated by recent studies by Eriksson-Bique and Soultanis about the construction of charts in general metric measure spaces. We analyze their construction and provide an alternative and simpler proof of the fact that these…
We prove that a metric measure space $(X,d,m)$ satisfying finite dimensional lower Ricci curvature bounds and whose Sobolev space $W^{1,2}$ is Hilbert is rectifiable. That is, a $RCD^*(K,N)$-space is rectifiable, and in particular for…
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…
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…
In this note we give new proofs of rectifiability of RCD(K,N) spaces as metric measure spaces and lower semicontinuity of the essential dimension, via $\delta$-splitting maps. The arguments are inspired by the Cheeger-Colding theory for…
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,…
Magnitude is an isometric invariant of metric spaces introduced by Leinster. Since its inception, it has inspired active research into its connections with integral geometry, geometric measure theory, fractal dimensions, persistent…
It was recently shown that the harmonic measure is absolutely continuous with respect to the Hausdorff measure on a domain with an $n-1$ dimensional uniformly rectifiable boundary, in the presence of now well understood additional…
These series of notes serve as an introduction to some of both the classical and modern techniques in Reifenberg theory. At its heart, Reifenberg theory is about studying general sets or measures which can be, in one sense or another,…
We provide a quick proof of the following known result: the Sobolev space associated with the Euclidean space, endowed with the Euclidean distance and an arbitrary Radon measure, is Hilbert. Our new approach relies upon the properties of…
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…
We characterize $n$-rectifiable metric measure spaces as those spaces that admit a countable Borel decomposition so that each piece has positive and finite $n$-densities and one of the following: is an $n$-dimensional Lipschitz…
We show that on every ${\sf RCD}$ spaces it is possible to introduce, by a distributional-like approach, a Riemann curvature tensor. Since after the works of Petrunin and Zhang-Zhu we know that finite dimensional Alexandrov spaces are ${\sf…
We characterise rectifiable subsets of a complete metric space $X$ in terms of local approximation, with respect to the Gromov--Hausdorff distance, by an $n$-dimensional Banach space. In fact, if $E\subset X$ with $\mathcal{H}^n(E)<\infty$…
One goal of geometric measure theory is to understand how measures in the plane or higher dimensional Euclidean space interact with families of lower dimensional sets. An important dichotomy arises between the class of rectifiable measures,…
In this paper we start a detailed study of a new notion of rectifiability in Carnot groups: we say that a Radon measure is $\mathscr{P}_h$-rectifiable, for $h\in\mathbb N$, if it has positive $h$-lower density and finite $h$-upper density…
We prove in particular that the Lipschitz-free space over a finitely-dimensional normed space is complemented in its bidual. For Euclidean spaces the norm of the respective projection is $1$. As a tool to obtain the main result we establish…
It is hereby established that, in Euclidean spaces of finite dimension, bounded self-contracted curves have finite length. This extends the main result of Daniilidis, Ley, and Sabourau (J. Math. Pures Appl. 2010) concerning continuous…
We prove that Ahlfors-regular RCD spaces are uniformly rectifiable. The same is shown for Ahlfors regular boundaries of non-collapsed RCD spaces. As an application we deduce a type of quantitative differentiation for Lipschitz functions on…