{
  "schema_version": 1,
  "problem_number": "OWR-17135-036",
  "title": "Combinatorial Spheres inside Spheres on the Same Vertex Set: Partial Results on a Question of Santos",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "F. Santos asked in an Oberwolfach problem session (2019) whether every combinatorial d-sphere S with n ≥ d+3 vertices is a subcomplex of a combinatorial (d+1)-sphere with the same n vertices. We give partial results. If S has an edge vw with lk(v) ∩ lk(w) = lk(vw), equivalently an edge that lies in no missing face with at least three vertices, then the union of the cones v*ast(v) and w*ast(w) over the two antistars is such a sphere. This extends Datta's construction for flag spheres and recovers his results for joins and for spheres with a vertex of degree d+1. If S has no missing face of dimension d and some vertex link is a stacked sphere, the answer is also positive. We add reformulations in terms of completable antistars, one-point suspensions and balls, closure under connected sums and stellar subdivisions, and restrictions on a smallest counterexample in dimension 3. With computer certificates that are checked by an independent program, every combinatorial 3-sphere with 6 ≤ n ≤ 10 vertices lies in a 4-sphere on the same vertex set: 1320 of the 247,882 ten-vertex 3-spheres have no edge of the above kind, and each of them has an explicit extension. All 337 combinatorial 4-spheres with 9 vertices that we found have such an edge; the completeness of this list is a solver result without proof certificates, and we know no published count to compare it with. A Z_11-invariant neighborly 3-sphere without such an edge and two Z_13-invariant ones have extensions, but none in which every facet meets a fixed pair of vertices. Of nine Z_14-invariant neighborly 3-spheres without such an edge, six extend and three are undecided. These spheres are known from the enumerations of Kühnel and Lassmann and of Köhler and Lutz. The general question remains open. This is an unrefereed note.",
  "result_type": "COMPLETE_SCOPED_PROOF",
  "categories": [
    "math.CO",
    "math.GT"
  ],
  "keywords": [
    "combinatorial sphere",
    "simplicial sphere",
    "triangulated 3-sphere",
    "same vertex set",
    "one-point suspension",
    "link condition",
    "edge contraction",
    "stacked sphere",
    "neighborly sphere",
    "vertex-transitive triangulation",
    "bistellar flip",
    "computer-assisted proof",
    "DRUP proof",
    "Oberwolfach Reports",
    "OWR-17135-036",
    "math.CO",
    "math.GT",
    "open mathematics"
  ],
  "manuscript_version_date": "2026-09-30",
  "publication_date": "2026-09-30",
  "publication_date_kind": "first public online release",
  "version": "1.0",
  "date_modified": "2026-09-30",
  "presentation_revision_only": false,
  "doi_archived_file_version": "1.0",
  "status": "unrefereed preprint",
  "canonical_url": "https://eulersolve.org/papers/owr-17135-036/",
  "pdf_url": "https://eulersolve.org/papers/owr-17135-036/paper.pdf?v=eec0b55e4c33",
  "doi": "10.5281/zenodo.23065633",
  "zenodo_record_url": "https://zenodo.org/records/23065633",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "Partial results on Santos' Question 12 (OWR 39/2019): the link-condition edge construction extends Datta's flag construction; the computer-certified 3-sphere statement covers 6 ≤ n ≤ 10, and the 9-vertex 4-sphere statement is conditional on a solver result. The cyclic neighborly examples are known (Kühnel–Lassmann; Köhler–Lutz). The general question remains open.",
  "files": {
    "paper.pdf": {
      "sha256": "eec0b55e4c3347ac7d68b54702483aa8f1c91780c82fb3ac467ce47ce0276b63"
    },
    "source.zip": {
      "sha256": "bb4b7c4aa4229d76bc276338ded3ccee714629d3d5edb1d92c7a5c0b9cff53f7"
    },
    "verification_report.md": {
      "sha256": "cc11882ae6d489913691c3306f0561fe042ba0c7fb8a2c5e83463a99331d3a38"
    }
  },
  "ai_use_disclosure": "AI-assisted tools supported research, computation, proof development, and manuscript preparation. The author remains responsible for all claims and the final text."
}