A non-face characterization of spheres on few vertices

TL;DR

This paper provides a simple combinatorial criterion to characterize simplicial spheres with exactly d+4 vertices based on the intersection patterns of their minimal non-faces.

Contribution

It introduces a new combinatorial characterization of simplicial d-spheres on d+4 vertices using intersection patterns of minimal non-faces.

Findings

Characterization applies to simplicial spheres with d+4 vertices.

Criterion involves the disjointness and intersection patterns of minimal non-faces.

Provides a practical method to identify such spheres.

Abstract

We prove a relatively simple combinatorial characterization of simplicial $d$-spheres on $d+4$ vertices. Our criteria are given in terms of the intersection patterns of a simplicial complex's family of minimal non-faces. Namely, let $\Sigma$ be a simplicial complex on $d+4$ vertices and let $\mathcal{F}$ be its family of minimal non-faces. Then $\Sigma$ is a $d$-sphere if and only if $|\mathcal{F}|=n\geq 3$ is odd and there is an ordering $A_0,\ldots, A_{n-1}$ of the minimal non-faces, indices taken modulo $n$, such that successive $A_i$ are disjoint and the alternating $\frac{(n-1)}{2}$-fold intersections $A_i\cap A_{i+2} \cap A_{i+4} \cap \cdots \cap A_{i+n-3}$ partition the vertex set.