AIM-SEVERAL_COMPLEX_VARIABLES-0010 · Complete proof (stated special case)

An Explicit Rational Homotopy from the Faran Map to a Linear Map in Target Dimension Four

Manuscript 8 September 2026 · Online 8 September 2026

math.CVUnrefereed preprint

Abstract

We construct a homotopy through proper rational holomorphic maps from the unit ball in \(\mathbb{C}^2\) to the unit ball in \(\mathbb{C}^4\) , joining \((z,w)\mapsto(z^3,\sqrt{3}zw,w^3,0)\) to \((z,w)\mapsto(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 \(C^1\) boundary topology. No classification of arbitrary ball-map homotopies is asserted.

Record

Affiliation
Mercury Software GmbH
Result
Complete proof (stated special case)
Categories
math.CV
Manuscript
8 September 2026
Online release
8 September 2026
Version
1.0
License
Creative Commons Attribution 4.0 International

Files and verification

The PDF is the canonical reading copy. The source archive contains the LaTeX manuscript, bibliography, reproducibility material, and audit documents without build artefacts.

Citation

Alper Ferudun, “An Explicit Rational Homotopy from the Faran Map to a Linear Map in Target Dimension Four,” EulerSolve Research Papers, AIM-SEVERAL_COMPLEX_VARIABLES-0010, 2026. https://doi.org/10.5281/zenodo.22662513.

BibTeX
@misc{Ferudun2026AimSeveralComplexVariables0010,
  author = {Ferudun, Alper},
  title = {An Explicit Rational Homotopy from the Faran Map to a Linear Map in Target Dimension Four},
  year = {2026},
  howpublished = {EulerSolve Research Papers},
  url = {https://eulersolve.org/papers/aim-several-complex-variables-0010/},
  doi = {10.5281/zenodo.22662513},
  note = {AIM-SEVERAL_COMPLEX_VARIABLES-0010; unrefereed preprint}
}