A Hopf fixed point theorem for semi-algebraic maps
The article deals with the Hopf fixed point theorem for a semi-algebraic map over a real closed field \(K\). Let \(X\subset K^ n\) be a semi- algebraic set and \(\widetilde X \subseteq \text{Spec}_ R K[x_ 1,\dots,x_ n]\) be the corresponding constructible set. Any semialgebraic map \(\varphi : X \to X\) extends to a continuous map \(\widetilde{\varphi}: \widetilde{X} \to \widetilde{X}\). One can define the Lefschetz number of \(\varphi\) as \[ \text{tr }\varphi_ * = \sum(- 1)^ i \text{trace }(\varphi_ *: H_ i(X,\mathbb{Q}) \to H_ i(X,\mathbb{Q})). \] The author gets the following results: The fixed point set \(\text{Fix }\widetilde{\varphi}\) is closed in \(\widetilde{X}\). For \(X\) complete (i.e. \(X\) closed and bounded), \(\text{tr }\varphi_ * \neq 0 \implies \varphi\) has a fixed point. Define \(\text{Fringe}(\widetilde{X})\) as the set of points in \(\widetilde{X}\) which do not belong to any constructible subset \(\widetilde C \subset \widetilde X\) such that \(C\) is complete in \(X\). Then: \(\text{tr }\varphi_ * \neq 0 \implies \) either \(\varphi\) has a fixed point in \(X\) or \(\widetilde{\varphi}\) has a fixed point in \(\text{Fringe }(\widetilde{X})\). In any case \(\widetilde{\varphi}\) has a closed fixed point, and this fixed point can be taken in \(\text{Fringe }(\widetilde{X})\cup X\) if \(X\) is locally closed or \(K = \mathbb{R}\). The proofs are purely algebraic. For the entire collection see [Zbl 0756.00007].
- scientific article; zbMATH DE number 763533
- A note on semialgebraically proper maps
- Fixed points of semi-compatible mappings
- scientific article; zbMATH DE number 4136994
- scientific article; zbMATH DE number 1210718
- scientific article; zbMATH DE number 633392
- scientific article; zbMATH DE number 2073906
- Fixed point algebras
- Fixed point theory of parametrized equivariant maps
- Fixed point theorems for some families of maps
- On the integral Hodge conjecture for real varieties. I
- The real spectrum compactification of character varieties: characterizations and applications
- A fixed point theorem in o-minimal structures
- Transfer methods for o-minimal topology
- scientific article; zbMATH DE number 4136994 (Why is no real title available?)
- The Lefschetz coincidence theorem in o-minimal expansions of fields
This page was built for publication: A Hopf fixed point theorem for semi-algebraic maps
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4037347)
