The Hodge conjecture is hard simply because complicated submanifolds are extremely rigid objects (because They're described by polynomials). In actual fact, it is quite challenging to build complicated submanifolds, and you will find hardly any of these. Proving that submanifolds exist without having constructing them (an exceedingly handy kind of https://hyperbookmarks.com/story19319119/slot88-an-overview