The Hodge conjecture is tough since sophisticated submanifolds are incredibly rigid objects (because They're defined by polynomials). In actual fact, it is quite challenging to build complicated submanifolds, and there are hardly any of these. Proving that submanifolds exist without having constructing them (an exceedingly valuable kind of oblique reasoning) https://insidethesneakerbox.com/