가환대수 vs 저차원 위상수학