The conjecture is formulated as follows: If X is usually a projective manifold, any course of rational homology of sort (p, p) is usually represented by complicated submanifolds of your elaborate dimension p. The formulation is proposed being an extension of Thom’s aforementioned end result, where by any course of rational homology of dimension k