One of the oldest and most fundamental problems in the theory of finite projective planes is to classify those having a group which acts transitively on the incident point-line pairs (flags). The conjecture is that the only ones are the Desarguesian projective planes (over a finite field). In this paper, we show that non-Desarguesian finite flag-transitive projective planes exist if and only if certain Fermat surfaces have no nontrivial rational points, and formulate several other equivalences involving Fermat curves and Gaussian periods. In particular, we show that a non-Desarguesian flag-transitive projective plane of order exists if and only if , the number is prime, and the square of the absolute value of the Gaussian period ( primitive th root of unity, group of th powers in ) belongs to . We also formulate a conjectural classification of all pairs with prime and having this latter property, and give an application to the construction of symmetric designs with flag-transitive automorphism groups. Numerical computations are described verifying the first conjecture for and the second for .
Cite this article
Don B. Zagier, Koen Thas, Finite projective planes, Fermat curves, and Gaussian periods. J. Eur. Math. Soc. 10 (2008), no. 1, pp. 173–190DOI 10.4171/JEMS/107