Fixed point sets of homeomorphisms of compact surfaces

Every closed and non-empty subset of a compact surfaceS can be the fixed point set of a homeomorphism, andS also admits fixed point free homeomorphisms if it does not have the fixed point property. A partial extension to higher dimensions states that every closed and non-empty subset of a compactn-manifold can be the fixed point set of a surjective self-map. This research was partially supported by the National Research Council of Canada (Grant A 7579).     

On retractable sets and the fixed point property

Call a subsetA of an ordered setP retractable tob P iff the map that mapsA tob and leaves all other points fixed is a retraction. We prove fixed point theorems for sets that contain a retractable set and also use this tool to study the fixed point property for products. The results in this paper show that three classical approaches to the fixed point property: irreducible points, cutsets and lexicographic sums can be viewed as special cases of the situation described above.Presented by I. Rival.This research was funded in part by ONR grant nr. N00014-89-J-1824.     

Realization of fixed point sets

Letf:XX be a selfmap of a compact connected polyhedron, andA a nonempty closed subset ofX. In this paper, we shall deal with the question whether or not there is a mapg:XX homotopic tof such that the fixed point set Fixg ofg equalsA. We introduce a necessary condition for the existence of such a mapg. It is shown that this condition is easy to check, and hence some sufficient conditions are obtained.Partially supported by the Natural Science Foundation of Liaoning University.     

Most homeomorphisms with a fixed point have a Cantor set of fixed points

We show that, for any n ≠ 2, most orientation preserving homeomorphisms of the sphere S ²ⁿ have a Cantor set of fixed points. In other words, the set of such homeomorphisms that do not have a Cantor set of fixed points is of the first Baire category within the set of all homeomorphisms. Similarly, most orientation reversing homeomorphisms of the sphere S ²ⁿ⁺¹ have a Cantor set of fixed points for any n ≠ 0. More generally, suppose that M is a compact manifold of dimension > 1 and ≠ 4 and ${\mathcal{H}}$ is an open set of homeomorphisms h : M → M such that all elements of ${\mathcal{H}}$ have at least one fixed point. Then we show that most elements of ${\mathcal{H}}$ have a Cantor set of fixed points.     

On a fixed point theorem for partially ordered sets

An elementary combinatorial proof is presented of the following fixed point theorem: Let P be a finite partially ordered set with a cut-set X. If every subset of X has either a meet or a join, then P has the fixed point property. This theorem is strengthened to include a certain class of infinite partially ordered sets, as well.     

Convergence of approximating fixed point sets

Summary Five types of convergence of approximating fixed point sets are investigated. Applications to nonexpansive mappings in Hilbert spaces are given.

---

Riassunto Si studiano cinque tipi di convergenza di insiemi di punti fissi approssimanti con particolare attenzione alle mappe nonespansive in spazi di Hilbert.

     

Compact groups and fixed point sets

Some structure theorems for compact abelian groups are derived and used to show that every closed subset of an infinite compact metrizable group is the fixed point set of an autohomeomorphism. It is also shown that any metrizable product containing a positive-dimensional compact group as a factor has the property that every closed subset is the fixed point set of an autohomeomorphism.

     

Dimensions of fixed point sets of involutions

Suppose the fixed point set F of a smooth involution T:M → M on a smooth, closed and connected manifold M decomposes into two components Fⁿ and F² of dimensions n and 2, respectively, with n > 2 odd. We show that the codimension k of Fⁿ is small if the normal bundle of F² does not bound; specifically, we show that k≦ 3 in this case. In the more general situation where F is not a boundary, n (not necessarily odd) is the dimension of a component of F of maximal dimension and k is the codimension of this component, and fixed components of all dimensions j, 0≦ j≦ n, may occur, a theorem of Boardman gives that . In addition, we show that this bound can be improved to k≦ 1 (hence k = 1) for some specific values of n and some fixed stable cobordism classes of the normal bundle of F² in M; further, we determine in these cases the equivariant cobordism class of (M, T). Received: 25 August 2005     

On fixed point sets and Lefschetz modules for sporadic simple groups

