[논문 리뷰] Riemannian submersions from simple, compact Lie groups

Martin Kerin, Krishnan Shankar|ArXiv.org|2009. 10. 22.

Geometric Analysis and Curvature Flows참고 문헌 14인용 수 5

한 줄 요약

이 논문은 단순하고 컴act한 리 군에 이항불변 계량을 지닌 무한히 많은 리만 하향사상들을 구성한다. 이 하향사상들은 전체 공간의 어떤 군 작용에 의한 몫공간이 아닌 매끄러운 다양체 위로 내려간다. 직교 분해와 비균질 계량을 이용한 새로운 구성 방법을 통해, 구, 복소 프로젝티브 공간, 스티펠 맨포ลด 등 기저 공간들이 전체 리 군의 동차공간이 될 수 없음을 입증함으로써, K. 그로브가 제기한 오랜 숙제인 이러한 하향사상의 구조에 대한 질문을 해결한다.

ABSTRACT

In this paper we construct infinitely many examples of a Riemannian submersion from a simple, compact Lie group $G$ with bi-invariant metric onto a smooth manifold that cannot be a quotient of $G$ by a group action. This partially addresses a question of K. Grove's about Riemannian submersions from Lie groups.

연구 동기 및 목표

• 비군형계량을 지닌 컴팩트 리 군에서의 리만 하향사상의 구조에 관해 K. 그로브가 제기한 열린 질문을 다루는 것.
• 기저 다양체가 전체 공간의 어떤 군 작용에 의한 몫공간과 미분형이 아닌 리만 하향사상의 예를 구성하는 것.
• 이전까지 유일하게 알려진 이중몫공간 구성 이외의 리만 하향사상의 범주를 확장하는 것.
• 특정 동차공간, 예를 들어 구와 스티펠 맨포ลด가 리 군에서의 하향사상의 기저로 나타나지만, 그 군 자체의 몫공간이 아니게 되는지를 보여주는 것.

제안 방법

• 단순 리 군의 리 대수를 대칭 및 비대칭 동차공간에 대응하는 부분대수로 직교 분해하는 방식을 사용한다.
• 두 단계 과정을 통해 리만 하향사상을 구성한다: 첫 번째로 리 군에서 대칭공간으로의 하향사상, 두 번째로 대칭공간에서 최종 기저 다양체로의 하향사상.
• 중간 동차공간에 비균질 계량을 도입하여, 합성된 사상이 수직 방향과 수평 방향이 수직이 아닌 리만 하향사상이 되도록 보장한다.
• 완전지오데식성 수직 방향을 지닌 리만 하향사상 이론을 적용하고, 장길 연속 호모토피 수열을 사용하여 군 몫공간의 존재를 배제한다.
• 온시치크의 단순 리 대수의 부분대수 합으로서의 분해 분류를 활용하여 적절한 대칭 및 비대칭 쌍을 식별한다.
• 유도된 계량 하에서 수평 및 수직 분포의 수직성 조건을 점검함으로써, 최종 사상이 리만 하향사상임을 검증한다.

실험 결과

연구 질문

• RQ1 비군형계량을 지닌 컴팩트 리 군에서의 리만 하향사상 중 기저가 군 작용에 의한 몫공간이 아닌 경우가 존재하는가?
• RQ2 단순 컴팩트 리 군에서의 리만 하향사상 중 이중몫공간 하향사상이 아닌 경우가 존재하는가?
• RQ3 이러한 하향사상의 기저 다양체에 대한 위상수학적 및 기하학적 제약 조건은 무엇인가?
• RQ4 리 군에서의 하향사상의 기저가 S^8나 CP^{2n-2}와 같은 공간일 수 있는가, 그러나 그 군의 동차공간이 아니게 되는가?

주요 결과

• 논문은 단순하고 컴팩트한 리 군에 비군형계량을 지닌 무한히 많은 리만 하향사상들을 구성하였으며, 이들의 기저는 어떤 군 작용에 의한 몫공간이 아니라는 것을 입증하였다.
• SO(16)에서 S^8로의 리만 하향사상이 구성되었으며, 이는 이중몫공간이 아니며, 필요한 구조군의 차원이 112이고 단순 리 군의 구조를 갖지 못하므로 가능하지 않다.
• 이 구성은 SO(2n)에서 S^{2n-2}로, SU(2n)에서 S^{4n-3}로, SU(2n)에서 CP^{2n-2}로, SO(4n)에서 V_3(R^{4n-1}) 및 S^1에 의한 몫공간으로의 하향사상까지, n ≥ 3 또는 n ≥ 4인 경우에 대해 적용된다.
• S^8 및 CP^{2n-2}와 같은 기저 다양체들이 G/U의 미분형이 아니라는 것은 호모토피군 분석과 함께, π3 = Z인 112차원 리 군이 존재하지 않음을 확인함으로써 입증되었다.
• SO(4n-1)/Sp(n-1)Sp(1)에 대한 어떤 동차계량도, 중간 사상 π2와 π2′ 둘 다 리만 하향사상이 되도록 만들 수 없음을 증명함으로써, 이 구성의 비동차성(비균질성)을 확인하였다.
• 이 결과는 SO(16) → S^8의 단일 예를 넘어서, 이중몫공간 프레임워크 외부의 새로운 하향사상의 체계적 가족을 제시함으로써, 기존의 결과를 확장하였다.