[論文レビュー] Torsion Invariants for Families

Sebastian Goette|arXiv (Cornell University)|Apr 18, 2008

Advanced Operator Algebra Research参考文献 44被引用数 18

ひとこと要約

本稿は、平坦ベクトルバンドルを備えた滑らかな多様体の族の文脈において、高次 torsion 不変量（Bismut-Lott、Igusa-Klein、Dwyer-Weiss-Williams torsion）について包括的な概説を提供する。解析的 torsion 形式と位相的 torsion 不変量の間の深い関係を確立し、Bismut-Lott torsion と Igusa-Klein torsion が特性類を含む補正項まで一致することを示し、Hatcher の例に見られるように、微分同相でないが同相な滑らかな構造をファイバー束上で区別するのにも役立つことを確認する。

ABSTRACT

We give an overview over the higher torsion invariants of Bismut-Lott, Igusa-Klein and Dwyer-Weiss-Williams, including some more or less recent developments.

研究の動機と目的

• 高次 torsion 不変量の3大構成（Bismut-Lott、Igusa-Klein、Dwyer-Weiss-Williams torsion）を統一的かつ比較的に扱う。
• 滑らかな多様体の族における解析的 torsion 形式（Bismut-Lott）と位相的 torsion 不変量（Igusa-Klein）の関係を明確化する。
• Bismut-Lott torsion と Igusa-Klein torsion が、正確な形式および特性類を含む補正項の差異を除いて一致することを確立する。特に、ファイブリス・モース関数が存在する場合に有効である。
• Hatcher の例に見られるように、同相だが微分同相ではない滑らかな構造をファイバー束上で区別する高次 torsion の役割を調査する。
• Bismut-Lebeau の擬微分的 torsion が Igusa の公理的枠組みと整合するか、および Bismut-Lott torsion との関係を調査する。

提案手法

• 全空間上に特徴的な特異点を制御したモース関数を用いて、基底空間 $ B $ から分類空間 $ Wh^h(M_r(\mathbb{C}), U(r)) $ へのホモトピー類の写像を介して、高次 Franz-Reidemeister torsion を構成する。
• 全空間上の楕円型作用素の族の熱核のスーパートレースを用いて、Bismut-Lott 解析的 torsion を $ \Omega^{\text{even}}(B) $ 内の微分形式として定義する。
• 精密なグロテンディーク・リーマン・ローチの定理を適用し、平坦バンドル $ F $ の特性類とファイブリス・コホモロジー・バンドル $ H(E/B;F) $ の特性類を関係付ける。
• 擬微分的ラプラシアン $ \mathfrak{A}_{b,t,\pm} $ を用いて、Bismut-Lebeau torsion 形式 $ \mathcal{T}_{b,\pm} $ を定義し、これは楕円型と測地線フローの極限の間を補間する。
• Bismut-Lebeau torsion $ \mathcal{T}_{b,\pm} $ と Bismut-Lott torsion $ \mathcal{T} $、Igusa-Klein torsion $ \tau $ を比較し、$ \mathrm{ch}^o $ および Miller-Morita-Mumford クラスを含む補正項の差異を除いて一致することを示す。
• Igusa の公理的枠組みを用いて、滑らかさのカテゴリーにおける Dwyer-Weiss-Williams torsion が、Igusa-Klein torsion と同じ分類写像へと上昇することを示し、各構成の整合性を確認する。

実験結果

リサーチクエスチョン

• RQ1 平坦ベクトルバンドルを備えた多様体の族において、Bismut-Lott 解析的 torsion と Igusa-Klein 位相的 torsion はどのように関係しているか？
• RQ2 Hatcher の例に見られるように、同相だが微分同相ではない滑らかな構造をファイバー束上で高次 torsion 不変量がどの程度検出できるか？
• RQ3 公理的枠組みまたは明示的公式を通じて、Bismut-Lebeau の擬微分的 torsion と Igusa-Klein torsion はどのように調和させられるか？
• RQ4 滑らかさのカテゴリーにおいて、Bismut-Lott torsion と Dwyer-Weiss-Williams torsion の正確な関係は何か？
• RQ5 $ \mathcal{T}_{b,\pm} $ と $ \mathcal{T} $ の関係における補正項、たとえば $ \widetilde{\mathrm{ch}}{}^o $ および $ \operatorname{tr}_{E/B}^*\,{}^0\!J(TM) $ は、内在的な幾何学的または位相的意味を持つのか？

主な発見

• Bismut-Lott torsion $ \mathcal{T}(E/B;F) $ と Igusa-Klein torsion $ \tau(E/B;F) $ は、基底空間 $ B $ 上の正確な形式を除いて一致し、その差は特性類 $ \mathrm{ch}^o $ および Miller-Morita-Mumford クラスによって記述される。
• 小さい $ b>0 $ に対して、Bismut-Lebeau torsion $ \mathcal{T}_{b,\pm} $ は、異常項に $ \mathrm{ch}^o(H^\bullet_\pm(E/B;F), \mathfrak{h}_b^{H_\pm}) $ を含む、精密なグロテンディーク・リーマン・ローチの定理に類似した変動公式を満たす。
• $ F $ がアセイクルで、ファイブリス・モース関数が存在するとき、$ \mathcal{T}_{b,-}(T^HE, g^{TM}, g^F) = (-1)^n \tau(E/B;F) $ が正確な形式を除いて成立し、この場合での一致を確認する。
• Bismut-Lebeau torsion $ \mathcal{T}_{b,\pm} $ と Bismut-Lott torsion の関係は、$ \mathcal{T}_{b,\pm} = (\pm 1)^n \mathcal{T} \mp \widetilde{\mathrm{ch}}{}^o(H_\pm(E/B;F), g^{H}_{L^2}, \mathfrak{h}_b^{H_\pm}) \pm \operatorname{tr}_{E/B}^*\,{}^0\!J(TM)\,\operatorname{rk}F $ で与えられ、正確な形式を除いて成り立つ。
• 滑らかさのカテゴリーにおける Dwyer-Weiss-Williams torsion は、Igusa-Klein torsion と同じ分類写像を $ K(\mathbb{C}) $ 内に持ち、各構成の整合性が確認される。
• Bismut-Lebeau torsion $ \mathcal{T}_{b,\pm} $ は、Igusa の意味での高次 torsion 不変量であるとは予め期待されていないが、定理 5.7 におけるクラスの線形結合と構造が一致するため、より深い整合性が示唆される。