-
Coincidences and secondary Nielsen numbers
Authors:
Ulrich Koschorke
Abstract:
Let $ f_1, f_2 \colon X^m \longrightarrow Y^n $ be maps between smooth connected manifolds of the indicated dimensions $ \!m\! $ and $ \!n \!\!\!$. Can $ f_1, f_2 $ be deformed by homotopies until they are coincidence free (i.e. $ f_1(x) \neq f_2(x) $ for all $ x \in X $)? The main tool for addressing such a problem is tradionally the (primary) Nielsen number $ N(f_1, f_2) $. E.g. when…
▽ More
Let $ f_1, f_2 \colon X^m \longrightarrow Y^n $ be maps between smooth connected manifolds of the indicated dimensions $ \!m\! $ and $ \!n \!\!\!$. Can $ f_1, f_2 $ be deformed by homotopies until they are coincidence free (i.e. $ f_1(x) \neq f_2(x) $ for all $ x \in X $)? The main tool for addressing such a problem is tradionally the (primary) Nielsen number $ N(f_1, f_2) $. E.g. when $ m < 2n - 2 $ the question above has a positive answer precisely if $ N(f_1, f_2) = 0 $. However, when $ m = 2n - 2 $ this can be dramatically wrong, e.g. in the fixed point case when $ m = n = 2 $. Also, in a very specific setting the Kervaire invariant appears as a (full) additional obstruction.
In this paper we start exploring a fairly general new approach. This leads to secondary Nielsen numbers $ SecN(f_1, f_2) $ which allow us to answer our question e.g. when $ m = 2n - 2,\ \; n \neq 2 $ is even and $ Y $ is simply connected.
△ Less
Submitted 19 March, 2015;
originally announced March 2015.
-
Nielsen coincidence numbers, Hopf invariants and spherical space forms
Authors:
Ulrich Koschorke
Abstract:
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…
▽ More
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.
While our approach is very geometric the computations use the techniques of homotopy theory and, in particular, all versions of Hopf invariants (a la Ganea, Hilton, James..). As an illustration we determine all Nielsen numbers and minimum numbers for pairs of maps from spheres to spherical space forms. Maps into even dimensional real projective spaces turn out to produce particularly interesting coincidence phenomena.
△ Less
Submitted 7 May, 2013;
originally announced May 2013.
-
Kervaire invariants and selfcoincidences
Authors:
Ulrich Koschorke,
Duane Randall
Abstract:
Minimum numbers decide e.g. whether a given map f: S^m --> S^n/G from a sphere into a spherical space form can be deformed to a map f' such that f(x) not equal f'(x) for all x in S^m. In this paper we compare minimum numbers to (geometrically defined) Nielsen numbers (which are more computable). In the stable dimension range these numbers coincide. But already in the first nonstable range (when m=…
▽ More
Minimum numbers decide e.g. whether a given map f: S^m --> S^n/G from a sphere into a spherical space form can be deformed to a map f' such that f(x) not equal f'(x) for all x in S^m. In this paper we compare minimum numbers to (geometrically defined) Nielsen numbers (which are more computable). In the stable dimension range these numbers coincide. But already in the first nonstable range (when m=2n-2) the Kervaire invariant appears as a decisive additional obstruction which detects interesting geometric coincidence phenomena. Similar results (involving e.g. Hopf invariants, taken mod 4) are obtained in the next seven dimension ranges (when 1<m-2n+3<9). The selfcoincidence context yields also a precise geometric criterion for the open question whether the Kervaire invariant vanishes on the 126-stem or not.
△ Less
Submitted 7 May, 2013;
originally announced May 2013.
-
Nielsen numbers in topological coincidence theory
Authors:
Ulrich Koschorke
Abstract:
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 a…
▽ More
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 KP(n'). In particular, when n' is odd and K = R or C or when n' = 23 mod 24 and K = H, we compute the minimum number MCC and all four Nielsen numbers for every pair of these maps, and we establish a 'Wecken theorem' in this context (in the process we correct also a mistake in previous work concerning the quaternionic case). However, when n' is even, counterexamples can occur, detected e.g. by Kervaire invariants.
△ Less
Submitted 7 May, 2013;
originally announced May 2013.
-
Minimum numbers and Wecken theorems in topological coincidence theory. I
Authors:
Ulrich Koschorke
Abstract:
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 -…
▽ More
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 Nielsen number ("Wecken theorem"), and 2.) to determine Nielsen numbers. Here certain homotopy theoretical criteria play a central role. E.g. failures of the "Wecken condition" (cf. definition 1.18 below) can have very interesting geometric consequences. The selfcoincidence case where the two maps are homotopic turns out to be particularly illuminating.
We give many concrete applications in special settings where M or N are spheres, spherical space forms, projective spaces, tori, Stiefel manifolds or Grassmannians. Already in the simplest examples an important role is played e.g. by Kervaire invariants, all versions of Hopf invariants (a la James, Hilton, Ganea,...) and the elements in the stable homotopy of spheres defined by invariantly framed Lie groups.
△ Less
Submitted 7 May, 2013;
originally announced May 2013.
-
Reidemeister coincidence invariants of fiberwise maps
Authors:
Ulrich Koschorke
Abstract:
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 circl…
▽ More
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 made fixed point free by a suitable homotopy. In two concrete examples we calculate the minimum and Nielsen numbers for all pairs of fiberwise maps explicitly. Odd order orbits turn out to play a special role.
△ Less
Submitted 7 May, 2013;
originally announced May 2013.
-
Nielsen coincidence theory of fibre-preserving maps and Dold's fixed point index
Authors:
Daciberg L. Gonçalves,
Ulrich Koschorke
Abstract:
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 poi…
▽ More
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 components for all homotopy classes of maps between S^1-bundles over S^1 as well as their Nielsen and Reidemeister numbers.
△ Less
Submitted 7 May, 2013;
originally announced May 2013.
-
Some homotopy theoretical questions arising in Nielsen coincidence theory
Authors:
Ulrich Koschorke
Abstract:
Basic examples show that coincidence theory is intimately related to central subjects of differential topology and homotopy theory such as Kervaire invariants and divisibility properties of Whitehead products and of Hopf invariants. We recall some recent results and ask a few questions which seems to be important for a more comprehensive understanding.
Basic examples show that coincidence theory is intimately related to central subjects of differential topology and homotopy theory such as Kervaire invariants and divisibility properties of Whitehead products and of Hopf invariants. We recall some recent results and ask a few questions which seems to be important for a more comprehensive understanding.
△ Less
Submitted 7 May, 2013;
originally announced May 2013.
-
Selfcoincidences and roots in Nielsen theory
Authors:
Ulrich Koschorke
Abstract:
Given two maps f1 and f2 from the sphere Sm 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 whi…
▽ More
Given two maps f1 and f2 from the sphere Sm 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 f1 or f2 is constant) and we use the fact that all but possibly one Nielsen class are inessential in the selfcoincidence case (where f1 = f2). Also we deduce strong vanishing results.
△ Less
Submitted 18 February, 2010;
originally announced February 2010.
-
Fixed Points and Coincidences in Torus Bundles
Authors:
Ulrich Koschorke
Abstract:
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,…
▽ More
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) dimensions over spheres and, in particular, over the unit circle. Our results are based on a careful analysis of the geometry of generic coincidence manifolds. They allow also a simple algebraic description in terms of the Reidemeister invariant (a certain selfmap of an abelian group) and its orbit behavior (e.g. the number of odd order orbits which capture certain nonorientability phenomena). We carry out several explicit sample computations, e.g. for fixed points in (S1)2-bundles. In particular, we obtain existence criteria for fixed point free fiberwise maps.
△ Less
Submitted 9 February, 2010;
originally announced February 2010.
-
Link Homotopy in S^n x R^{m-n} and Higher Order mu-invariants
Authors:
Ulrich Koschorke
Abstract:
Given a suitable link map f into a manifold M, we constructed, in [10], link homotopy invariants kappa(f) and mu(f). In the present paper we study the case M=S^n x R^{m - n} in detail. Here mu(f) turns out to be the starting term of a whole sequence mu^(s)(f), s = 0, 1, ..., of higher mu-invariants which together capture all the information contained in kappa(f). We discuss the geometric signifi…
▽ More
Given a suitable link map f into a manifold M, we constructed, in [10], link homotopy invariants kappa(f) and mu(f). In the present paper we study the case M=S^n x R^{m - n} in detail. Here mu(f) turns out to be the starting term of a whole sequence mu^(s)(f), s = 0, 1, ..., of higher mu-invariants which together capture all the information contained in kappa(f). We discuss the geometric significance of these new invariants. In several instances we obtain complete classification results. A central ingredient of our approach is the homotopy theory of wedges of spheres.
△ Less
Submitted 1 June, 2006;
originally announced June 2006.
-
Self-coincidences in higher codimensions
Authors:
Ulrich Koschorke
Abstract:
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 manifol…
▽ More
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 role; our approach yields also a very short geometric proof (included as an appendix) of this result.
△ Less
Submitted 1 June, 2006;
originally announced June 2006.
-
Coincidence theory in arbitrary codimensions: the minimizing problem
Authors:
Ulrich Koschorke
Abstract:
Coincidences of maps between smooth manifolds are studied via a geometric approach which involves (nonstabilized) normal bordism theory and pathspaces.
Coincidences of maps between smooth manifolds are studied via a geometric approach which involves (nonstabilized) normal bordism theory and pathspaces.
△ Less
Submitted 1 June, 2006;
originally announced June 2006.
-
Geometric and homotopy theoretic methods in Nielsen coincidence theory
Authors:
Ulrich Koschorke
Abstract:
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…
▽ More
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 decomposition of a coincidence set is induced by the decomposition of a certain path space E(f_1, f_2) into pathcomponents. Its higher dimensional topology captures further crucial geometric coincidence data. An analoguous approach can be used to define also Nielsen numbers of certain link maps.
△ Less
Submitted 1 June, 2006;
originally announced June 2006.
-
Nonstabilized Nielsen coincidence invariants and Hopf--Ganea homomorphisms
Authors:
Ulrich Koschorke
Abstract:
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…
▽ More
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 various concrete geometric sample situations.
The Nielsen decomposition of a coincidence set is induced by the decomposition of a certain path space E(f_1,f_2) into path components. Its higher dimensional topology captures further crucial geometric coincidence data. In the setting of homotopy groups the resulting invariants are closely related to certain Hopf--Ganea homomorphisms which turn out to yield finiteness obstructions for MC.
△ Less
Submitted 1 March, 2009; v1 submitted 1 June, 2006;
originally announced June 2006.
-
Minimizing coincidence numbers of maps into projective spaces
Authors:
Ulrich Koschorke
Abstract:
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 samp…
▽ More
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 Goncalves and D Randall concerning maps which can be deformed away from themselves but not by small deformations; in particular, there are close connections to the Strong Kervaire Invariant One Problem.
△ Less
Submitted 12 April, 2009; v1 submitted 1 June, 2006;
originally announced June 2006.
-
Coincidence free pairs of maps
Authors:
Ulrich Koschorke
Abstract:
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 a…
▽ More
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 are carried out for maps into spheres and projective spaces.
△ Less
Submitted 1 June, 2006;
originally announced June 2006.
-
Linking and coincidence invariants
Authors:
Ulrich Koschorke
Abstract:
Given a link map f into a manifold of the form Q = N \times \Bbb R, when can it be deformed to an unlinked position (in some sense, e.g. where its components map to disjoint \Bbb R-levels) ? Using the language of normal bordism theory as well as the path space approach of Hatcher and Quinn we define obstructions \widetildeω_ε(f), ε= + or ε= -, which often answer this question completely and whic…
▽ More
Given a link map f into a manifold of the form Q = N \times \Bbb R, when can it be deformed to an unlinked position (in some sense, e.g. where its components map to disjoint \Bbb R-levels) ? Using the language of normal bordism theory as well as the path space approach of Hatcher and Quinn we define obstructions \widetildeω_ε(f), ε= + or ε= -, which often answer this question completely and which, in addition, turn out to distinguish a great number of different link homotopy classes. In certain cases they even allow a complete link homotopy classification.
Our development parallels recent advances in Nielsen coincidence theory and leads also to the notion of Nielsen numbers of link maps.
In the special case when N is a product of spheres sample calculations are carried out. They involve the homotopy theory of spheres and, in particular, James--Hopf--invariants.
△ Less
Submitted 3 August, 2004;
originally announced August 2004.
-
Nielsen coincidence theory in arbitrary codimensions
Authors:
Ulrich Koschorke
Abstract:
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…
▽ More
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) when m < 2n - 2; (ii) when N is the unit circle; and (iii) when M and N are spheres and a certain injectivity condition involving James-Hopf invariants is satisfied. We also exhibit situations where N (f_1, f_2) vanishes, but MCC (f_1, f_2) is strictly positive.
△ Less
Submitted 3 August, 2004;
originally announced August 2004.
