[논문 리뷰] Induced Invariant Finsler Metrics on Quotient Groups

Ebrahim Esrafilian, Hamid Reza Salimi Moghaddam|arXiv (Cornell University)|2013. 05. 01.

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

한 줄 요약

이 논문은 리 군 $G$ 위의 모든 불변 페인슬러 계량이 닫힌 정규 리 부분군 $H$에 대해 몫군 $G/H$ 위의 불변 페인슬러 계량을 자연스럽게 유도함을 보여준다. 이 구성은 사영 $p: G \to G/H$ 와 $τ$-불변 보완부분공간을 이용해 $T_x(G/H)$ 에서의 접선 벡터를 $T_zG$ 로 올리는 방식을 사용하며, 이로 인해 유도된 계량 $Τ$ 가 잘 정의되고 $F$ 에서 유래한 불변성을 그대로 이어받는다. 주요 기여는 재수도성 조건을 요구하지 않고 이중불변 및 좌/우불변 페인슬러 구조를 몫공간으로 확장하는 일반적이고 자연스러운 올림 절차를 제공한다는 것이다.

ABSTRACT

In this paper we show that every invariant Finsler metric on Lie group $G$, induces an invariant Finsler metric on quotient group $G/H$ in the natural way, where $H$ is a closed normal Lie subgroup of $G$.

연구 동기 및 목표

• 원래 리 군 $G$ 에서의 불변 페인슬러 계량으로부터 몫군 $G/H$ 위의 자연스러운 불변 페인슬러 계량을 유도하는 방법을 수립하는 것.
• 동차 공간에서의 불변 리만 계량에 대한 기존 결과를 더 일반적인 페인슬러 기하학의 맥락으로 확장하는 것.
• $G/H$ 가 재수도적이지 않은 경우에도 일반적으로 적용 가능한 조건을 제거하는 것.
• 원래 계량 $F$ 가 $G$ 에서 좌/우/이중불변일 경우, 유도된 계량 $\mathcal{F}$ 가 $G/H$ 에서도 해당 불변성을 그대로 이어받는지 보여주는 것.

제안 방법

• 리 군 $G$ 의 리 대수 $\mathfrak{g}$ 와 부분군 $H$ 의 리 대수 $\mathfrak{h}$ 에 대해, $\mathfrak{g} = V \oplus \mathfrak{h}$ 를 만족하는 벡터 공간 보완부분공간 $V$ 를 정의한다.
• 자연스러운 사영 $p: G \to G/H$ 를 이용해, 미분 $T_zp$ 를 통해 $T_x(G/H)$ 에서의 접선 벡터를 $T_zG$ 로 올린다.
• 유도된 페인슬러 계량 $\mathcal{F}(X) = F(Z)$ 를 정의한다. 여기서 $Z \in V(z)$ 이고 $T_zp(Z) = X$ 를 만족하며, $zH$ 의 대표원 선택에 관계없이 정의됨을 보장한다.
• 계량 $Τ$ 가 잘 정의됨을 보이기 위해 $F$ 의 우불변성과 오른쪽 이동이 보완부분공간 $V$ 를 보존한다는 사실을 이용한다.
• 계량 $Τ$ 가 페인슬러 계량의 공리(슬릿 접선다발 위의 미분가능성, 양의 동차성, 헤시안의 강한 볼록성)를 만족함을 증명한다.
• 계량 $Τ$ 가 불변성을 그대로 이어받음을 보인다: 만약 $F$ 가 $G$ 에서 좌/우/이중불변이면, $Τ$ 는 $G/H$ 에서도 해당 불변성과 대응된다.

실험 결과

연구 질문

• RQ1 모든 리 군 $G$ 에서의 불변 페인슬러 계량이 닫힌 정규 부분군 $H$ 에 대해 몫군 $G/H$ 에 자연스럽게 올라가 불변 페인슬러 계량이 되는가?
• RQ2 만약 $G/H$ 가 재수도적이지 않다면, $G/H$ 에서의 유도된 계량 $Τ$ 의 구성이 여전히 잘 정의되는가?
• RQ3 유도된 계량 $Τ$ 가 원래 계량 $F$ 의 좌/우/이중불변성을 $G/H$ 에서 그대로 이어받는 조건은 무엇인가?
• RQ4 페인슬러 기하학은 표준 내적을 갖지 않기 때문에, 유도된 페인슬러 계량 $Τ$ 는 고전적인 리만 기하학의 수직성 기반 구성과 어떻게 관련이 있는가?

주요 결과

• 리 군 $G$ 에서의 모든 우불변 페인슬러 계량 $F$ 는 $\mathcal{F}(X) = F(Z)$ 를 통해 $G/H$ 위의 잘 정의된 우불변 페인슬러 계량 $\mathcal{F}$ 를 유도한다. 여기서 $Z$ 는 $H$ 와 보완되는 부분공간 $V$ 에 속한 $X$ 의 올림이다.
• 계량 $Τ$ 는 $zH$ 의 대표원 $z$ 의 선택에 관계없이 정의되며, 이는 $F$ 의 우불변성과 사영 $p$ 의 등변성 때문이 다.
• 만약 $F$ 가 $G$ 에서 이중불변이면, $G/H$ 에서의 유도된 계량 $Τ$ 도 자연스러운 $G$ 작용에 대해 이중불변이 된다.
• 이 구성은 $G/H$ 가 재수도적이지 않다는 가정 없이도 작동하며, 이는 이전 연구에서 요구하던 조건을 일반화한다.
• 이 방법은 고전적인 리만 기하학의 구성과 호환된다: $F$ 가 리만 계량일 경우, 유도된 $Τ$ 는 $G/H$ 에서 표준적인 불변 리만 계량과 일치한다.
• 만약 $\mathfrak{h}$ 가 $\mathfrak{g}$ 의 아이디얼이면, $H$ 는 닫힌 정규 부분군이며, 유도된 계량 $Τ$ 는 $F$ 와 같은 불변성 유형을 $G/H$ 에서 그대로 이어받는다.