Bourgain's projection theorem over normed division algebras

Abstract: We give a simple and self-contained proof of an extension of a projection theorem of Bourgain over the reals to division algebras over local fields of zero characteristic.

• The paper extends Bourgain's projection theorem to normed division algebras, providing a unified framework that bridges real and p-adic cases.
• The methodology employs combinatorial tools, including Balog–Szemerédi–Gowers theorems, to derive explicit expansion estimates for discretized additive and multiplicative iterations.
• The results have significant implications for geometric measure theory, harmonic analysis, and ergodic theory by refining sum-product phenomena and projection techniques.

Bourgain's Projection Theorem Over Normed Division Algebras

Introduction

This work presents a unified and streamlined proof of a discretized projection theorem extending Bourgain's original theorem from the reals to normed division algebras over local fields of characteristic zero, specifically over $\mathbb{R}$ and $\mathbb{Q}_p$. The paper directly addresses a gap in the literature, substantially generalizing the tools of additive combinatorics and expansion theory that underpin recent progress in fractal geometry, harmonic analysis, and arithmetic combinatorics.

Bourgain's projection theorem is central to establishing quantitative sum-product phenomena for discretized sets, and underlies significant advancements on the Furstenberg set problem, the Falconer distance set problem, equidistribution of non-abelian group actions, and spectral gap issues for matrix groups.

Statement and Interpretation of Main Results

The principal results consist of discretized projection theorems for normed division algebras $E$ (of finite dimension $d$) over $\mathbb{R}$ or $\mathbb{Q}_p$, considering both abelian (field) and non-abelian (division algebra) cases:

• Theorem 1 ("Baby Projection Theorem"): For a $(\delta, s, C)$-set $A\subseteq B(0,1)\subseteq E$ with $|A| \sim \delta^{-\sigma}$, and $(\delta,t,C)$-set $\mathbb{Q}_p$0 avoiding subalgebras, there exists $\mathbb{Q}_p$1 with

$\mathbb{Q}_p$2

for an explicit $\mathbb{Q}_p$3 (with better dependence $\mathbb{Q}_p$4 for commutative $\mathbb{Q}_p$5).

• Theorem 2 ("Adult Projection Theorem"): For the Cartesian set $\mathbb{Q}_p$6 and $\mathbb{Q}_p$7 as above, there exists a large subset $\mathbb{Q}_p$8 (with density controlled by the parameters) and $\mathbb{Q}_p$9 so that all large $E$0 satisfy

$E$1

where $E$2.

• Theorem 3 (Enhanced with Strong Subalgebra Avoidance): If $E$3 strongly avoids subalgebras, the above result holds for "most" $E$4, recovering a "typical parameter" regime analogous to classical Euclidean projection theorems.

The thresholds on $E$5, the number of additive/multiplicative iterations, and the gain $E$6 are given explicitly in the proofs. For division algebras over $E$7, dimension dependence is manageable due to the classification (by Wedderburn's theorem, only $E$8, $E$9, and $d$0 arise; $d$1), while for general $d$2 over $d$3 the situation is subtler, especially in the noncommutative setting.

Technical Core: Expansion Under Addition and Multiplication

Key to the proof are expansion results for discretized sets under additive and multiplicative operations in division algebras. This leverages an adaptation of the discretized ring and sum-product theorems:

• For $d$4 a $d$5-set avoiding subalgebras, $d$6-fold additive/multiplicative iterates of $d$7 rapidly increase in covering number, achieving

$d$8

with parameters depending on $d$9, $\mathbb{R}$0, and for the field case requiring bounded iterations independently of $\mathbb{R}$1.

• The proofs integrate "escape from subspaces" arguments: sets avoiding subalgebras in $\mathbb{R}$2 generate bases with near-orthogonality, ensuring covering number growth not confined in subspaces.
• The central combinatorial mechanisms combine Balog–Szemerédi–Gowers theorems (to reduce to product sets) and non-concentration estimates.

Proof Structure and Innovations

The author's approach synthesizes the strategies of Nic de Saxcé, Garaev, Guth-Katz-Zahl, and combines them with a modern and concise proof architecture that minimizes auxiliary dependencies. The argument is recursive: starting from a base expansion, one iteratively lifts the lower-dimensional structure within the algebra, producing higher "dimension" sets and iteratively improving covering estimates.

A notable aspect is the handling of non-commutative division algebras over $\mathbb{R}$3; in this regime, the arguments delineate strong constraints and expose the limits of purely additive-multiplicative combinatorics due to the algebraic structure.

Implications in Analysis, Dynamics, and Combinatorics

The results achieve a significant extension of Bourgain's sum-product technology:

• Geometric Measure Theory: These theorems provide the foundation for sharp estimates on the Hausdorff dimension in Furstenberg type sets in nonarchimedean and division algebraic contexts.
• Harmonic Analysis: The generalization paves the way for analogs of fractal projection theorems beyond $\mathbb{R}$4, informing the analysis of singular integrals and restriction phenomena over local fields and higher-dimensional settings.
• Ergodic Theory and Dynamics: The machinery here is instrumental in studying equidistribution of orbits and random walks on homogeneous spaces admitting division algebraic symmetries, affecting recent results such as exponential equidistribution on quotients of $\mathbb{R}$5 and $\mathbb{R}$6.
• Additive Combinatorics: The generalization clarifies the threshold for sum-product expansion and its interaction with the structure of normed division algebras (commutativity, dimension, characteristic).

A compelling theoretical implication is the explicit separation between the commutative and non-commutative cases, underscoring the robust interaction between algebraic structure and additive combinatorics.

Future Directions

The results invite refinement and application in several directions:

• Extension to more exotic local fields and nonassociative division algebras, provided suitable analytic and combinatorial machinery can be devised.
• Exploration of the connection to spectral gap results for matrix groups over local fields, by leveraging these projective expansion phenomena in representation-theoretic settings.
• Possible generalization to inhomogeneous and nonlinear projection settings, building upon recent nonlinear analogs of Bourgain's theorem.
• Analysis of sharpness and extremal configurations, particularly in the boundary regimes of parameter ranges $\mathbb{R}$7.

Conclusion

This paper presents a comprehensive and accessible treatment of discretized projection theorems over normed division algebras, subsuming and extending Bourgain's original theorem and its complex-analytic analogs. The new proof framework offers clarity, explicit quantitative control, and applicability in both real and nonarchimedean settings. The work constitutes a foundational contribution to the expansion phenomena in additive combinatorics and their applications across analysis, dynamics, and number theory, providing both technique and perspective for future research in these domains (2603.29145).