Horizontal Kakeya maximal operators in finite Heisenberg groups: Exact exponents and applications

1. Problem Statement and Context

The paper investigates Kakeya maximal operators within the setting of finite Heisenberg groups, denoted as $H_n(\mathbb{F}_q)$. This work serves as a discrete, non-abelian analogue to the classical Euclidean Kakeya problem and the finite field (abelian) Kakeya problem.

• The Classical Context: The Kakeya problem asks for the smallest set containing a unit line segment in every direction. In $\mathbb{R}^n$, the Kakeya set conjecture posits that such sets must have full Hausdorff dimension. In finite fields $\mathbb{F}_q^n$, Dvir's breakthrough used the polynomial method to prove that Kakeya sets must have size comparable to the whole space.
• The Heisenberg Setting: The Heisenberg group $H_n(\mathbb{F}_q)$ introduces a non-commutative structure and a "horizontal" distribution. A horizontal line in this group is not a standard affine line; it is a right coset twisted by a symplectic form.
  • The group law is $(x, y, t) \cdot (x', y', t') = (x+x', y+y', t+t' + x \cdot y' - y \cdot x')$.
  • A horizontal line through $p=(x_0, y_0, t_0)$ with direction $v=(a,b)$ is parametrized as:
    $$L_{p,[v]} = \{ (x_0+sa, y_0+sb, t_0 + s(x_0 \cdot b - y_0 \cdot a)) : s \in \mathbb{F}_q \}$$
  • The term $c = x_0 \cdot b - y_0 \cdot a$ is the $t$-slope (or central twist).

The Core Challenge: The authors distinguish between two types of operators based on the information retained about the direction:

1. Projective Direction Operator ($M_{H_n}$): Only records the spatial direction $[a:b] \in \mathbb{P}^{2n-1}(\mathbb{F}_q)$. It "forgets" the $t$-slope.
2. Refined-Direction Operator ($M^{rd}_{H_n}$): Records the full refined direction $[a:b:c] \in D_n \subset \mathbb{P}^{2n}(\mathbb{F}_q)$, where $c$ is the $t$-slope. This captures the full Heisenberg geometry.

The paper aims to determine the exact $\ell^u \to \ell^v$ growth exponents for these operators and explore their implications for the size of Kakeya sets in this non-abelian setting.

---

2. Methodology

The authors employ a purely Fourier-analytic approach, explicitly avoiding the polynomial method (which relies on algebraic vanishing). This is significant because it aims to develop techniques that might extend to settings lacking strong algebraic structure.

Key methodological components include:

• Projection and Domination: For the projective direction operator, the authors show that projecting the Heisenberg group onto the affine plane $\mathbb{F}_q^{2n}$ reduces the problem to the standard abelian Kakeya maximal operator. This allows them to leverage existing results (e.g., by Ellenberg, Oberlin, and Tao) to establish upper bounds.
• Linearization: To handle the maximal operator, they linearize it by selecting a specific line for each direction that maximizes the sum, converting the problem into estimating a linear operator $T$.
• Fourier Decomposition in the Central Variable: For the refined-direction operator (specifically in $H_1(\mathbb{F}_q) \cong \mathbb{F}_q^3$), they decompose the function $F(x,y,t)$ using the Fourier transform in the central variable $t$.
  • The zero-frequency term ($\xi=0$) reduces to the planar Kakeya estimate on $\mathbb{F}_q^2$.
  • The non-zero frequency terms ($\xi \neq 0$) are controlled using Plancherel's theorem and character orthogonality, reducing the problem to counting solutions to specific quadratic maps.
• Interpolation: The authors use the Riesz-Thorin interpolation theorem to combine endpoint estimates ($\ell^1 \to \ell^1$, $\ell^\infty \to \ell^\infty$, and the sharp $\ell^2 \to \ell^2$ bounds) to derive the full range of mixed-norm exponents.
• Sharpness via Test Functions: To prove the exponents are exact, they construct specific test functions (e.g., point masses, indicators of lines, unions of lines, and constant functions) that force the lower bounds.

---

3. Key Contributions and Results

A. Exact Exponents for the Projective Direction Operator ($M_{H_n}$)

This operator only sees the spatial direction $[a:b]$. The authors determine the exact exponent $A_n(u, v)$ such that:
$$\|M_{H_n} F\|_{\ell^v(\mathbb{P}^{2n-1})} \lesssim q^{A_n(u,v)} \|F\|_{\ell^u(H_n)}$$

• Theorem 1.4 ($n=1$):
  $$A_1(u, v) = \max\left( \frac{1}{v}, 1 - \frac{1}{u}, 1 + \frac{1}{v} - \frac{2}{u} \right)$$
