English

On definable open continuous mappings

Algebraic Geometry 2021-07-08 v2

Abstract

For a definable continuous mapping ff from a definable connected open subset Ω\Omega of Rn\mathbb R^n into Rn,\mathbb R^n, we show that the following statements are equivalent: (i) The mapping ff is open. (ii) The fibers of ff are finite and the Jacobian of ff does not change sign on the set of points at which ff is differentiable. (iii) The fibers of f{f} are finite and the set of points at which ff is not a local homeomorphism has dimension at most n2.n - 2. As an application, we prove that Whyburn's conjecture is true for definable mappings: A definable open continuous mapping of one closed ball into another which maps boundary homeomorphically onto boundary is necessarily a homeomorphism.

Keywords

Cite

@article{arxiv.2106.01593,
  title  = {On definable open continuous mappings},
  author = {Si Tiep Dinh and Tien Son Pham},
  journal= {arXiv preprint arXiv:2106.01593},
  year   = {2021}
}
R2 v1 2026-06-24T02:46:51.280Z