[논문 리뷰] Privileged coordinates and tangent groupoid for Carnot manifolds

Woocheol Choi, Raphaël Ponge|arXiv (Cornell University)|2015. 10. 20.

Geometric Analysis and Curvature Flows인용 수 3

한 줄 요약

이 논문은 카르노 다양체에 대한 보다 정교한 특수 좌표계인 카르노 좌표계를 소개한다. 카르노 좌표계는 외재적 및 내재적 접선 군을 일치시켜, 카르노 다양체 간의 구조를 유지하는 사상에 대한 미분기하학적 접선 근사화를 가능하게 한다. 또한 카르노 다양체에 대한 접선 군oids를 구축하여 벨라이치의 추측을 실현하고, 완전한 초타원형 미분연산자 계산 체계를 구축한다.

ABSTRACT

This paper is part of a series of papers on the construction of a full hypoelliptic pseudodifferential calculus on Carnot manifolds. The first goal of the paper is to produce a refinement of privileged coordinates for Carnot manifolds for which the extrinsic tangent group agree with the intrinsic tangent group. We call these coordinates Carnot coordinates. These coordinates have various applications and we present a number of them in this paper. This lead us to the second goal of this paper, which is to use these coordinates to establish an approximation result for maps between Carnot manifolds that are compatible with the Carnot manifold structures. Here the map is approximated in a suitable way by its tangent map, which is defined as a Lie group map between the corresponding tangent groups. This result is new and is the complete analogue in the setup of Carnot manifolds of the tangent linear approximation of smooth maps between manifolds. The third goal of this paper is to make use of the Carnot coordinates and their properties to construct an analogue for Carnot manifolds of the tangent groupoid of Connes. We then obtain a differentiable groupoid which encodes the smooth deformation of the pair groupoid $M imes M$ to the tangent Lie group bundle of the Carnot manifold. The existence of such a groupoid was conjectured by Bella\iche. This shows that the tangent group of Carnot manifold at a given point is tangent in a true differential-geometric fashion.

연구 동기 및 목표

• 카르노 다양체 위의 특수 좌표계를 정교화하여, 외재적 접선 군이 내재적 접선 군과 일치하도록 하는 것.
• 클래식적인 선형 근사와 유사하게, 카르노 다양체 간의 구조를 유지하는 사상에 대한 접선 사상 근사화를 수립하는 것.
• 카르노 다양체의 쌍 군oids $M \times M$ 를 그 카르노 다양체의 접선 리 군다발로 변형하는 미분 가능 군oids를 구축하는 것.
• 카르노 다양체에 대해 이러한 접선 군oids의 존재에 관한 벨라이치의 추측을 확인하는 것.
• 카르노 다양체 위에서 완전한 초타원형 미분연산자 계산 이론을 위한 기초를 마련하는 것.

제안 방법

• 외재적 및 내재적 접선 구조 간의 호환성을 보장하기 위해 특수 좌표계의 개선으로서 카르노 좌표계를 도입하는 것.
• 카르노 좌표계를 사용하여 카르노 다양체의 구조를 유지하는 접선 군 간의 사상을 정의하는 것.
• 쌍 군oids $M \times M$ 를 카르노 다양체의 접선 리 군다발로 미분 가능한 변형으로서 접선 군oids를 구성하는 것.
• 카르노 좌표계의 성질을 활용하여 결과 객체의 미분 가능성과 군oids 구조를 검증하는 것.
• 군oids를 이용해 초타원형 분석과 일관된 방식으로 무한소 변형을 표현하는 것.
• 특정 점에서의 접선 군이 진정으로 미분기하학적 의미에서 접선임을 입증하여, 이 구성의 기하학적 자연성을 검증하는 것.

실험 결과

연구 질문

• RQ1 카르노 다양체 위의 특수 좌표계는 어떻게 정교화되어야 하여 외재적 접선 군이 내재적 접선 군과 일치하는가?
• RQ2 카르노 다양체 간의 사상은 얼마나 정교하게 그들의 접선 사상에 의해 구조를 유지하면서 근사화될 수 있는가?
• RQ3 카르노 다양체의 쌍 군oids를 그 접선 리 군다발로 변형하는 미분 가능한 군oids가 존재하는가?
• RQ4 카르노 다양체의 접선 군은 진정으로 미분기하학적 접선 대상으로 해석될 수 있는가?
• RQ5 이러한 군oids의 구성은 어떻게 완전한 초타원형 미분연산자 계산 이론을 지원하는가?

주요 결과

• 카르노 좌표계는 각 점에서의 외재적 접선 군이 카르노 다양체의 내재적 접선 군과 정확히 일치하도록 구성된다.
• 구조를 유지하는 사상에 대한 새로운 접선 근사화가 수립되었으며, 이는 고전적인 선형 근사와 유사하다.
• 카르노 다양체에 대한 접선 군oids가 $M \times M$ 를 접선 리 군다발로 미분 가능한 변형으로서 명시적으로 구성되었다.
• 이 구성은 카르노 다양체의 맥락에서 이러한 군oids의 존재에 관한 벨라이치의 추측을 확인한다.
• 특정 점에서의 접선 군이 진정으로 미분기하학적 의미에서 접선임이 입증되어, 이 구성의 기하학적 자연성이 검증된다.
• 이 틀은 카르노 다양체 위에서 완전한 초타원형 미분연산자 계산 이론의 개발을 지원한다.