An Expository Overview of Finite Geometry: Based on finitegeometry.org

Introduction

Finite geometry occupies a fascinating intersection of mathematics where geometric structures are constructed with a finite number of points, lines, and other elements. Unlike traditional Euclidean geometry with its infinite planes and continuous spaces, finite geometries operate in discrete mathematical worlds with profound connections to group theory, combinatorics, and various applications in coding theory, cryptography, and even aspects of quantum mechanics.

This article explores the rich landscape of finite geometry as presented through the extensive collection of notes and papers on finitegeometry.org, a website maintained by mathematician Steven H. Cullinane. His work spans several decades, presenting original research and observations on geometric structures with finite elements.

Foundational Concepts in Finite Geometry

Projective and Affine Geometries

At the core of finite geometry are two fundamental types: projective geometries and affine geometries, both defined over finite fields.

Projective geometries, denoted as PG(n,q), consist of n-dimensional projective space over a finite field with q elements. Among the most studied is PG(3,2) - the three-dimensional projective space over the field with two elements (GF(2)), which contains 15 points and 35 lines.

Cullinane's work particularly examines these smaller finite geometries, including:

• The 7-point projective plane PG(2,2)
• The 15-point projective space PG(3,2)
• The 21-point projective plane PG(2,4)

Geometric Models and Representations

A recurring theme in Cullinane's work is developing visual models and novel representations for abstract finite geometries. These include:

1. The Eightfold Cube: A representation using the vertices, edges, and faces of a cube to model the smallest projective plane (7 points, 7 lines)
2. Inscapes: A combinatorial way of illustrating symplectic polarities in PG(3,2), developed in a series of papers from 1982 onward
3. The Diamond Theorem: A significant result regarding patterns on arrays, particularly 4×4 arrays, with connections to projective geometry and group theory

Key Geometric Structures

The Generalized Quadrangle GQ(2,2)

The generalized quadrangle GQ(2,2) figures prominently in Cullinane's work. This structure consists of 15 points and 15 lines, where:

• Each line contains 3 points
• Each point is on 3 lines
• Any two distinct points are on at most one line
• For any point P not on a line L, there is exactly one point on L collinear with P

This structure is examined in depth in Cullinane's "Inscapes" series, where he develops visual representations of this abstract geometric object.

Finite Projective Spaces and Their Models

Several papers focus on modeling PG(3,2), the three-dimensional projective space over GF(2). This space has 15 points and 35 lines, with each line containing 3 points.

Cullinane presents multiple models for this space:

• Using the 2-subsets of a 6-set as points
• Through connection to the 35 partitions of an 8-set into two 4-sets
• Via the Miracle Octad Generator (MOG) of R.T. Curtis

The 21-Point Projective Plane

The projective plane PG(2,4) with 21 points and 21 lines is explored through:

• Models using outer automorphisms of S6 (the symmetric group on 6 elements)
• Twenty-one projective partitions
• Connections to the Mathieu group M24

Group Theory and Finite Geometry

Cullinane's work frequently bridges finite geometry with group theory, particularly:

Symmetry Groups and Their Actions

Multiple papers examine how groups act on geometric structures:

• The simple group of order 168 and its action on geometric objects
• The quaternion group acting on an eightfold cube
• GL(2,3) (the general linear group) and its relationship to the geometry of the 3×3 square

Outer Automorphisms of S6

Several papers from 1986 explore the connection between outer automorphisms of the symmetric group S6 and both the projective plane PG(2,4) and the Mathieu group M24. This includes:

• "An outer automorphism of S6 related to M24"
• "Picturing outer automorphisms of S6"
• "Modeling the 21-point plane with outer automorphisms of S6"

Applications and Extensions

The Miracle Octad Generator (MOG)

The MOG, developed by mathematician R.T. Curtis, features prominently in Cullinane's research. It provides a way to generate the Steiner system S(5,8,24) related to the Mathieu group M24. Cullinane's work includes:

• "Generating the octad generator" (1985)
• "Competing definitions of the Miracle Octad Generator" (2010)
• "The Moore correspondence" (2010)

Connections to Higher Mathematics

The research extends into connections with:

• Quantum information theory in "Reflections on symmetry"
• The Klein correspondence and Penrose space-time
• Vector logic and the geometry of qubits

Computational Approaches

Several papers employ computational techniques:

• MAGMA calculations of order-168 group
• JavaScript implementations of movable graphic designs on cubes
• Computational models of complex geometric structures

Philosophical and Aesthetic Dimensions

Cullinane's site also includes notes on the philosophical and aesthetic aspects of mathematics:

• "A mathematician's aesthetics"
• "The diamond theory of truth"
• "Crystal and dragon"
• "Poetry's bones"
• "Mirror-play of the fourfold in Heidegger"

These works explore the connection between mathematical structures and deeper philosophical concepts, reflecting the author's interest in the philosophical underpinnings of mathematical thought.

Conclusion: The Significance of Finite Geometry

Finite geometry, though working with discrete and bounded structures, opens into vast mathematical territories. Cullinane's decades of research demonstrate how these seemingly simple constructions connect to advanced topics in group theory, combinatorics, and even theoretical physics.

The beauty of finite geometry lies in its ability to represent complex mathematical relationships in understandable visual forms. From the eightfold cube to the inscapes of symplectic geometries, the visual models developed by Cullinane help bridge abstract mathematical concepts with tangible representations.

For mathematicians, computer scientists, and those interested in the fundamental structures of mathematical thought, finite geometry offers a rich landscape of exploration where discrete elements combine to form elegant and powerful mathematical systems with far-reaching applications.

---

Note: This expository article is based on the site map of finitegeometry.org, a website maintained by Steven H. Cullinane containing his notes and papers on finite geometry spanning from 1976 to 2013. Readers interested in the detailed mathematical content are encouraged to visit the original website at http://finitegeometry.org/sc/map.html.