The conjecture is formulated as follows: If X is usually a projective manifold, any class of rational homology of sort (p, p) is often represented by elaborate submanifolds of your complex dimension p. The formulation is proposed as an extension of Thom’s aforementioned outcome, where by any course of rational homology of dimension k may be repre