[論文レビュー] Pansu pullback and exterior differentiation for Sobolev maps on Carnot groups

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

Geometric Analysis and Curvature Flows参考文献 21被引用数 6

ひとこと要約

本稿は、m段階のカルノー群における有限m次のモーメントをもつ確率測度に対して一般化されたBuser-Karcher重心を確立し、Sobolev写像における滑らか化およびPansuの引き戻し近似を改善する。主な貢献は、より弱いSobolev指数の仮定のもとで引き戻し定理を強化することであり、これによりカルノー群間の写像における剛性および構造的結果が向上し、2段階の場合を超えた準正則写像への応用が可能になる。

ABSTRACT

We show that in an $m$-step Carnot group, a probability measure with finite $m^{th}$ moment has a well-defined Buser-Karcher center-of-mass, which is a polynomial in the moments of the measure, with respect to exponential coordinates. Using this, we improve the main technical result of our previous paper concerning Sobolev mappings between Carnot groups; as a consequence, a number of rigidity and structural results from recent papers hold under weaker assumptions on the Sobolev exponent. We also give applications to quasiregular mappings, extending earlier work in the $2$-step case to general Carnot groups.

研究の動機と目的

• m段階のカルノー群における有限m次のモーメントをもつ確率測度へのBuser-Karcher重心の一般化を、非コンパクトな台を持つ場合でさえも展開すること。
• m段階のカルノー群へのL^m_loc写像に対して、一般化された重心を用いた滑らか化プロセスの構築。
• Sobolev写像の間のカルノー群におけるPansuの引き戻し定理を、必要なSobolev指数を緩和することで強化すること。
• 先行研究における剛性および構造的結果を、より弱い正則性仮定へと拡張すること。
• 2段階の場合に限った準正則写像への応用結果を、一般のカルノー群へと一般化すること。

提案手法

• m段階のカルノー群における有限m次のモーメントをもつ測度に対して、条件 ∫ log_com_ν dν = 0 を用いて一般化されたBuser-Karcher重心を導入する。
• log(com_ν) が log_x0 による押し出し測度のモーメントの多項式であることを証明し、明示的な計算を可能にする。
• 一般化された重心を用いて、m段階のカルノー群へのL^m_loc写像の滑らか化プロセスを構築する。
• 重みおよび可積分性条件、Sobolev指数の特定の条件下で、通常の引き戻し f_ρ^*ω ∧ η が L^s_loc(U) 内でPansuの引き戻し f_P^*ω ∧ η に収束することを確立する。
• 微分形式の重み wt(ω) と定義域群の同次次元 ν を用いて収束を制御する。
• 近似結果を応用し、[KMX20] や関連研究における剛性および構造的定理を、より低いSobolev指数へと拡張する。また、準正則写像に関する結果を、より高い段階のカルノー群へと一般化する。

実験結果

リサーチクエスチョン

• RQ1 Buser-Karcher重心は、m段階のカルノー群における非コンパクトな台を持つ確率測度に対しても拡張可能か？
• RQ2 一般化された重心は、m段階のカルノー群へのSobolev写像に対して、well-definedな滑らか化プロセスを可能にするか？
• RQ3 Sobolev指数の要件を緩和することで、Pansuの引き戻し定理を強化できるか？
• RQ4 Sobolev写像の間の剛性および構造的結果は、可積分性の仮定を弱めた場合にもどの程度成立するか？
• RQ5 2段階のカルノー群における準正則写像に関する結果を、改善された引き戻しフレームワークを用いて、一般のカルノー群へと拡張可能か？

主な発見

• 任意の有限m次のモーメントをもつ確率測度に対して、m段階のカルノー群内ではBuser-Karcher重心が存在し、一意的である。
• 重心の対数は、任意の log_x0 による押し出し測度のモーメントの多項式であるため、明示的な計算が可能である。
• 一般化された重心を用いて、m段階のカルノー群へのL^m_loc写像の滑らか化プロセスが構築され、滑らかな近似が得られる。
• 重み、可積分性、Sobolev指数に関する提示された条件下で、通常の引き戻し f_ρ^*ω ∧ η は L^s_loc(U) 内でPansuの引き戻し f_P^*ω ∧ η に収束する。
• 改善された引き戻し定理により、[KMX20] や関連研究における剛性および構造的結果が、より低いSobolev指数へと拡張可能である。
• 準正則写像への応用は、2段階から一般のカルノー群へと拡張され、[Res89, HH97, Vod07b] における先行結果が一般化された。