[논문 리뷰] Frequency of Sobolev dimension distortion of horizontal subgroups of Heisenberg groups

Zoltán M. Balogh, Jeremy T. Tyson외 1명|arXiv (Cornell University)|2013. 03. 28.

Analytic and geometric function theory참고 문헌 23인용 수 9

한 줄 요약

이 논문은 히젠베르크 군에서 소볼레프 사상에 의해 수평 부분군의 하우스도르프 차원 왜곡에 대한 정량적 경계를 수립한다. 유클리드 결과를 부분리만 기하학으로 확장하며, 게르링–모스토의 절대연속성과 매타일라의 사영 및 분할 기법을 결합하여, 이미지의 차원이 높은 좌표군의 집합의 차원이 $\beta = (2n+2 - m) - p(1 - m/\alpha)$ 이하로 제한됨을 증명한다. 이는 비유클리드 환경으로의 고전적 소볼레프 차원 왜곡 이론의 일반화이다.

ABSTRACT

We study the behavior of Sobolev mappings defined on the Heisenberg groups with respect to a foliation by left cosets of a horizontal homogeneous subgroup. We quantitatively estimate, in terms of Euclidean Hausdorff dimension, the size of the set of cosets that are mapped onto sets of high dimension. The proof of our main result combines ideas of Gehring and Mostow about the absolute continuity of quasiconformal mappings with Mattila's projection and slicing machinery.

연구 동기 및 목표

• 유클리드 공간에서의 고전적 소볼레프 차원 왜곡 이론을 히젠베르크 군의 부분리만 기하 구조로 확장한다.
• 소볼레프 사상에 의해 고차원 이미지로 매핑되는 수평 부분군의 좌표군 집합의 크기를 추정한다.
• 바로흐–몬티–타이슨(2007)의 차원 왜곡 경계를 히젠베르크 군 환경으로 일반화한다.
• 소볼레프 사상에 의해 하우스도르프 차원이 증가하는 좌표군의 예외 집합에 대해 날카로운 차원 경계를 수립한다.

제안 방법

• 등각적 사상의 절대연속성에 관한 게르링과 모스토의 방법을 히젠베르크 군 환경에 적응시킨다.
• 매타일라의 사영 및 분할 기법을 사용하여 몫 공간 $\mathbb{V}^\perp$ 내의 수준집합의 차원을 분석한다.
• 수평선 위에서 사상의 진동을 제어하기 위해 이진 큐브 $\mathcal{Q}_m$을 사용한 커버링 추론을 적용한다.
• 왜곡을 정량화하고 $L^p$-유형 추정을 통해 적분 가능성을 제어하기 위해 $c(a,s,s')$라는 모듈러스 유형 양을 도입한다.
• 거리 $d_{\mathbb{H}}(a(s), a(s'))$를 기반으로 한 이진 분할을 활용하여 분석을 局부화하고 $c(a,s,s')^{-\alpha'}$의 적분을 유계로 제한한다.
• 최종 경계를 유도하기 위해 유클리드 차원과 히젠베르크 차원을 연결하는 차원 비교 정리를 적용한다.

실험 결과

연구 질문

• RQ1 정리 1.4의 결론을 더 강화하여, $\alpha>m$일 때 $\mathcal{H}_{\mathbb{R}}^{\beta}(\{a\in\mathbb{V}^\perp:\dim f(a*\mathbb{V})>\alpha\})=0$을 주장할 수 있는가?
• RQ2 모든 $\alpha\in(1, p/(p-3))$에 대해, 연속적인 $W^{1,p}$-사상 $f:\mathbb{H}\to\mathbb{R}^4$가 존재하여, 각각의 $\alpha$에 대해 $E\subseteq\mathbb{V}_x^\perp$가 $\mathcal{H}_{\mathbb{R}^3}^{\beta(\alpha)}(E)>0$이고, 모든 $a\in E$에 대해 $\dim f(a*\mathbb{V})\geq\alpha$를 만족하는가?
• RQ3 히젠베르크 군에서 $\dim_{\mathbb{H}}\{a\in\mathbb{V}^\perp:\dim f(a*\mathbb{V})\geq\alpha\}\leq(2n+2-m)-p(1-m/\alpha)$라는 상한 경계가 성립하는가? 이는 유클리드 행동과 일치하는가?

주요 결과

• 소볼레프 공간 $W^{1,p}_{\operatorname{loc}}$-사상에 의해 차원이 최소 $\alpha$ 이상으로 증가하는 $\mathbb{H}^n$ 내의 좌표군 $a*\mathbb{V}$의 집합은 하우스도르프 차원이 $\beta = (2n+2 - m) - p(1 - m/\alpha)$ 이하임을 보인다.
• 이 경계는 수평 분포에 제한했을 때 유클리드 차원 왜곡 추정과 일치하므로 날카로운 경계임을 입증한다.
• 증명은 $\int_{[0,1]}\int_{[0,1]}\int_F c(a,s,s')^{-\alpha'}\,d\mathcal{H}^\beta(a)\,d\mathcal{H}^1(s)\,d\mathcal{H}^1(s')<\infty$를 보여 예외 집합이 작음을 보장한다.
• 결과는 고전적 소볼레프 차원 왜곡 이론을, 위상 차원 $2n+1$이고 동차 차원 $2n+2$인 히젠베르크 군으로 확장한다.
• 이 방법은 이진 커버링과 $c(a,s,s')$를 통한 진동 제어에 의존하며, 이는 사상의 연속성 모듈러스와 관련된다.
• 최종 경계는 차원 비교 정리와 일치하며, 이는 히젠베르크 군이 이 왜곡 문제에서 $\mathbb{R}^{2n+2}$와 유사하게 행동함을 시사한다.