[論文レビュー] On the large-scale geometry of the L^p-metric on the symplectomorphism group of the two-sphere

Michael Brandenbursky, Egor Shelukhin|arXiv (Cornell University)|Apr 25, 2013

Geometric and Algebraic Topology参考文献 20被引用数 8

ひとこと要約

この論文は、$ p > 2 $ のとき、2次元球面のシンプレクティック自己同型群における $ L^p $-距離が、任意の有限次元ノルム線形空間の双リプシッツ埋め込みを許容することを確立している。純ブレード群 $ S^2 $ 上のブレード不変量と、それらから導かれる一様クェイジモーフィズムを用いて、経路の $ L^p $-長さを補正するクェイジモーフィズムを構成し、距離の非有界性を証明した。これにより、標準的距離を備えた $ \mathbb{R}^d $ が、歪みを制御した状態で群に双リプシッツ埋め込み可能であることが可能になった。

ABSTRACT

We prove that the vector space R^d of any finite dimension d with the standard metric embeds in a bi-Lipschitz way into the group of area-preserving diffeomorphisms G of the two-sphere endowed with the L^p-metric for p>2. Along the way we show that the L^p-metric on the group G is unbounded for p>2 by elementary methods.

研究の動機と目的

• 2次元球面のシンプレクティック自己同型群における $ L^p $-距離のスケール幾何学的性質を解明すること、特に $ p > 2 $ の場合に焦点を当てる。
• $ \mathrm{Diff}(S^2, dV) $ における $ L^p $-距離の非有界性を、他の曲面では既知の結果があるにもかかわらず未解決であった状況で、証明すること。
• 有限次元ノルム線形空間を、$ L^p $-距離を備えたシンプレクティック自己同型群に、明示的な双リプシッツ埋め込みとして構成すること。
• 従来のカーラビホモロジー写像やコhomological不変量に依存しない、時間に依存するハミルトニアンフローにおけるブレードと相対的回転数に基づく、新しい手法を開発すること。

提案手法

• 著者らは、$ r $ を純ブレード群 $ P_n(S^2) $ 上の一様クェイジモーフィズムとし、$ \gamma(f;x) $ を基点からの測地線と $ f $ のホモトピーから構成されるループとすると、クェイジモーフィズム $ \Phi(f) = \int_{X_n(S^2)} r(\gamma(f;x)) \, dx $ を定義する。
• 関連する一様クェイジモーフィズム $ \overline{\Phi}(f) = \lim_{k \to \infty} \Phi(f^k)/k $ が正しく定義され、ホモトピーに関して不変であることを示し、群内の経路の $ L^p $-長さに対する下界を提供する。
• 微分同相写像を、円板上に台を持つコンパクトな部分に分解し、$ P_n(S^2) $ 内のブレードの有限語長を用いることで、$ \Phi $ の可積分性を保証する。
• 主要な技術的ステップは、配置空間の体積とクェイジモーフィズム $ r $ の有界性を用いて、クェイジモーフィズムの欠損を評価し、$ \Phi $ が一様定数を用いたクェイジモーフィズム条件を満たすことを保証することである。
• $ \pi_1(\mathrm{Diff}(S^2, dV)) \cong \mathbb{Z}/2\mathbb{Z} $ であるという事実を用いて、$ \overline{\Phi} $ がホモトピーの選び方に依存しない、群上で正しく定義された関数であることを保証する。
• クェイジモーフィズム $ \overline{\Phi} $ とその族を組み合わせ、線形代数的議論を適用することで、$ p > 2 $ のとき、$ \mathbb{R}^d $ を $ \mathrm{Diff}(S^2, dV) $ に $ L^p $-距離の下で双リプシッツ埋め込みとして構成する。

実験結果

リサーチクエスチョン

• RQ1 $ p > 2 $ のとき、第一コホモロジーの欠如と完全性の欠如にもかかわらず、$ S^2 $ のシンプレクティック自己同型群における $ L^p $-距離は非有界のままであるか？
• RQ2 $ p > 2 $ のとき、有限次元ノルム線形空間を $ \mathrm{Diff}(S^2, dV) $ に $ L^p $-距離の下で双リプシッツ的に埋め込むことができるか？
• RQ3 純ブレード群 $ P_n(S^2) $ 上のブレード不変量とクェイジモーフィズムを用いて、シンプレクティック経路の $ L^p $-長さを補正できるか？
• RQ4 カーラビホモロジー写像やコホモロジー的不変量に依存しない方法で、$ S^2 $ 上の $ L^p $-距離の非有界性を証明できるか？

主な発見

• $ S^2 $ 上の面積保存微分同相写像群における $ L^p $-距離は、すべての $ p > 2 $ に対して非有界であることが、クェイジモーフィズムを用いた初等的手段により証明された。
• 任意の有限次元 $ d $ に対して、標準的ノルムを備えた線形空間 $ \mathbb{R}^d $ は、$ p > 2 $ のとき、$ \mathrm{Diff}(S^2, dV) $ に $ L^p $-距離の下で双リプシッツ埋め込み可能である。
• $ X_n(S^2) $ 内のブレードデータから構成されたクェイジモーフィズム $ \overline{\Phi} $ は、経路の $ L^p $-長さに対する下界を提供し、埋め込み結果を可能にした。
• ホモトピーに関して安定であり、微分同相写像群の基本群が $ \mathbb{Z}/2\mathbb{Z} $ であることから、ホモトピーの選び方に依存しない。
• ブレードの有限語長と配置空間の体積が有限であることから、$ \Phi $ の可積分性が保証され、クェイジモーフィズムは変動に対して有界で正しく定義された。
• この方法は、カーラビホモロジー写像やコホモロジー的不変量に依存しない、幾何的・微積分的アプローチを提供し、シンプレクティック自己同型群のスケール幾何学的性質の理解に新たな道を開いた。