42ebccfa05a73c95.tex
1: \begin{abstract}
2: If $\F$  is a collection of topological spaces,  then a 
3: homotopy class  $\alpha$  in  $[X,Y]$  is called   $\F$-trivial if   
4: $$
5: \alpha _* = 0: [A,X] \maprt{} [A,Y]
6: $$
7: for all  $A\in\F$.  In this paper we study the collection  
8: $Z_{\F}(X,Y)$  of all  $\F$-trivial  homotopy classes in  $[X,Y]$  
9: when  $\F = \S$,  the collection of spheres,  $\F = \M$,  the 
10: collection of Moore spaces, and  $F = \Sigma$,  the collection 
11: of suspensions.  Clearly  
12: $$
13: Z_{\Sigma}(X,Y) \subseteq Z_{\M}(X,Y) \subseteq Z_{\S}(X,Y),
14: $$ 
15: and we find examples of {\it finite complexes}  $X$  and  $Y$  for 
16: which these inclusions are strict.  We are also interested in  
17: $Z_{\F}(X) = Z_{\F}(X,X)$,  which under composition has the 
18: structure of a semigroup with zero.  We show that if  $X$  is a  
19: finite dimensional complex and  $\F =\S$,  $\M$  or  $\Sigma$,  then 
20: the semigroup  $Z_{\F}(X)$ is nilpotent.  More precisely,  the 
21: nilpotency of  $Z_{\F}(X)$  is bounded above by the  $\F$-killing  
22: length of  $X$,  a new numerical invariant which equals the 
23: number of steps it takes to make  $X$  contractible by 
24: successively attaching cones on wedges of spaces in  $\F$,  and 
25: this in turn is bounded above by the  $\F$-cone length of  X.  We 
26: then calculate or estimate the nilpotency of  $Z_{\F}(X)$  when  
27: $\F = \S$, $\M$  or $\Sigma$  for the following classes of spaces: 
28: (1) projective spaces  (2) certain Lie groups such as  $SU(n)$ 
29: and  $Sp(n)$.  The paper concludes with several open 
30: problems.
31: \end{abstract}
32: