Poset Quasi-Fibration in Oriented Matroids

• Poset quasi-fibration is a condition on order-preserving maps between finite posets that ensures homotopy equivalence of lower fibers via Quillen’s Theorem B.
• It applies to localization maps between Salvetti posets of oriented matroids, yielding asphericity results and a structured description of their fundamental groups.
• The framework blends discrete Morse theory, shellability, and poset decomposition to connect combinatorial properties of modular flats with precise topological fiber models.

Searching arXiv for the specified paper and closely related context. Poset quasi-fibration is a notion for order-preserving maps of finite posets, introduced in the study of localization maps between Salvetti posets of oriented matroids. In the setting of a simple oriented matroid $\M$ and a modular flat $X$ of corank one, the localization map $p_X\colon \Sal(\M)\to \Sal(\M|_X)$ is shown to satisfy a homotopy-theoretic condition modeled on Quillen’s Theorem B, and is therefore a poset quasi-fibration (Mücksch, 2022). The concept is used to connect combinatorics of modular flats with the topology of Salvetti complexes, yielding asphericity results for supersolvable oriented matroids and a structural description of their fundamental groups (Mücksch, 2022).

1. Definition and ambient framework

Let $P$ be a finite poset. Its order complex $\Delta(P)$ is the simplicial complex whose $k$-simplices are chains

$x_0< x_1<\cdots< x_k\quad(x_i\in P).$

Its geometric realization is denoted $\lvert\Delta(P)\rvert$. If $f\colon P\to Q$ is order-preserving, then it induces a continuous map

$$\lvert\Delta(f)\rvert\colon\lvert\Delta(P)\rvert\to\lvert\Delta(Q)\rvert.$$

The notion of poset quasi-fibration is motivated by a special case of Quillen’s Theorem B for posets. For an order-preserving map $X$0 of finite posets and $X$1, define

$X$2

If for every pair $X$3 in $X$4 the inclusion

$X$5

is a homotopy-equivalence after realization, then for each $X$6 with $X$7, the homotopy-fiber of $X$8 over $X$9 is homotopy equivalent to $p_X\colon \Sal(\M)\to \Sal(\M|_X)$0, and one obtains the corresponding long exact sequence of homotopy groups (Mücksch, 2022).

Against this background, an order-preserving map $p_X\colon \Sal(\M)\to \Sal(\M|_X)$1 of finite posets is called a poset quasi-fibration if for every $p_X\colon \Sal(\M)\to \Sal(\M|_X)$2 in $p_X\colon \Sal(\M)\to \Sal(\M|_X)$3 the inclusion

$p_X\colon \Sal(\M)\to \Sal(\M|_X)$4

is a homotopy-equivalence after realization (Mücksch, 2022). By Theorem B, such maps admit homotopy-fiber models given by lower fibers of the form $p_X\colon \Sal(\M)\to \Sal(\M|_X)$5, together with the usual long exact sequence of homotopy groups (Mücksch, 2022).

2. Oriented matroids, Salvetti complexes, and localization

An oriented matroid $p_X\colon \Sal(\M)\to \Sal(\M|_X)$6 may be described by its set of covectors

$p_X\colon \Sal(\M)\to \Sal(\M|_X)$7

partially ordered by componentwise $p_X\colon \Sal(\M)\to \Sal(\M|_X)$8, $p_X\colon \Sal(\M)\to \Sal(\M|_X)$9, with $P$0 incomparable to $P$1. Its covector poset $P$2 is a regular CW-complex homeomorphic to a sphere via the Folkman–Lawrence topological representation (Mücksch, 2022). Writing $P$3 for the set of topes, Salvetti’s construction associates to $P$4 the poset

$P$5

with order

$P$6

where $P$7 denotes covector composition. This poset is the face-poset of a finite regular CW-complex, the Salvetti complex of $P$8 (Mücksch, 2022).

If $P$9 is a flat of $\Delta(P)$0, there is a natural restriction map on covectors,

$\Delta(P)$1

which extends to a localization map on Salvetti posets,

$\Delta(P)$2

