[논문 리뷰] Sub-Riemannian geometry and Lie groups. Part I

Marius Buliga|ArXiv.org|2002. 10. 13.

Geometric Analysis and Curvature Flows참고 문헌 19인용 수 11

한 줄 요약

이 논문은 비가환 도함수와 Pansu 미분 가능성을 통해 접속다발을 재정의함으로써 리 군 위의 부분리만기하학에 대한 새로운 프레임워크를 제안한다. 이 프레임워크는 캐노니컬 군 간 거의 모든 비등거리 사상이 메트릭적으로 교환가능한 미분 가능하며, 그 가상 접선 다발이 등장함을 증명한다. 주요 기여는 콘형 군에 대한 부분리만기하학적 Rademacher 정리로, 메트릭 기하학과 리군의 구조를 내재된 미분해석학을 통해 연결한다.

ABSTRACT

These pages covers my expository talks during the seminar "Sub-Riemannian geometry and Lie groups" organised by the author and Tudor Ratiu at the Mathematics Department, EPFL, 2001. However, this is the first part of three, in preparation, dedicated to this subject. It covers, with mild modifications, an elementary introduction to the field.

연구 동기 및 목표

• 비통합 분포를 가진 부분리만기하학의 기본 문제, 즉 접선다발, 미분해석학, 다양체의 구조 정의에 대한 해결.
• 그로모프의 점근적 평탄성 원리가 적용되는데도 불구하고 부분리만기하학 다성분이 리만기하학 다성분과 다르게 행동하는 이유의 역설 해결.
• 고전적 미분 가능성을 일반화하고 캐노니컬 군에서 내재된 해석학을 가능하게 하는 비가환 도함수 프레임워크 개발.
• 캐노니컬 군에서의 비등거리 사상에 대한 부분리만기하학적 Rademacher 정리 수립.
• 모멘트 다발, 정렬 가능성 이론, 캐노니컬 공간에서의 비등거리 군의 표현에 대한 기초 마련.

제안 방법

• 그룹 연산의 점근적 스케일링을 통해 Pansu 미분 가능성과 확대를 이용해 메트릭 도함수와 가상 접선 다발 정의.
• 공간의 작은 구의 기하학을 제어하고 담근 근사와 연결하기 위해 Ball-Box 정리를 적용.
• λ → 0일 때 δλ−1(f(x)−1f(xδλu))의 극한을 통해 교환가능한 도함수의 개념 도입, 비가환 도함수 정의.
• Margulis-Mostow 접선다발 구조를 이용해 가상 접선 공간을 콘형 군의 동형사상으로 정의.
• 국소-전역 원리와 해밀턴 동역학을 Heisenberg 군에서의 해밀턴 동역학과 연결하기 위해 심플렉틱 리프팅 기법 활용.
• 비등거리 사상의 거의 everywhere에서의 미분 가능성을 증명함으로써 부분리만기하학적 맥락에서 Rademacher 정리 적용.

실험 결과

연구 질문

• RQ1 비통합 왼쪽-불변 분포를 가진 부분리만기하학 리 군에 대해 일致한 다양체의 구조와 접선다발을 어떻게 정의할 수 있는가?
• RQ2 부분리만기하학에서의 내재된 미분해석학은 무엇이며, 고전적 해석학과 어떻게 다를까?
• RQ3 해밀턴 형식이 코탄젠트다발에서 완전해 보이는데도 불구하고 비정상적 지오데식이 존재하는 이유는 무엇인가?
• RQ4 왼쪽-불변 분포를 가진 컴act 리 군의 접선다발이 자연스러운 군의 구조를 지닐 수 있는가?
• RQ5 부피를 보존하는 비등거리 사상의 불변량은 무엇이며, 부피 형식을 초월해 어떻게 일반화되는가?

주요 결과

• 캐노니컬 군 간 비등거리 사상의 가상 접선 다발은 거의 모든 곳에서 콘형 군의 동형사상이 되며, 이는 부분리만기하학적 맥락에서 Rademacher 정리를 일반화한다.
• 점근적 군 연산(δt 스케일링을 통한)으로 정의된 접선다발은 Margulis과 Mostow가 정의한 가상 접선다발과 일치하여 이 구조의 타당성을 검증한다.
• δλ−1(f(x)−1f(xδλu))를 통한 비가환 도함수 정의는 균일 수렴하여 거의 모든 곳에서 메트릭적으로 교환가능한 도함수 가능성을 확립한다.
• Ball-Box 정리에 따르면, 캐노니컬-카라테오도리 메트릭에서의 작은 구는 담근 근사에서 상자와 점근적으로 동치이며, 기하학적 제어가 가능하다.
• 왼쪽-불변 군 연산과 확대를 통한 접선다발 구조는 부분리만기하학 메트릭과 호환되는 일致하고 내재된 미분 구조를 제공한다.
• 이 방법은 Pansu-Rademacher 정리와 같은 고전적 결과를 특수한 경우로 복원하여 기존 부분리만기하학 분석과의 일致성을 보여준다.