arXiv++ Combinatorics

We prove that the four-pentachoron homotopy \(4\)-sphere \(Q\) singled out in the census of Burke, Burton and Spreer is PL homeomorphic to the standard \(4\)-sphere. The key construction identifies the compact exterior of an explicit locally flat \(2\)-sphere in an auxiliary 39-vertex model of \(Q\) with the exterior of Budney, Burton and Hillman, then certifies its fibration by a normal cut followed by a relative collapse. The exterior identification uses finite checked moves, an exact regular-neighbourhood construction and a PL lemma controlling the passage through an ideal triangulation. Cutting the compact exterior along the specified normal hypersurface gives a manifold that collapses onto one boundary copy of the punctured \(3\)-torus in 209,144 elementary pairs; a marked product lemma identifies the cut as a product. The resulting integral monodromy realizes \(Q\) as a Cappell--Shaneson filling whose two surgery framings are standard by Gompf's results. The fibration certificate is independent of Issa's earlier PL-compatible constructions. Combined with the published census, the result establishes standardness for every homotopy \(4\)-sphere triangulated with at most four pentachora.

We consider spherical quadrangulations -- spherical embeddings of multigraphs, possibly with loops, so that every face has boundary walk of length 4 -- in which all vertices have degree 3 or 4. Interpreting each degree 4 vertex as a crossing, these embeddings can also be thought of as transversal immersions of cubic graphs which we refer to as the {\it extracted graphs}. We also consider quadrangulations of the disk in which interior vertices have degree 3 or 4 and boundary vertices have degree 2 or 3. First, we classify all such quadrangulations of the disk. Then, we provide four methods for constructing spherical quadrangulations, two of which use quadrangulations of the disk as input. Two of these methods provide one-parameter families of quadrangulations, for which we prove that the sequence of isomorphism types of extracted graphs is periodic. We close with a description of computer computations which yielded spherical quadrangulations for all but three cubic multigraphs on eight vertices.