arXiv++ Combinatorics

In this paper, we introduce a fundamental substructure of maximal caps in the affine geometry $AG(4,3)$ that we call \emph{demicaps}. Demicaps provide a direct link to particular partitions of $AG(4,3)$ into 4 maximal caps plus a single point. The full collection of 36 maximal caps that are in exactly one partition with a given cap $C$ can be expressed as unions of two disjoint demicaps taken from a set of 12 demicaps; these 12 can also be found using demicaps in $C$. The action of the affine group on these 36 maximal caps includes actions related to the outer automorphisms of $S_6$.

In a geometry, a maximal cap is a collection of points of largest size containing no lines. In AG(4,3), maximal caps contain 20 points. The 81 points of AG(4,3) can be partitioned into 4 mutually disjoint maximal caps together with a single point P, where every pair of points that makes a line with P lies entirely inside one of those caps. The caps in a partition can be paired up so that both pairs are either in exactly one partition or they are both in two different partitions. This difference determines the two equivalence classes of partitions of AG(4,3) under the action by affine transformations.

Derangements are a popular topic in combinatorics classes. We study a generalization to face derangements of the n-dimensional hypercube. These derangements can be classified as odd or even, depending on whether the underlying isometry is direct or indirect, providing a link to abstract algebra. We emphasize the interplay between the geometry, algebra and combinatorics of these sequences, with lots of pretty pictures.