We obtain a blow-up theorem for regular submanifolds in the Heisenberg group, where intrinsic dilations are used. Main consequence of this result is an explicit formula for the density of (p+1)-dimensional spherical Hausdorff measure restricted to a p-dimensional submanifold with respect to the Riemannian surface measure. We explicitly compute this formula in some simple examples and we present a lower semicontinuity result for the spherical Hausdorff measure with respect to the weak convergence...

Le problème de Painlevé consiste à trouver une caractérisation géométrique des sous-ensembles du plan complexe qui sont effaçables pour les fonctions holomorphes bornées. Ce problème d’analyse complexe a connu ces dernières années des avancées étonnantes, essentiellement grâce au dévelopement de techniques fines d’analyse réelle et de théorie de la mesure géométrique. Dans cet exposé, nous allons présenter et discuter une solution proposée par X. Tolsa en termes de courbure de Menger au problème...

We establish an explicit connection between the perimeter measure of an open set $E$ with $C^1$ boundary and the spherical Hausdorff measure $S^{Q-1}$ restricted to $\partial E$, when the ambient space is a stratified group endowed with a left invariant sub-Riemannian metric and $Q$ denotes the Hausdorff dimension of the group. Our formula implies that the perimeter measure of $E$ is less than or equal to $S^{Q-1}\left(\partial E\right)$ up to a dimensional factor. The validity of this estimate positively answers a conjecture raised by Danielli, Garofalo...

In his recent lecture at the International Congress [S], Stephen Semmes stated the following conjecture for which we provide a proof.Theorem. Suppose Ω is a bounded open set in Rn with n > 2, and suppose that B(0,1) ⊂ Ω, Hn-1(∂Ω) = M < ∞ (depending on n and M) and a Lipschitz graph Γ (with constant L) such that Hn-1(Γ ∩ ∂Ω) ≥ ε.Here Hk denotes k-dimensional Hausdorff measure and B(0,1) the unit ball in Rn. By iterating our proof we obtain a slightly stronger result which allows us...

Let $X$ be a metric space with a doubling measure, $Y$ be a boundedly compact metric space and $u:X\to Y$ be a Lebesgue precise mapping whose upper gradient $g$ belongs to the Lorentz space $L_{m,1}$, $m\ge 1$. Let $E\subset X$ be a set of measure zero. Then ${\widehat{\mathscr{H}}}_m(E\cap u^{-1}\left(y\right))=0$ for ${\mathscr{H}}_m$-a.e. $y\in Y$, where ${\mathscr{H}}_m$ is the $m$-dimensional Hausdorff measure and ${\widehat{\mathscr{H}}}_m$ is the $m$-codimensional Hausdorff measure. This property is closely related to the coarea formula and implies a version of the Eilenberg inequality. The result relies on estimates of Hausdorff content of level sets...

We show that for every $\epsilon >0$ there is a set $A\subset {ℝ}^3$ such that ${\mathscr{H}}^1⌞A$ is a monotone measure, the corresponding tangent measures at the origin are non-conical and non-unique and ${\mathscr{H}}^1⌞A$ has the $1$-dimensional density between $1$ and $2+\epsilon$ everywhere in the support.

In the paper (n,2)-sets have full Hausdorff dimension, appeared in Rev. Mat. Iberoamericana 20 (2004), 381-393, the author claimed that an (n,2)-set must have full Hausdorff dimension. However, as pointed out by Terence Tao and John Bueti, the proof contains an error.

In some recent work, fractal curvatures $C_k^f\left(F\right)$ and fractal curvature measures $C_k^f(F,·)$, $k=0,...,d$, have been determined for all self-similar sets $F$ in ${ℝ}^d$, for which the parallel neighborhoods satisfy a certain regularity condition and a certain rather technical curvature bound. The regularity condition is conjectured to be always satisfied, while the curvature bound has recently been shown to fail in some concrete examples. As a step towards a better understanding of its meaning, we discuss several equivalent formulations...