很好很清楚的differentialmanifold 可以看下