En concreto, la conjetura dice que ciertos grupos de cohomología de De Rham son algebraicos, esto es, son sumas de dualidades de Poincaré de clases homólogas de subvariedades.