Supersolvable Oriented Matroids

• Supersolvable oriented matroids are defined by geometric lattices with a modular flag, ensuring combinatorial tractability and aspherical Salvetti complexes.
• Poset quasi-fibration and discrete Morse theory techniques reveal that the Salvetti complex is aspherical and its fundamental group decomposes into iterated free semidirect products.
• The tope graphs of these matroids admit Hamiltonian cycles, producing cyclic Gray codes and linking to classical fiber-type arrangement results.

A supersolvable oriented matroid is an oriented matroid whose geometric lattice is supersolvable. In the covector axiomatization, an oriented matroid $M=(E,C)$ consists of a finite ground set $E$ and a set $C \subseteq \{+,-,0\}^E$ of covectors satisfying the covector axioms; its geometric lattice is $L(M):=\{z(o)\mid o\in C\}\subseteq 2^E$, ordered by inclusion, where $z(o)=\{e\in E\mid o_e=0\}$. The supersolvable condition places a modular flag inside $L(M)$ and has two principal consequences emphasized in recent work: the Salvetti complex of such an oriented matroid is aspherical and has a fundamental group given by an iterated semidirect product of finitely generated free groups, and the tope graph admits a Hamiltonian cycle (Mücksch, 2022, Körber et al., 20 Aug 2025).

1. Covectors, flats, and the supersolvable condition

An oriented matroid $M=(E,C)$ consists of a finite ground set $E$ and a set $C \subseteq \{+,-,0\}^E$ of covectors satisfying: (1) $0 \in C$; (2) $E$0; (3) $E$1 where

$E$2

and (4) for $E$3 and $E$4, there exists $E$5 with $E$6 and $E$7 for all $E$8 (Mücksch, 2022).

The face or covector poset $E$9 orders sign vectors component-wise by $C \subseteq \{+,-,0\}^E$0 and $C \subseteq \{+,-,0\}^E$1, with $C \subseteq \{+,-,0\}^E$2 and $C \subseteq \{+,-,0\}^E$3 incomparable. Its maximal elements are the topes $C \subseteq \{+,-,0\}^E$4. Rank is the length of a maximal chain in $C \subseteq \{+,-,0\}^E$5. The map

$C \subseteq \{+,-,0\}^E$6

is a cover- and rank-preserving order-reversing surjection; its order-preserving variant sends $C \subseteq \{+,-,0\}^E$7 (Mücksch, 2022).

For flats $C \subseteq \{+,-,0\}^E$8 in a geometric lattice $C \subseteq \{+,-,0\}^E$9, modularity of $L(M):=\{z(o)\mid o\in C\}\subseteq 2^E$0 is characterized by

$L(M):=\{z(o)\mid o\in C\}\subseteq 2^E$1

equivalently by the lattice-theoretic condition

$L(M):=\{z(o)\mid o\in C\}\subseteq 2^E$2

A geometric lattice is supersolvable if it has a maximal chain

$L(M):=\{z(o)\mid o\in C\}\subseteq 2^E$3

with each $L(M):=\{z(o)\mid o\in C\}\subseteq 2^E$4 modular. An oriented matroid is called supersolvable if its geometric lattice $L(M):=\{z(o)\mid o\in C\}\subseteq 2^E$5 is supersolvable. In rank $L(M):=\{z(o)\mid o\in C\}\subseteq 2^E$6, $L(M):=\{z(o)\mid o\in C\}\subseteq 2^E$7 is supersolvable if and only if there exists a rank-$L(M):=\{z(o)\mid o\in C\}\subseteq 2^E$8 flat $L(M):=\{z(o)\mid o\in C\}\subseteq 2^E$9 meeting every rank-$z(o)=\{e\in E\mid o_e=0\}$0 flat nontrivially (Mücksch, 2022).

The same condition appears in the Hamiltonicity literature through a modular flag

$z(o)=\{e\in E\mid o_e=0\}$1

which organizes the tope graph inductively. In that setting one typically assumes that $z(o)=\{e\in E\mid o_e=0\}$2 is loopless and acyclic, so that topes exist in abundance; all supersolvable arrangement proofs are described as carrying over to supersolvable oriented matroids via pseudosphere representations (Körber et al., 20 Aug 2025).

