[論文レビュー] Boundary Conditions for Scalar Curvature

Christian Bär, Bernhard Hanke|arXiv (Cornell University)|Jan 1, 2021

Advanced Operator Algebra Research参考文献 27被引用数 7

ひとこと要約

本稿は、無限大のK-面積をもつスピン多様体における正のスカラー曲率計量と平均凸境界を持つものに対する障害を、Atiyah-Patodi-Singerの指数公式を用いて確立し、このような計量の空間における弱ホモトピー同値を誘導する境界条件の一般化の原理を証明する。さらに、これらの計量空間が非自明な高次ホモトピー群を持つコンパクト多様体を構成し、特異点および境界の変形に関する既知の結果を精緻化する。

ABSTRACT

Based on the Atiyah-Patodi-Singer index formula, we construct an obstruction to positive scalar curvature metrics with mean convex boundaries on spin manifolds of infinite $K$-area. We also characterize the extremal case. Next we show a general deformation principle for boundary conditions of metrics with lower scalar curvature bounds. This implies that the relaxation of boundary conditions often induces weak homotopy equivalences of spaces of such metrics. This can be used to refine the smoothing of codimension-one singularites à la Miao and the deformation of boundary conditions à la Brendle-Marques-Neves, among others. Finally, we construct compact manifolds for which the spaces of positive scalar curvature metrics with mean convex boundaries have nontrivial higher homotopy groups.

研究の動機と目的

• 無限大のK-面積をもつスピン多様体において、正のスカラー曲率計量と平均凸境界が存在するための位相的障害を同定すること。
• このような障害が消える極限状態を特徴づけること。
• 下界としてのスカラー曲率の下限を保つような境界条件の一般化の原理を確立すること。
• 境界条件を緩和することで、正のスカラー曲率計量の空間における弱ホモトピー同値が誘導されることを示すこと。
• 正のスカラー曲率計量と平均凸境界を持つ空間に非自明な高次ホモトピー群を持つコンパクト多様体を構成すること。

提案手法

• 位相的障害を導出するための基盤的ツールとして、Atiyah-Patodi-Singerの指数公式を用いる。
• スピン多様体に境界をもつ場合に指数公式を適用し、平均凸境界と正のスカラー曲率を持つ計量に注目する。
• 連続的な境界条件の変形を可能にしつつ、スカラー曲率の下界を保つ一般化の変形原理を開発する。
• このような変形が、正のスカラー曲率計量の空間間の弱ホモトピー同値を誘導することを示す。
• 変形原理を応用し、既存の結果（例えば、Miaoによるcodimension-one特異点の滑らか化や、Brendle-Marques-Nevesによる境界条件の変形）を精緻化する。
• 非自明な高次ホモトピー群を実現する明示的なコンパクト多様体を構成する。

実験結果

リサーチクエスチョン

• RQ1 無限大のK-面積をもつスピン多様体において、正のスカラー曲率計量と平均凸境界が存在しない位相的障害は何か？
• RQ2 障害の極限状態が成立する条件は何か？
• RQ3 境界条件の緩和は、正のスカラー曲率計量の空間のホモトピー型にどのように影響するか？
• RQ4 変形原理を用いて、Miaoによる特異点の滑らか化やBrendle-Marques-Nevesによる境界条件の変形といった既知の構成を精緻化できるか？
• RQ5 正のスカラー曲率計量と平均凸境界を持つ空間に非自明な高次ホモトピー群を持つコンパクト多様体は存在するか？

主な発見

• Atiyah-Patodi-Singerの指数公式を用いて、無限大のK-面積をもつスピン多様体において、正のスカラー曲率計量と平均凸境界が存在しない障害が確立された。
• 障害が消える極限状態—すなわち、指数論的条件によって完全に特徴づけられる状態—が同定された。
• 境界条件を緩和することで、このような計量の空間における弱ホモトピー同値が誘導されることを示す一般化の変形原理が証明された。
• 変形原理により、Miaoによるcodimension-one特異点の滑らか化やBrendle-Marques-Nevesによる境界条件の変形といった先行研究の結果が精緻化された。
• 正のスカラー曲率計量と平均凸境界を持つ空間に非自明な高次ホモトピー群を持つ明示的なコンパクト多様体が構成された。