The Hodge conjecture is tough mainly because elaborate submanifolds are very rigid objects (because They are really described by polynomials). In fact, it is very difficult to construct intricate submanifolds, and you can find not many of them. Proving that submanifolds exist without constructing them (a very useful sort of https://insidethesneakerbox.com/