[논문 리뷰] A solution of Gromov's Hölder equivalence problem for the Heisenberg group

Roger Züst|arXiv (Cornell University)|2016. 01. 05.

Geometric Analysis and Curvature Flows참고 문헌 10인용 수 3

한 줄 요약

이 논문은 히젠베르크 군에 대한 그로모프의 호일더 등장 문제를 해결하며, 임의의 1/2보다 큰 지수를 가진 호일더 연속 함수가 비틀림이 없는 미터릭 공간에서 히젠베르크 군으로의 사상이지만, 첫 번째 리프시츠 호모로지가 자명한 경우, 이 함수는 트리로 인수분해됨을 증명한다. 이는 도메인이 디스크를 포함하는 경우 이러한 함수가 단사가 될 수 없음을 의미하며, 가장 단순한 비자명한 경우에서 그로모프의 질문에 대한 부정적인 답변을 제공한다. 동일한 방법은 또한 α > 1/2일 때, 양의 곡률을 가진 표면의 C^{1,α} 등장 등각 임베딩에 대한 외재 곡률 한계를 개선하는 데도 응용된다.

ABSTRACT

We show that a map with Hölder exponent bigger than $1/2$ from a quasi-convex metric space with vanishing first Lipschitz homology into the Sub-Riemannian Heisenberg group factors through a tree. In particular, if the domain contains a disk, such a map can't be injective. This gives an answer to a question of Gromov for the simplest nontrivial case. The same tools allow to improve on a result of Borisov and it is shown that an isometric immersion of class $C^{1,α}$ of a Riemannian surface with positive Gauss curvature into $\mathbb{R}^3$ has bounded extrinsic curvature if $α> 1/2$.

연구 동기 및 목표

• 가장 단순한 비자명한 경우에서 히젠베르크 군에 대한 그로모프의 열린 질문인 호일더 등장 문제를 다룸.
• 비틀림이 없는 공간에서 첫 번째 리프시츠 호모로지가 자명한 공간으로부터 히젠베르크 군으로의 지수 >1/2인 호일더 사상이 트리로 인수분해됨을 증명함.
• 이러한 사상이 도메인이 위상적 디스크를 포함하는 경우 단사가 될 수 없음을 증명함.
• 이 분석을 확장하여 리만 표면의 C^{1,α} 등각 임베딩에 대한 외재 곡률 한계에 관한 보리소프의 결과를 개선함.
• 서브리만노프 기하학에서 비等각 임베딩을 분석하기 위해 메트릭과 호모로지 도구를 통합한 프레임워크를 제공함.

제안 방법

• 리프시츠 호모로지 이론을 사용하여 히젠베르크 군으로의 사상에 대한 위상적 제약 조건을 분석함.
• 비틀림이 없는 성질을 적용하여 도메인 공간의 충분한 기하적 제어를 확보함.
• 첫 번째 리프시츠 호모로지가 자명함은 지수 >1/2인 호일더 사상에 대해 이미지에 트리 유사한 구조가 존재함을 시사함.
• 메트릭 미분 기법을 사용하여 서브리만노프 설정에서 호일더 사상의 행동을 분석함.
• 이러한 사상에 대한 구조 정리를 적용하여, 이들이 트리로 인수분해됨을 도출함으로써, 디스크를 포함하는 도메인에서는 단사성이 손실됨을 시사함.
• 이 방법을 확장하여, 양의 가우스 곡률을 가진 표면의 R^3로의 C^{1,α} 등각 임베딩의 외재 곡률을 분석함.

실험 결과

연구 질문

• RQ1 비틀림이 없는 메트릭 공간에서 첫 번째 리프시츠 호모로지가 자명한 도메인에서, 지수 1/2를 초과하는 호일더 연속 함수가 히젠베르크 군으로 사상될 수 있는가? 특히 도메인이 디스크를 포함하는 경우 단사가 가능할 수 있는가?
• RQ2 이러한 사상의 구조적 제약 조건은 무엇이며, 이는 트리로의 인수분해를 의미하는가?
• RQ3 첫 번째 리프시츠 호모로지의 소멸은 히젠베르크 군으로의 호일더 사상 기하학에 어떤 영향을 미치는가?
• RQ4 그로모프 문제를 해결하는 데 사용된 동일한 기법을, R^3로의 표면 등각 임베딩에 대한 곡률 한계 향상에 적용할 수 있는가?
• RQ5 C^{1,α} 정규성에서 외재 곡률이 유계임을 보장하는 α의 정확한 임계값은 무엇인가?

주요 결과

• 지수 >1/2인 호일더 연속 함수가 비틀림이 없는 메트릭 공간에서 첫 번째 리프시츠 호모로지가 자명한 도메인에서 히젠베르크 군으로 사상될 경우, 이 함수는 트리로 인수분해됨.
• 이러한 사상은 도메인이 위상적 디스크를 포함하는 경우 단사가 될 수 없으며, 이는 가장 단순한 비자명한 경우에서 그로모프의 질문에 대한 해결을 제공함.
• 동일한 방법을 통해, 양의 가우스 곡률을 가진 리만 표면의 C^{1,α} 등각 임베딩이 R^3에 존재할 경우, α > 1/2일 때 외재 곡률이 유계임을 증명함.
• 이 결과는 이전 보리소프의 결과를 개선하며, 외재 곡률이 유계임을 보장하는 정확한 임계값 α = 1/2를 확립함.
• 트리로의 인수분해는 지수 >1/2인 호일더 사상이 서브리만노프 설정에서 단사성에 위상적 장애를 초래함을 시사함.
• 분석은 메트릭 기하학, 리프시츠 호모로지, 그리고 서브리만노프 및 유클리드 공간에서의 등각 임베딩의 정규성 간 깊은 연결 고리를 드러냄.