ちゃんと理解するには、多様体論とかからやらないと駄目ですか?