[논문 리뷰] On M. Mueter's Ph.D. Thesis on Cheeger deformations

Wolfgang Ziller|ArXiv.org|2009. 09. 01.

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

한 줄 요약

이 논문은 1987년 미출간 박사학위논문인 마이클 무터의 체거 변형에 관한 요약이다. 체거 변형은 군 궤도를 따라 메트릭을 수축시키면서도 비음성 곡률을 유지하는 리만 메트릭 변형 기법이다. 궤도 텐서 $ P_t $ 와 메트릭 텐서 $ C_t $ 를 포함한 리만 부분사상 구조와 곡률 공식을 사용하여, 곡률 행동은 $ C_t^{-1} $ 를 통한 움직이는 평면에서 분석하는 것이 가장 적절하다는 것을 보이며, $ \text{SU}(2) $ 또는 $ \text{SO}(3) $ 작용의 경우, 궤도 투영이 비자명한 모든 2차원 평면은 큰 $ t $ 에서 양의 곡률을 가지게 되며, 이는 양의 곡률 기하학의 핵심 결과에 대한 단순한 증명을 제공한다.

ABSTRACT

These are notes of a talk I gave in a seminar at the University of Pennsylvania summarizing results in the Ph.D. thesis of Michael Mueter obtained under the direction of Wolfgang Meyer at the University of Muenster. His thesis on "Kruemmungserhoehende Deformationen mittels Gruppenaktionen" examines in detail curvature properties of so called Cheeger deformations. Such deformations have been a crucial ingredient in non-negative and positive curvature constructions. His thesis contains a wealth of interesting properties of such deformations, but since it was never published, is only known to a few experts. I have no intention to publish these notes, but post them as a service to the public. A scanned version of his thesis (written in German) is available on my homepage.

연구 동기 및 목표

• 미출간 1987년 무터의 박사학위논문에서 다루는 체거 변형의 세밀한 곡률 분석을 접근 가능하게 하여, 기초적이지만 난해한 자료로 남아 있는 이론을 보급하기 위해.
• 체거 변형 하에서 섹션 곡률의 행동, 특히 고정 평면의 곡률이 음성이 될 수 있다는 비직관적 사실과, 원래 메트릭이 비음성 곡률을 가질 경우 움직이는 평면 $ \text{span}\{C_t^{-1}X, C_t^{-1}Y\} $ 의 곡률는 여전히 비음성임을 명확히 하기 위해.
• 리만 기하학 및 양의 곡률 메트릭을 연구하는 연구자들을 위해 무터의 결과를 포함한 곡률 공식과 기하적 통찰을 자가 포함된 요약을 제공하기 위해.
• 동차 공간, 바이큐얼리언트 다양체, 코호몰로지 일치 다양체에서 비음성 및 양의 곡률 메트릭을 구성하고 분석하는 데서 체거 변형의 유용성을 부각하기 위해.

제안 방법

• 행동 $ (p,g) \mapsto g^{-1}p $ 를 통해 $ M \times G \to M $ 에 대한 리만 부분사상 $ \sigma $ 를 구성하고, $ M $ 에서의 일차 파라미터 메트릭 가중치 $ g_t $ 를 유도한다.
• 모든 $ X,Y \in \mathfrak{m}_p $ 에 대해 $ Q(P_t(X),Y) = g_t(X^*,Y^*)_p $ 를 통해 궤도 텐서 $ P_t $ 를 정의하고, $ P_t = P(I + tP)^{-1} $ 를 유도한다.
• 메트릭 텐서 $ C_t $ 는 $ g(C_t(X),Y) = g_t(X,Y) $ 를 만족하며, $ C_t(V) = (I + tP)^{-1}(V^\mathcal{V}) + V^\mathcal{H} $ 로 표현된다.
• 비정규화된 섹션 곡률 $ \kappa_c(t) $ 를 분석하여, 내재 곡률, $ \|[P(V_\mathfrak{m}), P(W_\mathfrak{m})]\|_Q^2 $ 를 포함한 항, 그리고 O’Neill 유형의 보정 항 $ z(V,W,t) $ 로 분해한다.
• $ C_t^{-1} $ 를 사용하여 움직이는 평면의 곡률를 추적하며, 원래 메트릭이 비음성 곡률을 가질 경우, 이러한 평면의 이미지의 곡률도 비음성임을 보인다.
• $ \text{SU}(2) $ 또는 $ \text{SO}(3) $ 작용의 경우, 이 형식을 적용하여, 궤도에 비자명한 투영을 가지는 모든 2차원 평면은 $ t \to \infty $ 에서 양의 곡률을 가지게 된다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 원래 곡률이 비음성일 경우, 체거 변형 하에서 2차원 평면의 섹션 곡률은 어떻게 변화하는가?
• RQ2 원래 메트릭이 비음성 곡률을 가질지라도, 고정 평면 $ \text{span}\{X,Y\} $ 의 곡률이 $ t > 0 $ 에서 음성이 되는 이유는 무엇인가?
• RQ3 왜 고정 평면이 아닌, 움직이는 평면 $ \text{span}\{C_t^{-1}X, C_t^{-1}Y\} $ 에서 곡률를 분석하는 것이 더 적절한가?
• RQ4 체거 변형이 비음성 곡률을 유지하거나 강화하는 조건은 무엇이며, 특히 $ t \to \infty $ 의 극한에서 어떻게 되는가?
• RQ5 체거 변형을 사용하여 동차 또는 바이큐얼리언트 다양체에서 양의 곡률 메트릭을 구성하거나 그 존재성을 증명할 수 있는가?

주요 결과

• $ \text{SU}(2) $ 또는 $ \text{SO}(3) $ 작용의 경우, 궤도에 비자명한 투영을 가지는 모든 2차원 평면은 충분히 큰 $ t $ 에서 양의 곡률을 가지게 되며, 초기에 음의 곡률이었더라도 그렇다.
• 비정규화된 섹션 곡률 $ \kappa_c(t) $ 는 $ g(R(V,W),V,W) + \frac{t^3}{4}\|[P(V_\mathfrak{m}), P(W_\mathfrak{m})]\|_Q^2 + z(V,W,t) $ 로 주어지며, 여기서 $ z $ 는 O’Neill 유형의 보정 항이다.
• 상승된 벡터의 외적의 노름은 $ \|C_t^{-1}(V) \wedge C_t^{-1}(W)\|^2_{g_t} = t^2\|[P(V_\mathfrak{m}), P(W_\mathfrak{m})]\|_Q^2 + t(\|P(V_\mathfrak{m})\|^2 + \|P(W_\mathfrak{m})\|^2) + 1 $ 를 만족한다.
• 체거 변형에서 $ t < 0 $ 인 경우, 아벨 부분대수를 따라 이중불변 메트릭을 확대할 때 $ t > -1/4 $ 를 만족하면 비음성 곡률를 유지할 수 있다. 이 사실은 무터의 공식에서 유도되었지만 이전 연구에서 간과되었다.
• $ G/H $ 에서 비음성 곡률를 가진 동차 메트릭의 공간은 체거 변형을 통해 연결되어 있으며, $ t \to \infty $ 에서 스케일링된 메트릭 $ t g_t $ 는 이중불변 메트릭으로 수렴한다.
• 역선형 경로 $ t \mapsto t g_t $ 는 이중불변 메트릭에서의 테일러 급수 전개를 제공하며, 비음성 곡률를 유지하는 초기 방향은 제한적임을 보여주며, 이 경로는 곡률 안정성 분석에 사용된다.