[논문 리뷰] Uniformization with infinitesimally metric measures

Kai Rajala, Martti Rasimus외 1명|arXiv (Cornell University)|2019. 07. 16.

Geometric Analysis and Curvature Flows참고 문헌 22인용 수 4

한 줄 요약

이 논문은 ℝ²와 동형인 매트릭스 표면 위에서 측도 μ를 사용해 곡선 길이를 변형함으로써 μ-등각적 변형을 정의하고, μ가 무한소적으로 거리 기반 측도 조건을 만족하는 경우, 즉 David-Semmes 거리 이중화 조건의 무한소적 변형을 만족하는 경우, ℝ² 또는 단위 원판으로의 μ-등각적 변형이 존재함을 증명한다. 주요 기여는 고전적 기하학적 구조가 없는 프랙탈 유사 표면에 대한 새로운 균일화 정리의 수립이다.

ABSTRACT

We consider extensions of quasiconformal maps and the uniformization theorem to the setting of metric spaces $X$ homeomorphic to $\mathbb R^2$. Given a measure $μ$ on such a space, we introduce $μ$-quasiconformal maps $f:X o \mathbb R^2$, whose definition involves deforming lengths of curves by $μ$. We show that if $μ$ is an infinitesimally metric measure, i.e., it satisfies an infinitesimal version of the metric doubling measure condition of David and Semmes, then such a $μ$-quasiconformal map exists. We apply this result to give a characterization of the metric spaces admitting an infinitesimally quasisymmetric parametrization.

연구 동기 및 목표

• 지역적으로 유한한 하우스도르프 2-측도 또는 매끄러운 경로를 지닌다 하더라도, ℝ²와 동형인 매트릭스 공간에 대해 등각적 균일화를 확장한다.
• 측도 μ를 통해 곡선 길이를 변형하는 새로운 유형의 μ-등각적 변형을 정의하여 고전적 등각성의 일반화를 시도한다.
• 추가적인 기하 조건을 만족하는 무한소적으로 거리 기반 측도를 사용하여, 무한소적으로 등척성 매개변수화를 갖는 매트릭스 공간을 특성화한다.
• 프랙탈 표면에서 고전적 등각 모듈러스 방법이 실패하는 문제를 측도 의존적 모듈러스 프레임워크를 도입하여 해결한다.

제안 방법

• 도메인 공간 X 위의 측도 μ에 의해 가중치가 부여된 곡선의 μ-길이를 통해 μ-등각적 변형을 정의한다.
• X 내의 곡선 가족의 μ-모듈러스를 정의하고, 이를 ℝ² 내의 이미지의 등각 모듈러스와 비교한다.
• 측도 μ를 사용하여 원래의 거리 d를 새로운 거리 q로 변형함으로써 (X, q)가 국소적으로 유한한 하우스도르프 2-측도를 갖도록 한다.
• 참고문헌 [14]의 균일화 정리를 적용하여 (X, q) → ℝ²의 등각적 변형을 얻고, 항등사상을 조합함으로써 μ-등각적 변형을 유도한다.
• 무한소적으로 거리 기반 측도의 개념을 도입함으로써, 이러한 변형의 존재를 보장한다. 이는 David-Semmes 거리 이중화 조건의 무한소적 변형을 만족하는 것으로 정의된다.
• 정리 1.1과 [11]의 결과를 일반화한 모듈러스 추정치를 조합하여, 무한소적으로 등척성 매개변수화의 특성화를 수립한다.

실험 결과

연구 질문

• RQ1 지역적으로 유한한 하우스도르프 2-측도나 매끄러운 경로를 지닌다 하더라도, 아르플로르스 정규성 조건을 만족하지 않거나 매끄러운 경로를 지닌다 하더라도, 등각적 균일화를 매트릭스 표면으로 확장할 수 있는가?
• RQ2 ℝ²와 동형인 매트릭스 표면 X 위의 측도 μ가 ℝ²로의 μ-등각적 변형의 존재를 보장하기 위한 조건은 무엇인가?
• RQ3 무한소적으로 거리 기반 측도의 개념은 무한소적으로 등척성 매개변수화의 존재와 어떻게 관련되어 있는가?
• RQ4 역행 시 등각성의 실패는 측도론적 및 기하적 성질의 관점에서 어떻게 특성화할 수 있는가?
• RQ5 국소 2-정규성 조건이 실패하더라도 하우스도르프 2-측도가 국소적으로 유한한 경우, 균일화의 한계는 무엇인가?

주요 결과

• X가 ℝ²와 동형인 매트릭스 공간이고 무한소적으로 거리 기반 측도 μ를 지닌다면, ℝ² 또는 단위 원판 Ω로의 μ-등각적 변형 f: X → Ω가 존재한다.
• μ-등각적 변형의 존재는 X 위의 거리 d를 (X, q)가 국소적으로 유한한 하우스도르프 2-측도를 갖도록 하는 새로운 거리 q로 변형함으로써 보장된다.
• 무한소적으로 등척성 매개변수화 f: X → Ω가 존재하는 것은 X가 무한소적으로 선형적으로 국소 연결하고, (X, μ)가 무한소적으로 Loewner 조건을 만족하는 무한소적으로 거리 기반 측도 μ를 지닐 때에만 성립한다.
• β ∈ (0, 1/2)인 수정된 β-그루슈린 평면은 국소적으로 유한한 하우스도르프 2-측도를 갖는 거리를 지닌다. 그러나 수직축 상의 모든 점에서 무한소적으로 상한 2-정규성 조건을 위반한다.
• 유클리드 평면에서 수정된 β-그루슈린 평면으로의 등각적 거리 변형은 존재하지 않으며, 이는 반대 방향에서는 항등사상이 1-등각적이라는 점과 모순되지 않는다.
• 수정된 β-그루슈린 평면에서 ℝ²로의 항등사상은 1-등각적이다. 그러나 역방향으로는 등각적 제거 가능성의 실패로 인해 MQC 변형이 존재하지 않는다.