On \(c^{n-2}.c^*\) geometries of order 2 (Q676925): Difference between revisions

A \(c^{n-2} .c^*\) geometry, \(n\geq 2\), of order 2 is a geometry belonging to a string diagram of rank \(n\), the first \(n-3\) edges represent projective planes (of order 1 here), the \(n-2\)nd edge represents a complete graph \((c)\) on 4 vertices, the last edge is labelled by \(c^*\) (dual complete graph). A \(c^{n-2} .c^*\) geometry \(\Delta\) is called homogeneous if all its residues of the same type are isomorphic. In the paper under review, the authors classify all homogeneous \(c^{n-2} .c^*\) geometries of order 2. It turns out that they all admit flag-transitive automorphism groups. One obtains the following list: (1) truncations of \(D_{n+1}\) Coxeter systems (by ignoring one class of ``generators''); (2) a quotient of (1) (in the case \(n\) odd) by the opposition map; (3) the rank 3 geometry obtained from \(PG(2,2)\) by considering the points, the pairs of points, and the 4-arcs (as respectively the points, lines and planes of the \(c.c^*\) geometry). The proof is very geometric. As a by-product, the authors show that the examples under (1) are the unique \(c^{n-2} .c^*\) geometries of order 2 satisfying the Intersection Property.