The Hodge conjecture is hard since complex submanifolds are certainly rigid objects (considering that They're described by polynomials). In reality, it is very hard to construct elaborate submanifolds, and there are actually not many of them. Proving that submanifolds exist without developing them (an exceedingly valuable kind of oblique reasoning) https://insidethesneakerbox.com/