Ribbon cobordisms as a partial order
Marius Huber
TL;DR
The paper proves that ribbon rational homology cobordisms induce a partial order on aspherical 3-manifolds by extending Agol's knot-level partial order to the 3-manifold setting. It adapts the analysis of maps between fundamental groups to the realm of representation varieties $R_n(X)$ into $SO(n)$, leveraging residual finiteness to show inclusions are isomorphisms and yield orientation-preserving homotopy equivalences. In the aspherical case, these homotopy equivalences lift to homeomorphisms (by the Borel conjecture in dimension three), thereby proving that if there exist ribbon cobordisms in either direction between aspherical or lens spaces, the manifolds are homeomorphic. This confirms the antisymmetry aspect of the conjectured preorder for aspherical 3-manifolds and ties the result to the broader Daemi–Lidman–Vela-Vick–Wong program, with independent contemporary confirmations by FMZ.
Abstract
We show that the notion of ribbon rational homology cobordism yields a partial order on the set of aspherical $3$-manifolds, thus supporting a conjecture formulated by Daemi, Lidman, Vela-Vick and Wong. Our proof is built on Agol's recent proof of the fact that ribbon concordance yields a partial order on the set of knots in the 3-sphere.
