Injective endomorphisms of real algebraic sets are surjective
It is proved that injective algebraic mappings from a real algebraic set \(X\) to itself are surjective. In the complex case (more generally over algebraically over algebraically closed field of characteristic 0) and for regular mappings this result was proved by \textit{J. Ax} [Ann. Math., II. Ser. 88, 239-271 (1968; Zbl 0195.05701)]. In the real case this result was proved by \textit{A. Białynicki-Birula} and \textit{M. Rosenlicht} [Proc. Am. Math. Soc. 13, 200-203 (1962; Zbl 0107.14602)] for \(X=\mathbb{R}^n\), later by \textit{A. Borel} [Arch. Math. 20, 531-537 (1969; Zbl 0189.21402)] for \(X\) smooth. \textit{A. Tognoli} [Boll. Unione Mat. Ital., VII. Ser., B7, No.3, 719-733 (1993; Zbl 0803.14028)] proposed a proof in the case where \(X\subset \mathbb{R}^n\) may be singular, buthis proof is incomplete. The precise statement of the result proved by the author is the following: If \(X\subset \mathbb{R}^n\) is algebraic, \(f:X\to X\) is an injective continuous mapping such that the graph of \(f\) is algebraic (in particular \(f\) may be regular), then \(f\) is surjective. The proof of the result, in somewhat more general setting, uses Borel-Moore homology for semialgebraic sets. The essential ingredient is the notion of arcwise symmetric set, introduced by the author [\textit{K. Kurdyka}, Math. Ann. 282, No. 3, 445-462 (1988; Zbl 0686.14027)] and generalized in the paper under review. It allows to define a noetherian topology, finer than the Zariski topology, on any semialgebraic set. Irreducible components (in this topology) of sets or germs are preserved by injective algebraic mappings.
- scientific article; zbMATH DE number 509949
- Topology of injective endomorphisms of real algebraic sets
- Injective endomorphisms of algebraic and analytic sets
- scientific article; zbMATH DE number 701205
- Injective endomorphisms of algebraic varieties
- Surjectivity of certain injective semialgebraic transformations of \({\mathbb{R}}\) n
- Injective Morphisms of Real Algebraic Varieties
- Endomorphisms surjectifs D'algebres universelles
- Algebrability of the set of everywhere surjective functions on \(\mathbb C\)
- Algebraic structures in the sets of surjective functions
- Surjectivity of certain injective semialgebraic transformations of \({\mathbb{R}}\) n
- Motivic-type invariants of blow-analytic equivalence.
- An eigenvalue condition for the injectivity and asymptotic stability at infinity
- Arc-symmetric sets and arc-analytic mappings
- scientific article; zbMATH DE number 509949 (Why is no real title available?)
- scientific article; zbMATH DE number 794177 (Why is no real title available?)
- Arc-wise analytic stratification, Whitney fibering conjecture and Zariski equisingularity
- On the injective self-maps of algebraic varieties
This page was built for publication: Injective endomorphisms of real algebraic sets are surjective
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1298124)
