Table of Contents
Fetching ...

Quadrangulations and the Lovász complex

Carmen Arana, Matěj Stehlík

TL;DR

This work characterizes when the Lovász complex $\mathsf{L}(G)$ of a graph is a surface, showing it occurs exactly when $G$ is a non-bipartite quadrangulation of the orbit space $\mathsf{L}(G)/\mathbb{Z}_2$ with every $4$-cycle facial. It then classifies all such Lovász complexes via the ambient surface, and conversely identifies graphs whose Lovász complex is a surface. The authors leverage $\mathbb{Z}_2$-index and cohomological index to obtain strengthened chromatic bounds for quadrangulations, particularly proving that odd quadrangulations of non-orientable surfaces force $\mathrm{ind}_{\mathbb{Z}_2}(\mathsf{L}(G))\ge 2$, and show that $\mathsf{L}(G)$ is non-tidy in these cases. They connect these topological insights to BUT-manifold phenomena and clarify how facial $4$-cycles govern the double-cover and orientability structure of $\mathsf{L}(G)$. Overall, the paper bridges Lovász's topological methods with graph-embedded surface quadrangulations to yield precise classifications and improved index bounds.

Abstract

The Lovász complex $L(G)$ of a graph $G$ is a deformation retract of its neighborhood complex, equipped with a canonical $Z_2$-action. We show that, under mild assumptions, $L(G)$ is homeomorphic to a surface if and only if $G$ is a non-bipartite quadrangulation of the orbit space $L(G)/Z_2$ in which every $4$-cycle is facial. This yields a classification of the Lovász complexes of all such quadrangulations. As an application, we contextualize a result of Archdeacon \emph{et al.}\ and Mohar and Seymour on the chromatic number of quadrangulations, obtaining a stronger statement about the $Z_2$-index.

Quadrangulations and the Lovász complex

TL;DR

This work characterizes when the Lovász complex of a graph is a surface, showing it occurs exactly when is a non-bipartite quadrangulation of the orbit space with every -cycle facial. It then classifies all such Lovász complexes via the ambient surface, and conversely identifies graphs whose Lovász complex is a surface. The authors leverage -index and cohomological index to obtain strengthened chromatic bounds for quadrangulations, particularly proving that odd quadrangulations of non-orientable surfaces force , and show that is non-tidy in these cases. They connect these topological insights to BUT-manifold phenomena and clarify how facial -cycles govern the double-cover and orientability structure of . Overall, the paper bridges Lovász's topological methods with graph-embedded surface quadrangulations to yield precise classifications and improved index bounds.

Abstract

The Lovász complex of a graph is a deformation retract of its neighborhood complex, equipped with a canonical -action. We show that, under mild assumptions, is homeomorphic to a surface if and only if is a non-bipartite quadrangulation of the orbit space in which every -cycle is facial. This yields a classification of the Lovász complexes of all such quadrangulations. As an application, we contextualize a result of Archdeacon \emph{et al.}\ and Mohar and Seymour on the chromatic number of quadrangulations, obtaining a stronger statement about the -index.

Paper Structure

This paper contains 7 sections, 12 theorems, 8 equations, 3 figures.

Key Result

Theorem 1.1

If $G \not\cong K_{2,3}$ is a connected, non-bipartite quadrangulation of a surface $S$ in which every $4$-cycle is facial, then $\mathop{\mathrm{\mathsf L}}\nolimits(G)$ is a double cover of $S$. Conversely, if $\mathop{\mathrm{\mathsf L}}\nolimits(G)$ is a closed surface, no neighborhood of $G$ do

Figures (3)

  • Figure 1: A graph (left) and its Lovász complex (right).
  • Figure 2: A face of a quadrangulation (left) and the corresponding faces of the Lovász complex (right).
  • Figure 3: Non-orientable surfaces of odd (left) and even (right) genus, with one-sided closed curves highlighted in thick red.

Theorems & Definitions (19)

  • Theorem 1.1
  • Theorem 1.2: AHNNO01MS02
  • Theorem 1.3: dL13Koz08Mat03MZ04
  • Theorem 1.4
  • Lemma 3.1
  • proof
  • Lemma 3.2
  • proof
  • Theorem 3.3
  • proof
  • ...and 9 more