For a given pair of maps f,g:X->M from an arbitrary topological space to an n-manifold, the Lefschetz homomorphism is a certain graded homomorphism L:H(X)->H(M) of degree (-n). We prove a Lefschetz-type coincidence theorem: if the Lefschetz homomorphism is nontrivial then there is an x in X such that f(x)=g(x).
A Lefschetz-type coincidence theorem for two maps f,g:X->Y from an arbitrary topological space X to a manifold Y is given: I(f,g)=L(f,g), the coincidence index is equal to the Lefschetz number. It follows that if L(f,g) is not equal to zero then there is an x in X such that f(x)=g(x). In particular, the theorem contains some well-known coincidence results for (i) X,Y manifolds and (ii) f with acyclic fibers.
The Lefschetz number and fixed point index can be thought of as two different descriptions of the same invariant. The Lefschetz number is algebraic and defined using homology. The index is defined more directly from the topology and is a stable homotopy class. Both the Lefschetz number and index admit generalizations to coincidences and the comparison of these invariants retains its central role. In this paper we show that the identification of the Lefschetz number and index using formal properties of the symmetric monoidal trace extends to coincidence invariants. This perspective on the coinc…
Let $f_1,..., f_k:X\to N$ be maps from a complex $X$ to a compact manifold $N$, $k\ge 2$. In previous works \cite{BLM,MS}, a Lefschetz type theorem was established so that the non-vanishing of a Lefschetz type coincidence class $L(f_1,...,f_k)$ implies the existence of a coincidence $x\in X$ such that $f_1(x)=...=f_k(x)$. In this paper, we investigate the converse of the Lefschetz coincidence theorem for multiple maps. In particular, we study the obstruction to deforming the maps $f_1,...,f_k$ to be coincidence free. We construct an example of two maps $f_1,f_2:M\to T$ from a sympletic $4$-man…
For any two continuous maps $f,g$ between two solvmanifolds of same dimension satisfying the Mostow condition, we give a technique of computation of the Lefschetz coincidence number of $f,g$. This result is an extension of the result of Ha, Lee and Penninckx for completely solvable case.
In the setting of continuous maps between compact orientable manifolds of the same dimension, there is a well known averaging formula for the coincidence Lefschetz number in terms of the Lefschetz numbers of lifts to some finite covering space. We state and prove an analogous averaging formula for the coincidence Reidemeister trace. This generalizes a recent formula in fixed point theory by Liu and Zhao. We give two separate and independent proofs of our main result: one using methods developed by Kim and the first author for averaging Nielsen numbers, and one using an axiomatic approach for t…
For two differentiable maps between two manifolds of possibly different dimensions, the local and global coincidence homology classes are introduced and studied by Bisi- Bracci-Izawa-Suwa (2016) in the framework of Cech-de Rham cohomology. We take up the problem from the combinatorial viewpoint and give some finer results, in particular for the local classes. As to the global class, we clarify the relation with the cohomology coincidence class as studied by Biasi-Libardi-Monis (2015). In fact they introduced such a class in the context of several maps and we also consider this case. In particu…
We adapt the definition of the Vietoris map to the framework of finite topological spaces and we prove some coincidence theorems. From them, we deduce a Lefschetz fixed point theorem for multivalued maps that improves recent results in the literature. Finally, it is given an application to the approximation of discrete dynamical systems in polyhedra.
Let $f,g: X\to G/K$ be maps from a closed connected orientable manifold $X$ to an orientable coset space $M=G/K$ where $G$ is a compact connected Lie group, $K$ a closed subgroup and $\dim X=\dim M$. In this paper, we show that if $L(f,g)=0$ then $N(f,g)=0$; if $L(f,g)\ne 0$ then $N(f,g)=R(f,g)$ where $L(f,g), N(f,g)$, and $R(f,g)$ denote the Lefschetz, Nielsen, and Reidemeister coincidence numbers of $f$ and $g$, respectively. When $\dim X> \dim M$, we give conditions under which $N(f,g)=0$ implies $f$ and $g$ are deformable to be coincidence free.
We define the notion of valuation on simplicial maps between geometric realizations of simplicial complexes in $\mathbb{R}^n$. Valuations on simplicial maps are analogous to valuations on sets. In particular, we define the Lefschetz volumes, which are analogous to the intrinsic volumes of subsets of $\mathbb{R}^n$. Our definition not only provides a generalization of the Lefschetz number, but also yields a Hadwiger-style classification theorem for all such valuations.
In this paper we study the spaces of $q$-tuples of points in a Euclidean space, without $k$-wise coincidences (configuration-like spaces). A transitive group action by permuting these points is considered, and some new upper bounds on the genus (in the sense of Krasnosel'skii--Schwarz and Clapp--Puppe) for this action are given. Some theorems of Cohen--Lusk type for coincidence points of continuous maps to Euclidean spaces are deduced.
Let M to B, N to B be fibrations and f1,f2 :M to N be a pair of fibre-preserving maps. Using normal bordism techniques we define an invariant which is an obstruction to deforming the pair f1,f2 over B to a coincidence free pair of maps.In the special case where the two fibrations are the same and one of the maps is the identity, a weak version of our ω-invariant turns out to equal Dold's fixed point index of fibre-preserving maps. The concepts of Reidemeister classes and Nielsen coincidence classes over B are developed. As an illustration we compute e.g. the minimal number of coincidence compo…
Let $f_1,...,f_k:M\to N$ be maps between closed manifolds, $N(f_1,...,f_k)$ and $R(f_1,...,f_k)$ be the Nielsen and the Reideimeister coincidence numbers respectively. In this note, we relate $R(f_1,...,f_k)$ with $R(f_1,f_2),...,R(f_1,f_k)$. When $N$ is a torus or a nilmanifold, we compute $R(f_1,...,f_k)$ which, in these cases, is equal to $N(f_1,...,f_k)$.
Given two fiberwise maps f1, f2 between smooth fiber bundles over a base manifold B, we develop techniques for calculating their Nielsen coincidence number. In certain settings we can describe the Reidemeister set of (f1,f2) as the orbit set of a group operation of π1(B). The size and number of orbits captures crucial extra information. E.g. for torus bundles of arbitrary dimensions over the circle this determines the minimum coincidence numbers of the pair (f1,f2) completely. In particular we can decide when f1 and f2 can be deformed away from one another or when a fiberwise selfmap can be ma…
In this article we studied Nielsen coincidence theory for maps between manifolds of same dimension without hypotheses on orientation. We use the definition of semi-index of a class, we review the definition of defective classes and study the appearance of defective root classes. We proof a semi-index product formula type for lifting maps and we presented conditions such that defective coincidence classes are the only essencial classes.
We give new axioms for the Lefschetz number based on Hadwiger's characterization of the Euler characteristic as the unique lattice valuation on polyhedra which takes value 1 on simplices. In the setting of maps on abstract simplicial complexes, we show that the Lefschetz number is unique with respect to a valuation axiom and an axiom specifying the value on a simplex. These axioms lead naturally to the classical computation of the Lefschetz number as a trace in homology. We then extend this approach to continuous maps of polyhedra, assuming an extra homotopy invariance axiom. We also show that…
The aim of this paper is to generalize some of the properties and results regarding both the coincidence point set and the common fixed point set of any two digitally continuous maps to the case of several (more than two) digitally continuous mappings. Moreover, we study how rigidity may affect these coincidence and homotopy coincidence point sets. Also, we investigate whether an established result by Staecker in Nielsen classical topology regarding the coincidence set for many maps still remains valid in the digital topological setting.
We consider sufficient conditions of local removability of coincidences of maps f,g:N->M, where M,N are manifolds with dimensions dimN>dimM. The coincidence index is the only obstruction to the removability for maps with fibers either acyclic or homeomorphic to spheres of certain dimensions. We also address the normalization property of the index and coincidence-producing maps.
We show that any two holomorhpic maps, not both of which are constant, from a generalized Hopf manifold to its base must have a coincidence. We prove a similar result for holomorphic maps from a generalized Calabi-Eckmann manifold.
We discuss coincidences of pairs (f_1, f_2) of maps between manifolds. We recall briefly the definition of four types of Nielsen numbers which arise naturally from the geometry of generic coincidences. They are lower bounds for the minimum numbers MCC and MC which measure to some extend the 'essential' size of a coincidence phenomenon. In the setting of fixed point theory these Nielsen numbers all coincide with the classical notion but in general they are distinct invariants. We illustrate this by many examples involving maps from spheres to the real, complex or quaternionic projective space K…
Given two maps between smooth manifolds, the obstruction to removing their coincidences (via homotopies) is measured by minimum numbers. In order to determine them we introduce and study an infinite hierarchy of Nielsen numbers N_i, i = 0, 1, ..., \infty. They approximate the minimum numbers from below with decreasing accuracy, but they are (in principle) more easily computable as i grows. If the domain and the target manifold have the same dimension (e.g. in the fixed point setting) all these Nielsen numbers agree with the classical definition. However, in general they can be quite distinct. …
We study the coincidence theory of maps between two manifolds of the same dimension from an axiomatic viewpoint. First we look at coincidences of maps between manifolds where one of the maps is orientation true, and give a set of axioms such that characterizes the local index (which is an integer valued function). Then we consider coincidence theory for arbitrary pairs of maps between two manifolds. Similarly we provide a set of axioms which characterize the local index, which in this case is a function with values in $\Z\oplus \Z_2$. We also show in each setting that the group of values for t…
This paper centers around two basic problems of topological coincidence theory. First, try to measure (with help of Nielsen and minimum numbers) how far a given pair of maps is from being loose, i.e. from being homotopic to a pair of coincidence free maps. Secondly, describe the set of loose pairs of homotopy classes. We give a brief (and necessarily very incomplete) survey of some old and new advances concerning the first problem. Then we attack the second problem mainly in the setting of homotopy groups. This leads also to a very natural filtration of all homotopy sets. Explicit calculations…
In this paper we continue to study (`strong') Nielsen coincidence numbers (which were introduced recently for pairs of maps between manifolds of arbitrary dimensions) and the corresponding minimum numbers of coincidence points and pathcomponents. We explore compatibilities with fibrations and, more specifically, with covering maps, paying special attention to selfcoincidence questions. As a sample application we calculate each of these numbers for all maps from spheres to (real, complex, or quaternionic) projective spaces. Our results turn out to be intimately related to recent work of D Gonca…
In this paper we study geometric coincidence problems in the spirit of the following problems by B. Grünbaum: How many affine diameters of a convex body in $\mathbb R^n$ must have a common point? How many centers (in some sense) of hyperplane sections of a convex body in $\mathbb R^n$ must coincide? One possible approach to such problems is to find topological reasons for multiple coincidences for a continuous map between manifolds of equal dimension. In other words, we need topological estimates for the multiplicity of a map. In this work examples of such estimates and their geometric consequ…
Let $f,g:X\to Y$ be maps from a compact infra-nilmanifold $X$ to a compact nilmanifold $Y$ with $\dim X\ge \dim Y$. In this note, we show that a certain Wecken type property holds, i.e., if the Nielsen number $N(f,g)$ vanishes then $f$ and $g$ are deformable to be coincidence free. We also show that if $X$ is a connected finite complex $X$ and the Reidemeister coincidence number $R(f,g)=\infty$ then $f\sim f'$ so that $C(f',g)=\{x\in X \mid f'(x)=g(x)\}$ is empty.
The Lefschetz hyperplane section theorem asserts that an affine variety is homotopy equivalent to a space obtained from its generic hyperplane section by attaching some cells. The purpose of this paper is to describe attaching maps of these cells for the complement of a complex hyperplane arrangement defined over real numbers. The cells and attaching maps are described in combinatorial terms of chambers. We also discuss the cellular chain complex with coefficients in a local system and a presentation for the fundamental group associated to the minimal CW-decomposition for the complement.
Minimum numbers of fixed points or of coincidence components (realized by maps in given homotopy classes) are the principal objects of study in topological fixed point and coincidence theory. In this paper we investigate fiberwise analoga and represent a general approach e.g. to the question when two maps can be deformed until they are coincidence free. Our method involves normal bordism theory, a certain pathspace EB and a natural generalization of Nielsen numbers. As an illustration we determine the minimum numbers for all maps between torus bundles of arbitrary (possibly different) dimensio…
In classical fixed point and coincidence theory the notion of Nielsen numbers has proved to be extremely fruitful. Here we extend it to pairs (f_1, f_2) of maps between manifolds of arbitrary dimensions. This leads to estimates of the minimum numbers MCC(f_1, f_2) (and MC(f_1, f_2), resp.) of pathcomponents (and of points, resp.) in the coincidence sets of those pairs of maps which are homotopic to (f_1, f_2). Furthermore we deduce finiteness conditions for MC(f_1, f_2). As an application we compute both minimum numbers explicitly in four concrete geometric sample situations. The Nielsen decom…
Minimum numbers measure the obstruction to removing coincidences of two given maps (between smooth manifolds M and N of dimensions m and n, resp.). In this paper we compare them to four distinct types of Nielsen numbers. These agree with the classical Nielsen number when m = n (e.g. in the fixed point setting where M = N and one of the maps is the identity map). However, in higher codimensions m - n > 0 their definitions and computations involve distinct aspects of differential topology and homotopy theory. We develop tools which help us 1.) to decide when a minimum number is equal to a Nielse…
Coincidences of maps between smooth manifolds are studied via a geometric approach which involves (nonstabilized) normal bordism theory and pathspaces.
We consider the category of all locally Lipschitz contractible metric spaces and all locally Lipschitz maps, which is a wide class of metric spaces, including all finite dimensional Alexandrov spaces and all CAT spaces. We also consider the chain complex of normal currents with compact support in a metric space in the sense of Ambrosio and Kirchheim. In the present paper, its homology is proved to be a homotopy invariant on the category. To prove this result, we define a new topology on a space of Lipschitz maps between arbitrary metric spaces. This topology is proved to coincide with the usua…
We give a homotopy invariant construction of the Reidemeister trace for the coincidence of two maps between closed manifolds of not necessarily the same dimensions. It is realized as a homology class of the homotopy equalizer, which coincides with the Hurewicz image of Koschorke's stabilized bordism invariant. To define it, we use a kind of shriek maps appearing string topology. As an application, we compute the coincidence Reidemeister trace for the self-coincidence of the projections of $S^1$-bundles on $\mathbb{C}P^n$. We also mention how to relate our construction to the string topology op…
In classical fixed point and coincidence theory the notion of Nielsen numbers has proved to be extremely fruitful. We extend it to pairs (f_1,f_2) of maps between manifolds of arbitrary dimensions, using nonstabilized normal bordism theory as our main tool. This leads to estimates of the minimum numbers MCC(f_1,f_2) (and MC(f_1,f_2), respectively) of path components (and of points, resp.) in the coincidence sets of those pairs of maps which are homotopic to (f_1,f_2). Furthermore, we deduce finiteness conditions for MC(f_1,f_2). As an application we compute both minimum numbers explicitly in v…
For M and N closed oriented connected smooth manifolds of the same dimension, we consider the mapping space Map(M,N;f) of continuous maps homotopic to f:M--> N.We show that the evaluation map from the space of maps to the manifold N induces a nontrivial homomorphism on the fundamental group only if the self coincidence number of f equals zero. Since the self intersection number is equal to the product of the degree of f and the Euler--Poincare number of N, we obtain results related to earlier results about the evaluation map and the Euler--Poincare number.
Given two maps f_1, f_2 : M^m \longrightarrow N^n between manifolds of the indicated arbitrary dimensions, when can they be deformed away from one another? More generally: what is the minimum number MCC (f_1, f_2) of pathcomponents of the coincidence space of maps f'_1, f'_2 where f'_i is homotopic to f_i, i = 1, 2? Approaching this question via normal bordism theory we define a lower bound N (f_1, f_2) which generalizes the Nielsen number studied in classical fixed point and coincidence theory (where m = n). In at least three settings N (f_1, f_2) turns out to coincide with MCC (f_1, f_2): (i…
For $f,g:X\longrightarrow X$ continuous and commuting maps of a Hausdorff space, we investigate various conditions on $X$ and on the pair $(f,g)$ which provide existence of a coincidence value. We introduce generalized notions of the coincidence value property and use this added flexibility to determine how various coincidence properties of $X$ are related to group actions on $X$ and to coincidence properties of associated fibre bundles and adjunction spaces. We also present a sheaf theoretical approach to obtaining information concerning coincidence values through construction of an "almost c…
When can a map between manifolds be deformed away from itself? We describe a (normal bordism) obstruction which is often computable and in general much stronger than the classical primary obstruction in cohomology. In particular, it answers our question completely in a large dimension range. As an illustration we give explicit criteria in three sample settings: projections from Stiefel manifolds to Grassmannians, sphere bundle projections and maps defined on spheres. In the first example a theorem of Becker and Schultz concerning the framed bordism class of a compact Lie group plays a central …
We extend the Nielsen theory of coincidence sets to equalizer sets, the points where a given set of (more than 2) mappings agree. On manifolds, this theory is interesting only for maps between spaces of different dimension, and our results hold for sets of k maps on compact manifolds from dimension (k-1)n to dimension n. We define the Nielsen equalizer number, which is a lower bound for the minimal number of equalizer points when the maps are changed by homotopies, and is in fact equal to this minimal number when the domain manifold is not a surface. As an application we give some results in N…