[논문 리뷰] Curvature and symmetry of Milnor spheres

Karsten Grove, Wolfgang Ziller|arXiv (Cornell University)|2000. 07. 01.

Geometry and complex manifolds참고 문헌 30인용 수 5

한 줄 요약

이 논문은 S³-_bundle_ 위의 공역군 작용과 S⁴ 위의 부분사상 메트릭을 이용하여 14개의 이국적 7-구면체 중 10개의 이국적 7-구면체에 대해 무한히 많은 비등형(비등형이 아닌) 메트릭을 구성한다. 이 메트릭들은 비음성 섹션 군의 곡률을 가진다. 모든 벡터 및 구면(bundle) 다발은 S⁴ 위에서 완전한 비음성 곡률 메트릭을 갖는다. 또한, 허프 분할을 유지하는 이국적 7-구면체 위에 무한히 많은 거의 자유로운 SO(3) 작용을 구성하며, 특정 이형체 이소트로피 군을 갖는다.

ABSTRACT

In this paper we explore the geometry and topology of cohomogeneity one manifolds, i.e. manifolds with a group action whose principal orbits are hypersurfaces. We show that the principal group action of every principal SO(3) and SO(4) bundle over S^4 extends to a cohomogeneity one action. As a consequence we prove that every vector bundle and every sphere bundle over S^4 has a complete metric with non-negative curvature. It is well known that 15 of the 27 exotic spheres in dimension 7 can be written as S^3 bundles over S^4 in infinitely many ways, and hence we obtain infinitely many non-negatively curved metrics on these exotic spheres. A further consequence will be that there are infinitely many almost free actions by SO(3) on S^7, i.e. all isotropy groups are finite. These actions preserve the Hopf fibration S^3 -> S^7 -> S^4 but do not extend to the disc D^8. We also construct infinitely many such actions on the 15 exotic 7-spheres mentioned above.

연구 동기 및 목표

• 이국적 7-구면체가 비음성 섹션 군 곡률을 갖는 메트릭을 갖는지 여부를 규명하는 것.
• 비음성 곡률을 갖는 컴act 다발 위의 벡터 및 구면 다발에 대해 체커-그로몰 영향 정리의 역이 어느 정도 성립하는지 조사하는 것.
• 이국적 7-구면체 위에 허프 분할을 유지하는 새로운 거의 자유로운 SO(3) 작용의 예를 구성하는 것.
• 밀너 구면체 및 관련 다발 위에 공역군 작용이 비음성 곡률을 갖는 메트릭을 갖는지 탐색하는 것.
• 이러한 작용의 이소트로피 군과 기하학적 구조, 그리고 그들이 그로몰-마이어 구면체와 어떻게 관련되어 있는지 분석하는 것.

제안 방법

• S⁴ 위의 S³-다발 위에서 공역군 작용을 이용하여 비음성 섹션 군 곡률을 갖는 불변 메트릭을 구성한다.
• S⁴ 위의 주 S³-다발에 대한 부분사상 메트릭을 적용하며, Sp(2)의 기하학과 그 군 작용을 활용한다.
• 등급이 3인 SO(3) 작용을 이sovolumetric 분할을 통해 S⁴ 위의 표준 SO(3) 작용을 끌어올림으로써 S⁷과 이국적 7-구면체 위에 SO(3) 작용을 구성한다.
• 표현 이론과 이소트로피 군 분석을 활용하여 고정점 집합과 궤도 유형을 분류한다.
• 브리스코른 다양체 모델과 주 다발의 구조를 이용하여 이국적 구면체를 구면 다발의 전체공간으로 실현한다.
• Sp(2) 위의 메트릭의 극한을 분석하여 그로몰-마이어 메트릭을 열화된 경우로 복원한다.

실험 결과

연구 질문

• RQ1 이국적 7-구면체 중 그로몰-마이어 구면체 외에도 비음성 섹션 군 곡률을 갖는 메트릭을 갖는 것이 있는가?
• RQ2 S⁴ 위의 모든 벡터 다발과 구면 다발은 완전한 비음성 곡률 메트릭을 갖는가?
• RQ3 동일한 이국적 7-구면체 위에 비등형이 아닌 무한히 많은 메트릭이 존재하는가?
• RQ4 SO(3)이 이국적 7-구면체 위에 거의 자유롭게 작용하면서 허프 분할을 유지할 수 있으며, 그 이소트로피 군은 무엇인가?
• RQ5 이국적 구면체 위의 공역군 작용이 비음성 곡률을 갖는 메트릭을 얼마나 많이 도출할 수 있는가?

주요 결과

• 14개의 이국적 7-구면체 중 10개(밀너 구면체)는 S³-다발 위의 부분사상 메트릭을 통해 비음성 섹션 군 곡률을 갖는 메트릭을 갖는다.
• S⁴ 위의 모든 벡터 다발과 구면 다발은 완전한 비음성 섹션 군 곡률 메트릭을 갖으며, 각 전체공간에 대해 무한히 많은 비등형 메트릭이 존재한다.
• 모든 n ≥ 1에 대해, S⁷ 위에 허프 분할을 유지하는 거의 자유로운 SO(3) 작용이 존재하며, 이는 이소트로피 군 D₁=Z₂, D₂=Z₂×Z₂, Dₙ, Dₙ₊₁, Dₙ₊₂, Dₙ₊₃를 갖는다. 이 작용들은 n ≥ 4일 경우 D⁸로 확장되지 않는다.
• 모든 이국적 밀너 구면체 Σ⁷에 대해, 3-구면 분할을 유지하는 무한히 많은 서로 다른 거의 자유로운 SO(3) 작용이 존재하며, 각 분할에 대해 하나의 작용이 존재한다.
• M₂,₋₁ 위의 그로몰-마이어 메트릭은 Sp(2)와 S³×S³ 작용을 통해 구성된 1-파라미터 메트릭 가중치의 극한으로 복원되며, 이는 비슷한 방식으로 구성된 메트릭과는 달리, 개방된 집합에서 양성 곡률을 갖는다.
• 각 밀너 구면체(표준 구면체 포함) 및 호모토피 RP⁵ 위의 비음성 곡률 메트릭 공간은 무한히 많은 연결 성분을 갖는 것으로 보이며, 이는 무한히 많은 비등형 메트릭의 존재로 인해 유추된다.