[논문 리뷰] The Grushin plane and quasiconformal Jacobians

William Meyerson|arXiv (Cornell University)|2011. 12. 01.

Homotopy and Cohomology in Algebraic Topology참고 문헌 4인용 수 9

한 줄 요약

이 논문은 그루시ン 평면에서 유클리드 평면으로의 준동형사상(quasiconformal map)을 구축하고, 준동형사상에 대한 기하학적 중개자로 그루시ín 계량을 일반화한다. 임의의 $\beta \in (-2, 0]$에 대해, $\mathbb{R}^2$에서 고차원 유클리드 공간으로의 준대칭사상이 존재하며, 그의 자코비안이 $|x|^\beta$에 비교 가능함을 증명하여, 평면에서 국소적으로 적분 가능한 가중치가 아닌 경우의 준동형사상 자코비안 문제를 해결한다.

ABSTRACT

We construct a quasiconformal map from the Grushin plane to the Euclidean plane. Then, we generalize the Grushin plane slightly and explain how the Grushin plane can serve as an intermediary in dealing with quasiconformal maps on Euclidean spaces. In particular, we construct a family of quasiconformal embeddings of the Euclidean plane into larger Euclidean spaces whose Jacobians fail to be locally integrable on a line.

연구 동기 및 목표

• 유클리드 공간 간 준동형사상에 대해 그루시ín 평면을 기하학적 중개자로 설정하기.
• 특히 $|x|^\beta$에 대해 $β \in (-2, -1]$인 경우, 평면에서 국소적으로 적분 가능한 가중치가 아닌 준동형사상 자코비안 문제를 해결하기.
• 국소적으로 적분 가능한 자코비안을 가진 준동형사상에 대한 기존 결과를 특이 가중치의 경우로 확장하기.
• 모든 $β \in (-2, 0]$에 대해, 자코비안이 $|x|^\beta$에 비교 가능한 준대칭사상의 존재를 보여주기.
• 특히 특이 가중치에 대해 절대연속성 직선 조건(Absolute continuity on lines)이 준동형사상 자코비안의 맥락에서 어떤 역할을 하는지 조사하기.

제안 방법

• 그루시ín 평면 $G_\alpha$를 $\mathbb{R}^2 \setminus \{x=0\}$의 리만 계량 $ds^2 = dx^2 + x^{-2}dy^2$에 의한 메트릭 완비화로 정의하고, 카르노-카라테오도리 거리로 장비한다.
• 사용자 정의된 $F(x,y) = (x|x|, y)$를 통해 $G \to \mathbb{R}^2$로의 준동형사상 $F$를 구성하고, 약한 준대칭성과 거리 비교를 이용하여 준대칭임을 증명한다.
• 계량 $ds^2 = dx^2 + |x|^{-\alpha}dy^2$를 가진 일반화된 그루시ín 평면 $G_\alpha$를 정의하고, 준동형사상 $F_\alpha(x,y) = (x|x|^{\alpha/2}, y)$를 정의한다.
• 정리 1.1 [9]에 의해 보장되는 바와 같이, 충분히 큰 $n_\alpha$에 대해 $\phi_\alpha: G_\alpha \to \mathbb{R}^{n_\alpha}$로의 이중리프시츠 임bedding을 사용한다.
• 사슬의 구성 $H_\alpha = \phi_\alpha \circ F_\alpha^{-1}$를 통해, $\mathbb{R}^2$에서 $\mathbb{R}^{n_\alpha}$로의 준대칭사상 $H_\alpha$를 구성하고, 자코비안이 $|x|^{-2\alpha/(2+\alpha)}$에 비교 가능함을 보인다.
• $\alpha = -2\beta/(2+\beta)$로 설정하여, $\beta \in (-2, 0]$에 대해 자코비안이 $|x|^\beta$에 비교 가능한 준대칭사상 $\Phi_\beta = H_\alpha$를 얻는다. 이로써 구성이 완료된다.

실험 결과

연구 질문

• RQ1 그루시ín 평면은 특이 자코비안을 가진 유클리드 공간 간 준동형사상의 구성에 있어 기하학적 중개자로 기능할 수 있는가?
• RQ2 $\beta \in (-2, 0]$에 대해, 자코비안이 거의 모든 곳에서 $|x|^\beta$에 비교 가능한 준대칭사상 $\Phi_\beta: \mathbb{R}^2 \to \mathbb{R}^N$이 존재하는가?
• RQ3 자코비안이 $|x|^{-t}$와 같이 행동하는 경우, 특히 $t \geq 2$일 때, 준동형사상이 비국소적으로 적분 가능한 자코비안을 가질 수 있는 조건은 무엇인가?
• RQ4 이러한 준동형사상에 대해 ACL 조건이 필수적인가, 아니면 비-ACL 사상도 특이 자코비안을 가질 수 있는가?
• RQ5 국소적으로 적분 가능한 가중치가 아닌 경우, 예를 들어 $|x|^{-2}$와 같은 경우, 준동형사상 자코비안 문제를 해결할 수 있는가?

주요 결과

• 사용자 정의된 $F(x,y) = (x|x|, y)$는 그루시ín 평면 $G$에서 $\mathbb{R}^2$로의 준대칭사상이며, 준동형사상 동치를 확립한다.
• 모든 $\alpha > 0$에 대해, 일반화된 그루시ín 평면 $G_\alpha$는 $F_\alpha(x,y) = (x|x|^{\alpha/2}, y)$를 통해 $\mathbb{R}^2$로의 준대칭사상이 존재하며, 자코비안 행동이 $|x|^{\alpha/2}$에 의해 제어된다.
• $H_\alpha = \phi_\alpha \circ F_\alpha^{-1}$의 조합은 $\mathbb{R}^2$에서 $\mathbb{R}^{n_\alpha}$로의 준대칭사상이며, 자코비안이 $|x|^{-2\alpha/(2+\alpha)}$에 비교 가능하다.
• 모든 $\beta \in (-2, 0]$에 대해, $\alpha = -2\beta/(2+\beta)$로 설정하면, 자코비안이 거의 모든 곳에서 $|x|^\beta$에 비교 가능한 준대칭사상 $\Phi_\beta = H_\alpha$를 얻는다.
• 이 구성은 비국소적으로 적분 가능한 자코비안(예: $|x|^{-2}$)을 가진 준동형사상이 존재할 수 있음을 보여주며, 비-ACL 준동형사상이 $\mathbb{R}^3$에 존재하므로, 절대연속성 직선 조건이 필수적이지 않음을 시사한다.
• 결과적으로 $\beta \in (-2, 0]$인 경우 $\mathbb{R}^2$에서의 준동형사상 자코비안 문제에 대한 특성화가 완료되었으며, 나머지로 열려 있는 경우는 $\beta \leq -2$ 뿐이다.