arXiv++ Combinatorics

We consider unions of $SL(2)$ lines in $\mathbb{R}^{3}$. These are lines of the form $$L = (a,b,0) + \mathrm{span}(c,d,1),$$ where $ad - bc = 1$. We show that if $\mathcal{L}$ is a Kakeya set of $SL(2)$ lines, then the union $\cup \mathcal{L}$ has Hausdorff dimension $3$. This answers a question of Wang and Zahl. The $SL(2)$ lines can be identified with horizontal lines in the first Heisenberg group, and we obtain the main result as a corollary of a more general statement concerning unions of horizontal lines. This statement is established via a point-line duality principle between horizontal and conical lines in $\mathbb{R}^{3}$, combined with recent work on restricted families of projections to planes, due to Gan, Guo, Guth, Harris, Maldague, and Wang. Our result also has a corollary for Nikodym sets associated with horizontal lines, which answers a special case of a question of Kim.

Let $\{π_{e} \colon \mathbb{H} \to \mathbb{W}_{e} : e \in S^{1}\}$ be the family of vertical projections in the first Heisenberg group $\mathbb{H}$. We prove that if $K \subset \mathbb{H}$ is a Borel set with Hausdorff dimension $\dim_{\mathbb{H}} K \in [0,2] \cup \{3\}$, then $$ \dim_{\mathbb{H}} π_{e}(K) \geq \dim_{\mathbb{H}} K $$ for $\mathcal{H}^{1}$ almost every $e \in S^{1}$. This was known earlier if $\dim_{\mathbb{H}} K \in [0,1]$. The proofs for $\dim_{\mathbb{H}} K \in [0,2]$ and $\dim_{\mathbb{H}} K = 3$ are based on different techniques. For $\dim_{\mathbb{H}} K \in [0,2]$, we reduce matters to a Euclidean problem, and apply the method of cinematic functions due to Pramanik, Yang, and Zahl. To handle the case $\dim_{\mathbb{H}} K = 3$, we introduce a point-line duality between horizontal lines and conical lines in $\mathbb{R}^{3}$. This allows us to transform the Heisenberg problem into a point-plate incidence question in $\mathbb{R}^{3}$. To solve the latter, we apply a Kakeya inequality for plates in $\mathbb{R}^{3}$, due to Guth, Wang, and Zhang. This method also yields partial results for Borel sets $K \subset \mathbb{H}$ with $\dim_{\mathbb{H}} K \in (5/2,3)$.