{
  "schema_version": 1,
  "problem_number": "AIM-TOPOLOGY-0102",
  "title": "A Four-Point Counterexample to Excision for Directed Cubical Homology of Closure Spaces",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "Bubenik and Milićević defined cubical singular homology theories of Čech closure spaces from an interval and either the product or inductive product. Excision is known for the product theories and was left open for the three inductive theories. We give a four-point counterexample for the directed interval J₊. For X = J₊ ⊡ J₊, an interior cover {U,V} has H_1^{(J₊,⊡)}(V,U ∩ V; ℤ) ≅ ℤ, generated by the difference of the two coordinate edges. Under inclusion into (X,U), this class is the boundary of the identity square. Hence the excision map is not injective. The calculation is integral, exact, and accompanied by two independently implemented finite-chain checks. This is an unrefereed note and makes no absolute priority claim.",
  "result_type": "COMPLETE_COUNTEREXAMPLE",
  "categories": [
    "math.AT"
  ],
  "keywords": [
    "closure spaces",
    "directed cubical homology",
    "excision",
    "finite chain complexes",
    "counterexamples",
    "AIM-TOPOLOGY-0102",
    "open mathematics",
    "mathematical proof",
    "math.AT"
  ],
  "manuscript_version_date": "2026-09-02",
  "publication_date": "2026-09-02",
  "publication_date_kind": "first public online release",
  "version": "1.0 (typesetting revision 2026-09-05)",
  "date_modified": "2026-09-05",
  "presentation_revision_only": true,
  "doi_archived_file_version": "1.0",
  "status": "unrefereed preprint",
  "canonical_url": "https://eulersolve.org/papers/aim-topology-0102/",
  "pdf_url": "https://eulersolve.org/papers/aim-topology-0102/paper.pdf?v=c87e0c0be3a2",
  "doi": "10.5281/zenodo.22245271",
  "zenodo_record_url": "https://zenodo.org/records/22245271",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": null,
  "files": {
    "paper.pdf": {
      "sha256": "c87e0c0be3a2c9d331ee41d60e652ebd21658a6539c7bc18bd9f033a1615bc84"
    },
    "source.zip": {
      "sha256": "f31a6e50bbe4459887f9e802c4a372ad608727935ba42e124d03aab24e538326"
    },
    "verification_report.md": {
      "sha256": "e50223cddc9c97cf4b350e98747df70315b54cae3b459fe896073b94b39d58c2"
    }
  },
  "ai_use_disclosure": "AI-assisted tools supported literature search, computation, proof auditing, and manuscript preparation. The author remains responsible for all claims and the final text."
}