[논문 리뷰] Wiedersehen metrics and exotic involutions of Euclidean spheres

Uwe Abresch, Carlos Durán외 2명|ArXiv.org|2005. 01. 06.

Geometric and Algebraic Topology참고 문헌 12인용 수 5

한 줄 요약

이 논문은 Gromoll-Meyer의 이색 7차원 구면 $\Sigma^7_{2,-1}$ 상의 wiedersehen 메트릭의 길항선을 이용하여, 유클리드 구면 $S^5$, $S^6$, $S^{13}$, $S^{14}$ 상의 이색 자유 호분할 전환에 대해 명시적이고 기하학적인 공식을 수립한다. 이러한 전환은 실수 사영 공간과 동치인 위상공간을 갖는 비미분동형인 몫공간을 유도하며, 이는 $\pi_1\mathrm{Diff}(S^5)$ 및 $\pi_1\mathrm{Diff}(S^{13})$ 상의 비자명 원소를 명시적으로 구성하고, $\mathbb{Z}_2 \times S^3$ 작용을 통한 군 작용에서의 비취소 현상을 보여준다.

ABSTRACT

We provide explicit, simple, geometric formulas for free involutions rho of Euclidean spheres that are not conjugate to the antipodal involution. Therefore the quotient S^n/rho is a manifold that is homotopically equivalent but not diffeomorphic to RP^n. We use these formulas for constructing explicit non-trivial elements in pi_1 Diff(S^5) and pi_1 Diff(S^13) and to provide explicit formulas for non-cancellation phenomena in group actions.

연구 동기 및 목표

• 자명한 반대점 전환과 동치가 되지 않는 이색 자유 호분할 전환에 대해 유클리드 구면 상에 명시적이고 기하학적인 공식을 수립하는 것.
• 이러한 전환을 이용하여 $\pi_1\mathrm{Diff}(S^5)$ 및 $\pi_1\mathrm{Diff}(S^{13})$ 상의 비자명 원소를 명시적으로 구성하는 것.
• 각 성분으로의 제약이 동치인 $\mathbb{Z}_2 \times S^3$ 작용이 서로 동치가 아니게 구성된 $S^6 \times S^3$ 상에서 군 작용에서의 비취소 현상을 보여주는 것.
• 쿼터니언에서 케일리 수로의 기하학적 구성 확장을 통해 차원 13 및 14에서의 이색 전환을 도출하는 것.

제안 방법

• Gromoll-Meyer의 이색 7차원 구면 $\Sigma^7_{2,-1}$ 상의 wiedersehen 메트릭의 길항선을 활용하여, $Sp(2) \to S^7$ 상의 $S^3$-_bundle이 $Sp(2)$ 내의 불변 6차원 구면 $\mathcal{S}_6 \subset Sp(2)$ 상에 제약된 경우의 자명화를 정의한다.
• 자명화 $\phi: S^6 \times S^3 \to \mathcal{S}_6$ 를 통해 $Sp(2)$ 상의 $\bullet$-작용을 $S^6 \times S^3$ 상의 $\mathbb{Z}_2 \times S^3$-작용으로 이전하여 두 개의 서로 다른 작용 $r_1$ 및 $r_2$ 를 유도한다.
• 반대점 전환 $m$ 을 $Sp(2)$ 상에서 $\bigstar$-작용을 통해 제약함으로써 $S^6$ 상의 이색 전환 $\rho$ 를 정의하며, 이는 표준 반대점 작용 $\alpha$ 와 다릅니다.
• 쿼터니언을 케일리 수로 대체하여, 군 구조를 유지하면서 $S^{13}$ 및 $S^{14}$ 상의 이색 전환을 도출하는 방식으로 차원 13 및 14로의 확장을 수행한다.
• 이론적 비등형성의 증명을 위해 $\pi_1\mathrm{Diff}(S^n)$ 상의 올림이 비자명함을 보이며, $\pi_0\mathrm{Diff}(S^{n+1})$ 상의 유도된 미분동형사상이 자명하게 올라가지 않음을 보여준다.
• 두 서로 동치가 아닌 작용 $r_1$ 및 $r_2$ 를 연결하는 공변 미분동형사상 $F((p,w),q) = (qp\bar{q}, qw\bar{q}, \bar{q})$ 를 구성함으로써 비취소 현상이 확인된다.

실험 결과

연구 질문

• RQ1 반대점 전환과 동치가 되지 않는 이색 자유 호분할 전환에 대해 유클리드 구면 상에 명시적이고 기하학적인 공식을 수립할 수 있는가?
• RQ2 이러한 이색 전환은 $n=5$ 및 $n=13$ 에서 $\pi_1\mathrm{Diff}(S^n)$ 상의 비자명 원소를 유도하는가?
• RQ3 각 성분으로의 제약이 동치인 $\mathbb{Z}_2 \times S^3$ 작용이 서로 동치가 아니게 구성된 $S^6 \times S^3$ 상에서 군 작용에서의 비취소 현상을 명시적으로 실현할 수 있는가?
• RQ4 Gromoll-Meyer의 이색 7차원 구면 상의 wiedersehen 메트릭을 기반으로 한 기하학적 구성은 쿼터니언에서 케일리 수로 어떻게 확장되어 차원 13 및 14에서의 이색 전환을 도출할 수 있는가?
• RQ5 반대점 사상에 의한 공역에 의한 $\mathbb{Z}_2$-작용이 이색 전환을 구분하는 데에서 $\mathrm{Diff}^+(S^n)$ 상에서 수행하는 역할은 무엇인가?

주요 결과

• Gromoll-Meyer의 이색 7차원 구면 상의 wiedersehen 메트릭의 길항선을 이용하여, $S^5$, $S^6$, $S^{13}$, $S^{14}$ 상의 이색 전환 $\rho$ 에 대한 명시적 공식이 수립된다.
• 몫공간 $S^n / \rho$ 는 동치류상 동치이지만, $\mathbb{R}P^n$ 과 미분동형이 아니며, 이는 이색 실수 사영 공간의 명시적 예를 제공한다.
• $\pi_1\mathrm{Diff}(S^5)$ 및 $\pi_1\mathrm{Diff}(S^{13})$ 상의 비자명 원소는 이색 전환에 의해 유도된 미분동형사상의 명시적 올림을 통해 구성된다.
• 각 성분으로의 제약이 동치인 두 개의 서로 동치가 아닌 $\mathbb{Z}_2 \times S^3$ 작용 $r_1$ 및 $r_2$ 를 $S^6 \times S^3$ 상에 구성함으로써 비취소 현상이 입증된다.
• 공변 미분동형사상 $F((p,w),q) = (qp\bar{q}, qw\bar{q}, \bar{q})$ 는 두 개의 서로 동치가 아닌 작용을 연결하며, 이는 비취소 현상의 기하학적 기원을 확인한다.
• 쿼터니언에서 케일리 수로의 구성 확장은, Gromoll-Meyer의 필베이션의 케일리 수에 해당하는 해가 없음에도 불구하고, 차원 13 및 14에서 이색 전환을 도출한다.