高次元多様体のホモトピー的性質