[논문 리뷰] Tangent bundles to sub-Riemannian groups

Marius Buliga|ArXiv.org|2003. 07. 25.

Geometric Analysis and Curvature Flows참고 문헌 27인용 수 17

한 줄 요약

이 논문은 파누 미분과 거리 접선 콘을 기반으로 하는 새로운 도함수 개념을 정의하여, 부분 리만 군 위의 접선 복소에 대한 혁신적인 프레임워크를 제안한다. 카르노 군 간의 리프시츠 함수에 대해 거의 곳 곳에서 도함수 가능성을 보장하는 라데마처 유형 정리를 수립하고, 군 성질을 유지하는 접선 복소를 구성함으로써, 리 군 위의 비유클리드 해석학에서의 핵심 문제를 해결한다.

ABSTRACT

This paper is about non-Euclidean analysis on Lie groups endowed with left invariant distributions, seen as sub-Riemannian manifolds. This is a an updated version, which will be modified according to the contributions of the other participants to the Borel Seminar. The current version can be downloaded at http://irmi.epfl.ch/cag/buliga_sr.html . All comments are welcomed.

연구 동기 및 목표

• 부분 리만 리 군에서 비유클리드 해석학의 기초적 문제를 해결하기 위해, 특히 군 구조를 갖춘 일관된 접선 복소의 부재 문제를 해결한다.
• 카르노 군에서 표준 미적분학에서 오른쪽 이동, 역원, 군 연산이 미분 가능하지 않다는 실패 문제를 다룬다.
• 접선 복소가 군 구조를 상속하고 도함수가 군 준동형사상이 되는 계산 프레임워크를 개발한다.
• 메트릭 접선 콘과 노름화를 이용하여 파누-라데마처 도함수 이론을 더 넓은 범위의 함수로 확장한다.
• 단어 접선 복소와 온화한 접선 복소 구성 방법을 통해 부분 리만 기하학에서 내재적이고 일관된 미분 가능성과 고차 도함수의 개념을 구축한다.

제안 방법

• 각 점에서 스케일링된 메트릭의 그로모프-하우스도르프 수렴을 이용해 메트릭 접선 콘을 정의하며, 이는 리 대수의 노름화 $N(G)$ 와 등록된다.
• 첨도 사상 $Ad^G$ 와 $Ad^N$ 의 작용을 통해 약한 및 온화한 접선 복소 ($Weak_0(G)$, $MC^0(G)$, $MC(G)$) 의 개념을 도입한다.
• 스케일링된 거리와 관련된 균일 수렴 조건을 만족하는 군 준동형사상 $Df(x): MC^0(G) \to MC^0(G')$ 를 통해 도함수 가능성을 정의한다.
• 스테파노프 유형 정리를 적용하여, 카르노 군 간의 리프시츠 함수가 새로운 의미에서 거의 곳 곳에서 도함수 가능하다는 것을 보인다.
• 단어 접선 복소 $WSO(3)$ 를 사용하여 접선 복소 구조를 구성하고, $SO(3)$ 에 대해 $H(1)$ 과 동형임을 보인다.
• 온화한 접선 복소 $MC(SO(3))$ 가 $SL(3,\mathbb{R})$ 과 동형임을 보여, 새로운 미적분학에서 군 구조가 유지됨을 입증한다.

실험 결과

연구 질문

• RQ1 표준 미적분학에서의 실패를 극복하고, 부분 리만 리 군에 대해 군 구조를 갖춘 일관된 접선 복소를 정의할 수 있는가?
• RQ2 도함수가 군 준동형사상이 되고 연쇄법칙이 성립하도록 도함수 가능성을 재정의할 수 있는가?
• RQ3 메트릭 접선 콘, 노름화, 카르노 군에서의 내재적 미적분학 간의 관계는 무엇인가?
• RQ4 이 새로운 프레임워크에서 부분 리만 군 간의 리프시츠 함수에 대해 라데마처 유형 정리가 성립하는가?
• RQ5 접선 복소 구성이 군 구조를 유지하고 고차 도함수의 의미 있는 개념을 허용할 수 있는가?

주요 결과

• 도함수 $Df(x)$ 는 $MC^0(G)$ 에서 $MC^0(G')$ 로 가는 군 준동형사상이 되도록 새로운 도함수 개념을 정의함으로써 군 연산과의 호환성이 보장된다.
• 라데마처 정리가 확장된다: 카르노 군 간의 임의의 리프시츠 함수 $f: G \to G'$ 는 새로운 의미에서 거의 곳 곳에서 도함수 가능하다.
• $SO(3)$ 에서 $X_1, X_2$ 가 생성하는 분포에 대해, 노름화는 헤이젠베르크 군 $H(1)$ 을 얻고, 단어 접선 복소 $WSO(3)$ 는 $H(1)$ 과 동형이다.
• 온화한 접선 복소 $MC(SO(3))$ 는 $SL(3,\mathbb{R})$ 과 동형이며, 이는 접선 복소 구성이 비아벨 군 구조를 유지함을 보여준다.
• $MC(G)$ 를 통해 구성된 접선 복소 $TG$ 는 단지 복소일 뿐 아니라 자연스러운 군 구조를 지닌다. 이는 이전 구성의 핵심 한계를 해결한다.
• 이 프레임워크는 스케일링된 메트릭에서의 균일 수렴과 군 준동형사상을 통한 미분 가능성 정의를 통해 부분 리만 군에서 일관된 미적분학을 가능하게 한다.