differentialgeometryandtopology