Dowling geometry

In combinatorial mathematics, a Dowling geometry, named after Thomas A. Dowling, is a matroid associated with a group. There is a Dowling geometry of each rank for each group. If the rank is at least 3, the Dowling geometry uniquely determines the group. Dowling geometries have a role in matroid theory as universal objects ; in that respect they are analogous to projective geometries, but based on groups instead of fields.
A Dowling lattice is the geometric lattice of flats associated with a Dowling geometry. The lattice and the geometry are mathematically equivalent: knowing either one determines the other. Dowling lattices, and by implication Dowling geometries, were introduced by Dowling.
A Dowling lattice or geometry of rank n of a group G is often denoted by Q_n.

The original definitions

In his first paper Dowling defined the rank-n Dowling lattice of the multiplicative group of a finite field F. It is the set of all those subspaces of the vector space Fⁿ that are generated by subsets of the set E that consists of vectors with at most two nonzero coordinates. The corresponding Dowling geometry is the set of 1-dimensional vector subspaces generated by the elements of E.
In his second paper Dowling gave an intrinsic definition of the rank-n Dowling lattice of any finite group G. Let S be the set. A G-labelled set is a set T together with a function α: T → G. Two G-labelled sets, and, are equivalent if there is a group element, g, such that β = gα.
An equivalence class is denoted .
A partial G-partition of S is a set γ = of equivalence classes of G-labelled sets such that B₁,..., B_k are nonempty subsets of S that are pairwise disjoint.
A partial G-partition γ is said to be ≤ another one, γ*, if

every block of the second is a union of blocks of the first, and
for each B_i contained in B*_j, α_i is equivalent to the restriction of α*_j to domain B_i.

This gives a partial ordering of the set of all partial G-partitions of S. The resulting partially ordered set is the Dowling lattice Q_n.
The definitions are valid even if F or G is infinite, though Dowling mentioned only finite fields and groups.

Graphical definitions

A graphical definition was then given by Doubilet, Rota, and Stanley. We give the slightly simpler graphical definition of Zaslavsky, expressed in terms of gain graphs.
Take n vertices, and between each pair of vertices, v and w, take a set of |G| parallel edges labelled by each of the elements of the group G. The labels are oriented, in that, if the label in the direction from v to w is the group element g, then the label of the same edge in the opposite direction, from w to v, is g⁻¹. The label of an edge therefore depends on the direction of the edge; such labels are called gains. Also add to each vertex a loop whose gain is any value other than 1. This gives a graph which is called GK_n^o, called the full -expansion of .
A cycle in the graph then has a gain. The cycle is a sequence of edges, e₁e₂···e_k. Suppose the gains of these edges, in a fixed direction around the cycle, are g₁, g₂,..., g_k. Then the gain of the cycle is the product, g₁g₂···g_k. The value of this gain is not completely well defined, since it depends on the direction chosen for the cycle and on which is called the "first" edge of the cycle. What is independent of these choices is the answer to the following question: is the gain equal to 1 or not? If it equals 1 under one set of choices, then it is also equal to 1 under all sets of choices.
To define the Dowling geometry, we specify the circuits. The circuits of the matroid are

the cycles whose gain is 1,
the pairs of cycles with both gains not equal to 1, and which intersect in a single vertex and nothing else, and
the theta graphs in which none of the three cycles has gain equal to 1.

Thus, the Dowling geometry Q_n is the frame matroid of the gain graph GK_n^o.
Other, equivalent definitions are described in the article on gain graphs.

Characteristic polynomial

One reason for interest in Dowling lattices is that the characteristic polynomial is very simple. If L is the Dowling lattice of rank n of a finite group G having m elements, then
an exceptionally simple formula for any geometric lattice.

Generalizations

There is also a Dowling geometry, of rank 3 only, associated with each quasigroup; see Dowling. This does not generalize in a straightforward way to higher ranks. There is a further generalization due to Zaslavsky that involves n-ary quasigroups.
A different generalization due to Zaslavsky is obtained from the full -expansion of an arbitrary graph. This gain graph has lattice obtained from the Dowling lattice by excluding all partial partitions such that the induced subgraph on some B_i is disconnected. The characteristic polynomial of this matroid is obtained from the chromatic polynomial of by substituting and normalizing to a monic polynomial.