2. Localization, Salvetti complexes, and modular flats

For $z(o)=\{e\in E\mid o_e=0\}$3, the restriction $z(o)=\{e\in E\mid o_e=0\}$4 has covectors

$z(o)=\{e\in E\mid o_e=0\}$5

For $z(o)=\{e\in E\mid o_e=0\}$6, the contraction $z(o)=\{e\in E\mid o_e=0\}$7 has covectors

$z(o)=\{e\in E\mid o_e=0\}$8

viewed in $z(o)=\{e\in E\mid o_e=0\}$9. For a flat $L(M)$0, the localization $L(M)$1 uses the projection

$L(M)$2

If $L(M)$3 with $L(M)$4, there is a section $L(M)$5 defined by

$L(M)$6

and $L(M)$7. Both $L(M)$8 and $L(M)$9 preserve covector composition (Mücksch, 2022).

The Salvetti poset of an oriented matroid is

$M=(E,C)$0

with order

$M=(E,C)$1

Salvetti’s theorem identifies $M=(E,C)$2 as the face poset of a regular cell complex whose realization is homotopy equivalent to the complement of the complexified arrangement when $M=(E,C)$3 is realizable (Mücksch, 2022).

The reduced covector poset $M=(E,C)$4 of rank $M=(E,C)$5 is the face poset of a shellable regular cell decomposition of $M=(E,C)$6, and every linear extension of the tope poset gives a shelling. Initial segments of such shellings yield shellable balls, and subcomplexes generated by convex sets of topes are shellable balls. These shellability properties are a key input to the discrete Morse-theoretic analysis of localization fibers (Mücksch, 2022).

If $M=(E,C)$7 is modular and $M=(E,C)$8 any flat, then the restriction $M=(E,C)$9 on dual covector complexes satisfies

$E$0

as a poset isomorphism. This refines Brylawski’s lattice isomorphism to covector posets and is the structural reason that modular flats make localization combinatorially tractable (Mücksch, 2022).

3. Poset quasi-fibrations and the $E$1 theorem

The central topological statement is the corank-one modular-flat theorem. If $E$2 is modular of corank $E$3, meaning $E$4, then the natural map

$E$5

is a poset quasi-fibration: for all $E$6 in $E$7, the inclusion

$E$8

is a homotopy equivalence. Moreover, for $E$9, the fiber $C \subseteq \{+,-,0\}^E$0 is homotopy equivalent to the affine Salvetti complex of a rank-$C \subseteq \{+,-,0\}^E$1 oriented matroid $C \subseteq \{+,-,0\}^E$2,

$C \subseteq \{+,-,0\}^E$3

hence a graph, equivalently a wedge of circles (Mücksch, 2022).

The notion of poset quasi-fibration is derived from Quillen’s Theorem B. Given a poset map $C \subseteq \{+,-,0\}^E$4, if for every $C \subseteq \{+,-,0\}^E$5 in $C \subseteq \{+,-,0\}^E$6 the inclusion $C \subseteq \{+,-,0\}^E$7 is a homotopy equivalence, then the homotopy fiber over $C \subseteq \{+,-,0\}^E$8 is $C \subseteq \{+,-,0\}^E$9 and one obtains a long exact sequence of homotopy groups $0 \in C$0 In the modular corank-one situation, the fibers are graphs, so $0 \in C$1 for $0 \in C$2 (Mücksch, 2022).

From this, if $0 \in C$3 is supersolvable, then the Salvetti complex $0 \in C$4 is aspherical, hence a $0 \in C$5. The proof proceeds by iteratively applying the poset quasi-fibration theorem at each modular corank-one flat in the supersolvable chain and using that the fibers are rank-$0 \in C$6 affine Salvetti complexes. This generalizes the Falk–Randell–Terao theorem from supersolvable real hyperplane arrangements to all oriented matroids (Mücksch, 2022).

A complementary necessary condition constrains any attempt to enlarge the $0 \in C$7 class without modular hypotheses: if $0 \in C$8 is aspherical, then $0 \in C$9 is aspherical for all flats $E$00. This does not characterize supersolvability, but it shows that asphericity propagates to localizations (Mücksch, 2022).

4. Fundamental groups and group-theoretic structure

