“…Since the functional is conformally invariant, one expects compactness to be violated for this problem; moreover, due to the presence of the Dirac operator, it is strongly indefinite. For the later part, the authors studied an effective method, based on a homological approach [21,23,24], for general functionals with this feature of being strongly indefinite; here we will focus on the first issue, that is the lack of compactness. We recall that a C 1 function F satisfies the Palais-Smale condition (PS) if: for any sequence x k such that F (x k ) → c and ∇F (x k ) → 0 (such a sequence is then called a (PS) sequence), there exists a converging subsequence.…”