Related papers: On rectifiable measures in Carnot groups: existenc…
We define rectifiability in $\mathbb{R}^{n}\times\mathbb{R}$ with a parabolic metric in terms of $C^1$ graphs and Lipschitz graphs with small Lipschitz constants and we characterize it in terms of approximate tangent planes and tangent…
In this note we show that if $G$ is a solvable group acting on the line, and if there is $T\in G$ having no fixed points, then there is a Radon measure $\mu$ on the line quasi-invariant under $G$. In fact, our method allows for the same…
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…
We present a higher dimensional, scale-invariant version of a classical theorem of F. and M. Riesz. More precisely, we establish scale invariant absolute continuity of harmonic measure with respect to surface measure, along with higher…
We repurpose tools from the theory of quantitative rectifiability to study the qualitative rectifiability of measures in $\Bbb{R}^n$, $n\geq 2$. To each locally finite Borel measure $\mu$, we associate a function $\widetilde J_2(\mu, x)$…
We give the following characterization of rectifiable metric spaces. A metric space with positive lower Hausdorff density is rectifiable if and only if, for any subset $F$ and $f:F\to Y$, a Lipschitz map into a metric space with positive…
We continue to develop a program in geometric measure theory that seeks to identify how measures in a space interact with canonical families of sets in the space. In particular, extending a theorem of the first author and R. Schul in…
We consider sets of locally finite perimeter in Carnot groups. We show that if E is a set of locally finite perimeter in a Carnot group G, then for almost every x in G with respect to the perimeter measure of E, some tangent of E at x is a…
We show that if $n\geq 1$, $\Omega\subset \mathbb R^{n+1}$ is a connected domain with porous boundary, and $E\subset \partial\Omega$ is a set of finite and positive Hausdorff $H^{n}$-measure upon which the harmonic measure $\omega$ is…
We study the geometry of germs of definable (semialgebraic or subanalytic) sets over a $p$-adic field from the metric, differential and measure geometric point of view. We prove that the local density of such sets at each of their points…
We prove rectifiability results for $\mathsf{CD}(K,N)$ and $\mathsf{MCP}(K,N)$ metric measure spaces $(\mathsf{X},\mathsf{d},\mathfrak{m})$ with pointwise Ahlfors regular reference measure $\mathfrak{m}$ and with $\mathfrak{m}$-almost…
Recently, M. Badger and R. Schul proved that for a $1$-rectifiable Radon measure $\mu$, the density weighted Jones' square function $$ J_{1}(x) = \mathop{\sum_{Q \in \mathcal{D}}}_{\ell(Q) \leq 1} \beta_{2,\mu}^{2}(3Q)\frac{\ell(Q)}{\mu(Q)}…
We identify two sufficient conditions for locally finite Borel measures on $\mathbb{R}^n$ to give full mass to a countable family of Lipschitz images of $\mathbb{R}^m$. The first condition, extending a prior result of Pajot, is a sufficient…
We show that the set of points where the blow-up, in the sense of Preiss, of a signed Radon measure on $\mathbb{R}^n$ is unique and its invariant subspace has dimension $k$ is $k$-rectifiable. As simple applications, we obtain a…
Let $\Omega \subset \mathbb{R}^{n+1}$, $n \geq 1$, be an open and connected set. Set $\mathcal{T}_n$ to be the set of points $\xi \in \partial \Omega$ so that there exists an approximate tangent $n$-plane for $\partial\Omega$ at $\xi$ and…
Let $G$ be a right-angled Artin group with $|\mathrm{Out}(G)|<+\infty$. We prove that if a countable group $H$ with bounded torsion is measure equivalent to $G$, with an $L^1$-integrable measure equivalence cocycle towards $G$, then $H$ is…
For a Radon measure $\mu$ on $\mathbb{R}^d$, define $C^n_\mu(x, t)= \ (\frac{1}{t^n} \ |\int_{B(x,t)} \frac{x-y}{t} \, d\mu(y)\ | \ )$. This coefficient quantifies how symmetric the measure $\mu$ is by comparing the center of mass at a…
In this paper it is shown that if $\mu$ is a finite Radon measure in $\mathbb R^d$ which is $n$-rectifiable and $1\leq p\leq 2$, then $$\int_0^\infty \beta_{\mu,p}^n(x,r)^2\,\frac{dr}r<\infty \quad {for $\mu$-a.e. $x\in\mathbb R^d$,}$$…
We present the converse to a higher dimensional, scale-invariant version of a classical theorem of F. and M. Riesz. More precisely, for $n\geq 2$, for an ADR domain $\Omega\subset \re^{n+1}$ which satisfies the Harnack Chain condition plus…
We give a sufficient condition for a Borel subset $E\subset X$ of a complete metric space with $\mathcal{H}^n(E)<\infty$ to be $n$-rectifiable. This condition involves a decomposition of $E$ into rectifiable curves known as an Alberti…