The Hodge conjecture is difficult simply because complicated submanifolds are extremely rigid objects (because They're defined by polynomials). In fact, it is quite challenging to build sophisticated submanifolds, and you'll find very few of them. Proving that submanifolds exist with out developing them (an incredibly beneficial sort of oblique reasoning) https://insidethesneakerbox.com/