The Hodge conjecture is tough because elaborate submanifolds are quite rigid objects (because They are really outlined by polynomials). In fact, it is quite challenging to construct complex submanifolds, and there are very few of these. Proving that submanifolds exist without developing them (an exceedingly useful kind of indirect reasoning) https://insidethesneakerbox.com/