The Noncommutative Kakeya

The Kakeya problem asks: how small can a set be while still containing a line segment in every direction? In Euclidean space, this is deeply connected to harmonic analysis and has driven decades of work. In finite fields, the problem was resolved by Dvir using polynomial methods.

Pham, Pinamonti, Tran, and Xue move the problem into the Heisenberg group — a noncommutative structure where the group operation doesn’t commute. Lines become “horizontal lines,” directions gain a central slope component, and the polynomial techniques that solved the finite field case don’t apply.

The through-claim: projection reduces the noncommutative problem to a commutative one. For the simplest operator (defined by projective horizontal directions), projecting from the Heisenberg group to the underlying vector space recovers exactly the affine finite field Kakeya problem. The noncommutativity doesn’t matter for this class of directions — the obstruction is the same as in the commutative case, just dressed differently.

But the refined operator — the one that sees the central slope — is genuinely new. Here the authors establish sharp estimates using pure Fourier analysis, no polynomial methods. The Heisenberg structure forces a different toolkit.

Two problems wearing the same name. One reduces to a solved problem. The other requires genuinely new mathematics. The boundary between them is the central slope — the piece of information that the commutative projection loses.