The Szemerédi-Trotter theorem over arbitrary field of characteristic zero
Jiahe Shen
Published: 2025/9/2
Abstract
Let $\mathcal{P}$ be a set of $m$ points and $\mathcal{L}$ a set of $n$ lines in $K^2$, where $K$ is a field with char$(K)=0$. We prove the incidence bound $$\mathcal{I}(\mathcal{P},\mathcal{L})=O(m^{2/3}n^{2/3}+m+n).$$ Moreover, this bound is sharp and cannot be improved. This solves the Szemer\'edi-Trotter incidence problem for arbitrary field of characteristic zero. The crucial tool of our proof is the Baby Lefschetz principle, which allows us to restrict our study to the complex case. Based on this observation, we also prove related results over $K$, including Beck's theorem, Erd\H{o}s-Szemer\'edi theorem, and other types of incidences.