Search results for "28A75"
showing 10 items of 32 documents
Plenty of big projections imply big pieces of Lipschitz graphs
2020
I prove that a closed $n$-regular set $E \subset \mathbb{R}^{d}$ with plenty of big projections has big pieces of Lipschitz graphs. This answers a question of David and Semmes.
Curve packing and modulus estimates
2018
A family of planar curves is called a Moser family if it contains an isometric copy of every rectifiable curve in $\mathbb{R}^{2}$ of length one. The classical "worm problem" of L. Moser from 1966 asks for the least area covered by the curves in any Moser family. In 1979, J. M. Marstrand proved that the answer is not zero: the union of curves in a Moser family has always area at least $c$ for some small absolute constant $c > 0$. We strengthen Marstrand's result by showing that for $p > 3$, the $p$-modulus of a Moser family of curves is at least $c_{p} > 0$.
Loomis-Whitney inequalities in Heisenberg groups
2021
This note concerns Loomis-Whitney inequalities in Heisenberg groups $\mathbb{H}^n$: $$|K| \lesssim \prod_{j=1}^{2n}|\pi_j(K)|^{\frac{n+1}{n(2n+1)}}, \qquad K \subset \mathbb{H}^n.$$ Here $\pi_{j}$, $j=1,\ldots,2n$, are the vertical Heisenberg projections to the hyperplanes $\{x_j=0\}$, respectively, and $|\cdot|$ refers to a natural Haar measure on either $\mathbb{H}^n$, or one of the hyperplanes. The Loomis-Whitney inequality in the first Heisenberg group $\mathbb{H}^1$ is a direct consequence of known $L^p$ improving properties of the standard Radon transform in $\mathbb{R}^2$. In this note, we show how the Loomis-Whitney inequalities in higher dimensional Heisenberg groups can be deduced…
Uniformization of metric surfaces using isothermal coordinates
2021
We establish a uniformization result for metric surfaces - metric spaces that are topological surfaces with locally finite Hausdorff 2-measure. Using the geometric definition of quasiconformality, we show that a metric surface that can be covered by quasiconformal images of Euclidean domains is quasiconformally equivalent to a Riemannian surface. To prove this, we construct suitable isothermal coordinates.
Sets with constant normal in Carnot groups: properties and examples
2019
We analyze subsets of Carnot groups that have intrinsic constant normal, as they appear in the blowup study of sets that have finite sub-Riemannian perimeter. The purpose of this paper is threefold. First, we prove some mild regularity and structural results in arbitrary Carnot groups. Namely, we show that for every constant-normal set in a Carnot group its sub-Riemannian-Lebesgue representative is regularly open, contractible, and its topological boundary coincides with the reduced boundary and with the measure-theoretic boundary. We infer these properties from a cone property. Such a cone will be a semisubgroup with nonempty interior that is canonically associated with the normal directio…
Regularity properties of spheres in homogeneous groups
2015
We study left-invariant distances on Lie groups for which there exists a one-parameter family of homothetic automorphisms. The main examples are Carnot groups, in particular the Heisenberg group with the standard dilations. We are interested in criteria implying that, locally and away from the diagonal, the distance is Euclidean Lipschitz and, consequently, that the metric spheres are boundaries of Lipschitz domains in the Euclidean sense. In the first part of the paper, we consider geodesic distances. In this case, we actually prove the regularity of the distance in the more general context of sub-Finsler manifolds with no abnormal geodesics. Secondly, for general groups we identify an alg…
Area of intrinsic graphs and coarea formula in Carnot Groups
2020
AbstractWe consider submanifolds of sub-Riemannian Carnot groups with intrinsic $$C^1$$ C 1 regularity ($$C^1_H$$ C H 1 ). Our first main result is an area formula for $$C^1_H$$ C H 1 intrinsic graphs; as an application, we deduce density properties for Hausdorff measures on rectifiable sets. Our second main result is a coarea formula for slicing $$C^1_H$$ C H 1 submanifolds into level sets of a $$C^1_H$$ C H 1 function.
On the Dimension of Kakeya Sets in the First Heisenberg Group
2021
We define Kakeya sets in the Heisenberg group and show that the Heisenberg Hausdorff dimension of Kakeya sets in the first Heisenberg group is at least 3. This lower bound is sharp since, under our definition, the $\{xoy\}$-plane is a Kakeya set with Heisenberg Hausdorff dimension 3.
Menger curvature and rectifiability in metric spaces
2008
We show that for any metric space $X$ the condition \[ \int_X\int_X\int_X c(z_1,z_2,z_3)^2\, d\Hm z_1\, d\Hm z_2\, d\Hm z_3 < \infty, \] where $c(z_1,z_2,z_3)$ is the Menger curvature of the triple $(z_1,z_2,z_3)$, guarantees that $X$ is rectifiable.
Normal forms and embeddings for power-log transseries
2016
First return maps in the neighborhood of hyperbolic polycycles have their asymptotic expansion as Dulac series, which are series with power-logarithm monomials. We extend the class of Dulac series to an algebra of power-logarithm transseries. Inside this new algebra, we provide formal normal forms of power-log transseries and a formal embedding theorem. The questions of classifications and of embeddings of germs into flows of vector fields are common problems in dynamical systems. Aside from that, our motivation for this work comes from fractal analysis of orbits of first return maps around hyperbolic polycycles. This is a joint work with Pavao Mardešić, Jean-Philippe Rolin and Vesna Župano…