BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
Refining an earlier result due to Hahlomaa, we provide a new Carleson-type condition for k-regular sets in the Heisenberg group Hn to have big pieces of Lipschitz images of subsets of Rk for 1≤k≤n. Our approach passes via the corona decompositions by normed spaces, recently introduced by Bate, Hyde, and Schul. Along the way, we prove implications between several notions of quantitative rectifiability for low-dimensional sets in Hn.
We define Hardy spaces Hp, 0<p<∞, for quasiconformal mappings on the Korányi unit ball B in the first Heisenberg group H1. Our definition is stated in terms of the Heisenberg polar coordinates introduced by Korányi and Reimann, and Balogh and Tyson. First, we prove the existence of p0(K)>0 such that every K-quasiconformal map f:B→f(B)⊂H1 belongs to Hp for all 0<p<p0(K). Second, we give two equivalent conditions for the Hp membership of a quasiconformal map f, one in terms of the radial limits of f, and one using a nontangential maximal function of f. As an application, we characterize Carleson measures on B via integral inequalities for quasiconformal mappings on B and their radial limits. Our paper thus extends results by Astala and Koskela, Jerison and Weitsman, Nolder, and Zinsmeister, from Rn to H1. A crucial difference between the proofs in Rn and H1 is caused by the nonisotropic nature of the Korányi unit sphere with its two characteristic points.
We prove that if P,L are finite sets of δ-separated points and lines in R2, the number of δ-incidences between P and L is no larger than a constant times ∣P∣2/3∣L∣2/3⋅δ−1/3. We apply the bound to obtain the following variant of the Loomis-Whitney inequality in the Heisenberg group: ∣K∣≲∣πx(K)∣2/3⋅∣πy(K)∣2/3,K⊂H. Here πx and πy are the vertical projections to the xt- and yt-planes, respectively, and ∣⋅∣ refers to natural Haar measure on either H, or one of the planes. Finally, as a corollary of the Loomis-Whitney inequality, we deduce that ∥f∥4/3≲∥Xf∥∥Yf∥,f∈BV(H), where X,Y are the standard horizontal vector fields in H. This is a sharper version of the classical geometric Sobolev inequality ∥f∥4/3≲∥∇Hf∥ for f∈BV(H).
A Semmes surface in the Heisenberg group is a closed set S that is upper Ahlfors-regular with codimension one and satisfies the following condition, referred to as Condition B. Every ball B(x,r) with x∈S and 0<r<diamS contains two balls with radii comparable to r which are contained in different connected components of the complement of S. Analogous sets in Euclidean spaces were introduced by Semmes in the late 80's. We prove that Semmes surfaces in the Heisenberg group are lower Ahlfors-regular with codimension one and have big pieces of intrinsic Lipschitz graphs. In particular, our result applies to the boundary of chord-arc domains and of reduced isoperimetric sets.
Let H be the first Heisenberg group, and let k∈C∞(H∖{0}) be a kernel which is either odd or horizontally odd, and satisfies ∣∇Hnk(p)∣≤Cn∥p∥−1−n,p∈H∖{0},n≥0. The simplest examples include certain Riesz-type kernels first considered by Chousionis and Mattila, and the horizontally odd kernel k(p)=∇Hlog∥p∥. We prove that convolution with k, as above, yields an L2-bounded operator on regular curves in H. This extends a theorem of G. David to the Heisenberg group. As a corollary of our main result, we infer that all 3-dimensional horizontally odd kernels yield L2 bounded operators on Lipschitz flags in H. This was known earlier for only one specific operator, the 3-dimensional Riesz transform. Finally, our technique yields new results on certain non-negative kernels, introduced by Chousionis and Li.
A family of planar curves is called a Moser family if it contains an isometric copy of every rectifiable curve in R2 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 cp>0.
Following the Euclidean results of Varopoulos and Pankka--Rajala, we provide a necessary topological condition for a sub-Riemannian 3-manifold M to admit a nonconstant quasiregular mapping from the sub-Riemannian Heisenberg group H. As an application, we show that a link complement S3\L has a sub-Riemannian metric admitting such a mapping only if L is empty, the unknot or Hopf link. In the converse direction, if L is empty, a specific unknot or Hopf link, we construct a quasiregular mapping from H to S3\L. The main result is obtained by translating a growth condition on π1(M) into the existence of a supersolution to the 4-harmonic equation, and relies on recent advances in the study of analysis and potential theory on metric spaces.
We study projections onto non-degenerate one-dimensional families of lines and planes in R3. Using the classical potential theoretic approach of R. Kaufman, one can show that the Hausdorff dimension of at most 1/2-dimensional sets B⊂R3 is typically preserved under one-dimensional families of projections onto lines. We improve the result by an ε, proving that if dimHB=s>1/2, then the packing dimension of the projections is almost surely at least σ(s)>1/2. For projections onto planes, we obtain a similar bound, with the threshold 1/2 replaced by 1. In the special case of self-similar sets K⊂R3 without rotations, we obtain a full Marstrand type projection theorem for one-parameter families of projections onto lines. The dimHK≤1 case of the result follows from recent work of M. Hochman, but the dimHK>1 part is new: with this assumption, we prove that the projections have positive length almost surely.
Let {\mathbb{V} = V x R^l : V \in G(n-l,m-l)} be the family of m-dimensional subspaces of R^n containing {0} x R^l, and let π_{\mathbb{V}} : R^n --> \mathbb{V} be the orthogonal projection onto \mathbb{V}. We prove that the mapping V \mapsto Dim π_{\mathbb{V}}(B) is almost surely constant for any analytic set B \subset R^n, where Dim denotes either Hausdorff or packing dimension.
We provide new conditions that ensure that two metric measure spaces are not quasiconformally equivalent. As an application we deduce that there exists no quasiconformal map between the sub-Riemannian Heisenberg and roto-translation groups.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.