Consecutive non-orientable embedding obstructions

Status open medium confidence

The conjecture asks whether the minor-minimal obstruction sets for distinct non-orientable surfaces can overlap, i.e., whether a single graph $G$ can be a forbidden minor for both $N_k$ and $N_m$ with $k \neq m$. For orientable surfaces each obstruction embeds in the next surface in the hierarchy, making the obstruction sets disjoint; the analogous question for non-orientable surfaces remains unresolved. No verified paper posted after 2007 was found that settles this problem.

Reviewer notes. The OPG problem page (openproblemgarden.org) was unreachable (ECONNREFUSED), so the original references listed there could not be checked. The Mohar–Thomassen 'Graphs on Surfaces' open-problems page lists several conjectures about non-orientable surface obstructions (e.g., Glover's Conjecture 6.6.2) but not this specific one by name. Multiple literature searches found no post-2007 paper that directly addresses whether obstruction sets for distinct non-orientable surfaces can overlap. The closely related paper arXiv:2301.11042 (Georgakopoulos, Combinatorica 2025) on excluded minors for compact surfaces does not address the question. Confidence is medium rather than high because the OPG page and some PDFs were inaccessible, leaving a small chance of a relevant result being missed.

Auto-reviewed 2026-05-08 with claude-sonnet-4-6 (web search enabled) · 184s.

Conjecture. Is there a graph $ G $ that is a minor-minimal obstruction for two non-orientable surfaces?
Keywords: minor · surface