Subsets of vertical planes in the first Heisenberg group

Abstract.

It is shown that if $A$ is a Borel subset of the first Heisenberg group contained in some vertical subgroup, then vertical projections almost surely do not decrease the Hausdorff dimension of $A$.

1. Introduction

Let $\mathbb{H}$ be the first Heisenberg group, identified as a set with $\mathbb{C}\times\mathbb{R}=\mathbb{R}^{3}$ and equipped with the product

$$(z,t)\ast(\zeta,\tau)=\left(z+\zeta,t+\tau+\frac{1}{2}\omega(z,\zeta)\right),$$

where $\omega(z,\zeta)=-\operatorname{Im}\left(z\overline{\zeta}\right)=z\wedge\zeta$. For each $\theta\in[0,\pi)$ let $\mathbb{V}_{\theta}^{\perp}\subseteq\mathbb{H}$ be the vertical plane $\{(\lambda_{1}ie^{i\theta},\lambda_{2}):\lambda_{1},\lambda_{2}\in\mathbb{R}\}$, and let $P_{\mathbb{V}_{\theta}^{\perp}}:\mathbb{H}\to\mathbb{V}_{\theta}^{\perp}$ be the vertical projection map

$$P_{\mathbb{V}_{\theta}^{\perp}}(z,t)=\left(\pi_{V_{\theta}^{\perp}}(z),t+\frac{1}{2}\omega(\pi_{V_{\theta}}(z),z)\right)=(z,t)\ast P_{\mathbb{V}_{\theta}}(z,t)^{-1},$$

where $P_{\mathbb{V}_{\theta}}:\mathbb{H}\to\mathbb{H}$ is Euclidean orthogonal projection to the line spanned by $\left(e^{i\theta},0\right)$, and $\pi_{V_{\theta}}:\mathbb{R}^{2}\to\mathbb{R}^{2}$, $\pi_{V_{\theta}^{\perp}}:\mathbb{R}^{2}\to\mathbb{R}^{2}$ are Euclidean orthogonal projection onto the span of $e^{i\theta}$, $ie^{i\theta}$ respectively. It was conjectured in [1] that, if $A\subseteq\mathbb{H}$ is a Borel set, then

(1.1) $$\dim P_{\mathbb{V}_{\theta}^{\perp}}(A)\geq\min\{\dim A,3\},\qquad\text{a.e.~{}$\theta\in[0,\pi)$,}$$

where $\dim$ refers to Hausdorff dimension with respect to the metric $d_{\mathbb{H}}$, given by

$$d_{\mathbb{H}}((z,t),(\zeta,\tau))=\|(\zeta,\tau)^{-1}\ast(z,t)\|_{\mathbb{H}},\qquad\|(z,t)\|_{\mathbb{H}}=\left(|z|^{4}+16t^{2}\right)^{1/4}.$$

Only the case $2<\dim A<3$ remains open [2]. The case $\dim A\leq 1$ was solved in [1], where the problem was introduced. It was also shown in [1, Section 7] that in the special case of subsets of vertical planes, an improvement over the lower bound of $\min\left\{\dim A,1\right\}$ is possible (in particular they proved $\dim P_{\mathbb{V}_{\theta}^{\perp}}(A)\geq\left(1+\dim A\right)/2$ for all $1<\dim A\leq 3$). This is now superseded by the result from [2], which is that (1.1) holds for arbitrary Borel sets (not necessarily subsets of vertical planes) whenever $\dim A\leq 2$ or $\dim A=3$, and that $\dim P_{\mathbb{V}_{\theta}^{\perp}}(A)\geq 2\dim A-3$ for a.e. $\theta\in[0,\pi)$ when $5/2\leq\dim A\leq 3$. In this work, it is shown that if $A$ is a subset of some vertical plane $\mathbb{V}_{\theta_{0}}^{\perp}$, then (1.1) holds for all values of $\dim A\in[0,3]$.

The projection result about sets will be deduced from a corresponding energy inequality for projections of fractal measures. For a finite Borel measure $\mu$ on $\mathbb{H}$, and $\alpha\geq 0$, let

$$c_{\alpha}(\mu)=\sup_{x\in\mathbb{H},r>0}\frac{\mu(B(x,r))}{r^{\alpha}}.$$

Given a measure with $c_{\alpha}(\mu)<\infty$, the exponent $\alpha$ will often be be referred to as the “dimension” of $\mu$ (somewhat ambiguously).

Theorem 1.1.

Let $\delta,\epsilon,D>0$, let $\alpha\in(0,3]$ and let $s\in(0,\alpha)$. Let $\mu$ be a Borel measure supported in some vertical plane $\mathbb{V}_{\theta_{0}}^{\perp}$ with $\operatorname{diam}\operatorname{supp}\mu\leq D$ and $c_{\alpha}(\mu)<\infty$, and such that $\delta\leq|z|\leq\delta^{-1}$ for all $(z,t)\in\operatorname{supp}\mu$. Then there is a constant $C=C(\epsilon,\delta,D,\alpha,s)$ such that