If $E$01 is modular of corank $E$02 and $E$03 is aspherical, then

$E$04

where $E$05 is a finitely generated free group of rank $E$06 (Mücksch, 2022).

The mechanism is explicit. The map $E$07 is a poset quasi-fibration with a section, obtained from the maps $E$08. The long exact sequence of homotopy groups splits on $E$09, giving a short exact sequence

$E$10

and $E$11 is free of rank $E$12 because the fiber is a wedge of circles. The extension then splits as a semidirect product (Mücksch, 2022).

Iterating along a supersolvable chain produces

$E$13

where each $E$14 is finitely generated free and its rank is determined by the size of the complement of the modular corank-one flat at that stage. In particular, these groups are torsion-free (Mücksch, 2022).

In rank $E$15, if $E$16 is the modular rank-$E$17 flat, then $E$18 has fiber homotopy equivalent to a wedge of $E$19 circles, so

$E$20

Since $E$21 is the Salvetti complex of a rank-$E$22 oriented matroid, hence a graph, $E$23 is a free group. This gives

$E$24

and the higher-rank statement follows by iteration (Mücksch, 2022).

These consequences place supersolvable oriented matroids alongside the classical realizable fiber-type picture, but the proof is purely combinatorial-topological rather than bundle-theoretic. A plausible implication is that modularity is functioning here as a combinatorial substitute for geometric local triviality.

5. Methods, constructions, and non-realizable examples

The proofs rely on discrete Morse theory on posets and regular CW-complexes. Acyclic matchings on the covector complex and on subcomplexes of the Salvetti complex are built using shellability, convexity of tope subsets, and the covector-poset isomorphisms associated to modular flats. Chari’s proposition on shellable balls provides acyclic matchings collapsing shellable balls to a vertex, enabling strong deformation retractions (Mücksch, 2022).

For a modular corank-one flat $E$25 and a maximal element $E$26 in $E$27, the fiber $E$28 is stratified into locally closed subcomplexes $E$29 indexed by the linearly ordered set

$E$30

Each $E$31 canonically identifies with a dual covector subcomplex $E$32. Matchings on each stratum are patched via the Patchwork theorem to obtain a global matching with critical cells exactly $E$33, hence a strong deformation retract

$E$34

(Mücksch, 2022).

The paper also provides a simple construction of supersolvable oriented matroids in rank $E$35. Any rank-$E$36 oriented matroid can be extended, by adding elements, to a supersolvable oriented matroid. The key input is Levi’s Enlargement Lemma for rank-$E$37 oriented matroids: given distinct rank-$E$38 flats $E$39 with $E$40, there is a one-element extension adding $E$41 with $E$42 and $E$43 not in other rank-$E$44 flats. Iterating this reduces the number of disjoint rank-$E$45 pairs until a flat $E$46 meets all rank-$E$47 flats, which yields supersolvability (Mücksch, 2022).

This produces many non-realizable supersolvable oriented matroids. Starting from a non-realizable rank-$E$48 oriented matroid, for example a pseudoline arrangement violating Pappus, one extends as above to obtain a supersolvable oriented matroid that remains non-realizable. The supersolvable chain exhibits a modular corank-one flat $E$49, and every other intersection is connected to $E$50 by a pseudoline. By the asphericity theorem, the Salvetti complexes of these non-realizable examples are aspherical CW-complexes (Mücksch, 2022).

No analogue of Levi’s Lemma is known for rank $E$51, and the existence of supersolvable extensions in higher rank is open. The data specifically notes that EFM(8) obstructs connecting corank-one flats, which suggests that higher-rank extension theory is substantially more rigid than the rank-$E$52 case (Mücksch, 2022).

6. Tope graphs, Hamiltonian cycles, and Gray-code structure

The tope graph $E$53 has vertex set equal to the set of topes. Two topes $E$54 are adjacent if they differ in exactly one coordinate:

$E$55

Equivalently, the tope graph is an induced subgraph of the $E$56-dimensional cube graph on $E$57 (Körber et al., 20 Aug 2025).

For a loopless, acyclic, supersolvable oriented matroid of rank $E$58 on ground set $E$59, the tope graph $E$60 admits a Hamiltonian cycle. The same theorem is stated for supersolvable hyperplane arrangements, and the oriented-matroid version covers realizable and non-realizable cases via pseudosphere representation (Körber et al., 20 Aug 2025).

