[論文レビュー] Frequency of Sobolev dimension distortion of horizontal subgroups of Heisenberg groups

Zoltán M. Balogh, Jeremy T. Tyson+1 more|arXiv (Cornell University)|Mar 28, 2013

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$ 内のレベル集合の次元を分析する。
• 水平直線上の写像の変動を制御するため、dyadic立方体 $\mathcal{Q}_m$ を用いた被覆議論を適用する。
• 歪みを定量化し、$L^p$-型推定を用いて可積分性を制御するためのモジュラス型量 $c(a,s,s')$ を導入する。
• 距離 $d_{\mathbb{H}}(a(s), a(s'))$ を根拠とするdyadic分解を用いて解析を局所化し、$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 $p>4$ のとき、連続な $W^{1,p}$-写像 $f:\mathbb{H}\to\mathbb{R}^4$ が存在し、各 $\alpha\in(1, p/(p-3))$ に対して、$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)$ が成り立つか？これはユークリッド的挙動と一致するか？

主な発見

• ヒルベルト群 $\mathbb{H}^n$ 内の左剰余類 $a*\mathbb{V}$ のうち、$W^{1,p}_{\operatorname{loc}}$-写像の下で像の次元が少なくとも $\alpha$ に達するものの集合のハウスドルフ次元は、$\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$ を持つヒルベルト群へ拡張される。
• この手法は、dyadic被覆と量 $c(a,s,s')$ を用いた変動制御に依存しており、これは写像のモジュラス連続性に関連する。
• 最終的な境界は次元比較定理と整合的であり、ヒルベルト群がこの歪み問題において $\mathbb{R}^{2n+2}$ と類似した挙動を示すことを示唆している。