A concept in homotopy theory: An invariant that equals zero if a (step in a) corresponding problem is solvable and is non-zero otherwise.
Let $ ( X, A) $ be a pair of cellular spaces (cf. Cellular space) and let $ Y $ be a simply-connected (more generally, a homotopy-simple) topological space. Can one extend a given continuous mapping $ g: A \rightarrow Y $ to a continuous mapping $ f: X \rightarrow Y $? The extension can be attempted recursively, over successive skeletons $ X ^ {n} $ of $ X $. Suppose one has constructed a mapping $ f: X ^ {n} \cup A \rightarrow Y $ such that $ f \mid _ {A} = g $. For any oriented $ ( n + 1) $- dimensional cell $ e ^ {n+} 1 \rightarrow Y $ the mapping $ f \mid _ {\partial e ^ {n + 1 } } $ gives a mapping $ S ^ {n} \rightarrow Y $( where $ S ^ {n} $ is the $ n $- dimensional unit sphere) and an element $ \alpha _ {e} \in \pi _ {n} ( Y) $( it is here that one uses that $ Y $ is homotopy simple, which allows one to ignore the base point). This defines a cochain
$$ c _ {f} ^ {n + 1 } \in \ C ^ {n + 1 } ( X; \pi _ {n} ( Y)),\ \ c _ {f} ^ {n + 1 } ( e ^ {n + 1 } ) = \ \alpha _ {e} . $$
Since for $ e ^ {n + 1 } \subset A $ one clearly has $ c _ {f} ^ {n + 1 } ( e ^ {n + 1 } ) = 0 $, it follows that
$$ c _ {f} ^ {n + 1 } \in \ C ^ {n + 1 } ( X, A; \pi _ {n} ( Y)). $$
Clearly $ c _ {f} ^ {n + 1 } = 0 $ if and only if $ f $ can be extended to $ X ^ {n + 1 } $, i.e. $ c _ {f} ^ {n + 1 } $ is an obstruction to extending $ f $ to $ X ^ {n + 1 } $.
The cochain $ c _ {f} ^ {n + 1 } \in C ^ {n + 1 } ( X, A; \pi _ {n} ( Y)) $ is a cocycle. The fact that $ c _ {f} ^ {n + 1 } \neq 0 $ does not, in general, imply that $ g $ cannot be extended to $ X $: It is possible that $ f $ cannot be extended to $ X ^ {n + 1 } $ because of an unsuccessful choice of an extension of $ g $ to $ X ^ {n} $. It may turn out that, e.g., the mapping $ f \mid _ {X ^ {n - 1 } \cup A } $ can be extended to $ X ^ {n + 1 } $, i.e. that extension is possible by skipping back one step. It can be shown that the cohomology class
$$ [ c _ {f} ^ {n + 1 } ] \in \ H ^ {n + 1 } ( X, A; \pi _ {n} ( Y)) $$
is an obstruction to this, i.e. $ [ c _ {f} ^ {n + 1 } ] = 0 $ if and only if there is a mapping $ \widetilde{f} : X ^ {n + 1 } \cup A \rightarrow Y $ such that $ \widetilde{f} \mid _ {X ^ {n - 1 } \cup A } = f \mid _ {X ^ {n - 1 } \cup A } $( in particular, $ \widetilde{f} \mid _ {A} = g $). The construction of difference chains and cochains is used in the proof of this statement (cf. Difference cochain and chain).
Since the problem of homotopy classification of mappings $ X \rightarrow Y $ can be interpreted as an extension problem, obstruction theory is applicable also to the description of the set $ [ X, Y] $ of homotopy classes of mappings from $ X $ into $ Y $. Let $ I = [ 0, 1] $ and let $ A = X \times \{ 0, 1 \} $ be a subspace of $ X \times I $. Then a pair of mappings $ f _ {0} , f _ {1} : X \rightarrow Y $ is interpreted as a mapping $ G: A \rightarrow Y $, $ G ( x, i) = f _ {i} ( x) $, $ i = 0, 1 $, and the presence of a homotopy between $ f _ {0} $ and $ f _ {1} $ means the presence of a mapping $ F: X \times I \rightarrow Y $ extending $ G $. If the homotopy $ F $ has been constructed on the $ n $- dimensional skeleton of $ X $, then the obstruction to its extension to $ X $ is the difference cochain
$$ d ^ {n} ( f _ {0} , f _ {1} ) \in \ C ^ {n} ( X; \pi _ {n} ( Y)). $$
As an application one may consider the description of the set $ [ X, Y] = [ X, K ( \pi , n)] $, $ n > 1 $, where $ K ( \pi , n) $ is the Eilenberg–MacLane space: $ \pi _ {i} ( K ( \pi , n)) = 0 $ for $ i \neq n $; $ \pi _ {n} ( K ( \pi , n)) = \pi $. Let $ f _ {0} : X \rightarrow K ( \pi , n) $ be a constant mapping and $ f: X \rightarrow K ( \pi , n) $ an arbitrary continuous mapping. Since $ H ^ {i} ( X; \pi _ {i} ( Y)) = 0 $ for $ i < n $, the mappings $ f _ {0} $ and $ f $ are homotopic on $ X ^ {n - 1 } $ and, after having chosen such a homotopy, one can define the difference cochain
$$ d ^ {n} ( f, f _ {0} ) \in \ C ^ {n} ( X; \pi _ {n} ( Y)) = \ C ^ {n} ( X; \pi ). $$
The cohomology class $ [ d ^ {n} ( f, f _ {0} )] \in H ^ {n} ( X; \pi ) $ is well-defined, i.e. does not depend on the choice of a homotopy between $ f _ {0} $ and $ f $( since $ \pi _ {i} ( Y) = 0 $ for $ i < n $). Further, if two mappings $ f, g: X \rightarrow Y $ are such that $ [ d ^ {n} ( f, f _ {0} )] = [ d ^ {n} ( g, f _ {0} )] $, then $ [ d ^ {n} ( f, g)] = 0 $, and hence $ f $ and $ g $ are homotopic on $ X ^ {n} $. The obstructions to extending this homotopy to $ X $ lie in the groups $ H ^ {i} ( X; \pi _ {i} ( Y)) = 0 $( since $ i > n $), and hence $ f $ and $ g $ are homotopic. Thus, the homotopy class of $ f $ is completely determined by the element $ [ d ^ {n} ( f, f _ {0} )] \in H ^ {n} ( X; \pi ) $. Finally, for any $ x \in H ^ {n} ( X; \pi ) $ there is a mapping $ f $ with $ [ d ^ {n} ( f, f _ {0} )] = x $, hence $ [ X, K ( \pi , n)] = H ^ {n} ( X; \pi ) $. Similarly, if $ \pi _ {i} ( Y) = i $ for $ i < n $ and if $ \mathop{\rm dim} X \leq n $, then $ [ X, Y] = H ^ {n} ( X; \pi _ {n} ( Y)) $.
In studying extension problems one has considered the possibility of extending "by skipping back one step" . A complete solution of the problem requires the analysis of the possibility of skipping back an arbitrary number of steps. Cohomology operations (cf. Cohomology operation) and Postnikov systems (cf. Postnikov system) are used to this end. E.g., in order to describe the set $ [ X, Y] $, where $ \pi _ {i} ( Y) = 0 $ for $ i < n $, $ \pi _ {n} ( Y) \neq 0 $, $ \mathop{\rm dim} X = n + r $, it is required, in general, to study the possibility of skipping back $ r + 1 $ steps, for which it is necessary to study the first $ n + r $ levels of the Postnikov system for $ Y $, i.e. to use cohomology operations of orders $ \leq r $( in the article Cohomology operation this problem is outlined for $ r = 1 $).
The theory of obstructions is also used in the more general situation of extension of sections (cf. Section of a mapping). Let $ p: E \rightarrow B $ be a fibration with fibre $ F $( where $ \pi _ {1} ( F ) = 0 $ and $ \pi _ {1} ( B) $ acts trivially on $ \pi _ {i} ( F ) $), let $ A \subset B $ and let $ s: A \rightarrow E $ be a section (i.e. a continuous mapping such that $ ps ( a) = a $). Can one extend $ s $ to $ B $? The corresponding obstructions lie in the groups $ H ^ {n + 1 } ( B; \pi _ {n} ( F )) $. An extension problem is obtained from this problem if one puts $ B = X $, $ E = X \times Y $, $ p ( x, y) = x $, $ s ( a) = ( a, g ( a)) $. Analogously one can also study the classification problem for sections using obstruction theory.
Finally, one can remove the restriction of homotopic simplicity of the space $ Y $ in the extension problem (as well as in the problem on sections); then one must use cohomology with local coefficients.
Obstruction theory was initiated by S. Eilenberg [2]. It was also known to L.S. Pontryagin, who did not formulate it explicitly but used it for the solution of concrete problems, see [1].
A good discussion can be found in [3] and [4].
[1] | L.S. Pontryagin, "Classification of continuous transformations of a complex into a sphere" Dokl. Akad. Nauk SSSR , 19 (1938) pp. 361–363 (In Russian) |
[2] | S. Eilenberg, "Cohomology and continuous mappings" Ann. of Math. , 41 (1940) pp. 231–251 |
[3] | S.-T. Hu, "Homotopy theory" , Acad. Press (1959) |
[4] | E. Thomas, "Seminar on fibre spaces" , Springer (1966) |
The fundamental group $ \pi _ {1} ( X , x _ {0} ) $ acts on the homotopy groups $ \pi _ {n} ( X , x _ {0} ) $, $ n \geq 1 $, cf. Homotopy group. The space $ X $ is called $ n $- simple if this action (for this $ n $) is trivial; $ X $ is called simple or homotopy simple if it is path connected and $ n $- simple for all $ n \geq 1 $. Then $ \pi _ {1} ( X , x _ {0} ) $ is Abelian and acts trivially on all $ \pi _ {n} ( X , x _ {0} ) $. A path-connected $ H $- space is simple.
[a1] | N.E. Steenrod, "The topology of fibre bundles" , Princeton Univ. Press (1951) |
[a2] | E.H. Spanier, "Algebraic topology" , McGraw-Hill (1966) pp. 269–276; 429–432 |
[a3] | G.W. Whitehead, "Elements of homotopy theory" , Springer (1978) |
[a4] | H.J. Baues, "Obstruction theory" , Springer (1977) |