This paper is meant as a (short and partial) introduction to the study of the geometry of Carnot groups and, more generally, of Carnot-Carathéodory spaces associated with a family of Lipschitz continuous vector fields. My personal interest in this field goes back to a series of joint papers with E. Lanconelli, where this notion was exploited for the study of pointwise regularity of weak solutions to degenerate elliptic partial differential equations. As stated in the title, here we are mainly concerned...

Let $E$ be a self-similar set with similarities ratio $r_j(0\le j\le m-1)$ and Hausdorff dimension $s$, let $\overrightarrow{p}(p_0,p_1)...p_{m-1}$ be a probability vector. The Besicovitch-type subset of $E$ is defined as$$E\left(\overrightarrow{p}\right)=\left\{x\in E:\underset{n\to \infty }{lim}\frac{1}{n}\sum _{k=1}^n{\chi }_j\left(x_k\right)=p_j,0\le j\le m-1\right\},$$where ${\chi }_j$ is the indicator function of the set $\left\{j\right\}$. Let $\alpha ={dim}_H\left(E\left(\overrightarrow{p}\right)\right)={dim}_P\left(E\left(\overrightarrow{p}\right)\right)=\frac{{\sum }_{j=0}^{m-1}{p}_{j}log{p}_j}{{\sum }_{j=0}^{m-1}{p}_{i}log{r}_j}$ and $g$ be a gauge function, then we prove in this paper:(i) If $\overrightarrow{p}=(r_0^s,r_1^s,\cdots ,r_{m-1}^s)$, then$${\mathscr{H}}^s\left(E\left(\overrightarrow{p}\right)\right)={\mathscr{H}}^s\left(E\right),{𝒫}^s\left(E\left(\overrightarrow{p}\right)\right)={𝒫}^s\left(E\right),$$moreover both of ${\mathscr{H}}^s\left(E\right)$ and ${𝒫}^s\left(E\right)$ are finite positive;(ii) If $\overrightarrow{p}$ is a positive probability vector other than $(r_0^s,r_1^s,\cdots ,r_{m-1}^s)$, then the gauge functions can be partitioned as follows$${\mathscr{H}}^g\left(E\left(\overrightarrow{p}\right)\right)=+\infty \iff \underset{t\to 0}{\overline{\lim }}\frac{logg\left(t\right)}{logt}\le \alpha ;{\mathscr{H}}^g\left(E\left(\overrightarrow{p}\right)\right)=0⟺\underset{t\to 0}{\overline{\lim }}\frac{logg\left(t\right)}{logt}\>\alpha ,$$$$...$$

Let f : G → H be a Lipschitz map between two Carnot groups. We show that if B is a ball of G, then there exists a subset Z ⊂ B, whose image in H under f has small Hausdorff content, such that BZcan be decomposed into a controlled number of pieces, the restriction of f on each of which is quantitatively biLipschitz. This extends a result of [14], which proved the same result, but with the restriction that G has an appropriate discretization. We provide an example of a Carnot group not admitting such...

For a given sequence a boundedly expressible set is introduced. Three criteria concerning the Hausdorff dimension of such sets are proved.

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...

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 compare the Hausdorff measures and dimensions with respect to the Euclidean and Heisenberg metrics on the first Heisenberg group. The result is a dimension jump described by two inequalities. The sharpness of our estimates is shown by examples. Moreover a comparison between Euclidean and H-rectifiability is given.

We show that the set of conical points of a rational function of the Riemann sphere supports at most one conformal measure. We then study the problem of existence of such measures and their ergodic properties by constructing Markov partitions on increasing subsets of sets of conical points and by applying ideas of the thermodynamic formalism.

We estimate from above and below the Hausdorff dimension of SRB measure for contracting-on-average baker maps.

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.

We construct a compact set C of Hausdorff dimension zero such that cof(𝒩) many translates of C cover the real line. Hence it is consistent with ZFC that less than continuum many translates of a zero-dimensional compact set can cover the real line. This answers a question of Dan Mauldin.

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...