거의 켈러 다양체와 G2-홀로노미에서의 조이스 예시의 형식성에 대하여

본 논문은 거의 켈러 다양체가 형식 공간임을 증명하고, 특별한 홀로노미 G2를 가진 조이스 예시 다양체 M의 형식성을 증명하는 방법을 제시합니다.