homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
topology (point-set topology, point-free topology)
see also differential topology, algebraic topology, functional analysis and topological homotopy theory
Basic concepts
fiber space, space attachment
Extra stuff, structure, properties
Kolmogorov space, Hausdorff space, regular space, normal space
sequentially compact, countably compact, locally compact, sigma-compact, paracompact, countably paracompact, strongly compact
Examples
Basic statements
closed subspaces of compact Hausdorff spaces are equivalently compact subspaces
open subspaces of compact Hausdorff spaces are locally compact
compact spaces equivalently have converging subnet of every net
continuous metric space valued function on compact metric space is uniformly continuous
paracompact Hausdorff spaces equivalently admit subordinate partitions of unity
injective proper maps to locally compact spaces are equivalently the closed embeddings
locally compact and second-countable spaces are sigma-compact
Theorems
Analysis Theorems
Proper homotopy theory is both an old and a fairly new area of algebraic topology. It deals with properties of non-compact topological spaces, that cannot be detected using maps from simplices in these spaces, such as used in the singular complex.
Historically the subject is traced back to Kerekjarto’s classification of non-compact surfaces in 1923, but its emergence as an important tool in geometric topology came with Larry Siebenmann‘s work in 1965.
Suppose is a smooth manifold with boundary, , then is an open manifold. Now suppose someone gives us an open manifold , is it possible to detect if there is a compact manifold , with . Siebenmann showed that certain conditions on the ends of were necessary and that there were obstructions if the dimension of was greater than 5.
Its potential importance of proper homotopy, for example for physical applications, comes from the fact that the phenomena it studies include the limiting behaviour of the system.
The basic hypothesis will be that will be a connected and locally connected compact Hausdorff space. It will usually be sigma-compact, i.e., there will be an increasing sequence, , of compact subspaces with each in the interior of and such that
These spaces will most often than not be locally finite simplicial complexes.
We will be interested in the homotopy of such spaces ‘out towards its ends’
To illustrate the idea of the ends of a space , we note that naively has two ends, and , whilst has only one as it is , (but that is vague!).
More exactly, consider the system of spaces
This is an inverse system or pro-object in the category of spaces. Applying the connected component functor, , to this system of spaces gives , and, classically, one takes the limit of this to get
the set of ends of . In general, would be given the inverse limit topology?, to preserve more of the information coming from its construction. This space is the space of (Freudenthal) ends of . It is a profinite space.
Let be the figure eight space, the one-point union of two circles, and let be its universal cover. This is an infinite ‘thorn bush’. It has infinitely many ends and
Let be a compact manifold and , then .
The assignment sending to cannot be functorial on the category of spaces and continuous maps, since the contracting map is continuous, is , whilst is empty since is compact. The problem is that continuity is really about inverse images (inverse image of open is open), but the inverse image mapping does not preserve compactness (as in the example!).
A map is a proper map if for each subset compact in then is compact in .
If is proper, then it induces a pro-morphism
and hence a continuous map of the end spaces
and becomes a functor from some category of spaces and proper maps to , the category of profinite spaces / Stone spaces.
For any space , the natural inclusions of into , , together with the projection maps from to , are proper maps.
The category has a cylinder functor.
We call the corresponding notion of homotopy, ‘proper homotopy’. We get a ‘Proper category’ and an associated ‘proper homotopy category’, which we will denote . If we are restricting to -compact spaces we may write , and so on.
Although a proper map will induce a continuous , on the end spaces, it is clear that does not need to be defined on the whole of for this to work, as encodes behaviour ‘out towards ’. This leads to the notion of a ‘germ at ’.
Suppose is locally compact Hausdorff and . The inclusion is ‘cofinal’ if the closure of is compact. Note that a cofinal inclusion is proper and induces an isomorphism . Let be the class of all cofinal inclusions in and let , the category obtained by formally inverting the cofinal inclusions.
This category is called the proper category at .
Note that admits a calculus of right fractions, so any morphism from to in can be represented by a diagram
with a cofinal inclusion, i.e., is defined on some ‘neighbourhood of the end of ’.
Two such diagrams
represent the same germ if for some cofinal subspace with .
There is also a homotopy category
The end space is a Stone space so is for some Boolean algebra (Stone duality) In the 1960s someone (Goldman?) looked at a ring, , of ‘almost continuous functions’ from to , that gave the right . Can this idea help integrate better the ideas of proper homotopy etc. with modern methods of algebraic geometry?
The end space behaves a bit like a and usually spaces will have many ends, so are not ‘connected at infinity’. If we try to do a fundamental group or groupoid analogue, this means life will get more complicated. We will try with the assumption of a space having a single end for simplicity! We will also assume is -compact.
We could try defining as a progroup, then taking its limit. For this we would take an exhausting increasing sequence of compact subsets and setting , pick a base point in each , and we will get groups . We however need induced homomorphisms , and for this we have to choose an arc in from to . We can combine these to get a base ray, rather than a base point, that is, we need a proper map, . With that we do get an inverse sequence of groups, but there are problems. What is the dependence of the inverse system on the choice of ?
Let be an infinite cylinder with an infinite string of circles attached via a proper ray . The space has just one ‘end’ but you can choose different ways of going from to for fairly obvious choices of base points such that the limit groups of the resulting two inverse systems are non-isomorphic! (In the survey listed below, this example is examined in detail, and one of the limits is a free group on one element, the other is trivial! Definitely non-isomorphic!)
This means that is not an invariant of the end. This phenomenon is linked to the fact that does not satisfy the Mittag-Leffler condition for either choice of the base rays.
If and are locally compact Hausdorff spaces, there is no obvious candidate for a space of proper maps from to , but one can form a simplicial set with , which acts as if it was the singular complex of the mythical space of proper maps from to .
The Waldhausen boundary of is the simplicial set .
There is an epimorphism from to .
In the example above of the cylinder with the string of circles attached, , is uncountable, and maps onto .
When has a single end and is Mittag-Leffler, then , is a single point, i.e. all possible base rays are properly homotopic.
Even if we did not have the above difficulty with the limit groups, we would still have the problem that, as the limit functor is not exact, the resulting limiting homotopy groups would not be that well behaved. There would not be any general long exact sequence results (just as with Čech homology). There is at least one possible replacement for those limiting homotopy groups, but first we note that it is not appropriate to base any such things at a point, rather we should be using a base ray as was discussed above.
One fairly obvious attempt to define a ‘fundamental group’ for , based at a proper ray , would be to note that gives a base point so we could look at and more generally at , and we will denote these groups by .
There are variants ‘at infinity’ of both the Waldhausen boundary and these groups, obtained using germs instead of proper maps. These will be denoted with a as a super- or suffix on the above notation.
(Once over lightly here, more details at Brown-Grossman homotopy group.) In fact there is another different way of looking at these groups, which has a more geometric feel to it. Historically these groups were not the first successful attempt. This was due to Ed Brown and uses strings of spheres. These are examples of spherical objects and the resulting ‘groups’ (better thought of as ‘-algebras’) have a rich structure. They are discussed at Brown-Grossman homotopy groups. They do link with the above homotopy groups of the Waldhausen boundary, which are called the Steenrod homotopy group?s, (for reasons that will be explained there).
Survey article:
Books:
H. J. Baues and A. Quintero, Infinite homotopy theory, Volume 6 of K-monographs in mathematics, Springer, 2001
Bruce Hughes and Andrew Ranicki, Ends of Complexes, Cambridge Tracts in Mathematics (No. 123), C.U.P.
Lecture Notes:
Last revised on January 28, 2018 at 07:40:27. See the history of this page for a list of all contributions to it.