• Theorem 1.5 (General $n$):
  $$A_n(u, v) = \max\left( \frac{2n-1}{v}, 1 - \frac{1}{u}, 1 + \frac{2n-1}{v} - \frac{2n}{u} \right)$$
• Significance: These results show that if one ignores the $t$-twist, the problem behaves essentially like the abelian Kakeya problem on $\mathbb{F}_q^{2n}$. The "Heisenberg twist" does not improve the bounds in this restricted setting.

B. Sharp Exponents for the Refined-Direction Operator ($M^{rd}_{H_1}$)

This operator records the full direction $[a:b:c]$. This is the genuinely non-abelian part of the problem.

• Theorem 1.6 (Sharp $\ell^2 \to \ell^2$ Estimate):
  For $H_1(\mathbb{F}_q)$, the authors prove the sharp bound:
  $$\|M^{rd}_{H_1} F\|_{\ell^2(D_1)} \lesssim q^{1/2} \|F\|_{\ell^2(H_1)}$$
  This improves upon the trivial bound derived from abelian methods (which would suggest $q^1$ or similar) and is strictly better than the $\ell^3 \to \ell^3$ bound ($q^{2/3}$) known from previous work.
• Theorem 1.7 (Exact Mixed-Norm Exponents):
  Combining the sharp $\ell^2$ estimate with endpoint bounds, they derive the exact exponent $A^{rd}_1(u, v)$:
  $$A^{rd}_1(u, v) = \max\left( \frac{1}{v}, 1 - \frac{1}{u}, \frac{2}{v} - \frac{1}{u}, 1 + \frac{2}{v} - \frac{3}{u} \right)$$
  Each term in the maximum corresponds to a specific geometric obstruction (point mass, single line, two lines, constant function).

C. Applications to Kakeya Sets

• Theorem 1.8 (Lower Bounds for Sets): The authors derive quantitative lower bounds for the size of sets $E \subset H_1(\mathbb{F}_q)$ that contain horizontal lines in a prescribed set of refined directions $\Omega$.
  • If $E$ contains a horizontal line for every refined direction (a full-direction Heisenberg Kakeya set), then $|E| \gtrsim q^3$. This confirms that such sets must occupy a significant portion of the space.
• Theorem 1.9 (Higher Moment Bounds): They establish bounds for the moments of the maximal function, providing further combinatorial constraints on the distribution of lines in sets.

D. Connection to the Affine Kakeya Problem in $\mathbb{F}_q^3$

The paper proposes a novel strategy to tackle the classical affine Kakeya problem in $\mathbb{F}_q^3$ using these Heisenberg results.

• Decomposition: Any affine Kakeya set $E \subset \mathbb{F}_q^3$ can be analyzed by splitting directions into those realized by horizontal lines in the Heisenberg sense ($\Omega_1$) and those realized only by non-horizontal lines ($\Omega_2$).
• Reduction: The authors show that lines in $\Omega_2$ satisfy a "basepoint-avoidance" constraint. By applying a specific change of variables (a shear mapping), lines with a fixed "non-horizontality parameter" $\mu$ can be straightened into horizontal lines.
• Outlook: This suggests a potential Fourier-analytic proof for the affine Kakeya conjecture in $\mathbb{F}_q^3$ by reducing the non-horizontal case to the horizontal case, which is controlled by Theorem 1.6.

---

4. Significance and Impact

1. Bridging Abelian and Non-Abelian Geometries: The paper rigorously quantifies how the non-commutative structure of the Heisenberg group affects Kakeya-type problems. It demonstrates that while the "spatial" projection behaves like the abelian case, the full geometry (refined directions) yields strictly better (sharper) bounds.
2. Fourier-Analytic Alternative to Polynomials: By achieving sharp results without the polynomial method, the authors provide a crucial alternative toolkit. This is vital for extending Kakeya theory to settings where algebraic vanishing arguments fail (e.g., rings or non-algebraic structures).
3. New Pathway for $\mathbb{F}_q^3$: The proposed reduction of the affine Kakeya problem in $\mathbb{F}_q^3$ to the refined-direction Heisenberg problem offers a concrete, promising roadmap for solving a long-standing open problem using harmonic analysis rather than algebraic geometry.
4. Exactness: The determination of exact exponents for all $u, v$ provides a complete phase diagram for these operators, a level of precision rarely achieved in maximal operator theory.

In summary, this paper establishes a foundational theory for Kakeya maximal operators in finite Heisenberg groups, proving sharp bounds via Fourier analysis and opening a new avenue for attacking the classical affine Kakeya conjecture in three dimensions.