The geometry of orthogonal groups over finite fields

A. Munemasa

Abstract:Preface This lecture note is based on the lectures given at Kyushu University in 1994 and at Ateneo de Manila University in 1995. In these lectures I presented the theory of quadratic forms over finite fields. The emphasis is placed on geometric and combinatorial objects, rather than the orthogonal group itself. Our goal is to introduce dual polar spaces as distance-transitive graphs in a self contained way. Prerequisites are linear algebra, and finite fields. In the later part of the lecture, familiarity with counting the number of subspaces of a vector space over a finite field is helpful. This lecture note is not intended as a full account of dual polar spaces. It merely treats those of type D n (q), B n (q) and 2 D n (q). One can treat other types, namely, those coming from symplectic groups and unitary groups, in a uniform manner, but I decided to restrict our attention to the above three types in order to save time. Once the reader finishes this note, he/she should be able to learn the other cases with ease. A motivation of writing this note, as well as giving the lecture, is to make the reader get acquainted with nontrivial examples of distance-transitive graphs. I consider Ham-ming graphs and Johnson graphs trivial, as one can establish their distance-transitivity without any special knowledge. The book by Brouwer–Cohen–Neumaier [2] seems too advanced for the beginning students, while other books on the classical groups and their geometries are oriented toward group theory. I hope this lecture note serves as a starting point for the reader to further study of distance-transitive and distance-regular graphs. The presentation of this lecture note is strictly toward an introduction of dual polar spaces of type D n (q), B n (q) and 2 D n (q). I have tried to throw away whatever unnecessary, to make it short. The Witt's extension theorem is included in the appendix for the sake of completeness. This fundamental theorem will not be used in the main text. This lecture note was completed while the author was visiting Ateneo de Manila University, under a grant from JSPS–DOST. I would like to thank these organizations for their financial support. I would like to thank William Kantor for a helpful discussion on Witt's theorem. I also would like to thank faculty members of Mathematics Department of Ateneo de Manila University for their hospitality.

Mathematics