The Szemerédi–Trotter theorem over finite fields
incidence geometry
Expository notes on recent proofs and a strengthening.
The celebrated Szemerédi–Trotter theorem was recently extended to finite fields with an extra correction term by Lewko and independently Miao and Xie. The notes give an exposition to both proofs and also provide a strengthening that is tight for algebraically closed fields.