[論文レビュー] Scalar curvature and vector bundles

Mario Listing|arXiv (Cornell University)|Feb 20, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 49被引用数 4

ひとこと要約

本稿では、有限次元ヘルミートベクトルバンドルの曲率から導かれる新しいホモロジー理論であるK–areaホモロジーを導入し、曲率の上限と位相の間の関係を確立する。複素ベクトルバンドルにおける$L^\infty$-曲率ギャップが正であることは、K–areaホモロジーが偶数次元で非削除的単体ホモロジーと一致するための必要十分条件であることが示され、コンパクト多様体上のスカラー曲率の上界が得られ、Llarull、Goette、Semmelmannの結果が一般化される。

ABSTRACT

In the first part we use Gromov's K--area to define the K--area homology which stabilizes into singular homology on the category of pairs of compact smooth manifolds. The second part treats the questions of certain curvature gaps. For instance, the $L^\infty $--curvature gap of complex vector bundles on a compact manifold is positive if and only if the K--area homology coincides with the reduced singular homology in all even degrees. In the third part we give some upper bounds of the scalar curvature on compact manifolds. In particular, we generalize results by Llarull and Goette, Semmelmann.

研究の動機と目的

• コンパクト多様体上の有限次元ヘルミートベクトルバンドルの曲率を用いて、新たなホモロジー理論—K–areaホモロジー—を定義すること。
• 特に複素ベクトルバンドルの$L^\infty$-曲率ギャップを含む曲率ギャップを調査し、それらを位相的不変量と関連付けること。
• 幾何学的・解析的手段を用いて、正のスカラー曲率をもつコンパクト多様体におけるスカラー曲率の上界を確立すること。既知の結果を一般化すること。
• K–areaホモロジーが、単体ホモロジーでは検出できない位相的差異を検出できることを示すこと。特に、ホモロジーが同型でも曲率挙動が異なる多様体においてその差を特定できること。

提案手法

• 有限次元ヘルミートベクトルバンドルにヘルミート接続を備えたもとで、曲率の作用素ノルム$ \|R^{\mathcal{E}}\| $の逆数を用いて、ホモロジー類のK–areaを定義する。
• K–areaホモロジー$ \mathscr{H}_k(M;G) \subseteq H_k(M;G) $を、K–areaが有限であるホモロジー類のなす部分群として定義し、リーマン計量に依存しないことを保証する。
• グロモフのK–areaおよびハンケのRosenberg指数に関する結果を用いて、K–areaホモロジーが$ \alpha^{\mathbb{R}}_{\mathrm{max}}(M) $の消滅と関係することを示し、正のスカラー曲率の障害となる重要な不変量を特定する。
• 共形変形技術とボッハナー＝ヴァイツェンボック公式における曲率推定を用いて、スカラー曲率の上界を導出する。
• チャーン類およびねじれディラック作用素におけるインデックス理論を用いて、非ゼロインデックスの存在によりK–areaホモロジーの非自明性を検出する。
• 計量スケーリングおよび拡大率推定を用いて、特に$ S^1 $との積多様体における写像における曲率挙動を分析し、$ \epsilon \to 0 $の極限で背理的議論を導く。

実験結果

リサーチクエスチョン

• RQ1 複素ベクトルバンドルにおける$L^\infty$-曲率ギャップが何時消えるか。そのとき、その多様体の位相にはどのような意味があるか。
• RQ2 K–areaホモロジーと単体ホモロジーの関係は何か。どのような場合に一致し、どのような場合に相違するか。
• RQ3 正のスカラー曲率をもつコンパクト多様体に対して、スカラー曲率にどのような上界を置けるか。
• RQ4 曲率テンソルまたはウェイルテンソルの$L^{n/2}$-ノルムにおける曲率ギャップは、位相的障害を検出するために用いられるか。
• RQ5 共形変形および拡大率推定を、非自明なK–areaホモロジーをもつ多様体間の写像の幾何を制約するためにどの程度まで用いることができるか。

主な発見

• コンパクト多様体上の複素ベクトルバンドルにおける$L^\infty$-曲率ギャップが正であることは、K–areaホモロジーがすべての偶数次元で非削除的単体ホモロジーと一致するための必要十分条件である。
• K–areaホモロジーはホモトピー不変量であり、単体ホモロジーでは検出できない位相的差異を検出できる。例えば、$ \mathscr{H}_3(T^3) = \{0\} $であるが、$ \mathscr{H}_3(S^3) = \mathbb{Z} $である。これは、単体ホモロジーが同型でも、K–areaホモロジーは異なることを示している。
• 双曲的ホモロジー球面$ M^3 $では、基本類のK–areaは無限大であるが、$ S^3 $では有限である。これは、K–areaホモロジーが同じホモロジーをもつが非同相な多様体を区別できることを示している。
• 本稿では、LlarullおよびGoette–Semmelmannのスカラー曲率の上界を一般化し、ねじれディラック作用素および共形計量における曲率推定を用いて上界を導出する。
• $ \epsilon \to 0 $の極限において、曲率推定が写像$ f $がリーマン被覆であることを強制し、$ \mathrm{dil}_2(f) = \text{const} > 0 $であり、$ f $が計量$ g_0 $を共形に引き戻すことを示す。
• 解析により、スカラー曲率$ \mathrm{scal}_{\tilde{g}} \geq 2K_0\beta $が成り立つならば、$ \beta = \frac{n(n-1)}{2} \mathrm{dil}_2(f) \circ \pi $であり、等号が成り立つと、すべての$ i,j $について$ \lambda_i(x) = \lambda_j(x) $が成り立ち、これにより共形平坦性および被覆構造が強制される。