# A short note on the dimension of the CC-geodesic Kakeya sets in the first Heisenberg group

Preprint · Marianna Chatzakou

- Archive id: arxiv:2607.26906
- Published: 2026-07-29
- arXiv: https://arxiv.org/abs/2607.26906
- Source URL: https://arxiv.org/abs/2607.26906
- PDF: https://arxiv.org/pdf/2607.26906
- Provenance: arxiv

## Abstract

We study CC-geodesic Kakeya sets in the first Heisenberg group, namely Borel sets $E$ such that, for every unit-speed CC-geodesic segment of length $1$ issuing from the identity, some left translate of the segment is contained in $E$. The natural analogue of the Kakeya conjecture would predict full Heisenberg Hausdorff dimension 4 for such sets. We show that this prediction fails: the sharp lower bound for their Heisenberg Hausdorff dimension is 3, and it remains sharp even among compact CC-geodesic Kakeya sets. By adjoining a Lebesgue-null set of full Heisenberg Hausdorff dimension, we obtain a CC-geodesic Kakeya set of full Heisenberg Hausdorff dimension 4 and zero Lebesgue measure. Finally, when one prescribes only geodesic segments with one fixed nonzero curvature parameter $κ$, rather than segments of all curvatures, the condition is weaker. For every $κ\\in(0,2π\]$, we construct a compact curvature-$κ$ Kakeya set of zero Lebesgue measure whose Euclidean and Heisenberg Hausdorff dimensions are both equal to $1$.

_Abstract reproduced under CC0-1.0 (arXiv descriptive metadata)._

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.