We consider 2-local geometries and other subgroup complexes for sporadic simple groups. For six groups, the fixed point set of a noncentral involution is shown to be equivariantly homotopy equivalent to a standard geometry for the component of the centralizer. For odd primes, fixed point sets are computed for sporadic groups having an extraspecial Sylow p-subgroup of order p³, acting on the complex of those p-radical subgroups containing a p-central element in their centers. Vertices for summands of the associated reduced Lefschetz modules are described.     

On fixed point sets of distinguished collections for groups of parabolic characteristic

We determine the nature of the fixed point sets of groups of order p, acting on complexes of distinguished p-subgroups (those p-subgroups containing p-central elements in their centers). The case when G has parabolic characteristic p is analyzed in detail.     

The fixed point property for small sets

There exist exactly eleven (up to isomorphism and duality) ordered sets of size 10 with the fixed point property and containing no irreducible elements.The great part of the work presented here has been done when the author was visiting Ivan Rival at the University of Ottawa, Department of Computer Science.     

Absolute fixed point sets for continuum-valued maps

The notion of an absolute fixed point set in the setting of continuum-valued maps will be defined and characterized.

     

Absolute fixed point sets for multi-valued maps

The notion of a multi-valued absolute fixed point set (MAFS) will be defined and characterized in the setting of set-valued maps with images containing multiple components.

     

On the homotopy fixed point sets of circle actions on product spaces

Archiv der Mathematik - For arbitrary $$S^{1}$$ -actions on $$S^{m}_{{\mathbb {Q}}}$$ , $$S^{n}_{{\mathbb {Q}}}$$ , and $$S^{m}_{{\mathbb {Q}}}\times S^{n}_{{\mathbb {Q}}}$$ , we show the...     

Rotation sets of surface homeomorphisms

We consider the rotation setR of a homeomorphismf, isotopic to the identity, of a closed surface of genusg2. We show if Int(R) is nonempty and contains an element which is realized by an asymptotic measure, then all the rational points of Int(R) are realized by periodic orbits. We raise an example to show that the second condition above is indispensable ifg2. We also show that ifR contains a (g+1)-simplex whose vertices are realizable by periodic orbits, then the topological entropy off is positive.     

On homeomorphisms of the plane which have no fixed points

Homeomorphisms of the planeR ² onto itself are studied, subject to the restriction that they should preserve the sense of orientation and have no fixed points. The results of this investigation are then applied to the problem of determining which homeomorphisms can be embedded in flows, i.e., in one-parameter subgroups of the full homeomorphism group of the plane. A “free mapping” ofR ² onto itself is defined to be a homeomorphismT, without fixed points, such thatC∩TC=0 impliesC∩T ⁿ C=0 for alln≠0 wheneverC is a compact connected subset ofR ². Free mappings turn out to be just those homeomorphisms ofR ² onto itself that preserve orientation and have no fixed points. A fundamental property of free mappingsis the fact that ifT is a free mapping andA is any compact subset ofR ² then\(\mathop U\limits_{ - \infty }^{ + \infty } T^n A\) does not meet some unbounded connected subsetB ofR ². The proof of this theorem is lengthy, and will appear elsewhere. The theorem can be weakened by adding the extra assumption thatT be embedded in a flow; the proof of this weakened version is much easier, and is included in the present article. It is found that for an arbitrary free mappingT there exists a natural partition of the plane into a collection of “fundamental regions”, with the property that ifT is embedded in a flow then each of the fundamental regions is invariant under the flow. An example is given of a free mapping whose fundamental regions are bad enough so that the mapping cannot be embedded in a flow. It is proved, on the other hand, that if a free mappingT has just one fundamental region thenT is equivalent to a translation, i.e., there is a homeomorphismU ofR ² onto itself such thatUTU ^?1 is just the translation(x, y)→(x+1, y). Indeed,T is equivalent to a translation if and only ifT has just one fundamental region.     

On the fixed point sets of smooth involutions on the products of spheres

In this paper, we have, under some conditions on cohomology, that the fixed point set of a smooth involution on a product of spheres is of constant dimension.

     

Nielsen fixed point theory for partially ordered sets

In this paper, we introduce a Nielsen type number for any selfmap f of a partially ordered set of spaces. This Nielsen theory relates to various existing Nielsen type fixed point theories for different settings such as maps of pairs of spaces, maps of triads, fibre preserving maps, equivariant maps and iterates of maps, by exploring their underlying poset structures.