Title:

Some problems in algebraic topology : on LusternikSchnirelmann categories and cocategories

In his thesis we are concerned with certain numerical invariants of homotopy type akin to the LusternikSchnirelmann category and cocategory. In a series of papers I. Bernstein, T. Ganea, and P.J. Hilton developed the concepts of the category and weak category of a topological space. They also considered the related concepts of conilpotency and cup product length of a space and the weak category of a map. Later T. Ganea gave another definition of category and weak category (which we shall write as Gcat and Gwcat) in terms of vibrations and cofibrations and hence this dualizes easily in the sense of EckmannHilton. We find the relationships between these invariants and then find various examples of spaces which show that the invariants are all different except cat and Gcat. The results are contained in the following theorem. The map $e:B > OmegaSigma B$ is the natural embedding. All the invariants are normalized so as to take the value 0 on contractible spaces. THEOREM Let B have the homotopy type of a simply connected CWcomplex, then $cat B = Gcat B geq Gwcat B geq wcat B geq wcat e geq conil B geq cuplong B$ and furthermore all the inequalities can occur. All the examples are spaces of the form $B = S^qcup_alpha e^n$ where $alphain pi_{n1} (S^q)$. When B is of this form, we obtain conditions for the category and the weak categories of B to be less than or equal to one of the terms of Hopf invariants of $alpha$. We use these conditions to prove the examples. We then prove the dual theorem concerning the relationships between the invariants cocategory, weak cocategory, nilpotency and Whitehead product length. THEOREM Let A be countable CWcomplex, then $cocat A geq wcocat A geq nil A geq Wlong A$ and furthermore all the inequalities can occur. The proof is not dual to the first theorem, though the examples we use to show that the inequalities can exist are all spaces with two nonzero homotopy groups. The most interesting of these examples is the space A with 2 nonzero homotopy groups, $mathbb Z$ in dimension 2 and ${mathbb Z}_4$ in dimension 7 with kinvariant $u^4 in H^8(mathbb Z, 2; {mathbb Z}_4)$. This space is not an Hspace, but has weak cocategory 1. The condition $wcocat A leq 1$ is equivalent to the fact that d is homotopic to 0 in the fibration $D d> A e> OmegaSigma A$. In order to show that wcocat A = 1 we have to calculate to cohomology ring of $OmegaSigma K(mathbb Z,2)$. The method we use to do this is the same as that used to calculate the cohomology ring of $OmegaSigma S^{n+1}$ using James' reduced product construction. Finally we show that for the above space A the fibration $Omega A g> A^S f> A$ has a retraction $ ho$ such that $ hocirc g$ is homotopic to 1 even though A is not an Hspace.
