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