The Hodge conjecture is difficult since complicated submanifolds are really rigid objects (considering that they are outlined by polynomials). In actual fact, it is very difficult to build advanced submanifolds, and you will find not many of these. Proving that submanifolds exist without constructing them (an incredibly handy kind of https://insidethesneakerbox.com/