[논문 리뷰] Tits Geometry and Positive Curvature

Fuquan Fang, Karsten Grove외 1명|arXiv (Cornell University)|2012. 05. 28.

Advanced Algebra and Geometry참고 문헌 38인용 수 22

한 줄 요약

이 논문은 단순연결되고 컴act하며 정 curvature를 가진 다중체의 cohomogeneity가 2 이상인 어떤 극좌표 작용이라도, 컴팩트 랭크 1 대칭 공간(구면, 복소 또는 허수 프로젝티브 공간, 또는 옥토니온 평면) 위의 극좌표 작용과 동치미분형임을 증명한다. 행동의 칸탈 시스템을 분석하고 그의 보편 티츠 커버를 구성함으로써, 저자들은 이 커버가 컴팩트 구면 빌딩을 이룬다는 것을 보이며, 이를 통해 티츠 기하학과 코엑터 군의 구조를 이용해 이러한 작용을 완전히 분류한다.

ABSTRACT

There is a well known link between (maximal) polar representations and isotropy representations of symmetric spaces provided by Dadok. Moreover, the theory by Tits and Burns-Spatzier provides a link between irreducible symmetric spaces of non-compact type of rank at least three and irreducible topological spherical buildings of rank at least three. We discover and exploit a rich structure of a (connected) chamber system of finite (Coxeter) type M associated with any polar action of cohomogeneity at least two on any simply connected closed positively curved manifold. Although this chamber system is typically not a Tits geometry of type M, we prove that in all cases but two that its universal Tits cover indeed is a building. We construct a topology on this universal cover making it into a compact spherical building in the sense of Burns and Spatzier. Using this structure we classify up to equivariant diffeomorphism all polar actions on (simply connected) positively curved manifolds of cohomogeneity at least two.

연구 동기 및 목표

• 단순연결되고 컴팩트하며 정 curvature를 가진 다중체의 cohomogeneity가 2 이상인 모든 극좌표 작용을 분류하는 것.
• 그러한 작용과 관련된 칸탈 시스템의 기하학적 및 대수적 구조를 이해하는 것.
• 이 칸탈 시스템의 보편 티츠 커버가 유일한 두 예외 케이스를 제외한 전부에서 컴팩트 구면 빌딩을 이룬다는 것을 보이는 것.
• 티츠 기하학을 통해 극좌표 작용과 고전적 대칭 공간 및 빌딩 이론 사이의 연결 고리를 확립하는 것.
• 그러한 작용이 랭크 1 대칭 공간 위의 작용과 동치미분형임을 증명함으로써 강성 분류를 달성하는 것.

제안 방법

• 정 curvature를 가진 다중체 위의 극좌표 작용의 궤도 구조에서 유한 코엑터 군 유형의 칸탈 시스템을 구성하는 것.
• 티츠와 버너스-스파츠비어의 빌딩 및 군 작용에 관한 결과를 이용하여, 이 칸탈 시스템의 보편 커버가 구면 빌딩임을 확인하는 것.
• 다도크의 작업을 통해 극좌표 표현과 대칭 공간의 이so트로피 표현을 분류하여, 작용을 알려진 기하 모델과 연결하는 것.
• 칸탈 시스템과 그 보편 커버의 이론을 적용하여, 작용이 구면 또는 프로젝티브 공간 위의 선형 극좌표 작용과 궤도 동치임을 도출하는 것.
• 표현 이론과 구면 위의 전이적 작용을 이용하여, 비선형 또는 비호모제너스 작용을 배제하며, 특히 옥토니온 평면의 경우에 주로 적용하는 것.
• 칸탈 시스템의 보편 커버가 빌딩임을 이용하여, 작용이 반드시 랭크 1 대칭 공간 위의 알려진 작용과 동치미분형이어야 한다는 것을 유도하는 것.

실험 결과

연구 질문

• RQ1 cohomogeneity가 2 이상인 정 curvature 다중체 위의 극좌표 작용과 관련된 칸탈 시스템의 구조는 무엇인가?
• RQ2 이 칸탈 시스템의 보편 티츠 커버가 컴팩트 구면 빌딩이 되는 조건은 무엇인가?
• RQ3 모든 이러한 극좌표 작용은 동치미분형에 대해 분류될 수 있는가?
• RQ4 작용의 안정자 군(극좌표 군)은 가능한 기하적 실현을 어떻게 제약하는가?
• RQ5 옥토니온 평면 위의 예외적 작용은 분류에 어떤 역할을 하는가?

주요 결과

• 단순연결되고 컴팩트하며 정 curvature를 가진 다중체의 cohomogeneity가 2 이상인 극좌표 작용과 관련된 칸탈 시스템의 보편 티츠 커버는 유일한 두 예외 케이스를 제외한 전부에서 컴팩트 구면 빌딩이다.
• 그러한 작용의 극좌표 군은 코엑터 군 또는 그 Z2 몫군이며, 절단은 선형 작용을 가진 구면 또는 실수 프로젝티브 공간과 동치미분형이다.
• 그러한 다중체 위의 모든 극좌표 작용은 컴팩트 랭크 1 대칭 공간: 구면, 복소 또는 허수 프로젝티브 공간, 또는 옥토니온 평면 위의 작용과 동치미분형이다.
• 옥토니온 평면 위의 예외적 작용은 정확히 SU(3)×SU(3)와 SO(3)×G2에 의한 것으로, 궤도 공간은 각도 π/2, π/3, π/4인 구면 삼각형이다.
• 확장된 군 G′의 S³ 성분이 프로젝티브 공간 위에서 작용하는 것은 자명하며, 이는 비선형 확장을 배제하고 분류를 뒷받침한다.
• HP(n) 위의 거의 효과적인 작용의 핵심은 Sp(1)에 포함되며, 이는 허수 프로젝티브 공간의 알려진 등장사상 군의 구조와 일치한다.