Modular constructions for combinatorial geometries

R. Stanley, in an investigation of modular flats in geometries (Algebra Universalis 1-2 (1971), 214-217), proved that the characteristic polynomial x(x) of a modular flat x divides the characteristic polynomial x(G) of a geometry G. In this paper we identify the quotient: THEOREM. If x is a modular flat of G, x(G)/x(x) = x(Tx(G))I(X 1), where Tl(G) is the complete Brown truncation of G by x. (The lattice of TX(G) consists of all flats containing x and all flats disjoint from x, with the induced order from G.) We give many characterizations of modular flats in terms of their lattice properties as well as by means of a short-circuit axiom and a modular version of the MacLane-Steinitz exchange axiom. Modular flats are shown to have many of the useful properties of points and distributive flats (separators) in addition to being much more prevalent. The theorem relating the chromatic polynomials of two graphs and the polynomial of their vertex join across a common clique generalizes to geometries: THEOREM. Given geometries G and H, if x is a modular flat of G as well as a subgeometry of H, then there exists a geometry P = PX(G, H) which is a pushout in the category of injective strong maps and such that X(P) = x(G)X(H)/x(x). The closed set structure, rank function, independent sets, and lattice properties of P are characterized. After proving a modular extension theorem we give applications of our results to Crapo's single element extension theorem, Crapo's join operation, chain groups, unimodular geometries, transversal geometries, and graphs.