Una de las cuestiones importantes de esta rama (recién resuelta por Perelman del 2006) es la célebre Conjetura de Poincaré, tanto como la conjetura de geometrización de Thruston.