{"id":"arxiv:2607.26906","kind":"preprint","title":"A short note on the dimension of the CC-geodesic Kakeya sets in the first Heisenberg group","authors":["Marianna Chatzakou"],"author_count":1,"year":2026,"published":"2026-07-29","venue":null,"cited_by":null,"doi":null,"arxiv_id":"2607.26906","nct_id":null,"source_url":"https://arxiv.org/abs/2607.26906","archive_url":"https://space-kitty.com/papers/arxiv:2607.26906","updated":"2026-08-26","pmid":null,"pmcid":null,"openalex_id":null,"pdf_url":"https://arxiv.org/pdf/2607.26906","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_license":"CC0-1.0 (arXiv descriptive metadata)","license":null,"is_open_access":false,"retracted":false,"peer_reviewed":false,"categories":["math.CA","math.MG"],"details":null,"provenance":"arxiv","attribution":"Abstract: arXiv descriptive metadata (CC0). Thank you to arXiv for use of its open access interoperability. This service was not reviewed or approved by, nor does it necessarily express or reflect the policies or opinions of, arXiv.","topics":[],"cited_in_dossiers":[]}