conifold enhancon orbifold cohomology varifold suborbifold supercongruence nilmanifold polyfold hypercohomology