The central question is whether this localization behaves like a fibration in a homotopical sense. For modular flats of corank one, the answer is affirmative in the poset-theoretic sense encapsulated by poset quasi-fibrations (Mücksch, 2022).

This places the concept at the interface of combinatorial topology and arrangement-like geometry. The relevant structure is neither an arbitrary map of posets nor merely a map of CW-complexes; it is a highly structured localization associated to a flat in the geometric lattice of an oriented matroid.

3. Main theorem for modular flats of corank one

Let $\Delta(P)$3 be a simple oriented matroid with geometric lattice of flats $\Delta(P)$4, and let $\Delta(P)$5 be modular of corank one. Then the induced localization map

$\Delta(P)$6

is a poset quasi-fibration (Mücksch, 2022).

More precisely, for each cell $\Delta(P)$7, the poset-fiber $\Delta(P)$8 is homotopy equivalent to the affine Salvetti complex of an oriented matroid of rank $\Delta(P)$9 (Mücksch, 2022). In particular, each fiber is homotopy equivalent to a graph, hence aspherical (Mücksch, 2022).

The theorem singles out modularity and corank one as the conditions under which the localization map acquires a tractable homotopy theory. The conclusion is stronger than a bare homotopy-fibration statement: the fibers are not only identified up to homotopy, but reduced to a concrete class of affine rank-$k$0 Salvetti complexes. This gives a combinatorial description of the local topology of the map $k$1, and it is this rank-$k$2 reduction that makes the later inductive applications possible.

A plausible implication is that poset quasi-fibration is designed to capture precisely the amount of fiberwise control needed in oriented matroid topology when genuine topological fibrations are unavailable. In the present setting, that control is sufficient to propagate asphericity and to analyze $k$3.

4. Proof architecture

The proof begins by reducing the claim to the criterion in the definition. For $k$4 in $k$5, one must show that

$k$6

is a homotopy-equivalence. Once this is established, Quillen’s Theorem B applies and yields the quasi-fibration conclusion (Mücksch, 2022).

A key step is a decomposition of the poset-fibers. Fix a maximal cell $k$7. The set of lifts of the tope $k$8 to $k$9,

$x_0< x_1<\cdots< x_k\quad(x_i\in P).$0

forms a finite chain

$x_0< x_1<\cdots< x_k\quad(x_i\in P).$1

(Mücksch, 2022). Using this chain, the fiber

$x_0< x_1<\cdots< x_k\quad(x_i\in P).$2

is stratified into locally closed subposets $x_0< x_1<\cdots< x_k\quad(x_i\in P).$3, each either isomorphic to the dual covector complex of $x_0< x_1<\cdots< x_k\quad(x_i\in P).$4 or to a subcomplex controlled by a single hyperplane (Mücksch, 2022).

Shellability and discrete Morse theory then provide the homotopical simplification. Each $x_0< x_1<\cdots< x_k\quad(x_i\in P).$5 is isomorphic to a subcomplex of the covector sphere, which is shellable; shellability implies the existence of an acyclic matching with exactly one critical cell, and the patchwork theorem for matchings glues these local matchings into a global acyclic matching on the fiber (Mücksch, 2022). As a consequence, the fiber deformation-retracts onto its minimal elements, and those minimal elements are identified with the affine Salvetti complex of a rank-$x_0< x_1<\cdots< x_k\quad(x_i\in P).$6 oriented matroid (Mücksch, 2022).

Another key combinatorial ingredient is an isomorphism of covector subposets associated to modular flats. When $x_0< x_1<\cdots< x_k\quad(x_i\in P).$7 is modular, the restriction

$x_0< x_1<\cdots< x_k\quad(x_i\in P).$8

is a poset-isomorphism whenever $x_0< x_1<\cdots< x_k\quad(x_i\in P).$9 lies in a certain interval of flats (Mücksch, 2022). This is the mechanism that identifies the strata $\lvert\Delta(P)\rvert$0 with either full Salvetti-sphere pieces or rank-$\lvert\Delta(P)\rvert$1 pieces, and thereby completes the verification that all lower-fiber inclusions are homotopy equivalences.

5. Topological consequences for supersolvable oriented matroids

