[논문 리뷰] Hopf fibrations are characterized by being fiberwise homogeneous

Haggai Nuchi|arXiv (Cornell University)|2014. 07. 17.

Homotopy and Cohomology in Algebraic Topology참고 문헌 23인용 수 5

한 줄 요약

이 논문은 구를 큰 부분구로 나누는 호프 fibrations가 섬유별로 균일성에 의해 유일하게 특징지어진다는 것을 증명한다. 즉, 임의의 두 섬유는 섬유를 보존하는 등장변환을 통해 서로로 매핑될 수 있다. 컴act 리군의 표현 이론과 몬고메리-사멜슨, 보렐의 분류 결과를 사용하여, 이러한 fibrations는 고전적 호프 fibrations와 등장변환을 갖는다. 3-구에서 큰 원으로 나누어진 특수한 경우, 연결된 열린 집합에서 국소적으로 섬유별로 균일한 성질을 가진다면, 그 fibrations는 전체 호프 fibrations의 일부임을 보인다.

ABSTRACT

Heinz Hopf's famous fibrations of the 2n+1-sphere by great circles, the 4n+3-sphere by great 3-spheres, and the 15-sphere by great 7-spheres have a number of interesting properties. Besides providing the first examples of homotopically nontrivial maps from one sphere to another sphere of lower dimension, they all share two striking features: (1) Their fibers are parallel, in the sense that any two fibers are a constant distance apart, and (2) The fibrations are highly symmetric. For example, there is a fiber-preserving isometry of each total space which takes any given fiber to any other one. Hopf fibrations have been characterized up to isometry by the first property above, initially among all fibrations of spheres by great subspheres, and later in the stronger sense among all fibrations of spheres by smooth subspheres. In this paper, we show that the Hopf fibrations are also characterized by their "fiberwise homogeneity" expressed above in (2), and in the strong sense among all fibrations of spheres by smooth subspheres. In the special case of the 3-sphere fibered by great circles, we prove something stronger. We prove that a fibration of a connected open set by great circles which is locally fiberwise homogeneous is part of a Hopf fibration.

연구 동기 및 목표

• 둥근 구를 부드러운 부분구로 나누는 fibrations 중에서 섬유별로 균일한 성질을 갖는 호프 fibrations만을 특징짓는 것.
• 섬유를 보존하는 등장변환이 임의의 섬유를 다른 섬유로 매핑할 수 있다는 조건인 섬유별로 균일한 성질이, 이러한 fibrations 전체 중에서 호프 fibrations를 완전히 특징짓는다는 것을 입증하는 것.
• 더 강력한 국소적 결과를 증명하는 것: 3-구의 연결된 열린 부분집합을 큰 원으로 나누는 국소적으로 섬유별로 균일한 fibrations는 반드시 전역 호프 fibrations의 일부여야 한다는 것.
• 컴 pact 리군의 표현 이론을 적용하여, 섬유별로 균일한 fibrations의 대칭군이 임베딩된 유클리드 공간 위에서 기약적으로 작용하고 표준적인 방식으로 작용함을 보여, 호프 모델과 동형임을 이끌어내는 것.

제안 방법

• 세르 스펙트럴 시퀀스를 사용하여, 섬유별로 균일한 fibrations의 기저 공간의 코homology 링이 호프 모델의 그것과 일치함을 보이고, 이는 기저 공간이 호프 fibrations의 기저 공간과 미분형임을 암시한다.
• 구와 사영 공간 위에서 단순히 전이적이고 효과적으로 작용하는 컴 pact 리군의 분류(몬고메리-사멜슨, 보렐, 온이스키크)를 적용하여 fibrations의 가능한 대칭군을 식별한다.
• 행동의 비퇴화성에 관한 보조정리를 통해, 등장변환군이 임베딩된 유클리드 공간 위에서 기약적으로 작용함을 증명한다.
• 표현 이론을 사용하여, 대칭군이 임베딩된 공간 위에서 작용하는 것이 표준적(즉, 호프 모델의 대칭군의 작용과 동치임)임을 보여준다.
• fibration이 호프 모델과 적어도 하나의 섬유를 共通으로 가지며, 대칭군의 전이성에 의해 전체 fibrations가 호프 모델과 일치함을 결론짓는다.
• 3-구의 경우, 국소적으로 섬유별로 균일한 성질을 사용하여, fibrations 사상의 미분이 0이어야 한다는 것을 보이고, 이는 fibrations가 일정하며 따라서 호프 fibrations의 일부임을 암시한다.

실험 결과

연구 질문

• RQ1 섬유별로 균일한 성질이 둥근 구를 부드러운 부분구로 나누는 모든 fibrations 중에서 호프 fibrations를 완전히 특징짓는 데 충분한가?
• RQ2 전역적이고 국소적인 섬유별로 균일한 성질이 fibrations가 호프 fibrations의 일부인지 결정하는 데 어떤 역할을 하는가?
• RQ3 섬유별로 균일한 fibrations의 대칭군은 고전적 호프 fibrations의 대칭군과 어떻게 관련되어 있는가?
• RQ4 3-구를 큰 원으로 나누는 국소적으로 섬유별로 균일한 fibrations가 전역 호프 fibrations로 확장될 수 있는 조건은 무엇인가?
• RQ5 컴 pact 리군의 표현 이론을 사용하여, 대칭군이 임베딩된 공간 위에서 작용하는 것이 표준적인가를 증명할 수 있는가?

주요 결과

• k-구로 $ S^n $ 을 $ C^1 $ 으로 나누는 섬유별로 균일한 fibrations의 기저 공간은 해당 호프 fibrations의 기저 공간과 미분형이다.
• 이러한 fibrations의 대칭군은 임베딩된 유클리드 공간 위에서 기약적으로 작용한다.
• 대칭군이 임베딩된 공간 위에서 작용하는 것은 표준적이다. 즉, 호프 모델의 대칭군의 작용과 동치이다.
• 모든 $ S^n $ 을 $ k $-구로 나누는 섬유별로 균일한 fibrations는 등장변환을 갖는 호프 fibrations와 일치한다.
• 3-구의 경우, 연결된 열린 부분집합을 큰 원으로 나누는 국소적으로 섬유별로 균일한 fibrations는 반드시 전역 호프 fibrations의 일부여야 한다.
• 3-구의 경우, fibrations 사상의 미분은 국소적으로 섬유별로 균일한 성질이 있으면 반드시 0이 되며, 이는 fibrations가 일정하고 따라서 호프 fibrations의 일부임을 암시한다.