The Hodge conjecture is tough because sophisticated submanifolds are certainly rigid objects (since They're defined by polynomials). Actually, it is very difficult to construct sophisticated submanifolds, and you can find not many of them. Proving that submanifolds exist without having setting up them (an incredibly valuable type of indirect reasoning) https://insidethesneakerbox.com/