[論文レビュー] On the quasisymmetric Hölder-equivalence problem for Carnot groups

P. Pansu|arXiv (Cornell University)|Apr 11, 2016

Geometric and Algebraic Topology参考文献 7被引用数 5

ひとこと要約

本稿は、Carnot群に対するGromovの Hölder同値問題の準対称的バージョンを扱い、ユークリッド空間からCarnot群への準対称的ホメオモルフィズムの最適 Hölder 指数が、$\frac{n-1}{Q-1}$ 以下であることを証明している。ここで $n$ は位相次元、$Q$ はハウスドルフ次元である。証明は、パッキングエネルギーに対する新規の共面積不等式と、$\mathbb{R}^3$ への写像の微分のヤコビアン行列式を含む微分法的議論に依拠しており、微分の階数がほとんど everywhere で1以下である場合の主要な障害を確立する。

ABSTRACT

A variant of Gromov's H{ö}lder-equivalence problem, motivated by a pinching problem in Riemannian geometry, is discussed. A partial result is given. The main tool is a general coarea inequality satisfied by packing energies of maps.

研究の動機と目的

• リーマン幾何学におけるピンチング問題を動機として、Carnot群に対するGromovの Hölder同値問題の準対称的バージョンを解くこと。
• ユークリッド空間からCarnot群 $G$ への準対称的ホメオモルフィズムの最適 Hölder 指数 $\alpha_{qs}(G)$ に対する上界を確立すること。
• Carnot群から $\mathbb{R}^3$ への写像の微分がほとんど everywhere で階数 $\leq 1$ であるならば、その写像はホメオモルフィズムにはなり得ないことを示すこと。
• 線形射影との合成のエネルギーと微分のヤコビアンを関連付けるパッキングエネルギーに対する共面積不等式を導出すること。

提案手法

• 写像 $g: X' \to \mathbb{R}^3$ に対するパッキングエネルギーの一般的共面積不等式を構築し、$Q'$-エネルギーが微分のヤコビアンの $Q'/Q$ 乗の積分と関連することを示す。
• Lusin の定理を用いて、スケーリングされた近似 $\delta_{1/r}g\delta_r$ が大半のコンパクト部分集合上で微分 $D_y g$ に収束することを制御する。
• 同次な準同型写像 $h$ の正規化された体積歪み $J(h)$ を用いて、微分による球の像の体積増大を定量化する。
• 写像 $g: X' \to \mathbb{R}^3$ に対する $PE^{Q'}_{N,\ell}(X')$ の振る舞いを解析し、極限的議論により $J(Dg)$ の $L^{Q'/Q}$-ノルムと関連付ける。
• 背理法を用いる：もし $Dg$ がほとんど everywhere で階数 $\leq 1$ ならば、すべての射影 $u: \mathbb{R}^3 \to \mathbb{R}^2$ は 2-エネルギーを 0 に持つが、これはホメオモルフィズムの存在と矛盾する。
• $J(D_y g) > 0$ ならば、少なくとも一つの射影 $u$ に対して正の 2-エネルギーを持つため、$Dg$ がほとんど everywhere で階数 $\leq 1$ であるならば矛盾が生じる。

実験結果

リサーチクエスチョン

• RQ1 非アーベルなCarnot群 $G$ に対して、ユークリッド空間から $G$ への準対称的ホメオモルフィズムの最適 Hölder 指数 $\alpha_{qs}(G)$ の鋭い上界は何か？
• RQ2 Carnot群から $\mathbb{R}^3$ への準対称的写像の微分が、ホメオモルフィズム性と矛盾しないように、ほとんど everywhere で階数 $\leq 1$ であることは可能か？
• RQ3 パッキングエネルギーに対する共面積不等式は、$\alpha > \frac{n-1}{Q-1}$ を満たす $C^\alpha$ 準対称的ホメオモルフィズムの存在に対する十分な障害を提供するか？
• RQ4 Carnot群幾何の文脈において、ヤコビアンに基づく体積歪み $J(Dg)$ は、$g$ のパッキングエネルギーをどの程度制御するか？

主な発見

• 本稿は、任意の位相次元 $n$、ハウスドルフ次元 $Q$ を持つCarnot群 $G$ に対して、$\alpha_{qs}(G) \leq \frac{n-1}{Q-1}$ を確立している。これは一般の上界 $\alpha_{qs}(G) \leq \frac{n}{Q}$ よりも改善されたものである。
• 複素ヘイゼンベルク群 $Heis^m_{\mathbb{C}}$ に対しては、$\alpha_{qs}(G) \leq \frac{m}{m+1}$ が得られ、以前の $\frac{m+1}{m+2}$ の上界よりも鋭いものである。
• Carnot群の開集合から $\mathbb{R}^3$ への写像 $g: X' \to \mathbb{R}^3$ が微分の階数がほとんど everywhere で1以下であるならば、$g$ はホメオモルフィズムにはなり得ないことが証明されている。
• 共面積不等式により、$PE^{Q'}_{N,\ell}(X') \gtrsim \int_{X'} J(D_y g)^{Q'/Q} \, dy$ が成り立ち、パッキングエネルギーとヤコビアン歪みを結びつける。
• すべての射影 $u: \mathbb{R}^3 \to \mathbb{R}^2$ が 0 の 2-エネルギーを持つならば、$J(D_y g) = 0$ a.e. であり、これは $Dg$ がほとんど everywhere で階数 $\leq 1$ であることを意味し、ホメオモルフィズムの存在と矛盾する。
• この結果により、$H^2_{\mathbb{C}}$ は $\delta < -\frac{4}{9}$ の $\delta$-ピンチド多様体と同値ではないことが示され、ピンチング問題に対する部分的な答えが得られる。