All Research

Abstract

Let X ⊂ ℂ^(n+1), n ≥ 2, be a smooth contractible affine hypersurface with the holomorphic density property. We prove that X × ℂ^n is biholomorphic to ℂ^(2n). The proof replaces the proper-embedding parameter in Huang's stabilization construction by a finite monic projection, retaining colliding fibers as curvilinear finite schemes. Their relative embedding space is a holomorphic submersion with Oka and sufficiently connected fibers on root-multiplicity strata. Stratified Oka interpolation and parametric Andersén–Lempert approximation yield compact capture in a fixed Runge Euclidean basin. Applications include K_n × ℂ^n ≅hol ℂ^(2n) for McLean's varieties, n ≥ 4, and X_KR × ℂ³ ≅hol ℂ⁶ for the Koras–Russell cubic. We also lower by one the sufficient ambient dimensions in Huang's specified nonlinearizable-action constructions, obtaining disconnected cyclic fixed loci on ℂ⁶ and a fixed contractible non-Euclidean surface on ℂ⁸.