The Hodge conjecture is tough because complicated submanifolds are incredibly rigid objects (because They're defined by polynomials). In fact, it is quite challenging to build advanced submanifolds, and you will discover hardly any of these. Proving that submanifolds exist without having constructing them (a very practical kind of indirect reasoning) https://insidethesneakerbox.com/