[논문 리뷰] Projective planes, Severi varieties and spheres

Michael Atiyah, Jürgen Berndt|ArXiv.org|2002. 06. 13.

Mathematics and Applications참고 문헌 13인용 수 6

한 줄 요약

이 논문은 복소수의 복소 프로젝티브 평면을 복소수 켤레에 대해 나눈 결과가 4차원 구면과 미분동형임을 고전적으로 일반화하여, 노름을 가진 나눗셈 대수체인 복소수, 허미션, 옥토니언에 대한 프로젝티브 평면으로 확장한다. 논문은 $\mathbb{C}P^2/\mathrm{O}(1) \cong S^4$, $\mathbb{H}P^2/\mathrm{U}(1) \cong S^7$, $\mathbb{O}P^2/\mathrm{Sp}(1) \cong S^{13}$와 같은 미분동형을 확립하고, 복소화된 프로젝티브 평면 $P_n(C)$를 도입하여, 그들의 섬유화 구조를 통해 구형 $S^{d(n)}$로 가는 사상 $\varphi_n$를 정의한다. 이 섬유는 각각 $S^0, S^1, S^3, S^7$이며, 대칭 공간 이론과 트위스터 이론과 깊은 연관성을 드러낸다.

ABSTRACT

A classical result asserts that the complex projective plane modulo complex conjugation is the 4-dimensional sphere. We generalize this result in two directions by considering the projective planes over the normed real division algebras and by considering the complexifications of these four projective planes.

연구 동기 및 목표

• 복소수의 $\mathbb{C}P^2/\mathrm{O}(1) \cong S^4$ 고전 결과를 허미션과 옥토니언에 대한 프로젝티브 평면으로 일반화하는 것.
• 노름을 가진 나눗셈 대수체 위의 실수 프로젝티브 평면의 복소화 $P_n(C)$와 그 기하학적 구조를 연구하는 것.
• 각각의 차원에서 균일한 패턴을 보이는, $\varphi_n: P_n(C) \to S^{d(n)}$ 형태의 명시적 섬유화를 구성하고, 섬유가 $S^0, S^1, S^3, S^7$임을 보여주는 것.
• 다중구조와 대칭 제곱 구성에 의해 전체 기하학을 결정하는, $z_1^2 + \cdots + z_k^2 = 0$로 정의된 초표면 $P_n(\infty)$가 대칭 공간임을 확립하고, 이로 인해 $P_n(C)$의 기하학을 결정하는 것.

제안 방법

• 차원 $2^n$인 노름을 가진 실수 나눗셈 대수체 $A_n$에 대해, $n=0,1,2,3$에 대응하는 $\mathbb{R}, \mathbb{C}, \mathbb{H}, \mathbb{O}$에 대한 프로젝티브 평면 $P_n$을 구성하고, 그 등장 대칭군을 연구한다.
• 복소수 차원 $2^{n+1}$인 복소代수적 다양체로서의 복소화된 프로젝티브 평면 $P_n(C)$를 도입하고, 그 위에 실구조(복소수 켤레)를 부여하며, 고정점은 $P_n$이 되고, 실수 점이 없는 초표면 $P_n(\infty)$를 정의한다.
• $d(n) = 3 \cdot 2^n + 1$인 사상 $\varphi_n: P_n(C) \to S^{d(n)}$를 정의하고, 이들이 브랜치된 섬유화임을 보이며, 섬유는 $S^0, S^1, S^3, S^7$이며, 분지 위치는 $P_n$과 $P_n(\infty)$임을 보인다.
• 초표면 $P_n(\infty)$의 기하학을 이용하여, 대칭곱과 대칭성에 의해 $P_n(C)$를 재구성하고, $P_n(\infty)$가 복소화된 프로젝티브 직선을 매개변수화하며, $P_n(\infty) \to P_n^*$로 가는 섬유화 $P_n(\infty) \to P_n^*$를 지닌다는 것을 보여준다.
• 트위스터 이론과 대칭 공간 이론을 적용하여, $P_n(\infty)$가 동차 공간 $G_n(C)/G_n$임을 보이고, $n=2,3$일 경우, 섬유가 $\mathrm{Sp}(2)/\mathrm{U}(2) \cong SO(5)/SO(3)SO(2)$와 $\mathrm{Spin}(9)/\mathrm{Spin}(7)\mathrm{U}(1)$인 부분 트위스터 섬유화임을 밝힌다.
• $\varphi_n$에 의한 $P_n(\infty)$의 상이 $\varphi_n(P_n)$의 반대점 이미지임을 보이고, $P_n(\infty)$가 반대점 사상에 의해 $S^{d(n)}$에 임베딩된 $P_n$과 미분동형임을 증명한다.

실험 결과

연구 질문

• RQ1 옥토니언 $\mathbb{O}P^2$의 프로젝티브 평면에 대해 $\mathrm{Sp}(1)$의 작용에 대한 몫공간의 미분동형 타입은 무엇인가요?
• RQ2 복소화된 프로젝티브 평면 $P_n(C)$는 어떻게 $S^{d(n)}$로 섬유화되며, 섬유는 $S^0, S^1, S^3, S^7$로 나타나는가요?
• RQ3 복소수 평면 $P_n(C)$ 내에 정의된 초표면 $P_n(\infty) \subset P_n(C)$, 즉 $z_1^2 + \cdots + z_k^2 = 0$은 $P_n(C)$의 구조를 결정하는 데 어떤 기하학적 역할을 하는가요?
• RQ4 복소화된 프로젝티브 평면 $P_n(C)$는 $P_n(\infty)$의 대칭 제곱으로 재구성될 수 있으며, 이는 대칭성과 트위스터 섬유화와 어떻게 관련이 있는가요?
• RQ5 섬유가 $L_n(\infty)$인 $P_n(\infty) \to P_n^*$의 섬유화는 전체 섬유화 $\varphi_n: P_n(C) \to S^{d(n)}$와 어떻게 관련이 있는가요?

주요 결과

• $\mathbb{C}P^2 / \mathrm{O}(1)$는 4차원 구면 $S^4$와 미분동형이며, 고전 결과의 일반화이다.
• $\mathbb{H}P^2 / \mathrm{U}(1)$는 7차원 구면 $S^7$과 미분동형이며, 고전 결과를 허미션으로 확장한 것이다.
• $\mathbb{O}P^2 / \mathrm{Sp}(1)$는 13차원 구면 $S^{13}$과 미분동형이며, 옥토니온으로의 일반화를 완성한다.
• 복소화된 프로젝티브 평면 $P_n(C)$는 $d(n) = 3 \cdot 2^n + 1$인 구형 $S^{d(n)}$로 섬유화되며, 각각 $n=0,1,2,3$에 대해 섬유는 $S^0, S^1, S^3, S^7$이다.
• 초표면 $P_n(\infty)$, 즉 $z_1^2 + \cdots + z_k^2 = 0$로 정의된 것은 동차 공간 $G_n(C)/G_n$이며, $P_n(\infty) \to P_n^*$로 가는 섬유화를 지닌다. 이 섬유의 차원은 $2^n - 1$이며, $SO(2^{n+1})/SO(2^n)SO(2)$와 미분동형이다.
• 복소화된 프로젝티브 평면 $P_n(C)$는 동차 공간으로 표현 가능하다: $P_1(C) \cong \mathbb{C}P^2 \times \mathbb{C}P^2$, $P_2(C) \cong \mathrm{Gr}_2(\mathbb{C}^6)$, $P_3(C) \cong E_6 / \mathrm{Spin}(10)\mathrm{U}(1)$이며, $P_n(\infty)$는 동일한 군의 대칭 공간이다.