[論文レビュー] Quantitative K-theory, positive scalar curvature, and band width

Hao Guo, Zhizhang Xie+1 more|arXiv (Cornell University)|Oct 5, 2020

Advanced Operator Algebra Research参考文献 25被引用数 8

ひとこと要約

本稿は、演算子K理論における高次指数理論の定量的精錬を導入し、正のスカラー曲率およびグローマーのバンド幅予想を研究する。スピン多様体上で一様に正のスカラー曲率が成り立つとき、高次指数が消える伝搬スケールは、曲率下界の平方根の逆数に比例することを確立し、定量的K理論的手法を用いて明示的な定数を伴うバンド幅不等式を証明する。

ABSTRACT

We develop two connections between the quantitative framework of operator $K$-theory for geometric $C^*$-algebras and the problem of positive scalar curvature. First, we introduce a quantitative notion of higher index and use it to give a refinement of the well-known obstruction of Rosenberg to positive scalar curvature on closed spin manifolds coming from the higher index of the Dirac operator. We show that on a manifold with uniformly positive scalar curvature, the propagation at which the index of the Dirac operator vanishes is related inversely to the curvature lower bound. Second, we give an approach, using related techniques, to Gromov's band width conjecture, which has been the subject of recent work by Zeidler and Cecchini from a different point of view.

研究の動機と目的

• 幾何的C*-代数における高次指数理論の定量的枠組みを構築すること。
• 定量的K理論を用いてローゼンバーグの正のスカラー曲率計量の存在に対する障害を精錬すること。
• 定量的指数消滅を用いたGromovのバンド幅予想の新たな証明を提供すること。
• スカラー曲率下界を用いた明示的な曲率依存境界を、バンド幅に確立すること。

提案手法

• 幾何的C*-代数の枠組みにおいて、定量的最大高次指数を導入する。
• スぺクトル乗数とカットオフ関数を用いて、普遍被覆上のディラック作用素の近似単位を構成する。
• スペクトル射影およびリゾルベントのノルム推定を適用し、指数の伝搬を制御する。
• 関数計算と多項式近似（テイラー級数を用いて）を用いて、ディラック作用素の逆作用素の近似誤差を評価する。
• 曲率およびスケールパラメータを用いて、近似単位およびその逆のノルムの一様な境界を確立する。
• 定量的指数消滅条件を活用し、曲率に依存するバンド幅の上界を導出する。

実験結果

リサーチクエスチョン

• RQ1 スカラー曲率下界に依存する、ディラック作用素の高次指数が消える伝搬スケールはどのように変化するか？
• RQ2 定量的K理論は、閉スピン多様体上での正のスカラー曲率計量の存在に対する精錬された障害を提供できるか？
• RQ3 K理論的手法を用いて、Gromov予想におけるバンド幅の最適な定量的境界は何か？
• RQ4 定量的高次指数を用いて、既知のバンド幅推定値を回復または改善できるか？
• RQ5 正のスカラー曲率をもつ多様体におけるバンド幅不等式の明示的定数は何か？

主な発見

• 閉スピン多様体で一様に正のスカラー曲率 $ c $ を持つとき、ディラック作用素の $ \Gamma $-不変定量的最大高次指数は、スケール $ r \geq \frac{\omega_0}{\sqrt{c}} $ で消える。ここで $ \omega_0 $ は絶対定数である。
• スカラー曲率 $ \sigma > 0 $ を持つ多様体 $ V \cong M \times [-1,1] $ のバンド幅 $ L $ は、$ L \leq C \sqrt{\frac{n-1}{n}} \frac{1}{\sqrt{\sigma}} $ を満たす。$ n $ が偶数のとき $ C \leq 190\pi $、奇数のとき $ C \leq 328\pi $ である。
• もし $ L > C \sqrt{\frac{n-1}{n}} \frac{1}{\sqrt{\sigma}} $ ならば、最大高次指数 $ \operatorname{Ind}_{\Gamma,\textnormal{max}}(D_{\widetilde{M}}) $ は $ K_1(C^*_{\textnormal{max}}(\Gamma)) $ で消える。
• 本手法により、リヒネロヴィッチの消滅定理の定量的精錬が得られ、曲率の境界と有限伝搬における指数の消滅を結びつける。
• 数値的推定により、近似単位構成における誤差は 0.209 未満であることが示され、K理論における摂動論の適用が可能になる。
• コンピュータ支援による改良を経て、定数 $ C $ は約 $ 64\pi $ にまで低減可能であり、元の境界がさらに精錬される。