Relative Nielsen theory for noncompact spaces and maps

In this note, we generalize the various existing local and relative Nielsen type numbers to the setting of maps of noncompact ANR-pairs. Then we introduce general classes of admissible maps for which these numbers are well-defined. An application of these relative Nielsen numbers to differential equations is also given.     

Coincidence Nielsen numbers for covering maps for smooth manifolds

Let be maps between closed smooth manifolds of the same dimension, and let and be finite regular covering maps. If the manifolds are nonorientable, using semi-index, we introduce two new Nielsen numbers. The first one is the Linear Nielsen number NL(f,g), which is a linear combination of the Nielsen numbers of the lifts of f and g. The second one is the Nonlinear Nielsen number NED(f,g). It is the number of certain essential classes whose inverse images by p are inessential Nielsen classes. In fact, N(f,g)=NL(f,g)+NED(f,g), where by abuse of notation, N(f,g) denotes the coincidence Nielsen number defined using semi-index.     

Le théorème de Lefschetz–Hopf pour les applications compactes des espaces ULC

We prove the Lefschetz–Hopf fixed point theorem for compact maps of locally equiconnected spaces. Dédié à la mémoire de Jean Leray     

Selfcoincidences and roots in Nielsen theory

Given two maps f ₁ and f ₂ from the sphere S ^m to an n-manifold N, when are they loose, i.e. when can they be deformed away from one another? We study the geometry of their (generic) coincidence locus and its Nielsen decomposition. On the one hand, the resulting bordism class of coincidence data and the corresponding Nielsen numbers are strong looseness obstructions. On the other hand, the values which these invariants may possibly assume turn out to satisfy severe restrictions, e.g. the Nielsen numbers can only take the values 0, 1 or the cardinality of the fundamental group of N. In order to show this we compare different Nielsen classes in the root case (where f ₁ or f ₂ is constant) and we use the fact that all but possibly one Nielsen class are inessential in the selfcoincidence case (where f ₁ = f ₂). We also deduce strong vanishing results. Supported in part by DAAD (Germany) and CAPES (Brazil).     

Nielsen periodic point theory for periodic maps on orientable surfaces

Let denote a periodic self map of minimal period m on the orientable surface of genus g with g>1. We study the calculation of the Nielsen periodic numbers NPn(f) and NΦn(f). Unlike the general situation of arbitrary maps on such surfaces, strong geometric results of Jiang and Guo allow for straightforward calculations when n≠m. However, determining NPm(f) involves some surprises. Because fm=idFg, fm has one Nielsen class Em. This class is essential because L(idFg)=χ(Fg)=2−2g≠0. If there exists k<m with L(fk)≠0 then Em reduces to the essential fixed points of fk. There are maps g (we call them minLef maps) for which L(gk)=0 for all k<m. We show that the period of any minLef map must always divide 2g−2. We prove that for such maps Em reduces algebraically iff it reduces geometrically. This result eliminates one of the most difficult problems in calculating the Nielsen periodic point numbers and gives a complete trichotomy (non-minLef, reducible minLef, and irreducible minLef) for periodic maps on Fg.We prove that reducible minLef maps must have even period. For each of the three types of periodic maps we exhibit an example f and calculate both NPn(f) and NΦn(f) for all n. The example of an irreducible minLef map is on F₄ and is of maximal period 6. The example of a non-minLef map is on F₂ and has maximal period 12 on F₂. It is defined geometrically by Wang, and we provide the induced homomorphism and analyze it. The example of an irreducible minLef map is a map of period 6 on F₄ defined by Yang. No algebraic analysis is necessary to prove that this last example is an irreducible minLef map. We explore the algebra involved because it is intriguing in its own right. The examples of reducible minLef maps are simple inversions, which can be applied to any Fg. Using these examples we disprove the conjecture from the conclusion of our previous paper.     

Axioms for the equivariant Lefschetz number and for the Reidemeister trace

We characterize the Reidemeister trace, the equivariant Lefschetz number and the equivariant Reidemeister trace in terms of certain axioms. Dedicated to Albrecht Dold and Edward Fadell     

The constrained degree and fixed-point index theory for set-valued maps

