[論文レビュー] Pansu pullback and rigidity of mappings between Carnot groups

Bruce Kleiner, Stefan Müller+1 more|arXiv (Cornell University)|Apr 20, 2020

Geometric Analysis and Curvature Flows参考文献 39被引用数 5

ひとこと要約

本稿は、Sobolev空間からCarnot群への写像に対して、微分形式のPansu引き戻しを導入し、特定の重み条件の下で引き戻しと外微分の間の部分的可換関係を確立する。主な貢献は、Pansu引き戻しと外微分の間の分布的恒等式であり、これにより、部分リーマン幾何における擬似等角写像およびSobolev写像の剛性および正則性に関する新たな結果が得られる。

ABSTRACT

This is the first in a series of papers on geometric mapping theory in Carnot groups -- and more generally equiregular manifolds -- in which we prove a number of new structural results for Sobolev (in particular quasisymmetric) mappings, establishing (partial) rigidity or (partial) regularity theorems, depending on the context.

研究の動機と目的

• Carnot群間のSobolev写像に対して、古典的な微分形式の引き戻しを滑らかでない測度付き空間へ拡張する、新たな解析的道具「Pansu引き戻し」を確立すること。
• 擬似等角写像およびSobolev写像の正則性が制限されることに起因する課題を克服するため、分層的リー群構造を尊重する分布的バージョンの引き戻しを導入すること。
• ユークリッド空間における引き戻しと外微分の古典的可換性の部分的類似を、微分形式の重みに関する特定の条件下で証明すること。
• 引き戻し恒等式からの制約を活用することで、Carnot群および等正則多様体上の幾何的写像理論における剛性および正則性定理の基礎を築くこと。
• Pansuの微分定理による局所的適応フレームと漸近的スケーリングを用いて、理論をCarnot群から一般の等正則部分リーマン多様体へ拡張すること。

提案手法

• Carnot群間のSobolev写像 $ f: G \to G' $ の近似的なPansu微分を用いて、滑らかな微分形式 $ \rho $ のPansu引き戻し $ f_P^*\rho $ を定義する。
• Carnot群および等正則多様体上の微分形式の重みの概念を、接バンドルのフィルトレーションおよびスケーリング作用に基づいて定義する。
• 分布的恒等式を確立する：$ p > \nu $ とする。$ \omega \in \Omega^k(U') $ および $ \eta \in \Omega^{N-k-1}_c(U) $ が $ \operatorname{wt}(\omega) + \operatorname{wt}(d\eta) \leq -\nu $ および $ \operatorname{wt}(d\omega) + \operatorname{wt}(\eta) \leq -\nu $ を満たすとき、$ \int_U (f_P^*d\omega) \wedge \eta + (-1)^k \int_U f_P^*\omega \wedge d\eta = 0 $ が成り立つ。
• スケーリングと滑らか化の議論を用いて恒等式を証明する。$ \rho \to 0 $ のとき、$ \hat{f}^{x,\rho} = (\delta_\rho^{f(x)'})^{-1} \circ f \circ \delta_\rho^x $ はPansu微分に収束する。
• 有界収束定理を用いて極限に移行する。Pansu微分と $ f $ のSobolev正則性に基づいて、局所的に可積分な上界関数を導出する。
• 局所的適応フレームとPansu微分が同次測度に関して almost everywhere に存在することを用いて、結果を等正則多様体へ拡張する。

実験結果

リサーチクエスチョン

• RQ1 滑らかでないSobolev写像がCarnot群間で定義される場合、引き戻しと外微分の古典的可換性は一般化可能か？
• RQ2 微分形式の重みにどのような条件を課すと、Pansu引き戻しが分布的意味で外微分と可換となるか？
• RQ3 Pansu引き戻しは、部分リーマン幾何における擬似等角写像およびSobolev写像の剛性または正則性に関する結果をどのように導出できるか？
• RQ4 引き戻し恒等式は、Carnot群から一般の等正則部分リーマン多様体へどの程度まで拡張可能か？
• RQ5 引き戻し恒等式は、特に振動的挙動や偏微分方程式の観点から、Pansu微分にどのような構造的制約を課えるか？

主な発見

• 重み $ \operatorname{wt}(\omega) + \operatorname{wt}(d\eta) \leq -\nu $ および $ \operatorname{wt}(d\omega) + \operatorname{wt}(\eta) \leq -\nu $ を満たすとき、$ W^{1,p} $ 写像 $ f: G \to G' $（$ p > \nu $）による微分形式 $ \omega $ のPansu引き戻しは、外微分と分布的に関係する。
• すべてのコンパクト台付き滑らかな $ (N-k-1) $-形式 $ \eta $ に対して、恒等式 $ \int_U (f_P^*d\omega) \wedge \eta + (-1)^k \int_U f_P^*\omega \wedge d\eta = 0 $ が成り立ち、写像に新たな制約をもたらす。
• スケール変換された写像 $ \hat{f}^{x,\rho} $ に漸近的に収束する極限議論により、結果が確立され、Pansu微分から得られる可積分関数の上界の存在に依存する。
• 局所的適応フレームとPansu微分が同次測度に関して almost everywhere に存在することを用いて、結果は等正則部分リーマン多様体へ拡張可能である。
• この方法により、今後の研究で剛性および正則性定理を導出可能であり、恒等式が振動的挙動を排除し、Pansu微分にPDEに類似した制約を強制するメカニズムを提供する。
• 重み条件により、引き戻しと外微分の相互作用が、滑らかでない場合でも、滑らかな場合と同様の性質を示すようになる。ただし、一般にSobolev写像では引き戻しが $ d $ と可換ではない。