[논문 리뷰] Banach Symmetric Spaces

Michael Klotz|arXiv (Cornell University)|2009. 11. 11.

Advanced Differential Geometry Research참고 문헌 5인용 수 6

한 줄 요약

이 논문은 연속적인 선형 사상이 평행한 비틀림과 곡률을 가진 1-연결이고 지선형으로 완비된 아핀 반바나흐 다양체 사이의 아핀 사상으로 유일하게 통합될 수 있음을 증명함으로써 반바나흐 대칭 공간의 리 이론을 수립한다. 이는 접선 사상이 비틀림과 곡률을 교환시킬 경우에 성립한다. 또한 연결된 반바나흐 대칭 공간의 자기동형군이 매끄럽고 추이적으로 작용하는 반바나흐-리 군임을 보이며, 이에 따라 공간이 반바나흐 동지계 공간 $ M \cong G/G_b $ 임을 증명한다.

ABSTRACT

A Banach symmetric space in the sense of O. Loos is a smooth Banach manifold $M$ endowed with a multiplication map $μ\colon M imes M o M$ such that each left multiplication map $μ_x := μ(x,\cdot)$ (with $x \in M$) is an involutive automorphism of $(M,μ)$ with the isolated fixed point $x$. We show that morphisms of Lie triple systems of symmetric spaces can be uniquely integrated provided the first manifold is 1-connected. The problem is attacked by showing that a continuous linear map between tangent spaces of affine Banach manifolds with parallel torsion and curvature is integrable to an affine map if it intertwines the torsion and curvature tensors provided the first manifold is 1-connected and the second one is geodesically complete. Further, we show that the automorphism group of a connected Banach symmetric space $M$ can be turned into a Banach-Lie group acting smoothly and transitively on $M$. In particular, $M$ is a Banach homogeneous space.

연구 동기 및 목표

• 고전적인 대칭 공간 이론을 무한차원 반바나흐 설정으로 확장하기 위해.
• 반바나흐 범주에서 리 트리플 시스템의 사상에 대한 적분 가능성 문제를 해결하기 위해.
• 연결된 반바나흐 대칭 공간의 자기동형군이 자연스럽게 반바나흐-리 군임을 보이기 위해.
• 비틀림과 곡률이 평행한 아핀 반바나흐 다양체로의 카르탕-암브로즈-릭스 정리의 일반화를 위해.
• 반바나흐-리 군 작용을 통해 반바나흐 대칭 공간이 동지계 공간임을 수립하기 위해.

제안 방법

• 비틀림과 곡률이 평행한 아핀 반바나흐 다양체에 대해 카르탕-암브로즈-릭스 정리를 적응한다.
• 조각별 지선형 연장 기법을 사용하여 접선 공간 사상으로부터 국소 아핀 사상을 전역적으로 통합한다.
• 사상의 그래프 기법을 사용하여 곱 다양체 내의 아핀 부분다양체를 구성한다.
• 도수의 통합을 통해 대칭 공간의 자기동형군을 반바나흐-리 군으로 구성한다.
• 평가 사상 $ \operatorname{ev}_b: \operatorname{Der}(M,\mu) \to T_bM $ 를 활용하여 부분대수의 닫힘성과 위상적 구조를 보인다.
• 공역 변환 사상 $ c_{\mu_b}(g) = \mu_b \circ g \circ \mu_b $ 를 사용하여 자기동형군 위의 표본 변환을 정의한다.

실험 결과

연구 질문

• RQ1 반바나흐 대칭 공간과 관련된 리 트리플 시스템의 사상은 유일하게 아핀 사상으로 통합될 수 있는가?
• RQ2 아핀 반바나흐 다양체의 접선 공간 사이의 연속 선형 사상이 아핀 사상으로 통합되기 위한 조건은 무엇인가?
• RQ3 연결된 반바나흐 대칭 공간의 자기동형군은 자연스럽게 반바나흐-리 군인가?
• RQ4 비콤팩트 또는 무한차원 모델을 가진 반바나흐 설정에서 카르탕-암브로즈-릭스 정리는 어떻게 일반화되는가?
• RQ5 반바나흐-리 군 작용을 통해 반바나흐 대칭 공간에 대해 동지계 공간 구조 $ M \cong G/G_b $ 를 수립할 수 있는가?

주요 결과

• 비틀림과 곡률이 평행한 아핀 반바나흐 다양체 $ M_1 $, $ M_2 $ 의 접선 공간 사이의 연속 선형 사상 $ A: T_{b_1}M_1 \to T_{b_2}M_2 $ 는 $ M_1 $ 이 1-연결이고 $ M_2 $ 가 지선형으로 완비되어 있을 경우, 아핀 사상 $ f: M_1 \to M_2 $ 로 유일하게 통합된다.
• 대칭 공간의 리 트리플 시스템 사상은 도메인 다양체가 1-연결일 경우에 유일하게 통합될 수 있다.
• 연결된 반바나흐 대칭 공간 $ M $ 의 자기동형군 $ \operatorname{Aut}(M,\mu) $ 는 매끄럽고 추이적으로 작용하는 반바나흐-리 군이다.
• 공간 $ M $ 은 동지계 공간 $ G/G_b $ 과 동형이며, 여기서 $ G = \operatorname{Aut}(M,\mu) $ 이고 $ G_b $ 는 점 $ b \in M $ 의 안정자이다.
• 평가 사상 $ \operatorname{ev}_b: \operatorname{Der}(M,\mu) \to T_bM $ 는 연속적이며, 유도된 대수 분해 $ \operatorname{Der}(M,\mu) = \operatorname{Der}(M,\mu)_+ \oplus \operatorname{Der}(M,\mu)_- $ 는 반바나흐 공간들의 직합이다.
• 궤적 사상 $ \tau_b: \operatorname{Aut}(M,\mu) \to M $, $ g \mapsto g(b) $ 는 서브머지온이며, 이에 따라 몫 사상 $ \Phi: G/G_b \to M $ 가 미분동형사상임을 보장한다.