In the first part of the paper we give a construction of a topological degree theory for set-valued tangent vector fields with convex and nonconvex values defined on nonsmooth closed subsets of a Banach space. The obtained homotopy invariant is an extension of the classical degree for vector fields on manifolds. In the second part we propose a fixed-point index for inward maps on arbitrary closed convex sets.     

Two, more readily computable equivariant Nielsen numbers I. Nielsen theory for M-ads

In this, the first of two papers outlining a Nielsen theory for “two, more readily computable equivariant numbers”, we define and study two Nielsen type numbers N(f,k;X−{Xν}_ν∈M) and N(f,k;X,{Xν}_ν∈M), where f and k are M-ad maps. While a Nielsen theory of M-ads is of interest in its own right, our main motivation lies in the fact that maps of M-ads accurately mirror one of two fundamental structures of equivariant maps. Being simpler however, M-ad Nielsen numbers are easier to study and to compute than equivariant Nielsen numbers. In the sequel, we show our M-ad numbers can be used to form both upper and lower bounds on their equivariant counterparts.The numbers N(f,k;X−{Xν}_ν∈M) and N(f,k;X,{Xν}_ν∈M), generalize the generalizations to coincidences, of Zhao's Nielsen number on the complement N(f;X−A), respectively Schirmer's relative Nielsen number N(f;X,A). Our generalizations are from the category of pairs, to the category of M-ads. The new numbers are lower bounds for the number of coincidence points of all maps f^′ and k^′ which are homotopic as maps ofM-ads to f, respectively k firstly on the complement of the union of the subspaces Xν in the domain M-ad X, and secondly on all of X. The second number is shown to be greater than or equal to a sum of the first of our numbers. Conditions are given which allow for both equality, and Möbius inversion. Finally we show that the fixed point case of our second number generalizes Schirmer's triad Nielsen number N(f;X₁∪X₂).Our work is very different from what at first sight appears to be similar partial results due to P. Wong. The differences, while in some sense subtle in terms of definition, are profound in terms of commutability. In order to work in a variety of both fixed point and coincidence points contexts, we introduce in this first paper and extend in the second, the concept of an essentiality on a topological category. This allows us to give computational theorems within this diversity. Finally we include an introduction to both papers here.     

Generalized KKM theorems on hyperconvex metric spaces and some applications

In this work, we establish the intersection property for a family of admissible subsets in a hyperconvex metric space, and we apply this intersection property to get generalized KKM theorems, coincidence theorems, variational inequality theorems and minimax inequality theorems.     

Generalized 2-KKM theorems and their applications in hyperconvex metric spaces

In this work, we first define the 2-KKM mapping and the generalized 2-KKM mapping on a metric space, and then we apply the property of the hyperconvex metric space to get a KKM theorem and a fixed point theorem without a compactness assumption. Next, by using this KKM theorem, we get some variational inequality theorems and minimax inequality theorems.     

Bockstein basis and resolution theorems in extension theory

We prove a generalization of the Edwards-Walsh Resolution Theorem:

Theorem. Let G be an abelian group withPG=P, where. Letn∈Nand let K be a connected CW-complex withπn(K)≅G,πk(K)≅0for0?k<n. Then for every compact metrizable space X with XτK (i.e., with K an absolute extensor for X), there exists a compact metrizable space Z and a surjective mapπ:Z→Xsuch that

(a)

π is cell-like,

(b)

dimZ?n, and

(c)

ZτK.

     

Nontrivial application of Nielsen theory to differential systems

In reply to a problem of Jean Leray concerning application of the Nielsen theory to differential systems for obtaining multiplicity results, we present a nontrivial example of such an application. The emphasis is on the parameter space in order to ensure that no subdomain becomes subinvariant under the related Hammerstein solution operator. To achieve this goal, we develop a general method applicable also for ordinary differential equations with or without uniqueness as well as for upper-Carathéodory differential inclusions. We are not aware that any alternative approach can be employed, even in the single-valued case.     

Two, more readily computable, equivariant Nielsen numbers II

