ここの連中って数学はどこまでやってんの?多様体論とか分かるの?