On singular integrals with non-negative kernels in the Heisenberg group

Abstract

In this paper we revisit nonnegative kernels in the first Heisenberg group $\He$, and in particular we further study the family $$K_{\hat{I}}\pm (x,y,z)=\frac{|z{|}^{\hat{I}\pm /2}}{\Vert (x,y,z){\Vert }_H^{\hat{I}\pm +1}},\hat{I}\pm >0,$$ which was introduced in \cite{CL}. We first show that if $E \subset \He$ is a $1$-Ahlfors regular set and the SIO associated with the kernel $K_4$ is $L^2(E)$-bounded, then $E$ is contained in a $1$-Ahlfors regular curve. Combined with the converse implication which was obtained by Fässler and Orponen in \cite{FO1dim}, our result provides a characterization of uniform $1$-rectifiability in the Heisenberg group via the $L^2$-boundedness of a singular integral. We also give a negative answer to a question of Fässler and Orponen from \cite{FO1dim} by showing that for any $\hat{I}\pm \in (0,2)$ there exists a $1$-Ahlfors regular curve $E_a$ such that the operators associated with the kernels $K_{\hat{I}}\pm$ are not bounded in $L^2(E_{\hat{I}}\pm )$. We finally show that there exists a $1$-Ahlfors regular and purely $1$-unrectifiable set $E$ such that the singular integral associated with $|x|\Vert (x,y,z){\Vert }^{-2}$ is $L^2(E)$ -bounded.