In this paper, we present and make computations of two equivariant Nielsen type numbers NG(f(H),k(H)) and NG(f(H),k(H)). The second one is new, while the first one extends and clarifies one given earlier by the author and Jianhan Guo. Both numbers were defined here in terms of Nielsen theory of M-ads introduced in the prequel to this work. The theory of M-ads is also used to give both upper and lower bounds on our numbers, and to make specific computations. Our numbers moreover, fit together in the same way that the two Nielsen type periodic point numbers NPn(f) and NΦn(f) fit together. In particular, we show that NG(f(H),k(H)) is greater than or equal to a sum of numbers of the form NG(f(K),k(K)), and give conditions for equality and Möbius inversion. The periodic point theory results are then seen to follow from what are actually generalizations of them.We work with both fixed point, and coincidence point classes, in the context of a category with essentiality which we introduced in the prequel on M-ads. It is intended that this paper be read in tandem with said prequel.     

Nielsen classes of orientation reversing homeomorphisms and complementary domains of plane separating invariant continua

Let h be an orientation reversing planar homeomorphism and X be an invariant plane separating continuum. We show that there is a natural linear order on the invariant components of R²?X that resemble the one found in connected unions of circles invariant under the reflection r(x,y)=(−x,y). The main result relates to the Nielsen fixed point theory and work of Krystyna Kuperberg on fixed points of planar homeomorphisms in invariant continua.     

Computation of Nielsen numbers for maps of compact surfaces with boundary

In this paper we study the Nielsen number of a self-map f:M→M of a compact connected surface with boundary. Let G=π₁(M) be the fundamental group of M which is a finitely generated free group. We introduce a new algebraic condition called “bounded solution length” on the induced endomorphism φ:G→G of f and show that many maps which have no remnant satisfy this condition. For a map f that has bounded solution length, we describe an algorithm for computing the Nielsen number N(f).     

Proximal pointwise contraction

In this paper, we introduce the notion of proximal pointwise contraction and obtain the existence of a best proximity point on a pair of weakly compact convex subset of a Banach space and generalize a result of [W.A. Kirk, Mappings of generalized contractive type, J. Math. Anal. Appl. 32 (1970) 567-570; W.A. Kirk, H.K. Xu, Asymptotic pointwise contractions, Nonlinear Anal. 69 (2008) 4706-4712].     

Integer-valued fixed point index for compositions of acyclic maps

An integer-valued fixed point index for compositions of acyclic multivalued maps is constructed. This index has the additivity, homotopy invariance, normalization, commutativity, and multiplicativity properties. The acyclicity is with respect to the Čech cohomology with integer coefficients. The technique of chain approximation is used. Dedicated to the memory of Jean Leray     

On preimages of a class of generalized monotone operators

In this paper we first provide a geometric interpretation of the Minty-Browder monotonicity which allows us to extend this concept to the so called h-monotonicity, still formulated in an analytic way. A topological concept of monotonicity is also known in the literature: it requires the connectedness of all preimages of the operator involved. This fact is important since combined with the local injectivity, it ensures global injectivity. When a linear structure is present on the source space, one can ask for the preimages to even be convex. In an earlier paper, the authors have shown that Minty-Browder monotone operators defined on convex open sets do have convex preimages, obtaining as a by-product global injectivity theorems. In this paper we study the preimages of h-monotone operators, by showing that they are not divisible by closed connected hypersurfaces, and investigate them from the dimensional point of view. As a consequence we deduce that h-monotone local homeomorphisms are actually global homeomorphisms, as the proved properties of their preimages combined with local injectivity still produce global injectivity.     

Algorithms for finding connected separators between antipodal points

A set (or a collection of sets) contained in the Euclidean space Rm is symmetric if it is invariant under the antipodal map. Given a symmetric unicoherent polyhedron X (like an n-dimensional cube or a sphere) and an odd real function f defined on vertices of a certain symmetric triangulation of X, we algorithmically construct a connected symmetric separator of X by choosing a subcollection of the triangulation. Each element of the subcollection contains the vertices v and u such that f(v)f(u)?0.     

An n-dimensional version of Steinhaus' chessboard theorem

The main result of this paper is an n-dimensional version of the Steinhaus' chessboard theorem. Our theorem implies the Poincaré theorem as well as its parametric extension. But it is known that the Poincaré theorem is equivalent to the Brouwer Fixed-Point theorem.