The Lusternik-Schnirelmann category of a manifold M is the smallest integer k such that M can be covered by fc open sets each of which is contractible in M. The classification up to cobordism of manifolds with category 3 was completed by the author in 1985. The object of this paper is to attempt a similar classification of manifolds with category 4.
Introduction.Let M be an n-dimensional manifold.1The Lusternik-Schnirelmann category of M, cat(M), is the smallest integer k such that M can be covered by fc open sets each of which is contractible in M. In [3], Mielke showed that an n-dimensional manifold M with cat(M) < 3, and with ra = 3 (mod 4), is a boundary. The author, in [6], showed that one can determine the possible cobordism class of any manifold M with cat(M) < 3. The object of this paper is to determine the possible cobordism classes of manifolds M with cat(M) < 4.As in [6] the strategy is to use the fact that cat(M) is an upper bound for the length of nonzero products of the Stiefel-Whitney classes of M to determine the nonzero Stiefel-Whitney numbers, and hence the cobordism class of M. However, cat(JW) < 4 is a much weaker restriction than cat(M) < 3, and thus the classification problem is a lot harder.We begin §1 by recalling, from [6], the definition, and basic properties, of Poincare algebras and the cobordism category of a manifold M, denoted by cobcat(M). In §2 we begin the investigation by looking at even-dimensional manifolds, and show that an even-dimensional, nonbounding manifold M, with cobcat(M) < 4 and dim(M) ^ 2s + 2 for any s > 2, is cobordant to a square JV x N, where JV is also nonbounding, and cobcat(JV) < 4. This along with other results reduces the problem to one of looking at the odd dimensions. We look at the odd dimensions in §3, and show that for many such dimensions ra, with more than three terms in their 2-adic expansions, there is no nonbounding n-dimensional manifold M with cat(M) < 4. Computations in small dinmensions suggest conjectures in the other dimensions. However, there does not seem to be a general way of handling these dimensions. Finally, in §4, we give some applications to finding lower bounds for the category of spin manifolds, and also show that a spin manifold M, with cat(M) < 4, is nonoriented cobordant to the square of an oriented manifold.