[논문 리뷰] On the moduli spaces of left-invariant pseudo-Riemannian metrics on Lie groups

Akira Kubo, Kensuke Onda외 2명|arXiv (Cornell University)|2015. 09. 28.

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

한 줄 요약

이 논문은 리 군 위의 왼쪽 불변 편미분계량형에 대한 일반화된 밀너 프레임 절차를 모듈리 공간을 이용해 개발하며, 곡률 성질의 분류를 가능하게 한다. 모든 실 하이퍼볼릭 공간 리 군 위의 왼쪽 불변 편미분계량형에 대해 임의의 부호수에서 일정한 섹션 곡률을 가짐을 증명하며, 기존 루프티안 및 리만 기하학 사례를 일반화한다.

ABSTRACT

In this paper, we formulate a procedure to obtain a generalization of Milnor frames for left-invariant pseudo-Riemannian metrics on a given Lie group. This procedure is an analogue of the recent studies on left-invariant Riemannian metrics, and is based on the moduli space of left-invariant pseudo-Riemannian metrics. As one of applications, we show that any left-invariant pseudo-Riemannian metrics of arbitrary signature on the Lie groups of real hyperbolic spaces have constant sectional curvatures.

연구 동기 및 목표

• 리 군 위의 왼쪽 불변 편미분계량형에 대한 밀너 유형의 프레임을 구성하는 일반 절차를 수립하는 것.
• 이전에 리만 기하학에 사용된 모듈리 공간 접근법을 편미분계량형 설정으로 확장하는 것.
• 특정 리 군, 특히 실 하이퍼볼릭 공간 리 군에서 왼쪽 불변 편미분계량형의 곡률 성질을 분석하는 것.
• 실 하이퍼볼릭 공간 리 군에서 이러한 모든 기하형이 부호수에 관계없이 일정한 섹션 곡률을 가짐을 보여주는 것.
• 기하학적 및 곡률 분석을 통해 리만 기하학과 편미분계량형 기하학 사례 간의 차이를 명확히 하는 것.

제안 방법

• 방법은 부호수 (p,q)를 가진 기하형의 공간 위에서 ℝ×Aut(𝔤)의 작용에 의한 궤도 공간으로 정의된 왼쪽 불변 편미분계량형의 모듈리 공간에 기반한다.
• 일반화된 밀너 프레임은 리 대수의 브라켓 관계를 단순화하는 모듈리 공간 내의 대표 원소를 찾는 방식으로 구성된다.
• 이 절차는 I₃ − λE₃,₁ | λ = 0,1,2와 같은 일련의 표준 대표 원소를 사용하여, 편미분정규기저 하에서 가능한 브라켓 구조를 분류한다.
• 이 방법은 브라켓 관계 [e₁,eⱼ] = eⱼ (j ≥ 2)를 가지는 리 대수 𝔤_ℝ𝐻ⁿ에 적용된다.
• p,q ≥ 1일 때 𝔐_(p,q)(G) ≅ GLₙ(ℝ)/O(p,q)가 편미분계량형 대칭 공간이 되므로, 군 작용을 통한 분류가 가능하다는 사실을 활용한다.
• 결과로 도출된 브라켓 관계가 이산 매개변수 λ ∈ {0,1,2}에만 의존한다는 것을 보여줌으로써, 곡률 계산이 단순화됨을 검증한다.

실험 결과

연구 질문

• RQ1 왼쪽 불변 편미분계량형에 대해 알려진 리만 기하학 사례와 유사하게 일반화된 밀너 프레임 절차를 개발할 수 있는가?
• RQ2 실 하이퍼볼릭 공간 리 군에서 왼쪽 불변 편미분계량형이 임의의 부호수에서 일정한 섹션 곡률을 가지는가?
• RQ3 동일한 리 군에서 왼쪽 불변 편미분계량형의 곡률 성질은 그 리만 기하학 사례와 어떻게 다를까?
• RQ4 모듈리 공간 구조 ℝ×Aut(𝔤) \ 𝔐_(p,q)(G)는 이러한 기하형의 분류에 어떤 역할을 하는가?
• RQ5 이산 매개변수 λ ∈ {0,1,2}가 임의의 부호수에서 편미분정규기저의 브라켓 관계를 완전히 분류할 수 있는가?

주요 결과

• 실 하이퍼볼릭 공간 리 군 G_ℝ𝐻ⁿ 위의 모든 왼쪽 불변 편미분계량형에 대해 부호수 (p,q)는 일정한 섹션 곡률을 가진다.
• 임의의 실수에 대해, G_ℝ𝐻ⁿ 위에 그 수를 일정한 섹션 곡률로 가지는 왼쪽 불변 편미분계량형이 존재한다.
• 일반화된 밀너 프레임의 브라켓 관계는 오직 이산 매개변수 λ ∈ {0,1,2}에만 의존하며, 곡률 분석을 단순화한다.
• 루프티안 사례(q=1)는 특수한 경우로 복원되며, 노미즈의 일정 곡률 결과에 대한 대체 증명을 제공한다.
• λ=1에 해당하는 기하형은 평탄하며, λ=0과 λ=2는 비-아인슈타인이지만 대수적 리치 솔리톤 기하형을 제공한다.
• λ ∈ {0,1,2}를 통한 분류는 G_ℝ𝐻ⁿ의 리 대수에 대한 가능한 편미분정규기저의 프레임 구조를 완전하고 유한한 매개변수화로 확립한다.