In this article we study the behavior of strongly singular integrals associated to three different, albeit equivalent, quasi-norms on Heisenberg groups; these quasi-norms give rise to phase functions whose mixed Hessians may or may not drop rank along suitable varieties. In the particular case of the Koranyi norm we improve on previous arguments of the second author and obtain sharp $L^2$ estimates for the associated operators.
We prove that the classical one-parameter convolution singular integrals on the Heisenberg group are bounded on multiparameter flag Hardy spaces, which satisfy `intermediate' dilation between the one-parameter anisotropic dilation and the product dilation on $\mathbb{C}^{n}\times \mathbb{R}$ implicitly.
We consider a class of multiparameter singular Radon integral operators on the Heisenberg group ${\mathbb H}^1$ where the underlying variety is the graph of a polynomial. A remarkable difference with the euclidean case, where Heisenberg convolution is replaced by euclidean convolution, is that the operators on the Heisenberg group are always $L^2$ bounded. This is not the case in the euclidean setting where $L^2$ boundedness depends on the polynomial defining the underlying surface. Here we uncover some new, interesting phenomena. For example, although the Heisenberg group operators are always…
A formula for the Hausdorff dimension of typical limsup sets generated by randomly distributed isotropic rectangles in Heisenberg groups is derived in terms of directed singular value functions.
The almost sure value of the Hausdorff dimension of limsup sets generated by randomly distributed rectangles in the Heisenberg group is computed in terms of directed singular value functions.
We prove a height-estimate (distance from the tangent hyperplane) for $Λ$-minima of the perimeter in the sub-Riemannian Heisenberg group. The estimate is in terms of a power of the excess ($L^2$-mean oscillation of the normal) and its proof is based on a new coarea formula for rectifiable sets in the Heisenberg group.
We prove that the Heisenberg Riesz transform is $L_2$--unbounded on a family of intrinsic Lipschitz graphs in the first Heisenberg group $\mathbb{H}$. We construct this family by combining a method from \cite{NY2} with a stopping time argument, and we establish the $L_2$--unboundedness of the Riesz transform by introducing several new techniques to analyze singular integrals on intrinsic Lipschitz graphs. These include a formula for the Riesz transform in terms of a singular integral on a vertical plane and bounds on the flow of singular integrals that arises from a perturbation of a graph. On…
Let $\mathbb{H}$ be the first Heisenberg group, and let $k \in C^{\infty}(\mathbb{H} \, \setminus \, \{0\})$ be a kernel which is either odd or horizontally odd, and satisfies $$|\nabla_{\mathbb{H}}^{n}k(p)| \leq C_{n}\|p\|^{-1 - n}, \qquad p \in \mathbb{H} \, \setminus \, \{0\}, \, n \geq 0.$$ The simplest examples include certain Riesz-type kernels first considered by Chousionis and Mattila, and the horizontally odd kernel $k(p) = \nabla_{\mathbb{H}} \log \|p\|$. We prove that convolution with $k$, as above, yields an $L^{2}$-bounded operator on regular curves in $\mathbb{H}$. This extends a…
Young's convolution inequality provides an upper bound for the convolution of functions in terms of $L^p$ norms. It is known that for certain groups, including Heisenberg groups, the optimal constant in this inequality is equal to that for Euclidean space of the same topological dimension, yet no extremizing functions exist. For Heisenberg groups we characterize ordered triples of functions that nearly extremize the inequality. The analysis relies on a characterization of approximate solutions of a certain class of functional equations. A result of this type is developed for a class of such eq…
I propose an analogue in the first Heisenberg group $\mathbb{H}$ of David and Semmes' local symmetry condition (LSC). For closed $3$-regular sets $E \subset \mathbb{H}$, I show that the (LSC) is implied by the $L^{2}(\mathcal{H}^{3}|_{E})$ boundedness of $3$-dimensional singular integrals with horizontally antisymmetric kernels, and that the (LSC) implies the weak geometric lemma for vertical $β$-numbers.
We consider the radial and Heisenberg-homogeneous norms on the Heisenberg groups given by $N_{α,A}((z,t)) = \left(|z|^α+ A |t|^{α/2}\right)^{1/α}$, for $α\ge 2$ and $A>0$. This natural family includes the canonical Cygan-Korányi norm, corresponding to $α=4$. We study the lattice points counting problem on the Heisenberg groups, namely establish an error estimate for the number of points that the lattice of integral points has in a ball of large radius $R$. The exponent we establish for the error in the case $α=2$ is the best possible, in all dimensions.
Minimal surfaces in $\mathbb{R}^n$ can be locally approximated by graphs of harmonic functions, i.e., functions that are critical points of the Dirichlet energy, but no analogous theorem is known for $H$-minimal surfaces in the three-dimensional Heisenberg group $\mathbb{H}$, which are known to have singularities. In this paper, we introduce a definition of intrinsic Dirichlet energy for surfaces in $\mathbb{H}$ and study the critical points of this energy, which we call contact harmonic graphs. Nearly flat regions of $H$-minimal surfaces can often be approximated by such graphs. We give a cal…
Let $E$ be an $1$-Ahlfors regular subset of the Heisenberg group $\mathbb{H}$. We prove that there exists a $-1$-homogeneous kernel $K_1$ such that if $E$ is contained in a $1$-regular curve the corresponding singular integral is bounded in $L^2(E)$. Conversely, we prove that there exists another $-1$-homogeneous kernel $K_2$, such that the $L^2(E)$-boundedness of its corresponding singular integral implies that $E$ is contained in an $1$-regular curve. These are the first non-Euclidean examples of kernels with such properties. Both $K_1$ and $K_2$ are weighted versions of the Riesz kernel cor…
We study commutators with the Riesz transforms on the Heisenberg group. The Schatten norm of these commutators is characterized in terms of Besov norms of the symbol. This generalizes the classical Euclidean results of Peller, Janson--Wolff and Rochberg--Semmes. The method of proof extends the earlier methods, allowing us to address not just the Riesz transforms, but also the Cauchy--Szego projection and second order Riesz transforms on the Heisenberg group, among other settings.
