The Hodge conjecture is difficult simply because complicated submanifolds are extremely rigid objects (given that They're defined 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 (a very handy kind https://insidethesneakerbox.com/