Finite projective planes, Fermat curves, and Gaussian periods

Koen Thas ; Don B. Zagier

Journal of the European Mathematical Society, Tome 10 (2008) no. 1, pp. 173-190

Résumé

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 n exists if and only if n>8, the number p=n2+n+1 is prime, and the square of the absolute value of the Gaussian period ∑a∈Dn​​ζa (ζ= primitive pth root of unity, Dn​= group of nth powers in Fp×​) belongs to Z. We also formulate a conjectural classification of all pairs (p,n) with p prime and n∣p−1 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 p4×1022 and the second for p107.

Détail

DOI : 10.4171/jems/107

Classification : 51-XX, 05-XX, 11-XX, 14-XX
Keywords: Flag-transitive projective plane, Gauss sum, Jacobi sum, Fermat surface, prime