[論文レビュー] On the homotopy type of the space $\mathcal{R}^+(M)$

Vladislav Chernysh|ArXiv.org|May 13, 2004

Geometric Analysis and Curvature Flows参考文献 7被引用数 10

ひとこと要約

この論文は、閉多様体上の正スカラー曲率計量の空間が、余次元 ≥3 の部分多様体の近傍で計量が固定された部分空間とホモトピー同値であることを確立する。O(k)-対称なワーパード計量を用いたパラメータ化されたGromov-Lawson構成のバージョンにより、著者たちは、この固定計量部分空間が弱い変形リトラクトであることを示し、余次元 ≥3 のスケーリングにおいてホモトピー不変性を証明する。

ABSTRACT

we show that the space of metrics of positive scalar curvature on a manifold is, when nonempty, homotopy equivalent to a space of metrics of positive scalar curvature that restrict to a fixed metric near a given submanifold of codimension greater or equal than 3. Our main tool is a parameterized version of the Gromov-Lawson construction, which was used to show that the existence of a metric of positive scalar curvature on a manifold was invariant under surgeries in codimension greater or equal than 3.

研究の動機と目的

• スケーリングにおいて正スカラー曲率計量空間のホモトピー型がどのように変化するかを理解すること。
• そのような計量の空間が、余次元 ≥3 の部分多様体の近傍で計量が固定された部分空間とホモトピー同値であることを証明すること。
• 対称性を保ちながら変形リトラクトを可能にする、Gromov-Lawson構成のパラメータ化されたバージョンを確立すること。
• 余次元 ≥3 におけるスケーリングが、正スカラー曲率空間のホモトピー型を保存することを示すこと。
• スケーリング理論とホモトピー不変性を用いた、正スカラー曲率計量のトポロジカルな分類ツールを提供すること。

提案手法

• 部分多様体の法線バンドル上でO(k)-対称性を保つパラメータ化されたGromov-Lawson変形写像を導入する。
• ワーパード積計量の空間 $ W(N,\tau) $ を、Gromov-Lawson変形に関して不変であるように定義する。
• 写像 $ r: \mathcal{R}^+(M) \to \mathcal{R}^+_0(M) $ を構成し、$ r \circ i \simeq \mathrm{Id} $ および $ i \circ r \simeq \mathrm{Id} $ が成り立つようにすることで、ホモトピー同値性を証明する。
• $ \mathcal{R}^+(M) $ と $ \mathcal{R}^+_0(M) $ がCW複体によって支配されていることから、相対ホモトピー群が自明であることを示せば十分であることを用いる。
• コンパクトな計量族に対してGromov-Lawson構成を適用し、変形が $ W(N,\tau) $ の中にとどまり、$ \mathcal{R}^+_0(M) $ で終わることを保証する。
• 固定されたコリヤ近傍とトーピング計量の存在を活用し、変形の全過程で正スカラー曲率が保たれることを保証する。

実験結果

リサーチクエスチョン

• RQ1 正スカラー曲率計量空間 $ \mathcal{R}^+(M) $ のホモトピー型は、余次元 ≥3 のスケーリングにおいてどのように振る舞うか？
• RQ2 $ \mathcal{R}^+(M) $ は、余次元 ≥3 の部分多様体の近傍で計量が固定された部分空間に変形リトラクト可能か？
• RQ3 $ \mathcal{R}^+(M) $ が空でないとき、包含写像 $ \mathcal{R}^+_0(M) \to \mathcal{R}^+(M) $ はホモトピー同値か？
• RQ4 Gromov-Lawson構成は、パラメータ化され、対称性を保つバージョンを備えているか？
• RQ5 正スカラー曲率空間 $ \mathcal{R}^+(M) $ のホモトピー型は、どの程度まで余次元 ≥3 のスケーリングで不変か？

主な発見

• $ \mathcal{R}^+(M) $ が空でないとき、包含写像 $ i: \mathcal{R}^+_0(M) \to \mathcal{R}^+(M) $ はホモトピー同値である。
• 余次元 ≥3 の部分多様体の近傍で計量が固定された空間 $ \mathcal{R}^+_0(M) $ は、 $ \mathcal{R}^+(M) $ の弱い変形リトラクトである。
• パラメータ化されたGromov-Lawson構成はO(k)-対称性を保ち、変形がワーパード計量空間 $ W(N,\tau) $ の中にとどまるように保証する。
• すべての $ r \geq 1 $ に対して相対ホモトピー群 $ \pi_r(\mathcal{R}^+(M), W(N,\tau)) $ は消えるため、相対ホモトピー類が自明である。
• $ \mathcal{R}^+(M) $ と $ \mathcal{R}^+_0(M) $ の道成分は一対一対応しており、包含写像が成分にわたって双対写像を誘導することが確認された。
• その結果、余次元 ≥3 のスケーリングは、正スカラー曲率空間のホモトピー型を保存する： $ M_2 $ が $ M_1 $ からのそのようなスケーリングによって得られるとき、$ \mathcal{R}^+(M_1) \simeq \mathcal{R}^+(M_2) $ が成り立つ。