Related papers: On rectifiable measures in Carnot groups: represen…

We prove a global implicit function theorem. In particular we show that any Lipschitz map $f:\bR^n\times \bR^m\to\bR^n$ (with $n$-dim. image) can be precomposed with a bi-Lipschitz map $\bar{g}:\bR^n\times \bR^m\to \bR^n\times \bR^m$ such…

We use variational arguments to introduce a notion of mean curvature for surfaces in the Heisenberg group H^1 endowed with its Carnot-Carath\'eodory distance. By analyzing the first variation of area, we characterize C^2 stationary surfaces…

In the metric spaces, we give some equivalent condition of intrinsically Lipschitz maps introduce by Franchi, Serapioni and Serra Cassano in subRiemannian Carnot groups. Unlike what happens in the Carnot groups, in our context intrinsic…

We consider the problems of measurable isomorphisms and joinings, measurable centralizers and quotients for certain classes of ergodic group actions on infinite measure spaces. Our main focus is on systems of algebraic origin: actions of…

For compact Hausdorff admissible right topological (CHART) group $G$, we prove $w(G)=\pi\chi(G)$. This equality is well known for compact topological groups. This implies the criteria for the metrizability of CHART groups: if $G$ is…

We describe all quasiconformal maps on the higher (real and complex) model Filiform groups equipped with the Carnot metric, including non-smooth ones. These maps have very special forms. In particular, they are all biLipschitz and preserve…

We show that the topological full group of a Hausdorff ample groupoid with compact unit space coincides with the group of homotopy classes of invertible isometries in pseudofunction algebras associated with the groupoid. Moreover, if the…

For all $1\leq m\leq n-1$, we investigate the interaction of locally finite measures in $\mathbb{R}^n$ with the family of $m$-dimensional Lipschitz graphs. For instance, we characterize Radon measures $\mu$, which are carried by Lipschitz…

We determine the Haar measure on the compact $p$-adic special orthogonal groups of rotations $\mathrm{SO}(d)_p$ in dimension $d=2,3$, by exploiting the machinery of inverse limits of measure spaces, for every prime $p>2$. We characterise…

We describe surjective linear isometries and linear isometry groups of a large class of Lipschitz-free spaces that includes e.g. Lipschitz-free spaces over any graph. We define the notion of a Lipschitz-free rigid metric space whose…

Sofic groups generalise both residually finite and amenable groups, and the concept is central to many important results and conjectures in measured group theory. We introduce a topological notion of a sofic boundary attached to a given…

This paper studies the geometry of bilipschitz maps $f \colon \mathbb{W} \to \mathbb{H}$, where $\mathbb{H}$ is the first Heisenberg group, and $\mathbb{W} \subset \mathbb{H}$ is a vertical subgroup of co-dimension $1$. The images…

We establish an area formula for the spherical measure of intrinsic graphs of any codimension in homogeneous groups. Our approach relies on the assumption that the map defining the intrinsic graph is continuously intrinsically…

We consider mappings between Carnot groups. In this paper, which is a continuation of "Pansu pullback and rigidity of mappings between Carnot groups" (arXiv:2004.09271), we focus on Carnot groups which are nonrigid in the sense of…

We investigate the concept of definable, or inner, automorphism in the logical setting of partial Horn theories. The central technical result extends a syntactical characterization of the group of such automorphisms (called the covariant…

A central question in geometric measure theory is whether geometric properties of a set translate into analytical ones. In 1960, E. R. Reifenberg proved that if an $n$-dimensional subset $M$ of $\mathbb{R}^{n+k}$ is well approximated by…

We obtain fractal Lipschitz-Killing curvature-direction measures for a large class of self-similar sets F in R^d. Such measures jointly describe the distribution of normal vectors and localize curvature by analogues of the higher order mean…

We establish an area formula for the spherical measure of intrinsically regular submanifolds of low codimension in Heisenberg groups. The spherical measure is computed with respect to an arbitrary homogeneous distance. Among the arguments…

David and Semmes proved that if all CZOs (of suitable dimension) are bounded with respect to an Ahlfors regular measure, then the measure is uniformly rectifiable. We extend this theorem to the parabolic space and the first Heisenberg…

This book offers to study locally compact groups from the point of view of appropriate metrics that can be defined on them, in other words to study "Infinite groups as geometric objects", as Gromov writes it in the title of a famous…