[論文レビュー] Dirac operators on manifolds with periodic ends

Daniel Ruberman, Nikolai Saveliev|ArXiv.org|Feb 9, 2007

Advanced Operator Algebra Research参考文献 30被引用数 12

ひとこと要約

この論文は、次元4以上の端周期的スピン多様体に対して一般の端周期的計量を用いて、ディラク作用素のフレドホルム性の必要十分条件を確立する。非可換4次元多様体に対するキャッペル＝シャネソン不変量の解析的解釈を提供し、特定の異種非可換4次元多様体が正のスカラー曲率計量をもたないことを証明する。

ABSTRACT

This paper studies Dirac operators on end-periodic spin manifolds of dimension at least 4. We provide a sufficient condition for such an operator to be Fredholm for a generic end-periodic metric; this condition is shown to be necessary in dimension 4. We make use of end-periodic Dirac operators to give an analytical interpretation of an invariant of non-orientable smooth 4-manifolds due to Cappell and Shaneson. From this interpretation we show that some exotic non-orientable 4-manifolds do not admit a metric of positive scalar curvature.

研究の動機と目的

• 一般の端周期的計量のもとで、端周期的スピン多様体上のディラク作用素がフレドホルムであるための位相的条件を同定すること。
• 端周期的ディラク作用素を用いて、非可換4次元多様体に対するキャッペル＝シャネソン不変量の解析的解釈を提供すること。
• 特定の異種非可換4次元多様体に正のスカラー曲率計量が存在しないことを示す障害を確立すること。
• 端周期的構造を用いて、コンパクトまたは正のスカラー曲率の設定を超えたディラク作用素のフレドホルム理論を拡張すること。
• KO理論におけるα不変量の消滅と、マッピングトーラス上のねじれたディラク作用素の可逆性を結びつけること。

提案手法

• タウブスの端周期的微分作用素の理論を用いて、周期的端を持つ多様体上のディラク作用素のフレドホルム性を分析する。
• 閉じたスピン多様体 $ X $ から $ S^1 $ への写像 $ f: X \to S^1 $ に対して、$ f_*: \pi_1(X) \to \mathbb{Z} $ が全射であるとき、$ D^c = D + ic f^*(d\theta) $ と定義されるねじれたディラク作用素を導入する。
• すべての $ c \in \mathbb{R} $ に対して $ D^c $ の核が消えることと、$ \alpha(X) \in KO_n(S^1) $ が消えることが同値であることを証明する。
• 切除原理を適用して、無限サイクリック被覆 $ \tilde{X} $ におけるフレドホルム性を一般の端周期的多様体 $ M $ に拡張する。
• コボルディズム上の正のディラク作用素のインデックスから導かれる計量依存不変量 $ w_{\text{cs}}(X',f,g) $ を構成し、2を法として減少したときにキャッペル＝シャネソン不変量になることを示す。
• 向きの反転におけるインデックスの対称性を用いて、$ w_{\text{cs}}(X',f,g) = -w_{\text{cs}}(X',f,g) $ を示し、したがって $ w_{\text{cs}} = 0 $ であることを示し、不変量が2を法として消えることを示す。

実験結果

リサーチクエスチョン

• RQ1 一般の端周期的計量を用いた端周期的スピン多様体上のディラク作用素がフレドホルムであるための位相的条件は何か？
• RQ2 非可換4次元多様体に対するキャッペル＝シャネソン不変量は、ディラク作用素を用いてどのように解析的に解釈できるか？
• RQ3 キャッペル＝シャネソンおよびアクブリュトの方法で構成された非可換4次元多様体では、正のスカラー曲率にどのような障害が生じるか？
• RQ4 KO_n(S^1) におけるα不変量の消滅は、ねじれたディラク作用素 $ D^c $ の可逆性によって特徴づけられるか？
• RQ5 非可換4次元多様体に正のスカラー曲率計量が存在するならば、そのキャッペル＝シャネソン不変量は2を法として消えるか？

主な発見

• 端周期的スピン多様体 $ M $ 上のディラク作用素 $ D(M,g) $ は、一般の端周期的計量 $ g $ に対して、$ \alpha(X) \in KO_n(S^1) $ が消えることと同値にフレドホルムである。
• マッピングトーラス $ X $ 上のねじれたディラク作用素 $ D^c $ の核がすべての $ c \in \mathbb{R} $ に対して自明であることと、$ \alpha(X) = 0 $ であることは同値である。
• 非可換多様体 $ X' $ に対するキャッペル＝シャネソン不変量 $ \beta(X',f) \in \mathbb{Z}/2\mathbb{Z} $ は、$ X' $ が正のスカラー曲率計量をもてば2を法として消える。
• 多様体 $ X'_{11} = Z' \# K3 $ で、$ Z' = S^1 \tilde{\times} S^3 $ であるが、$ \beta(X'_{11},f) = 1 \pmod{2} $ であるため、正のスカラー曲率計量をもたない。
• 多様体 $ X'_{11} $ の2重被覆は $ (S^1 \times S^3) \#_{22} (S^2 \times S^2) $ と微分同相であり、正のスカラー曲率計量をもつが、元の多様体には持たないことを示しており、2重被覆がそのような計量を持つ一方で元の多様体には持たないという例を示している。
• 不変量 $ w_{\text{cs}}(X',f,g) $ はインデックスの対称性により0であることが示され、$ \beta(X',f) = 0 \pmod{2} $ であることが従い、正のスカラー曲率に対する位相的障害を提供する。