[논문 리뷰] Isoparametric functions and exotic spheres

Jianquan Ge, Zizhou Tang|arXiv (Cornell University)|2010. 03. 01.

Geometric Analysis and Curvature Flows참고 문헌 42인용 수 3

한 줄 요약

이 논문은 일반 리만 다양체 위에서 등형 함수 이론을 발전시켜, 가상의 이방 4-구면에서는 적절히 전형적인 함수가 존재하지 않음을 증명한다. 또한 $S^3$-불변 투영을 통해 그롬올-마이어 구면에서 적절히 전형적이지만 등형적이지 않은 함수를 구성하며, 초점 집합이 두 점에 해당한다. 이는 함수의 라플라스 연산자가 함수 자체의 함수가 아니므로 등형 조건을 위반함을 보여준다.

ABSTRACT

The first part of the paper is to improve the fundamental theory of isoparametric functions on general Riemannian manifolds. Next we focus our attention on exotic spheres, especially on "exotic" 4-spheres (if exist) and the Gromoll-Meyer sphere. In particular, as one of main results we prove: there exists no properly transnormal function on any exotic 4-sphere if it exists. Furthermore, by projecting an $S^3$-invariant isoparametric function on $Sp(2)$, we construct a properly transnormal but not an isoparametric function on the Gromoll-Meyer sphere with two points as the focal varieties.

연구 동기 및 목표

• 공간 형태를 초월하여 일반 리만 다양체로 등형 함수 이론을 확장하는 것.
• 특히 이방 4-구면과 그롬올-마이어 구면에서 전형적 및 등형적 함수의 존재를 조사하는 것.
• 4차원에서의 열린 스무스 푸앵카레 추측을 고려할 때, 이방 4-구면에서 등형 함수가 존재할 수 있는지 판단하는 것.
• 특히 수축성 다양체와 최소성의 기하적·위상적 성질을 분석하는 것.

제안 방법

• 왕의 결과(특이 수준 집합이 부분다양체임)를 활용하여 일반 리만 다양체 위에서 등형 함수의 기초 이론을 개선한다.
• 3가지 구축 방법을 적용: 등각 변형, 동차도 1 작용, 리만 하중사상으로 등형 함수를 생성한다.
• Sp(2)에서 $S^3$-불변 등형 함수를 구성하고, 목드라-쿠오션 맵 $\pi: Sp(2) \to \Sigma^7$ 를 통해 그롬올-마이어 구면으로 투영한다.
• 함수 $f$ 의 라플라스 연산자 $\triangle f$ 를 공식 $\triangle f = -7f + \phi$ 를 사용하여 그롬올-마이어 구면에서 계산하며, 여기서 $\phi = \langle H, \nabla F \rangle$ 는 투영된 평균 곡률 항이다.
• $S^3$-불변성을 활용해 궤도 내 대표 점을 선택함으로써 계산을 단순화하고, 특정 형태의 행렬로 계산을 축소한다.
• 할로니언과 프레임 계산을 사용하여 계량 성분 $g_{\alpha\beta}$ 와 그 역행렬 $g^{\alpha\beta}$ 를 유도하여, $f^{-1}(0)$ 에서 $\phi$ 의 명시적 계산을 가능하게 한다.

실험 결과

연구 질문

• RQ1 가장자리 4-구면이 존재한다고 가정할 때, 그 위에 적절히 전형적인 함수가 존재하는가?
• RQ2 Sp(2)에서 $S^3$-불변 투영을 통해 그롬올-마이어 구면에서 등형 함수를 구성할 수 있는가?
• RQ3 그롬올-마이어 구면에서 투영된 함수는 등형적인가, 아니면 $\triangle f$ 가 일정하지 않아 실패하는가?
• RQ4 이방 구면에서 전형 함수의 수준 집합의 초점 다양체의 기하적 성질은 무엇인가?
• RQ5 원래 함수가 등형적이지만 몫 공간이 비자명한 기하학을 가질 경우, 투영된 함수의 라플라스 연산자는 어떻게 행동하는가?

주요 결과

• 가장자리 4-구면이 존재한다고 가정할 경우, 그 위에는 적절히 전형적인 함수가 존재하지 않는다.
• 그롬올-마이어 구면에서 투영된 함수 $f$ 는 적절히 전형적이지만 등형적이지 않다. 왜냐하면 $\triangle f$ 가 $f$ 의 함수가 아니기 때문이다.
• 함수 $\phi = \langle H, \nabla F \rangle$ 는 $f^{-1}(0)$ 에서 일정하지 않으며, 공식 (23)을 통해 명시적으로 증명되었으며, 이는 $\triangle f$ 가 $f$ 의 함수가 아님을 입증한다.
• 수준 집합의 초점 다양체는 정확히 두 점: $f^{-1}(\pm 1)$ 으로, 이는 고립되어 있으며 codimension 7을 가진다.
• 수준 집합 $f^{-1}(0)$ 의 평균 곡률은 일정하지 않다. 이는 $\phi$ 가 일정하지 않기 때문에 유도되며, 이는 수준 집합이 일정한 평균 곡률를 가지지 않음을 확인한다.
• 함수 $\phi([Q])$ 의 명시적 표현은 $\frac{8a_{1}b_{1}b_{0}}{EF}(E - 8a_{2}^{2}b_{1}^{2})$ 로, $a_1, a_2, b_0, b_1$ 의 좌표에 따라 달라지므로 비일정함을 증명한다.