{
  "schema_version": 1,
  "problem_number": "AIM-SEVERAL_COMPLEX_VARIABLES-0010",
  "title": "An Explicit Rational Homotopy from the Faran Map to a Linear Map in Target Dimension Four",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "We construct a homotopy through proper rational holomorphic maps from the unit ball in C^2 to the unit ball in C^4, joining (z,w) -> (z^3,sqrt(3)zw,w^3,0) to (z,w) -> (z,w,0,0). The construction answers the explicit target-four question in the AIM list on the Cauchy-Riemann equations. A mixed-term polynomial family of coefficient rank four joins a unitary transform of the Faran map to a partially tensored quadratic map. An explicit rational segment then degenerates to a Whitney map, which is joined to the linear embedding. The full family is jointly continuous on the closed source ball, and each slice extends holomorphically past that ball. All slices have rational degree at most three. We prove a uniform estimate at the degenerating endpoint and explain why this particular path is not continuous in the C1 boundary topology. No classification of arbitrary ball-map homotopies is asserted.",
  "result_type": "COMPLETE_PROOF_OF_DISPLAYED_SPECIAL_CASE",
  "categories": [
    "math.CV"
  ],
  "keywords": [
    "Faran map",
    "proper holomorphic maps",
    "complex unit balls",
    "rational homotopy",
    "CR geometry",
    "AIM-SEVERAL_COMPLEX_VARIABLES-0010",
    "open mathematics",
    "mathematical proof",
    "math.CV"
  ],
  "manuscript_version_date": "2026-09-08",
  "publication_date": "2026-09-08",
  "publication_date_kind": "first public online release",
  "version": "1.0",
  "date_modified": "2026-09-08",
  "presentation_revision_only": false,
  "doi_archived_file_version": "1.0",
  "status": "unrefereed preprint",
  "canonical_url": "https://eulersolve.org/papers/aim-several-complex-variables-0010/",
  "pdf_url": "https://eulersolve.org/papers/aim-several-complex-variables-0010/paper.pdf?v=33b1a9fa4ecb",
  "doi": "10.5281/zenodo.22662513",
  "zenodo_record_url": "https://zenodo.org/records/22662513",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "Complete proof of the displayed Faran-to-linear proper rational B2-to-B4 homotopy, not the general homotopy-invariants question; closed-ball C0 but not C1; no wholly polynomial path is claimed. Bounded source comparisons are retained; no priority certificate.",
  "files": {
    "paper.pdf": {
      "sha256": "33b1a9fa4ecbbd7cd24daa626420cfe6ab4239b217358b32abb9e9e7a079f809"
    },
    "source.zip": {
      "sha256": "f54015194a19c580828c529e6e017c7577582cfb43d1a1035bb5ed766dc60d7e"
    },
    "verification_report.md": {
      "sha256": "dcf0bc363a5e7d9779bc9cae307c9fd79049de2edc1ace066f71b1ec0585e5cc"
    }
  },
  "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."
}