리만 다양체 위의 기하학적 유형 분류와 계량 구조