The Hodge conjecture is tough simply because complex submanifolds are certainly rigid objects (given that they are outlined by polynomials). Actually, it is very difficult to build elaborate submanifolds, and you'll find not many of these. Proving that submanifolds exist without constructing them (an incredibly practical sort of indirect reasoning) https://insidethesneakerbox.com/