The construction uses the modular flag inductively. In the realizable notation, a supersolvable arrangement of rank $E$61 can be written as a disjoint union

$E$62

where $E$63 is supersolvable of rank $E$64, $E$65, and

$E$66

In oriented matroid terms, this corresponds to the existence of a modular coatom $E$67 and a layer $E$68 (Körber et al., 20 Aug 2025).

There is then a surjective projection on topes

$E$69

defined by restriction of sign vectors to coordinates in $E$70. For $E$71, the fiber

$E$72

induces a path of length $E$73 in the tope graph, and each hyperplane of $E$74 occurs exactly once as the type of the edges. There are distinguished endpoints

$E$75

with all signs on $E$76 equal to $E$77 or $E$78 respectively. Neighbors of $E$79 outside the fiber are $E$80 for $E$81 adjacent to $E$82 in $E$83, and similarly for $E$84 (Körber et al., 20 Aug 2025).

Assuming a Hamiltonian cycle

$E$85

in $E$86, one traverses each fiber alternately by the directed paths

$E$87

and concatenates them as

$E$88

The closure is provided by the adjacency of $E$89 and $E$90 in $E$91. This gives a Hamiltonian cycle of $E$92 and, iterated along the modular flag, of $E$93 (Körber et al., 20 Aug 2025).

A Hamiltonian cycle in $E$94 yields a cyclic Gray code on the set of topes: successive topes differ in exactly one coordinate. In supersolvable oriented matroids, the construction groups flips by layers of the modular flag and alternates endpoints across fibers. The Boolean arrangement is the basic example: the tope graph is the $E$95-cube and the Hamiltonian cycle is the classical binary-reflected Gray code (Körber et al., 20 Aug 2025).

7. Context, limitations, and open directions

Supersolvable oriented matroids sit at the intersection of combinatorial topology, arrangement theory, and group theory. In the realizable case, the classical Falk–Randell–Terao theorem proved that supersolvable arrangements are $E$96) via a geometric fiber bundle over the quotient by a modular intersection of corank one with fiber $E$97 minus points. The oriented-matroid generalization replaces geometric fiber bundles by poset quasi-fibrations of Salvetti complexes (Mücksch, 2022).

This framework has several immediate implications. Since $E$98 is a $E$99, its universal cover is contractible and $C \subseteq \{+,-,0\}^E$00 acts freely; when $C \subseteq \{+,-,0\}^E$01 is finite, $C \subseteq \{+,-,0\}^E$02 is torsion-free. Salvetti complexes therefore provide combinatorial models of aspherical CW-complexes beyond realizable cases (Mücksch, 2022).

The supersolvable condition is sufficient for both asphericity and Hamiltonicity, but the supplied results do not present it as necessary. In particular, not all oriented matroids or arrangements are supersolvable, and Hamiltonicity of their tope graphs can fail in general. The stated open problems include characterizing oriented matroids whose tope graphs are Hamiltonian beyond the supersolvable and reflection-based families, understanding weaker structural conditions that still guarantee Hamiltonicity, and exploring algorithmic complexity for constructing Hamilton cycles in general oriented matroid tope graphs (Körber et al., 20 Aug 2025).

Further directions on the asphericity side include extending $C \subseteq \{+,-,0\}^E$03 results beyond supersolvable lattices to other modular configurations, or to “fiber-type” posets and arrangements on abelian Lie groups, and making effective the detection of modular chains in $C \subseteq \{+,-,0\}^E$04 together with the induced $C \subseteq \{+,-,0\}^E$05 structure. The data also records that a claimed generalization of certain shellability-based results has errors; resolving those issues might extend the poset quasi-fibration approach to broader fiber-bundle analogues (Mücksch, 2022).

Taken together, these results identify supersolvability as a structural condition that simultaneously governs the topology of the Salvetti complex and the global combinatorics of the tope graph. The established consequences are precise: asphericity, iterated semidirect product decompositions of the fundamental group, existence of many non-realizable aspherical examples, and constructive Hamiltonian cycles on the set of topes (Mücksch, 2022, Körber et al., 20 Aug 2025).