(1.2) $$\int_{[0,\pi)\setminus\mathcal{N}_{\epsilon}\left[\theta_{0}+\frac{\pi}{4}\left(\mathbb{Z}\setminus 4\mathbb{Z}\right)\right]}I_{s}\left(P_{\mathbb{V}_{\theta\#}^{\perp}}\mu\right)\,d\theta\leq C\mu(\mathbb{H})c_{\alpha}(\mu).$$

If $\alpha\leq 2$, then the above inequality holds on the slightly larger integration domain $[0,\pi)\setminus\mathcal{N}_{\epsilon}\left[\theta_{0}+\frac{\pi}{4}\left(\mathbb{Z}\setminus 2\mathbb{Z}\right)\right]$.

By Frostman’s lemma, Theorem 1.1 implies the following corollary (referred to above) on the Hausdorff dimension of vertical projections of subsets of vertical planes.

Corollary 1.2.

If $A$ is a Borel (or analytic) subset of $\mathbb{H}$ such that $A\subseteq\mathbb{V}_{\theta_{0}}^{\perp}$ for some $\theta_{0}\in[0,\pi)$, then $\dim P_{\mathbb{V}_{\theta}^{\perp}}(A)\geq\dim A$ for a.e. $\theta\in[0,\pi)$.

The parabola example

Suppose that $\theta_{0}=\pi/2$. Example 7.11 from [1] shows that for $1<\alpha\leq 2$, restricting the domain of integration in Theorem 1.1 to

$$[0,\pi)\setminus\mathcal{N}_{\epsilon}\left[\theta_{0}+\frac{\pi}{4}\left(\mathbb{Z}\setminus 2\mathbb{Z}\right)\right]$$

is necessary; namely that translates of $\theta_{0}$ by odd multiples of $\pi/4$ must be avoided. The example (adapted to the convention for the Heisenberg product used here) is where $\mu$ is an $\alpha$-dimensional measure supported on the parabola

(1.3) $$A=\left\{\left(x,0,\frac{x^{2}}{4}\right):x\in[1,2]\right\}\subseteq\mathbb{V}_{\pi/2}^{\perp}.$$

For any such measure, it is shown in [1, Remark 7.12] that if $s>\frac{1+\alpha}{2}$, then

(1.4) $$\int_{0}^{\pi}I_{s}\left(P_{\mathbb{V}_{\theta\#}^{\perp}}\mu\right)\,d\theta=\infty.$$

For this example, $P_{\mathbb{V}_{\theta}^{\perp}}(A)$ is a subset of horizontal line when $\theta=\pi/4$, and the singularity in the integral above is near $\theta=\pi/4$. Similar examples in the concave-down parabola $\left(x,0,\frac{-x^{2}}{4}\right)$ yield measures for which the singularity in (1.4) occurs near $\theta=3\pi/4$.

The above examples only show that $\theta$ must be separated from $\theta_{0}+\frac{\pi}{4}\left(\mathbb{Z}\setminus 2\mathbb{Z}\right)$ in Theorem 1.1. If $\alpha>2$, it is not clear whether the separation of $\theta$ from translates of $\theta_{0}$ by odd multiples of $\pi/2$ is necessary.

Section 2 shows (via Frostman’s lemma) that Theorem 1.1 implies Corollary 1.2. Section 3 contains the proof of Theorem 1.1. The remainder of the introduction contains a discussion of the method.

1.1. Discussion of the method

The proof uses Fourier analysis to reduce the energy inequality in Theorem 1.1 to an oscillatory integral inequality at a fixed scale $2^{j}$, where $j\geq 0$ (see (3.4) for the exact statement). This inequality is proved via induction on scales over the scale $2^{j}$. The oscillatory integral is a function of pairs of points $(z,t)$ and $(\zeta,\tau)$ in the support of a fractal measure $\mu$. The contribution from pairs of points close to each other can be handled relatively easily by using rescaling and induction, so that only points separated by large distances need to be considered (this is somewhat similar to the “two ends” reduction used for example in [4]). This rescaling step does not require the assumption that $\mu$ is supported in a vertical plane. The use of induction to handle nearby points is one key difference between this argument and the argument in [3], as it makes more efficient use of the dimension condition on the measure $\mu$.

The contribution from pairs of points separated by large distances is broken into two sub-cases, where the Euclidean distance $|z-\zeta|$ is small relative to the Heisenberg distance between $(z,t)$ and $(\zeta,\tau)$, and the other sub-case where $|z-\zeta|$ is large. The method used to handle the case where $|z-\zeta|$ is small also does not require the assumption that $\mu$ is supported in a vertical plane.

The sub-case where $|z-\zeta|$ is large is the most difficult, and makes two different uses of the assumption that $(z,t)$ and $(\zeta,\tau)$ are contained in a vertical plane $\mathbb{V}_{\theta_{0}}^{\perp}$.

The first use of the vertical assumption is that if $\theta-\theta_{0}$ is bounded away from odd multiples of $\pi/2$, then $\left\lvert\pi_{V_{\theta}^{\perp}}(z-\zeta)\right\rvert\sim|z-\zeta|$. For $\alpha$ (the dimension of $\mu$) less or equal to 2 this assumption is not necessary, but for $2<\alpha\leq 3$ it seems to be needed. The place where this assumption (around (3.12)) is used is indicated in blue.

The second use of the vertical assumption is that if $(z,t)$ and $(\zeta,\tau)$ are contained in a vertical plane $\mathbb{V}_{\theta_{0}}^{\perp}$, then $z-\zeta$ and $z+\zeta$ must be parallel, and this can be shown to imply that the second coordinate of the difference between the vertical projections of $(z,t)$ and $(\zeta,\tau)$ under $\theta$ vanishes to at most first order (rather than second order) as a function of $\theta$ (see (3.14) for a precise statement). The place where this assumption is used is indicated in red. If the points $(z,t)$ and $(\zeta,\tau)$ are identified with the curves $\Gamma_{z,t}(\theta)$ and $\Gamma_{\zeta,\tau}(\theta)$ in the plane given by the second coordinate of the vertical projections (as is done e.g. in [2]), then this property together with boundedness of $|\theta-\theta_{0}|$ away from odd multiples of $\pi/4$ rules out the situation where the curves $\Gamma_{z,t}$ and $\Gamma_{\zeta,\tau}$ intersect tangentially. In the proof of the result from [4] (or its generalisation in [2]), the non-tangential case is the easier one which satisfies an $L^{2}$ bound. The tangential case in [4] requires $L^{3/2}$ norms.

There is a difference in how the proof works depending on whether the dimension of $\mu$ is less or greater than 2. For $\alpha>2$ (the dimension of the measure $\mu$), the proof uses that for any $(z,t)\in\mathbb{H}$ the $\mu$-measure of a Heisenberg ball of radius 1 around $(z,t)$ intersected with a Euclidean cylinder of radius $\delta$ around $(z,t)$ is $\lesssim\delta^{\alpha-2}$. Here a “Euclidean cylinder” around $(z,t)$ of radius $\delta$ in $\mathbb{H}$ just means a set of the form $\left\{(\zeta,\tau)\in\mathbb{H}:|z-\zeta|\leq\delta\right\}$.

One phenomenon that distinguishes the Hausdorff dimension problem with $\dim A<3$ from the problem when $\dim A=3$, is that the 3-dimensional Hausdorff measure of any vertical projection of $A$ is invariant under left translations of $A$, but the Hausdorff dimension of a vertical projection of $A$ may change under left translations of $A$ if it is smaller than 3 (this was noted in [2]). This means that arguments which require both left translations and dilations cannot be used. For this reason, the proof of Theorem 1.1 includes a more general statement for measures supported potentially very far from the origin; since the inductive argument must be stable under dilations and since the measures cannot be translated back to the origin. Since the problem is not translation invariant, the argument has to be carefully modified to take the distance in the $(x,y)$-plane of the measure from the origin into account.

Another phenomenon that distinguishes the Hausdorff dimension problem with $\dim A<3$ from the problem when $\dim A=3$, is that the structure of the metric in the co-domain must be used for $\dim A<3$. This is because the sharp result for Hausdorff dimension with Heisenberg metric in the domain and Euclidean metric in the co-domain is already known from [2, Theorem 1.7], and does not imply the sharp result with Heisenberg metric in both domain and co-domain. Using the Heisenberg metric in the co-domain makes it difficult to discretise the problem in the domain (as is done in [2]); since the functions $P_{\mathbb{V}_{\theta}^{\perp}}$ are not Lipschitz with respect to the Heisenberg metric (they are only locally $1/2$ Hölder continuous). This is the reason why the $\dim A=3$ result does not imply the sharp lower bound for $\dim A<3$. The proof of Theorem 1.1 uses the metric in the co-domain via the Fourier transform of the Korányi kernels $\|\cdot\|_{\mathbb{H}}^{-s}$ restricted to vertical planes, and does not discretise the measure $\mu$. The argument in [2] for $\dim A\leq 2$ post-composes the vertical projections $P_{\mathbb{V}_{\theta}^{\perp}}$ with projections onto the $t$-axis $\{0\}\times\mathbb{R}\subseteq\mathbb{H}$ (which is why it is restricted to $\dim A\leq 2$), and the projection onto the $t$-axis is Lipschitz with respect to the Heisenberg metric in any vertical plane. This step in [2] is where the Heisenberg metric in the co-domain is used; the other part of the proof is Euclidean, which allows for discretisation.

Modifying the proof of [1, Theorem 7.10] to use that the integration is only carried out over $[0,\pi)\setminus\mathcal{N}_{\epsilon}\left[\theta_{0}+\frac{\pi}{4}\left(\mathbb{Z}\setminus 4\mathbb{Z}\right)\right]$ does not seem to be sufficient obtain the result in Theorem 1.1 or Corollary 1.2. One possible reason for why the Fourier analytic approach yields better results than [1] in certain situations, is that the methods in [1] work equally well for bounding mutual energies $\int_{0}^{\pi}I_{s}\left(P_{\mathbb{V}_{\theta\#}^{\perp}}\mu,P_{\mathbb{V}_{\theta\#}^{\perp}}\nu\right)\,d\theta$ by the mutual energy $I_{\alpha}\left(\mu,\nu\right)$, but the Fourier analytic approach explicitly uses the assumption $\mu=\nu$ via the positivity of $\widecheck{P_{\mathbb{V}_{\theta\#}^{\perp}}\mu}\overline{\widecheck{P_{\mathbb{V}_{\theta\#}^{\perp}}\nu}}$ when $\mu=\nu$; see (3.3). Both approaches bound an integral of the form $\int\int\int G(p,q,\theta)\,d\theta\,d\mu(p)\,d\mu(q)$ by fixing the outer point and bounding the inner integrals, but the actual function $G$ that appears in the Fourier analytic setup may satisfy better pointwise bounds for fixed $q$.

2. Obtaining the dimension bound from the energy inequality

Proof of Corollary 1.2.

If $A$ is a subset of the vertical axis, this is trivial, so it may be assumed that $A$ does not intersect the vertical axis. Let $\epsilon>0$. By Frostman’s lemma, there is a nonzero compactly supported Borel measure $\mu$ on $A$ with $c_{\alpha}(\mu)<\infty$, where $\alpha=\dim A-\epsilon$. Since the support of $\mu$ is compact and does not intersect the vertical axis, there exists $\delta>0$ such that $\delta\leq|z|\leq\delta^{-1}$ for all $(z,t)\in\operatorname{supp}\mu$. By Theorem 1.1,

$$\int_{[0,\pi)\setminus\mathcal{N}\left[\theta_{0}+\frac{\pi}{4}\left(\mathbb{Z}\setminus 4\mathbb{Z}\right)\right]}I_{\dim A-2\epsilon}\left(P_{\mathbb{V}_{\theta\#}^{\perp}}\mu\right)\,d\theta<\infty.$$

By Frostman’s lemma, it follows that

$$\dim P_{\mathbb{V}_{\theta}^{\perp}}(A) \geq\dim P_{\mathbb{V}_{\theta}^{\perp}}(\operatorname{supp}\mu)$$

$$\geq\dim A-3\epsilon,$$

for a.e. $\theta\in[0,\pi)\setminus\mathcal{N}_{\epsilon}\left[\theta_{0}+\frac{\pi}{4}\left(\mathbb{Z}\setminus 4\mathbb{Z}\right)\right]$. By letting $\epsilon\to 0$ along a countable sequence, this gives $\dim P_{\mathbb{V}_{\theta}^{\perp}}(A)\geq\dim A$ for a.e. $\theta\in[0,\pi)$. ∎

3. Proof of the main theorem

For $s\in(0,3)$, let

$$f_{s}(x,t)=\frac{1}{(x^{4}+t^{2})^{s/4}},\qquad(x,t)\in\mathbb{R}^{2}.$$

The following two lemmas from [3] will be used.

Lemma 3.1.

[3, Lemma 3.2] If $s\in(1,3)$, then the Euclidean Fourier transform $\widehat{f_{s}}$ of $f_{s}$ (considered as a tempered distribution) is a locally integrable function which satisfies

$$0<\widehat{f_{s}}(\xi_{1},\xi_{2})\leq C_{s}f_{3-s}(\xi_{1},\xi_{2}),$$

for a.e. $\xi\in\mathbb{R}^{2}$, for some positive constant $C_{s}$ depending only on $s$.

Let $\iota(z,t)=(-z,-t)$ for $(z,t)\in\mathbb{H}$, and for $(x,t)\in\mathbb{R}^{2}$ let $\iota(x,t)=(-x,-t)$.

Lemma 3.2.

[3, Lemma 3.3] If $s\in(1,3)$ and $\mu$ is a finite compactly supported Borel measure on $\mathbb{R}^{2}$, then

$$\int f_{s}\,d\left(\iota_{\#}\mu\ast\mu\right)\leq\int_{\mathbb{R}^{2}}\widehat{f_{s}}\mathcal{F}^{-1}\left(\iota_{\#}\mu\ast\mu\right).$$

Above, the inverse Fourier transform $\mathcal{F}^{-1}\nu$ of a Borel probability measure $\nu$ on $\mathbb{R}^{n}$ is given by

$$\mathcal{F}^{-1}\nu(\xi)=\int e^{2\pi i\langle\xi,x\rangle}\,d\nu(x).$$

Proof of Theorem 1.1.

Assume without loss of generality that $\theta_{0}=0$. Due to the results of [1], it may be assumed that $s\in(1,3)$. Since it has been assumed that $s<\alpha$, it may also be assumed that $\alpha<3$. By dilation, it may be assumed that $\delta=1$. Since the constant is allowed to depend on the diameter, it may also be assumed that $\operatorname{diam}\operatorname{supp}\mu\leq 1$. It will be shown that

(3.1) $$\int_{[0,\pi)\setminus\mathcal{N}_{\epsilon}\left[\frac{\pi}{4}\left(\mathbb{Z}\setminus 4\mathbb{Z}\right)\right]}I_{s}\left(P_{\mathbb{V}_{\theta\#}^{\perp}}\mu\right)\,d\theta\lesssim\mu(\mathbb{H})c_{\alpha}(\mu),$$

where the implicit constant may depend on $\epsilon,s$ and $\alpha$. Let $U_{\theta}:\mathbb{H}\to\mathbb{R}^{2}$ be the map $(z,t)\mapsto\left(\left\langle z,ie^{i\theta}\right\rangle,t\right)$, which can be thought of as a rotation which identifies $\mathbb{V}_{\theta}^{\perp}$ with $\mathbb{R}^{2}$. Following the method in [3], for any $\theta\in[0,\pi)$, the integrand of the left-hand side of (3.1) satisfies

$$I_{s}\left(P_{\mathbb{V}_{\theta\#}^{\perp}}\mu\right) =\int_{\mathbb{V}_{\theta}^{\perp}}\int_{\mathbb{V}_{\theta}^{\perp}}d_{\mathbb{H}}((z,t),(\zeta,\tau))^{-s}\,d\left(P_{\mathbb{V}_{\theta\#}^{\perp}}\mu\right)(z,t)\,d\left(P_{\mathbb{V}_{\theta\#}^{\perp}}\mu\right)(\zeta,\tau)$$

$$=\int_{\mathbb{V}_{\theta}^{\perp}}f_{s}(\left\lvert z\right\rvert,t)\,d\left(\iota_{\#}P_{\mathbb{V}_{\theta\#}^{\perp}}\mu\ast P_{\mathbb{V}_{\theta\#}^{\perp}}\mu\right)(z,t)$$

$$=\int_{\mathbb{R}^{2}}f_{s}(x,t)\,d\left(\iota_{\#}U_{\theta\#}P_{\mathbb{V}_{\theta\#}^{\perp}}\mu\ast U_{\theta\#}P_{\mathbb{V}_{\theta\#}^{\perp}}\mu\right)(x,t)$$

(3.2) $$\leq\int_{\mathbb{R}^{2}}\widehat{f_{s}}(r,\rho)\mathcal{F}^{-1}\left(\iota_{\#}U_{\theta\#}P_{\mathbb{V}_{\theta\#}^{\perp}}\mu\ast U_{\theta\#}P_{\mathbb{V}_{\theta\#}^{\perp}}\mu\right)\left(r,\rho\right)\,dr\,d\rho$$

$$=\int_{\mathbb{R}^{2}}\widehat{f_{s}}(r,\rho)\mathcal{F}^{-1}\left(\iota_{\#}P_{\mathbb{V}_{\theta\#}^{\perp}}\mu\ast P_{\mathbb{V}_{\theta\#}^{\perp}}\mu\right)\left(rie^{i\theta},\rho\right)\,dr\,d\rho,$$

where Lemma 3.2 was used to obtain (3.2). Above, the convolution is Euclidean convolution of measures (this is natural because it agrees with Heisenberg convolution on vertical subgroups). Substituting this into the left-hand side of (3.1) gives

$$\int_{[0,\pi)\setminus\mathcal{N}_{\epsilon}\left[\frac{\pi}{4}\left(\mathbb{Z}\setminus 4\mathbb{Z}\right)\right]}I_{s}\left(P_{\mathbb{V}_{\theta\#}^{\perp}}\mu\right)\,d\theta\leq\\ \int_{[0,\pi)\setminus\mathcal{N}_{\epsilon}\left[\frac{\pi}{4}\left(\mathbb{Z}\setminus 4\mathbb{Z}\right)\right]}\int_{\mathbb{R}^{2}}\widehat{f_{s}}(r,\rho)\mathcal{F}^{-1}\left(\iota_{\#}P_{\mathbb{V}_{\theta\#}^{\perp}}\mu\ast P_{\mathbb{V}_{\theta\#}^{\perp}}\mu\right)\left(rie^{i\theta},\rho\right)\,dr\,d\rho\,d\theta.$$

By applying the inequality $\left\lvert\widehat{f_{s}}\right\rvert\lesssim f_{3-s}$ from Lemma 3.1, then partitioning $\mathbb{R}^{2}$ into regions where $|\rho|^{1/2}+|r|\sim 2^{j}$, and then using the non-negativity of the inverse Fourier transform of $\iota_{\#}P_{\mathbb{V}_{\theta\#}^{\perp}}\mu\ast P_{\mathbb{V}_{\theta\#}^{\perp}}\mu$,

(3.3) $$\int_{[0,\pi)\setminus\mathcal{N}_{\epsilon}\left[\frac{\pi}{4}\left(\mathbb{Z}\setminus 4\mathbb{Z}\right)\right]}I_{s}\left(P_{\mathbb{V}_{\theta\#}^{\perp}}\mu\right)\,d\theta\lesssim\mu(\mathbb{H})c_{\alpha}(\mu)+\\ \sum_{j\geq 0}2^{-j(3-s)}\bigg{\lvert}\int\int\\ \iiint_{A_{j}}e^{2\pi i\left\langle\left(rie^{i\theta},\rho\right),\left(z-\zeta,t-\tau+\frac{1}{2}\omega\left(\pi_{V_{\theta}}(z),z\right)-\frac{1}{2}\omega\left(\pi_{V_{\theta}}(\zeta),\zeta\right)\right)\right\rangle}\,d\rho\,d\theta\,dr\\ d\mu(\zeta,\tau)\,d\mu(z,t)\bigg{\rvert},$$

where

$$A_{j}=\left\{(\rho,\theta,r)\in\mathbb{R}^{3}:|\rho|\leq 2^{2j},|r|\leq 2^{j},\theta\in[0,\pi)\setminus\mathcal{N}_{\epsilon}\left[\frac{\pi}{4}\left(\mathbb{Z}\setminus 4\mathbb{Z}\right)\right]\right\}.$$

The terms corresponding to $j<0$ were controlled by summing a geometric series over $j<0$; using $s>0$ and Hausdorff-Young; the $L^{\infty}$ norm of the inverse Fourier transform of $\iota_{\#}P_{\mathbb{V}_{\theta\#}^{\perp}}\mu\ast P_{\mathbb{V}_{\theta\#}^{\perp}}\mu$ is bounded by $\mu(\mathbb{H})^{2}$, which is $\lesssim\mu(\mathbb{H})c_{\alpha}(\mathbb{H})$ since $\operatorname{diam}\operatorname{supp}\mu\leq 1$.

Therefore, it suffices to prove that for any $j\geq 0$, for any $\varepsilon>0$,

(3.4) $$\int\int\bigg{\lvert}\iiint_{A_{j}}e^{2\pi i\left\langle\left(rie^{i\theta},\rho\right),\left(z-\zeta,t-\tau+\frac{1}{2}\omega\left(\pi_{V_{\theta}}(z),z\right)-\frac{1}{2}\omega\left(\pi_{V_{\theta}}(\zeta),\zeta\right)\right)\right\rangle}\,d\rho\,d\theta\,dr\\ \bigg{\rvert}\,d\mu(\zeta,\tau)\,d\mu(z,t)\leq C_{\alpha,s,\epsilon}\mu(\mathbb{H})c_{\alpha}(\mu)C_{\varepsilon}2^{j\varepsilon}2^{j(3-\alpha)}\log(R+1),$$

where $R\geq 1$ is such that $|z|\sim R$ for all $(z,t)\in\operatorname{supp}\mu$. The above will be shown inductively for any measure with support of diameter at most one, supported in $\{(z,t):|z|\geq 1\}$, and any $j$. The base case of the induction $j=0$ holds in (3.4); by the trivial bound on the innermost triple integral and the assumption that $\mu$ is supported in a ball of diameter at most one (which implies that $\mu(\mathbb{H})\lesssim c_{\alpha}(\mu)$). Fix $\varepsilon>0$, fix $j\geq 0$, and assume inductively that the above holds for all $\widetilde{j}<j$. Let $K$ be a sufficiently large constant (depending only on $\varepsilon$, to be implicitly chosen later), and let $\{B_{k}\}_{k}$ be a boundedly overlapping cover of $\mathbb{H}$ by Heisenberg balls of radius $K^{-1}$. Then

$$\int\int\bigg{\lvert}\iiint_{A_{j}}e^{2\pi i\left\langle\left(rie^{i\theta},\rho\right),\left(z-\zeta,t-\tau+\frac{1}{2}\omega\left(\pi_{V_{\theta}}(z),z\right)-\frac{1}{2}\omega\left(\pi_{V_{\theta}}(\zeta),\zeta\right)\right)\right\rangle}\,d\rho\,d\theta\,dr\\ \bigg{\rvert}\,d\mu(\zeta,\tau)\,d\mu(z,t)\\ \leq\sum_{k}\sum_{\ell}\\ \int_{B_{k}}\int_{B_{\ell}}\bigg{\lvert}\iiint_{A_{j}}e^{2\pi i\left\langle\left(rie^{i\theta},\rho\right),\left(z-\zeta,t-\tau+\frac{1}{2}\omega\left(\pi_{V_{\theta}}(z),z\right)-\frac{1}{2}\omega\left(\pi_{V_{\theta}}(\zeta),\zeta\right)\right)\right\rangle}\,d\rho\,d\theta\,dr\\ \bigg{\rvert}\,d\mu(\zeta,\tau)\,d\mu(z,t).$$

This is bounded by

(3.5) $$\sum_{k,l:\operatorname{dist}(B_{k},B_{l})\leq K^{-1}}$$

$$\quad\int_{B_{k}}\int_{B_{\ell}}\bigg{\lvert}\iiint_{A_{j}}e^{2\pi i\left\langle\left(rie^{i\theta},\rho\right),\left(z-\zeta,t-\tau+\frac{1}{2}\omega\left(\pi_{V_{\theta}}(z),z\right)-\frac{1}{2}\omega\left(\pi_{V_{\theta}}(\zeta),\zeta\right)\right)\right\rangle}$$

$$\qquad d\rho\,d\theta\,dr\bigg{\rvert}\,d\mu(\zeta,\tau)\,d\mu(z,t)$$

(3.6) $$\quad+\sum_{k,l:\operatorname{dist}(B_{k},B_{l})>K^{-1}}$$

$$\qquad\int_{B_{k}}\int_{B_{\ell}}\bigg{\lvert}\iiint_{A_{j}}e^{2\pi i\left\langle\left(rie^{i\theta},\rho\right),\left(z-\zeta,t-\tau+\frac{1}{2}\omega\left(\pi_{V_{\theta}}(z),z\right)-\frac{1}{2}\omega\left(\pi_{V_{\theta}}(\zeta),\zeta\right)\right)\right\rangle}$$

$$\qquad d\rho\,d\theta\,dr\bigg{\rvert}\,d\mu(\zeta,\tau)\,d\mu(z,t).$$

For each constant $\lambda>0$, define the dilations $D_{\lambda}(z,t)=\left(\lambda z,\lambda^{2}t\right)$. By dilation and a change of variables, the first sum (in (3.5)) is bounded by

$$\sum_{k,l:\operatorname{dist}(B_{k},B_{l})\leq K^{-1}}K^{3}\\ \int\int\bigg{\lvert}\iiint_{A_{j,K}}e^{2\pi i\left\langle\left(rie^{i\theta},\rho\right),\left(z-\zeta,t-\tau+\frac{1}{2}\omega\left(\pi_{V_{\theta}}(z),z\right)-\frac{1}{2}\omega\left(\pi_{V_{\theta}}(\zeta),\zeta\right)\right)\right\rangle}\,d\rho\,d\theta\,dr\\ \bigg{\rvert}\,d(D_{K\#}\mu_{k})(\zeta,\tau)\,d(D_{K\#}\mu_{k})(z,t),$$

where $\mu_{k}$ is the restriction of $\mu$ to $100B_{k}$ (the ball of the same centre but radius multiplied by 100), and

$$A_{j,K}=\left\{(\rho,\theta,r)\in\mathbb{R}^{3}:|\rho|\leq 2^{2j}/K^{2},|r|\leq 2^{j}/K,\theta\in[0,\pi)\setminus\mathcal{N}_{\epsilon}\left[\frac{\pi}{4}\left(\mathbb{Z}\setminus 4\mathbb{Z}\right)\right]\right\}.$$

By the inductive assumption, and since $c_{\alpha}(D_{K\#}\mu_{k})\lesssim K^{-\alpha}c_{\alpha}(\mu)$, the above is

$$\lesssim C_{\alpha,s,\epsilon}C_{\varepsilon}\sum_{k,\ell:\operatorname{dist}(B_{k},B_{\ell})\leq K^{-1}}K^{3}\mu(100B_{k})c_{\alpha}(\mu)\left(\frac{2^{j}}{K}\right)^{3-\alpha+\varepsilon}K^{-\alpha}\log(RK+1).$$

The above is

$$\lesssim C_{\alpha,s,\epsilon}C_{\varepsilon}K^{-\varepsilon}\log(K+1)\mu(\mathbb{H})c_{\alpha}(\mu)2^{j(3-\alpha)+j\varepsilon}\log(R+1).$$

The parameter $K$ is chosen sufficiently large (depending on $\varepsilon$) to eliminate the implicit constants, so that the induction closes. This bounds the first sum (in (3.5)).

To bound the second sum (in (3.6)), it suffices to prove that

$$\int\int_{d_{\mathbb{H}}((z,t),(\zeta,\tau))\geq K^{-1}}\\ \bigg{\lvert}\iiint_{A_{j}}e^{2\pi i\left\langle\left(rie^{i\theta},\rho\right),\left(z-\zeta,t-\tau+\frac{1}{2}\omega\left(\pi_{V_{\theta}}(z),z\right)-\frac{1}{2}\omega\left(\pi_{V_{\theta}}(\zeta),\zeta\right)\right)\right\rangle}\,d\rho\,d\theta\,dr\\ \bigg{\rvert}d\mu(\zeta,\tau)\,d\mu(z,t)\leq C_{\alpha,s,\epsilon}C_{\varepsilon}\mu(\mathbb{H})c_{\alpha}(\mu)2^{j(3-\alpha)+j\varepsilon}\log(R+1).$$

It will be shown separately that

(3.7) $$\int\int_{d_{\mathbb{H}}((z,t),(\zeta,\tau))\geq K^{-1},\left\lvert z-\zeta\right\rvert\leq K^{-2}R^{-1}/100}\\ \bigg{\lvert}\iiint_{A_{j}}e^{2\pi i\left\langle\left(rie^{i\theta},\rho\right),\left(z-\zeta,t-\tau+\frac{1}{2}\omega\left(\pi_{V_{\theta}}(z),z\right)-\frac{1}{2}\omega\left(\pi_{V_{\theta}}(\zeta),\zeta\right)\right)\right\rangle}\,d\rho\,d\theta\,dr\\ \bigg{\rvert}d\mu(\zeta,\tau)\,d\mu(z,t)\leq C_{\alpha,s,\epsilon}C_{\varepsilon}\mu(\mathbb{H})c_{\alpha}(\mu)2^{j(3-\alpha)+j\varepsilon},$$

and

(3.8) $$\int\int_{d_{\mathbb{H}}((z,t),(\zeta,\tau))\geq K^{-1},\left\lvert z-\zeta\right\rvert>K^{-2}R^{-1}/100}\\ \bigg{\lvert}\iiint_{A_{j}}e^{2\pi i\left\langle\left(rie^{i\theta},\rho\right),\left(z-\zeta,t-\tau+\frac{1}{2}\omega\left(\pi_{V_{\theta}}(z),z\right)-\frac{1}{2}\omega\left(\pi_{V_{\theta}}(\zeta),\zeta\right)\right)\right\rangle}\,d\rho\,d\theta\,dr\\ \bigg{\rvert}d\mu(\zeta,\tau)\,d\mu(z,t)\leq C_{\alpha,s,\epsilon}C_{\varepsilon}\mu(\mathbb{H})c_{\alpha}(\mu)2^{j(3-\alpha)+j\varepsilon}\log(R+1).$$

To prove (3.7), it suffices to show that

$$\sum_{\ell\geq|\log_{2}(K^{-2}R^{-1}/100)|}^{\ell=\infty}\int\int_{d_{\mathbb{H}}((z,t),(\zeta,\tau))\geq K^{-1},2^{-\ell}\leq|z-\zeta|\leq 2^{-\ell+1}}\\ \bigg{\lvert}\iiint_{A_{j}}e^{2\pi i\left\langle\left(rie^{i\theta},\rho\right),\left(z-\zeta,t-\tau+\frac{1}{2}\omega\left(\pi_{V_{\theta}}(z),z\right)-\frac{1}{2}\omega\left(\pi_{V_{\theta}}(\zeta),\zeta\right)\right)\right\rangle}\,d\rho\,d\theta\,dr\\ \bigg{\rvert}\,d\mu(\zeta,\tau)\,d\mu(z,t)\leq C_{\alpha,s,\epsilon}C_{\varepsilon}\mu(\mathbb{H})c_{\alpha}(\mu)2^{j(3-\alpha)+j\varepsilon},$$

where the $\ell=\infty$ in the sum indicates that $\ell$ is allowed to be $\infty$ (to handle the case $z=\zeta$). By writing the double integral in $r$ and $\rho$ as a product of two integrals, it suffices to prove that

(3.9) $$\sum_{\ell\geq|\log_{2}(K^{-2}R^{-1}/100)|}^{\ell=\infty}\int\int_{d_{\mathbb{H}}((z,t),(\zeta,\tau))\geq K^{-1},2^{-\ell}\leq|z-\zeta|\leq 2^{-\ell+1}}\\ \int_{[0,\pi)\setminus\mathcal{N}_{\epsilon}\left[\frac{\pi}{4}\left(\mathbb{Z}\setminus 4\mathbb{Z}\right)\right]}\left\lvert\int_{-2^{j}}^{2^{j}}e^{2\pi i\left\langle rie^{i\theta},z-\zeta\right\rangle}\,dr\right\rvert\,d\theta\\ \times\sup_{\theta\in[0,\pi)}\left\lvert\int_{-2^{2j}}^{2^{2j}}e^{2\pi i\rho\left(t-\tau+\frac{1}{2}\omega\left(\pi_{V_{\theta}}(z),z\right)-\frac{1}{2}\omega\left(\pi_{V_{\theta}}(\zeta),\zeta\right)\right)}\,d\rho\right\rvert d\mu(\zeta,\tau)\,d\mu(z,t).$$

If $d_{\mathbb{H}}((z,t),(\zeta,\tau))\geq K^{-1}$ and $|z-\zeta|\leq K^{-2}R^{-1}/50$, then by the formula for $d_{\mathbb{H}}$,

$$K^{-1}\leq d_{\mathbb{H}}((z,t),(\zeta,\tau))\leq\sqrt{2}\left\lvert t-\tau+\frac{1}{2}\omega(z,\zeta)\right\rvert^{1/2},$$

and hence, the identity

(3.10) $$t-\tau+\frac{1}{2}\omega\left(\pi_{V_{\theta}}(z),z\right)-\frac{1}{2}\omega\left(\pi_{V_{\theta}}(\zeta),\zeta\right)\\ =t-\tau+\frac{1}{2}\omega\left(z,\zeta\right)-\frac{1}{2}\omega\left(\pi_{V_{\theta}^{\perp}}(z-\zeta),z+\zeta\right),$$

combined with the triangle inequality and Cauchy-Schwarz, yields that for any $\theta\in[0,\pi)$,

$$\left\lvert t-\tau+\frac{1}{2}\omega\left(\pi_{V_{\theta}}(z),z\right)-\frac{1}{2}\omega\left(\pi_{V_{\theta}}(\zeta),\zeta\right)\right\rvert\geq\frac{1}{2}K^{-2}-\frac{1}{4}K^{-2}\gtrsim K^{-2}.$$

This implies that (for any $\theta\in[0,\pi)$)

$$\left\lvert\int_{-2^{2j}}^{2^{2j}}e^{2\pi i\rho\left(t-\tau+\frac{1}{2}\omega\left(\pi_{V_{\theta}}(z),z\right)-\frac{1}{2}\omega\left(\pi_{V_{\theta}}(\zeta),\zeta\right)\right)}\,d\rho\right\rvert\lesssim K^{2}.$$

By substituting the above into (3.9), to prove (3.7) it is enough to show that

$$\sum_{\ell\geq|\log_{2}(K^{-2}R^{-1}/100)|}^{\ell=\infty}\int\int_{d_{\mathbb{H}}((z,t),(\zeta,\tau))\geq K^{-1},2^{-\ell}\leq|z-\zeta|\leq 2^{-\ell+1}}\\ \int_{[0,\pi)\setminus\mathcal{N}_{\epsilon}\left[\frac{\pi}{4}\left(\mathbb{Z}\setminus 4\mathbb{Z}\right)\right]}\left\lvert\int_{-2^{j}}^{2^{j}}e^{2\pi i\left\langle rie^{i\theta},z-\zeta\right\rangle}\,dr\right\rvert\,d\theta\\ d\mu(\zeta,\tau)\,d\mu(z,t)\leq C_{\alpha,s,\epsilon}C_{\varepsilon}\mu(\mathbb{H})c_{\alpha}(\mu)2^{j(3-\alpha)+j\varepsilon}.$$

For any $z,\zeta\in\mathbb{C}$ and any interval $[a,b]\subseteq[0,\pi]$,

$$\int_{a}^{b}\left\lvert\int_{-2^{j}}^{2^{j}}e^{2\pi i\left\langle rie^{i\theta},z-\zeta\right\rangle}\,dr\right\rvert\,d\theta\lesssim\min\left\{(j+1)|z-\zeta|^{-1},2^{j}\right\}.$$

If $z=\zeta$ this is trivial, and for $z\neq\zeta$ it follows by dyadically decomposing the set of $\theta$ above into regions $\Theta_{k}$ for which $\left\lvert\left\langle ie^{i\theta},\frac{z-\zeta}{|z-\zeta|}\right\rangle\right\rvert\sim 2^{-k}$ where $0\leq k\leq j$ (the values $k\in[j,\infty]$ contribute $\lesssim 1$ to the above due to the trivial bound $\left\lvert\int_{-2^{j}}^{2^{j}}e^{2\pi i\left\langle rie^{i\theta},z-\zeta\right\rangle}\,dr\right\rvert\lesssim 2^{j}$). The contribution of each region $\Theta_{k}$ to the above double integral is $\lesssim 1$; because $\mathcal{H}^{1}(\Theta_{k})\lesssim 2^{-k}$ and since $\left\lvert\int_{-2^{j}}^{2^{j}}e^{2\pi i\left\langle rie^{i\theta},z-\zeta\right\rangle}\,dr\right\rvert\lesssim 2^{k}|z-\zeta|^{-1}$ for $\theta\in\Theta_{k}$.

Hence, to finish the proof of (3.7) it is enough to show that

$$\sum_{\ell\geq|\log_{2}(K^{-2}R^{-1}/100)|}^{\ell=\infty}\min\left\{(j+1)2^{\ell},2^{j}\right\}\int\int_{2^{-\ell}\leq|z-\zeta|\leq 2^{-\ell+1}}d\mu(\zeta,\tau)\,d\mu(z,t)\\ \leq C_{\alpha,s,\epsilon}C_{\varepsilon}\mu(\mathbb{H})c_{\alpha}(\mu)2^{j(3-\alpha)+j\varepsilon}.$$

If $\alpha\leq 2$, this follows from the assumption that the support of $\mu$ has diameter $\lesssim 1$, and from the bounded overlap of the cylindrical shells (over $\ell$); using the second term in the minimum. Otherwise, if $\alpha>2$, then for any $\ell$, for any $(z,t)\in\operatorname{supp}\mu$, the set of $(\zeta,\tau)\in\operatorname{supp}\mu$ inside the cylindrical shell $|z-\zeta|\lesssim 2^{-\ell}$ can be covered by $\lesssim 2^{2\ell}$ many Heisenberg balls of radius $2^{-\ell}$ (this follows by left translating to the origin; the set of $(\zeta,\tau)$ with $|\zeta|\lesssim 2^{-\ell}$ and $|\tau|\lesssim 1$ has Euclidean volume $\lesssim 2^{-2\ell}$, so a maximal $\sim 2^{-\ell}$-separated set in the Heisenberg metric has cardinality $\lesssim 2^{2\ell}$ as each Heisenberg ball of radius $2^{-\ell}$ has Euclidean volume $\sim 2^{-4\ell}$). Using the fractal property of $\mu$, and a different choice in the minimum depending on whether $\ell\geq j$ or $\ell\leq j$, this bounds the left-hand side of the above by

$$\sum_{\ell=-\infty}^{j}(j+1)2^{\ell(3-\alpha)}\mu(\mathbb{H})c_{\alpha}(\mu)+\sum_{\ell=j}^{\ell=\infty}2^{j}2^{\ell(2-\alpha)}\mu(\mathbb{H})c_{\alpha}(\mu)\\ \leq C_{\alpha,s,\epsilon}C_{\varepsilon}\mu(\mathbb{H})c_{\alpha}(\mu)2^{j(3-\alpha)+j\varepsilon},$$

where $2<\alpha<3$ was used to sum the geometric series. This proves (3.7).

It remains to prove (3.8), which will follow from:

$$\sum_{\ell\leq\left\lvert\log_{2}K^{-2}R^{-1}/100\right\rvert}\int\int_{2^{-\ell-1}\leq|z-\zeta|<2^{-\ell+1}}\Bigg{\lvert}\iiint_{A_{j}}\\ e^{2\pi i\left\langle\left(rie^{i\theta},\rho\right),\left(z-\zeta,t-\tau+\frac{1}{2}\omega\left(\pi_{V_{\theta}}(z),z\right)-\frac{1}{2}\omega\left(\pi_{V_{\theta}}(\zeta),\zeta\right)\right)\right\rangle}\,d\rho\,d\theta\,dr\Bigg{\rvert}\\ d\mu(\zeta,\tau)\,d\mu(z,t)\leq C_{\alpha,s,\epsilon}C_{\varepsilon}\mu(\mathbb{H})c_{\alpha}(\mu)2^{j(3-\alpha)+j\varepsilon}\log(R+1).$$

To show the above, it suffices to prove that

(3.11) $$\sum_{\ell\leq|\log_{2}(K^{-2}R^{-1}/100)|}\int\int_{2^{-\ell-1}\leq|z-\zeta|<2^{-\ell+1}}\int_{[0,\pi)\setminus\mathcal{N}_{\epsilon}\left[\frac{\pi}{4}\left(\mathbb{Z}\setminus 4\mathbb{Z}\right)\right]}\\ \left\lvert\int_{-2^{j}}^{2^{j}}e^{2\pi i\left\langle rie^{i\theta},z-\zeta\right\rangle}dr\right\rvert\left\lvert\int_{-2^{2j}}^{2^{2j}}e^{2\pi i\rho\left(t-\tau+\frac{1}{2}\omega\left(\pi_{V_{\theta}}(z),z\right)-\frac{1}{2}\omega\left(\pi_{V_{\theta}}(\zeta),\zeta\right)\right)}\,d\rho\right\rvert\\ d\theta\,d\mu(\zeta,\tau)\,d\mu(z,t)\leq C_{\alpha,s,\epsilon}C_{\varepsilon}\mu(\mathbb{H})c_{\alpha}(\mu)2^{j(3-\alpha)+j\varepsilon}\log(R+1).$$

The assumption that $\operatorname{supp}\mu\subseteq\mathbb{V}_{0}^{\perp}$ implies that $z-\zeta\in V_{0}^{\perp}$ whenever $(z,t),(\zeta,\tau)\in\operatorname{supp}\mu$. It follows that, for $(z,t),(\zeta,\tau)\in\operatorname{supp}\mu$ with $|z-\zeta|\sim 2^{-\ell}$ and $\theta\in[0,\pi)\setminus\mathcal{N}_{\epsilon}\left[\frac{\pi}{2}\left(\mathbb{Z}\setminus 2\mathbb{Z}\right)\right]$,

(3.12) $$\left\lvert\int_{-2^{j}}^{2^{j}}e^{2\pi i\left\langle rie^{i\theta},z-\zeta\right\rangle}dr\right\rvert\lesssim\min\left\{2^{\ell},2^{j}\right\}.$$

By substituting this into (3.11), it remains to show that

(3.13) $$\sum_{\ell\leq|\log_{2}(K^{-2}R^{-1}/100)|}\min\left\{2^{\ell},2^{j}\right\}\int\int_{2^{-\ell-1}\leq|z-\zeta|<2^{-\ell+1}}\int_{[0,\pi)\setminus\mathcal{N}_{\epsilon}\left[\frac{\pi}{4}\left(\mathbb{Z}\setminus 4\mathbb{Z}\right)\right]}\\ \left\lvert\int_{-2^{2j}}^{2^{2j}}e^{2\pi i\rho\left(t-\tau+\frac{1}{2}\omega\left(\pi_{V_{\theta}}(z),z\right)-\frac{1}{2}\omega\left(\pi_{V_{\theta}}(\zeta),\zeta\right)\right)}\,d\rho\right\rvert\,d\theta\,d\mu(\zeta,\tau)\,d\mu(z,t)\\ \leq C_{\alpha,s,\epsilon}C_{\varepsilon}\mu(\mathbb{H})c_{\alpha}(\mu)2^{j(3-\alpha)+j\varepsilon}\log(R+1).$$

Given $\ell\leq|\log_{2}(K^{-2}R^{-1}/100)|$ and $(z,t),(\zeta,\tau)$ with $2^{-\ell-1}\leq|z-\zeta|<2^{-\ell+1}$, let $p=(z-\zeta)/|z-\zeta|$ and $q=(z+\zeta)/|z+\zeta|$. Let

$$F(\theta)=t-\tau+\frac{1}{2}\omega\left(\pi_{V_{\theta}}(z),z\right)-\frac{1}{2}\omega\left(\pi_{V_{\theta}}(\zeta),\zeta\right).$$

Differentiating the identity

$$F(\theta)=t-\tau+\frac{1}{2}\omega\left(\pi_{V_{\theta}}(z-\zeta),z+\zeta\right)-\frac{1}{2}\omega\left(z,\zeta\right),$$

gives

$$F^{\prime}(\theta)=\frac{1}{2}|z-\zeta||z+\zeta|\frac{d}{d\theta}\left(\left\langle p,e^{i\theta}\right\rangle\left\langle q,ie^{i\theta}\right\rangle\right).$$

Hence, by the product rule and then the reverse triangle inequality,

$$|F^{\prime}(\theta)|\geq\frac{1}{2}|z-\zeta||z+\zeta|\left\lvert\left\lvert\left\langle p,e^{i\theta}\right\rangle\right\rvert\left\lvert\left\langle q,e^{i\theta}\right\rangle\right\rvert-\left\lvert\left\langle p,ie^{i\theta}\right\rangle\right\rvert\left\lvert\left\langle q,ie^{i\theta}\right\rangle\right\rvert\right\rvert.$$

Since $p$ and $q$ are both unit vectors in $V_{\theta_{0}}^{\perp}$, and since $\theta_{0}=0$, this gives

$$|F^{\prime}(\theta)|\geq\frac{1}{2}|z-\zeta||z+\zeta|\left\lvert\sin\theta-\cos\theta\right\rvert\left\lvert\sin\theta+\cos\theta\right\rvert.$$

For $\theta\in[0,\pi)\setminus\mathcal{N}_{\epsilon}\left[\frac{\pi}{4}\left(\mathbb{Z}\setminus 2\mathbb{Z}\right)\right]$, this gives

(3.14) $$|F^{\prime}(\theta)|\gtrsim|z-\zeta||z+\zeta|\gtrsim 2^{-\ell}R,$$

By the monotonicity of $F$ on the four intervals making up $[0,\pi)\setminus\mathcal{N}_{\epsilon}\left[\frac{\pi}{4}\left(\mathbb{Z}\setminus 2\mathbb{Z}\right)\right]$, and by the mean value theorem, this yields that for any $\delta>0$,

$$\mathcal{H}^{1}\left\{\theta\in[0,\pi)\setminus\mathcal{N}_{\epsilon}\left[\frac{\pi}{4}\left(\mathbb{Z}\setminus 2\mathbb{Z}\right)\right]:|F(\theta)|\leq\delta\right\}\lesssim\delta 2^{\ell}R^{-1}.$$

It follows that, for $(z,t),(\zeta,\tau)\in\operatorname{supp}\mu$ with $|z-\zeta|\sim 2^{-\ell}$,

$$\int_{[0,\pi)\setminus\mathcal{N}_{\epsilon}\left[\frac{\pi}{4}\left(\mathbb{Z}\setminus 4\mathbb{Z}\right)\right]}\left\lvert\int_{-2^{2j}}^{2^{2j}}e^{2\pi i\rho\left(t-\tau+\frac{1}{2}\omega\left(\pi_{V_{\theta}}(z),z\right)-\frac{1}{2}\omega\left(\pi_{V_{\theta}}(\zeta),\zeta\right)\right)}\,d\rho\right\rvert d\theta$$

$$\quad\leq\int_{|F(\theta)|\leq 2^{-2j}}\left\lvert\int_{-2^{2j}}^{2^{2j}}e^{2\pi i\rho\left(t-\tau+\frac{1}{2}\omega\left(\pi_{V_{\theta}}(z),z\right)-\frac{1}{2}\omega\left(\pi_{V_{\theta}}(\zeta),\zeta\right)\right)}\,d\rho\right\rvert d\theta$$

$$\qquad+\sum_{k=-\log_{2}(100R)}^{2j}$$

$$\qquad\int_{2^{-k}\leq|F(\theta)|\leq 2^{-k+1}}\left\lvert\int_{-2^{2j}}^{2^{2j}}e^{2\pi i\rho\left(t-\tau+\frac{1}{2}\omega\left(\pi_{V_{\theta}}(z),z\right)-\frac{1}{2}\omega\left(\pi_{V_{\theta}}(\zeta),\zeta\right)\right)}\,d\rho\right\rvert d\theta$$

$$\quad\lesssim 2^{\ell}R^{-1}+\sum_{k=-\log_{2}(100R)}^{2j}2^{\ell}R^{-1}$$

$$\quad\lesssim 2^{\ell}R^{-1}\left(\log_{2}(100R)+2j\right),$$

where the inequality $|F(\theta)|\lesssim R$ (which relies on the identity (3.10)) was used to restrict the range of $k$. Substituting this into the left-hand side of (3.13) gives

(3.15) $$\sum_{\ell\leq|\log_{2}(K^{-2}R^{-1}/100)|}\min\left\{2^{\ell},2^{j}\right\}\int\int_{2^{-\ell-1}\leq|z-\zeta|<2^{-\ell+1}}\int_{[0,\pi)\setminus\mathcal{N}_{\epsilon}\left[\frac{\pi}{4}\left(\mathbb{Z}\setminus 4\mathbb{Z}\right)\right]}\\ \left\lvert\int_{-2^{2j}}^{2^{2j}}e^{2\pi i\rho\left(t-\tau+\frac{1}{2}\omega\left(\pi_{V_{\theta}}(z),z\right)-\frac{1}{2}\omega\left(\pi_{V_{\theta}}(\zeta),\zeta\right)\right)}\,d\rho\right\rvert d\theta\,d\mu(\zeta,\tau)\,d\mu(z,t)\\ \lesssim\mu(\mathbb{H})c_{\alpha}(\mu)\sum_{\ell\leq|\log_{2}(K^{-2}R^{-1}/100)|}\\ \min\left\{2^{\ell},2^{j}\right\}\min\left\{1,2^{\ell(2-\alpha)}\right\}2^{\ell}R^{-1}\left(\log_{2}(100R)+2j\right),$$

where again it was used that for any $\ell$ and any $(z,t)\in\operatorname{supp}\mu$, the set of $(\zeta,\tau)\in\operatorname{supp}\mu$ inside the cylindrical shell $|z-\zeta|\sim 2^{-\ell}$ can be covered by $\lesssim 2^{2\ell}$ many Heisenberg balls of radius $2^{-\ell}$.

If $\alpha\leq 2$, then the right-hand side of (3.15) is bounded by

$$\mu(\mathbb{H})c_{\alpha}(\mu)\sum_{\ell\leq|\log_{2}(K^{-2}R^{-1}/100)|}2^{j}2^{\ell}R^{-1}\left(\log_{2}(100R)+2j\right)\\ \lesssim\mu(\mathbb{H})c_{\alpha}(\mu)2^{j}\left(\log_{2}(100R)+2j\right)\lesssim C_{\varepsilon}\mu(\mathbb{H})c_{\alpha}(\mu)2^{j(3-\alpha)+j\varepsilon}\log(R+1),$$

so it may be assumed that $\alpha>2$. In this case, if $j\leq|\log_{2}(K^{-2}R^{-1}/100)|$, then (3.15) becomes

$$\eqref{pause33}\lesssim\mu(\mathbb{H})c_{\alpha}(\mu)\log(R+1)\sum_{\ell\leq|\log_{2}(K^{-2}R^{-1}/100)|}2^{j}2^{\ell(2-\alpha)}2^{\ell}R^{-1}\\ \lesssim\mu(\mathbb{H})c_{\alpha}(\mu)\log(R+1)2^{j}R^{2-\alpha}\lesssim\mu(\mathbb{H})c_{\alpha}(\mu)\log(R+1)2^{j(3-\alpha)}.$$

If $j>|\log_{2}(K^{-2}R^{-1}/100)|$, then (3.15) becomes

$$\eqref{pause33}\lesssim\mu(\mathbb{H})c_{\alpha}(\mu)\sum_{\ell\leq|\log_{2}(K^{-2}R^{-1}/100)|}2^{\ell}2^{\ell(2-\alpha)}2^{\ell}R^{-1}\left(\log_{2}(R+1)+2j\right)\\ \lesssim\mu(\mathbb{H})c_{\alpha}(\mu)jR^{3-\alpha}\lesssim C_{\varepsilon}\mu(\mathbb{H})c_{\alpha}(\mu)2^{j(3-\alpha)+j\varepsilon}.$$

This finishes the proof of (1.2). Finally, in the case $\alpha\leq 2$, only the second (trivial) bound in (3.12) is used, which does not require the separation of $\theta$ from $\pi/2$ in the domain of integration, and neither does (3.14), so this verifies the last statement in Theorem 1.1. ∎