Interior fixed points of unit-sphere-preserving Euclidean maps
© Khamsemanan et al.; licensee Springer 2012
Received: 29 June 2012
Accepted: 4 October 2012
Published: 17 October 2012
Schirmer proved that there is a class of smooth self-maps of the unit sphere in Euclidean n-space with the property that any smooth self-map of the unit ball that extends a map of that class must have at least one fixed point in the interior of the ball. We generalize Schirmer’s result by proving that a smooth self-map of Euclidean n-space that extends a self-map of the unit sphere of that class must have at least one fixed point in the interior of the unit ball.
For spaces X, Y and subsets , , a map is an extension of a map if for all . We denote by the unit ball in , by its boundary and by its interior.
If is an extension of and ϕ has no fixed points, then f must have an interior fixed point, that is, a fixed point in . However, if ϕ has a fixed point, then there need not be any interior fixed points.
If , the situation is more complicated. Of course the Brouwer fixed point theorem implies that a map must have at least one interior fixed point if it is an extension of a map that has no fixed points. But it was proved in  (see also ) that if the extension f is smooth, it may still be required to have interior fixed points for certain maps ϕ that have many fixed points. Representing the points of by complex numbers, let , for an integer d, be the power map defined by . If and is a smooth extension of , then f has at least one interior fixed point. It is also demonstrated in  that interior fixed points of extensions need not exist if or if f is not smooth. Schirmer generalized this interior fixed point result to smooth extensions for to show in Example 4.7 of  that if f is a smooth extension of a ‘sparse’ map , a generalization of that is defined below, of degree d such that , then f must have at least one interior fixed point.
Returning to the case , if we extend the map without fixed points to a map , there still must be a fixed point of f in . The reason for the interior fixed points of the extension of the map of without fixed points, namely that and , lie in different components of , where , applies also to the extension since those points are also in different components of .
On the other hand, the reason for the presence of fixed points in for smooth extensions of certain maps of demonstrated in  is considerably more subtle. Therefore, it is reasonable to ask whether such fixed points would persist if, instead of smooth extensions of , we consider extensions that are smooth Euclidean maps, that is, maps . Thus, we ask whether there still must be fixed points of f in if we allow f to map points of outside of .
We will prove that the interior fixed points do persist, even in this more general setting. As in the case of self-maps of balls, the interior fixed points of Euclidean maps are detected by means of a theorem that relates the index of a fixed point of to its index as a fixed point of an extension. We will therefore devote Section 2 to a discussion of the properties of the fixed point index that we will use. In Section 3, we prove that a smooth extension of a power map for must have at least one interior fixed point. Section 4 then contains the proof that Schirmer’s result generalizes to smooth extensions of sparse maps that satisfy the same degree restrictions.
2 The fixed point indices
Before extending the results of [1, 2] and  to the case of a smooth Euclidean map extending , we need to define the relevant fixed point indices. We will consider the restriction . Since our goal is to establish conditions for the existence of fixed points on the interior of , the behavior of the function outside of is not relevant. Therefore, we will make use of the indices and of an isolated fixed point . We do so by generalizing the approach used in  (see also ).
Note that F sends the origin, lower half-plane and to itself respectively. Also, for . The index is equal to in this setting as in the traditional definition of the index. Moreover, is identified with , which can be computed as the degree of the map where is the retraction defined by .
3 Unit-circle-preserving maps of the plane
Brown, Greene and Schirmer proved
Let be a smooth map with a finite number of fixed points such that for all for some , where is the closed two-dimensional ball with the boundary . If π is a fixed point of f that lies in , then either or .
The contractibility of implies the following corollary.
Corollary 2 
Suppose is a smooth map such that for all , for some . Then there exists such that .
We will extend Theorem 1 to maps by modifying the proof of Theorem 1 in . Corollary 2 will then extend to maps .
Theorem 3 Let be a smooth map with a finite number of fixed points such that for all for some . If π is a fixed point of f that lies in , then either or .
for in an ϵ-neighborhood of the origin, for sufficiently small and for . Let Γ be a circle of radius about the origin.
for all t. This tells us that the -coordinate of the curve is a strictly monotone function of t. In particular, the curve only crosses the -axis once. This implies the desired result since the winding number of can then only be either 0 or −1.
Notice that it is never specified that f maps into itself. In considering the map , although it is assumed that F maps the exterior of the disc to the exterior of the disc, the proof allows the image of the interior of the disc under F to lie anywhere in . □
Let be the restriction of to . Since is contractible, the sum of the indices of equals one, and therefore for some . But then as well, so has a fixed point in the interior of . Therefore, we can extend Corollary 2 as the following result.
Corollary 4 Let be a smooth map such that for all for some . Then there exist such that .
4 Interior fixed points of a map
Definition 1 (, p.34)
where is the set of fixed point classes of ϕ.
A smooth map is sparse if it is transversely fixed and it has fixed points.
In , p.45 Schirmer obtained the following result.
Theorem 5 Let be a sparse map of degree d and suppose is a smooth map extending ϕ. If , then f must have a fixed point in .
We will extend this result as a consequence of the following
Theorem 6 Given a smooth map and a smooth map extending ϕ, suppose that is an isolated fixed point of f and that is a nonsingular linear transformation. Then either or .
This then means that the index is the degree of , where for .
for some independent of ε and due to the fact that is nonsingular by hypothesis.
Since is a nonsingular linear map, this last degree is easily seen to be 0, or ±1. But the images of of the upper and lower hemisphere are each contained entirely in either the lower or upper half-space. This means that is of degree 0 or is homotopic in to the suspension of . □
We can use Theorem 6 to extend Theorem 5 to the case . The following is a modified version of part of . Note that despite the fact that the case is solved in the previous section, the new material presented below extends the solution to all the cases.
Suppose we have and a smooth map extending ϕ. A fixed point class F of f is called a common fixed point class of f and ϕ if there exists an essential fixed point class of ϕ which is contained in F.
where is the number of essential and transversally common fixed point classes of f and ϕ.
Note that this formula is still true for the case .
If is a sparse map of degree d then for all d and all .
Hence, we have just proven the following
As defined in , p.2, the extension Nielsen number is a lower bound for the number of fixed points on of continuous extensions of a continuous map ϕ. It is equal to the number of essential (classical) fixed point classes F of f with . A fixed point class F is representable on if there exists a subset with . The smooth extension number is the number of essential (classical) fixed point classes F of f which are not representable on . It is a lower bound for the number of fixed points in of a smooth extension of a smooth and transversally fixed map ϕ.
Proof Our proof is modeled on the proofs of Proposition 4.3 and Corollary 4.4 in . For any essential fixed point class F of f, since ϕ is sparse, contains fixed points p such that and fixed points p such that . This means that F is representable on if and only if . By the definitions of all the Nielsen numbers involved, we have the result stated above for .
The result for can be obtained in a similar manner by using Corollary 2.6 from  along with the fact that all fixed point classes of a sparse map are essential. □
By the definitions of in  and the definition of defined early, we obtain
We are now ready to prove the following Theorem.
Theorem 10 Let , and let be a sparse map of degree d and suppose is a smooth map extending ϕ. If , then f must have a fixed point in .
Thus, every smooth extension over of a sparse map of of degree d with has a fixed point on the interior of . □
This work originated with Catherine Lee’s PhD dissertation under the supervision of Professor Robert F. Brown. The first author has been supported by the Thailand Research Fund grant number MRG5580232 under the mentorship of Professor Robert F. Brown of the Department of Mathematics, UCLA and Professor Sompong Dhompongsa of the Department of Mathematics, Chiang Mai University. She wishes to thank TRF as well. Last but not least, the authors would like to express their appreciation to both reviewers for their thorough reviews and many useful suggestions and comments.
- Brown RF, Greene RE, Schirmer H: Fixed points of map extensions. Lecture Notes in Math. 1411. In Topological Fixed Point Theory and Applications. Springer, Berlin; 1989:24–45.View ArticleGoogle Scholar
- Brown RF, Greene RE: An interior fixed point property of the disc. Am. Math. Mon. 1994, 101(1):39–47. 10.2307/2325123MathSciNetView ArticleMATHGoogle Scholar
- Schirmer H: Nielsen theory of transversal fixed point sets. Fundam. Math. 1992, 141(1):31–59. With an appendix by Robert E. GreeneMathSciNetMATHGoogle Scholar
- Dold A: Fixed point index and fixed point theorem for Euclidean neighborhood retract. Topology 1965, 4: 1–9. 10.1016/0040-9383(65)90044-3MathSciNetView ArticleMATHGoogle Scholar
- Schirmer H: A relative Nielsen number. Pac. J. Math. 1986, 122: 459–473. 10.2140/pjm.1986.122.459MathSciNetView ArticleMATHGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.