Lusternik-Schnirelmann category and products of local spaces

Abstract

Let X, Y be finite 1-connected p-local CW-complexes. We show that cat(X × Y ) = cat(X) + cat(Y ) holds if p is large and the loop space homology of X, Y satisfies a certain flatness assumption.