스핀(7)-다양체

1. 개요

Spin(7)-다양체는 특정 리만 8-다양체의 홀로노미 군으로 작용하는 Spin(7)을 갖는 다양체이다. 1955년 마르셀 베르제가 처음 가능성을 제안했으며, 1966년 에드몽 보낭은 이러한 다양체가 평행 4-형식을 가지며 리치 평탄해야 함을 증명했다. 로버트 브라이언트는 1984년 홀로노미 Spin(7)을 갖는 8-다양체의 국소적 예를 구성했고, 1989년에는 브라이언트와 살라몬이 완비 8-다양체를 구성했다. 1996년 도미닉 조이스는 콤팩트 Spin(7)-다양체의 첫 번째 예를 구성했다.

2. 역사

Spin(7)이 특정 리만 8-다양체의 홀로노미 군으로 발생할 수 있다는 사실은 1955년 마르셀 베르제의 분류 정리에 의해 처음 제안되었으며, 이 가능성은 1962년 짐 사이먼스가 제시한 베르제의 정리의 간소화된 증명과 일치했다. 1966년에 에드몽 보낭은 그러한 다양체가 실제로 존재한다면, 평행한 4-형식을 가지며, 반드시 리치 평탄해야 함을 보였다. 1984년경 로버트 브라이언트가 홀로노미 Spin(7)을 사용하는 8-다양체의 첫 번째 국소적 예를 구성했으며, 그 존재에 대한 그의 완전한 증명은 1987년 《수학 연보》(Annals of Mathematics)에 게재되었다. 1989년에는 브라이언트와 살라몬이 홀로노미 Spin(7)을 갖춘 완비(그러나 콤팩트하지 않은) 8-다양체를 명시적으로 구성했다. 콤팩트 다양체인 Spin(7)-다양체의 첫 번째 예는 1996년 도미닉 조이스에 의해 구성되었다.

2.1. 초기 연구 (1955년 ~ 1966년)

1955년, 마르셀 베르제는 Spin(7)이 특정 8차원 리만 다양체의 홀로노미 군으로 나타날 수 있음을 처음 제시하였다. 1962년, 제임스 해리스 사이먼스는 베르제 정리의 단순화된 증명을 제시하며 이 가능성을 뒷받침하였다. 1966년, 에드몽 보낭은 이러한 다양체가 존재한다면 평행 4형식을 가지며 리치 평탄해야 함을 증명하였다.

2.2. 국소적 및 완비 다양체 발견 (1984년 ~ 1989년)

마르셀 베르제의 분류 정리에 따르면, Spin(7)이 특정 리만 8-다양체의 홀로노미 군으로 발생할 수 있다는 사실이 1955년에 처음 제안되었다. 1962년 짐 사이먼스는 베르제 정리의 단순화된 증명을 제시했고, 이는 Spin(7) 홀로노미 군의 가능성과 일치했다. 1966년 에드몽 보낭은 그러한 다양체가 존재한다면 평행 4-형식을 가지며 필연적으로 리치 평탄임을 보였다. 1984년 로버트 브라이언트가 홀로노미 Spin(7)을 갖는 8-다양체의 첫 번째 국소적 예를 구성하였고, 1987년 《수학 연보》(Annals of Mathematics)에 브라이언트의 완전한 증명이 발표되었다. 1989년, 브라이언트와 살라몬은 홀로노미 Spin(7)을 갖춘 완비(그러나 콤팩트하지 않은) 8-다양체를 명시적으로 구성하였다.

2.3. 콤팩트 다양체 구성 (1996년)

마르셀 베르제의 분류 정리에 의해 Spin(7)이 특정 리만 8-다양체의 홀로노미 군으로 발생할 수 있다는 사실이 1955년에 처음 제안되었고, 1962년 짐 사이먼스가 제시한 베르제 정리의 간소화된 증명과도 일치했다. 1966년에 에드몽 보낭은 그러한 다양체가 존재한다면 평행 4형식을 가질 것이며 필연적으로 리치 평탄임을 보였다. 1984년경 로버트 브라이언트가 홀로노미 Spin(7)을 사용하는 8-다양체의 첫 번째 국소적 예를 구성했으며, 1987년 Annals of Mathematics에 그 존재에 대한 완전한 증명이 발표되었다. 1989년에는 브라이언트와 살라몬이 홀로노미 Spin(7)을 갖춘 완비(그러나 콤팩트하지 않은) 8-다양체를 명시적으로 구성했다. 1996년, 도미닉 조이스가 콤팩트 다양체 Spin(7)-다양체의 첫 번째 예를 구성하였다.