The principal application concerns supersolvable oriented matroids. In a supersolvable matroid, a flat $\lvert\Delta(P)\rvert$2 of corank one is obtained in a maximal chain of modular flats. By iteratively applying the long exact sequence of homotopy groups for poset quasi-fibrations and using that each rank-$\lvert\Delta(P)\rvert$3 affine Salvetti fiber is a graph, one obtains the corollary:

$\lvert\Delta(P)\rvert$4

This is stated as Corollary 6.6 / Theorem 1.1 in the paper (Mücksch, 2022).

The result generalizes the classical statement for supersolvable hyperplane arrangements due to Falk, Randell and Terao, now in the broader setting of oriented matroids (Mücksch, 2022). Since the argument does not require realizability, it extends asphericity beyond arrangement complements in the usual sense.

A further consequence is a structural description of the fundamental group. If

$\lvert\Delta(P)\rvert$5

is a chain of modular flats in a supersolvable matroid of rank $\lvert\Delta(P)\rvert$6, then each step yields a split extension of fundamental groups, and induction shows

$\lvert\Delta(P)\rvert$7

where each $\lvert\Delta(P)\rvert$8 is a free group of finite rank equal to $\lvert\Delta(P)\rvert$9 (Mücksch, 2022).

This furnishes an oriented-matroid analogue of the realizable case. It also shows that the quasi-fibration formalism is not merely a homotopy-theoretic abstraction: it produces explicit algebraic information about $f\colon P\to Q$0 by decomposing the topology along a modular chain.

6. Constructions, scope, and interpretive context

The paper also provides a simple construction of supersolvable oriented matroids, yielding many non-realizable supersolvable oriented matroids and, by the main theorem, aspherical CW-complexes (Mücksch, 2022). This establishes that the theory is not confined to realizable examples and that the $f\colon P\to Q$1-phenomenon survives in a genuinely oriented-matroidal regime.

One potential misconception is to treat poset quasi-fibration as a direct analogue of a Serre or Hurewicz fibration. The actual definition is weaker and entirely poset-theoretic: it requires homotopy-equivalence of lower-fiber inclusions $f\colon P\to Q$2, rather than a path-lifting or local triviality condition (Mücksch, 2022). Its force comes from Quillen’s Theorem B, which turns these combinatorial conditions into fiberwise homotopy information.

A second misconception would be to regard the fiber description as arbitrary. In this setting the fibers are specifically modeled by affine Salvetti complexes of rank $f\colon P\to Q$3, and hence by graphs up to homotopy (Mücksch, 2022). This low-dimensional fiber structure is exactly what makes the iterative asphericity proof work in the supersolvable case.

More broadly, the framework links several techniques—discrete Morse theory, shellability of subcomplexes of the covector complex, decomposition of poset fibers, and covector-poset isomorphisms associated to modular elements—into a single mechanism for controlling Salvetti complexes under localization (Mücksch, 2022). This suggests that modularity is not merely a lattice-theoretic convenience, but a structural condition that aligns combinatorics and homotopy theory in a particularly rigid way.

7. Relation to Salvetti-complex topology

Within the topology of oriented matroids, Salvetti complexes serve as combinatorial models analogous to those arising from hyperplane arrangements. The introduction of poset quasi-fibrations isolates a class of localization maps for which the homotopy-fiber can be computed from the underlying order structure. In the modular corank-one case, the map

$f\colon P\to Q$4

admits a fiber theory strong enough to support long exact sequences of homotopy groups and inductive topological arguments (Mücksch, 2022).

The significance of the concept is therefore twofold. First, it provides a new categorical-homotopical language for maps of finite posets associated with oriented matroids. Second, it produces concrete theorems: supersolvable Salvetti complexes are $f\colon P\to Q$5-spaces, and their fundamental groups are iterated semidirect products of finitely generated free groups (Mücksch, 2022).

In this sense, poset quasi-fibration is best understood not as an isolated definition, but as a method for extracting homotopy-theoretic consequences from the combinatorics of modular flats. Its prototype example is the localization of the Salvetti complex at a modular flat of corank one, where the theory achieves its clearest formulation and its strongest applications (Mücksch, 2022).