[논문 리뷰] The Poincaré Lemma in Subriemannian Geometry

Philipp Harms|arXiv (Cornell University)|2012. 11. 15.

Point processes and geometric inequalities참고 문헌 6인용 수 3

한 줄 요약

이 논문은 서브리만노프 기하학에서의 파oincaré 보조정리의 판본을 수립하며, 수평 도함수들이 $ r $-번 연속적으로 미분 가능하다면 함수 자체도 $ C^r $임을 증명한다. 증명은 엔드포인트 사상의 정칙성과 무한차원 해석학에서의 초합성 연산자를 활용하며, 서브리만노프 다양체에서의 접근 가능성에 대한 초우의 정리에 기반한다.

ABSTRACT

This work is a short, self-contained introduction to subriemannian geometry with special emphasis on Chow's Theorem. As an application, a regularity result for the Poincaré Lemma is presented. At the beginning, the definitions of a subriemannian geometry, horizontal vector fields and horizontal curves are given. Then the question arises: Can any two points be connected by a horizontal curve? Chow's Theorem gives an affirmative answer for bracket generating distributions. (A distribution is called bracket generating if horizontal vector fields and their iterated Lie brackets span the whole tangent space.) We present three different proofs of Chow's Theorem; each one is interesting in its own. The first proof is based on the theory of Stefan and Sussmann regarding integrability of singular distributions. The second proof is elementary and gives some insight in the shape of subriemannian balls. The third proof is based on infinite dimensional analysis of the endpoint map. Finally, the study of the endpoint map allows us to prove a regularity result for the Poincaré Lemma in a form suited to subriemannian geometry: If for some $r \geq 0$ all horizontal derivatives of a given function $f$ are known to be $r$ times continuously differentiable, then so is $f$. Sections 1 to 3 are the common work of Martin Bauer and Philipp Harms.

연구 동기 및 목표

• 비통합 가능한 분포로 인해 표준적인 미분 가능성 가정이 성립하지 않는 서브리만노프 기하학에서의 파oincaré 보조정리에 대한 정칙성 결과를 수립하기 위해.
• 비유클리드적이고 서브리만노프적인 환경에서 수평 도함수의 정칙성과 전체 함수의 정칙성 간 격차를 메우기 위해.
• 초우의 정리와 엔드포인트 사상의 기하학적 기초에 중점을 두어 서브리만노프 기하학에 대한 자가 포함된 소개를 제공하기 위해.
• 수평 도함수의 정칙성이 함수 자체의 동일한 정칙성으로 이어진다는 것을 보여주기 위해, 특히 수평 벡터장의 이중 리 괄호로만 생성되는 탄성공간에서조차도 성립함을 입증하기 위해.

제안 방법

• 스테판-수스만 이론을 통한 특이 분포 이론, 서브리만노프 공의 간단한 구성, 엔드포인트 사상의 무한차원 해석학에 기반한 초우의 정리의 세 가지 서로 다른 증명을 활용한다.
• 엔드포인트 사상에 대해 상수 랭크 정리를 적용하여 점 근처에서 매끄러운 국소 섹션을 구성함으로써 국소 역함수와 정칙성 전이를 가능하게 한다.
• 함수 공간 간 초합성 연산자 $ C([0,1];M) \to C([0,1];\mathbb{R}) $를 활용하며, 입력 함수 $ Xf $가 $ C^r $일 경우 이 연산자가 $ C^r $임을 보인다.
• 선형 유계 함수 $ I(u,h) = \int_0^1 \sum u_i(t) h_i(t) dt $를 사용하여 곡선 沿해 수평 도함수의 적분으로 함수 $ f $를 표현한다.
• 함수 $ f $를 수평 도함수로 재구성하기 위해 항등식 $ f = f(x_0) + I(u, (Xf) \circ \Gamma \circ u) $를 구성하며, 여기서 $ \Gamma $는 제어를 곡선으로 매핑하는 사상이다. 이를 통해 $ f $의 정칙성은 $ Xf $의 정칙성으로 환원된다.
• Banach 공간에서의 은둔함수정리와 함께 엔드포인트 사상의 매끄러움을 이용하여 매끄러운 국소 섹션의 존재성과 제어에 대한 매끄러운 의존성을 보장한다.

실험 결과

연구 질문

• RQ1 표준적인 수평 벡터장이 전체 탄성공간을 생성하지 않는 서브리만노프 다양체에서 고전적 파oincaré 보조정리는 어떻게 일반화될 수 있는가?
• RQ2 모든 수평 도함수의 $ C^r $-정칙성이 함수 자체의 $ C^r $-정칙성으로 이어지는 조건은 무엇인가?
• RQ3 서브리만노프 기하학에서 엔드포인트 사상의 구조는 도함수에서 함수로의 정칙성 전이를 어떻게 촉진하는가?
• RQ4 초우의 정리는 분포가 브라켓 생성임을 보장하고, 따라서 전체 정칙성 전파를 가능하게 하는 데 어떤 역할을 하는가?
• RQ5 엔드포인트 사상의 무한차원 해석학을 활용하여 비통합 기하학에서 정칙성 결과를 증명할 수 있는가?

주요 결과

• 모든 수평 도함수 $ Xf $가 $ C^r $이면, 분포가 통합 가능하지 않더라도 탄성공간이 수평 벡터장의 반복 리 괄호로만 생성되더라도 함수 $ f $는 $ C^r $이다.
• 증명은 정상 제어에서 엔드포인트 사상에 대해 상수 랭크 정리를 적용함으로써 매끄러운 국소 섹션의 존재를 보장함에 기반한다.
• 초합성 연산자 $ \gamma \mapsto (Xf) \circ \gamma $는 $ C^r $이며, 이는 곡선과의 복합이 정칙성을 유지함을 보장한다.
• 항등식 $ f = f(x_0) + I(u, (Xf) \circ \Gamma \circ u) $는 함수를 그 수평 도함수로부터 재구성할 수 있게 하며, $ I $, $ \Gamma $, $ Xf $가 모두 $ C^r $이므로 $ f $ 역시 $ C^r $이다.
• 결과는 임의의 $ r \geq 0 $에 대해 성립하며, 탄성공간을 생성하기 위해 필요한 브라켓의 수와는 무관하게 정칙성 전이가 이루어진다.
• 수평 번들에 대한 비연속 노름의 예시는 계량의 매끄러움이 부분위상에서의 연속성을 보장하지 않음을 보여주며, 서브리만노프 정칙성의 미묘함을 부각시킨다.