[論文レビュー] Twisting cochains and higher torsion

Kiyoshi Igusa|arXiv (Cornell University)|Dec 31, 2002

Black Holes and Theoretical Physics参考文献 20被引用数 11

ひとこと要約

本稿は、ファイバー束の文脈において、ねじれコチェーン、高次Franz-Reidemeister torsion、および平坦なスーパーコンネクションの間の深い関係を確立する。ねじれコチェーン—ファイバーワイズホモトピー情報やモース理論から生じる—が代数的K理論における高次 torsion 不変量を分類することを示し、Chenの反復積分を介して平坦なスーパーコンネクションがそれらのコチェーンと同値であることが示され、位相的・解析的・代数的 torsion 理論が統合される。

ABSTRACT

This paper gives a short summary of the central role played by Ed Brown's "twisting cochains" in higher Franz-Reidemeister (FR) torsion and higher analytic torsion. Briefly, any fiber bundle gives a twisting cochain which is unique up to fiberwise homotopy equivalence. However, when they are based, the difference between two of them is a higher algebraic K-theory class measured by higher FR torsion. Flat superconnections are also equivalent to twisting cochains.

研究の動機と目的

• ねじれコチェーンを用いて、高次Franz-Reidemeister torsion、高次解析的 torsion、代数的K理論を統一すること。
• ねじれコチェーンが、ファイバー束におけるA-無限大ファンクターおよびファイバーワイズホモトピー情報から自然に生じることを示すこと。
• Chenの反復積分を介して、平坦なZ-次数付きスーパーコンネクションとねじれコチェーンの同値性を示すこと。
• 良い被覆およびMayer-Vietorisの帰納法を用いて、平坦なスーパーコンネクションから単体的ねじれコチェーンを構成すること。
• アキュライトな自由チェーン複体のWhiteheadカテゴリからの普遍クラスの引き戻しを用いて、高次 torsion 不変量を定義すること。

提案手法

• Z-次数付き射影的モジュールのカテゴリ上のA-無限大ファンクターからねじれコチェーンを定義するためのEd Brownの構成の簡略版を用いる。
• 境界 $ \rho $ を持つ、$ C_*(B) \rtimes_\rho C_*(F) $ として与えられるねじれたテンソル積を構成し、そのホモロジーがファイバー束 $ F \to E \to B $ の $ H_*(E) $ を計算することを示す。
• A-無限大ファンクターにおける高次ホモトピーから得られる、Brownの古典的 $ \varphi $ とは異なる新しいねじれコチェーン $ \psi $ を導入する。
• Chenの反復積分を用いて、単体上での平坦スーパーコンネクションの積分を行い、単体的ねじれコチェーンを構成する。
• 底空間 $ B $ の良い被覆を用いて、被覆のナーヴの上のファンクターを定義し、スーパーコンネクション複体の双対となるねじれたテンソル積を導く。
• Mayer-Vietorisの帰納法を用いて、ねじれたテンソル積がスーパーコンネクション複体の双対とホモトピー同値であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 位相的および微分的データ（例：Brownの構成およびファイバーワイズモース理論）から生じるねじれコチェーンの違いは何か？その違いを捉える不変量は何か？
• RQ2 ファイバー束の文脈において、平坦なZ-次数付きスーパーコンネクションとねじれコチェーンの正確な関係は何か？
• RQ3 Chenの反復積分をどのように用いて、平坦なスーパーコンネクションから単体的ねじれコチェーンを構成できるか？
• RQ4 Volodin K理論は、高次Franz-Reidemeister torsionをコhomologyクラスとして分類するために果たす役割は何か？
• RQ5 ねじれたテンソル積の構成を用いて、平坦なスーパーコンネクションから全空間のコホモロジーを回復できるか？

主な発見

• 高次Franz-Reidemeister torsionは、アキュライトな基底付き自由チェーン複体のWhiteheadカテゴリの分類空間からの普遍コhomologyクラス $ \tau_{2k} \in H^{4k}(\mathrm{Wh}_\bullet^h(\mathbb{Q},1); \mathbb{R}) $ の引き戻しとして生じる。
• $ \pi_1(B) $ がファイバーの有理ホモロジーに自明に作用するとき、位相的ねじれコチェーンに基底が存在し、クラスファイイング写像 $ B \to |\mathrm{Wh}_\bullet^h(\mathbb{Q},1)| $ を構成できる。この写像により $ \tau_{2k} $ が引き戻され、高次 torsion が定義される。
• ねじれたテンソル積 $ C_*(\mathcal{N}_\bullet \mathcal{U}) \otimes_\psi V^* $ は、スーパーコンネクション複体 $ (\Omega(B,V), D) $ の双対とホモトピー同値である。これにより、スーパーコンネクションとねじれコチェーンの同値性が確立される。
• 良い被覆およびMayer-Vietorisの構成により、帰納的証明が可能であり、可縮な開集合に対する補題8.1が基本ケースを提供する。
• Chenの反復積分は、平坦なスーパーコンネクションを単体的ねじれコチェーンに統一的に統合する方法を提供し、2-単体の場合には経路順序積および交換子項を用いて明示的に検証されている。
• 位相的および微分的ねじれコチェーンの差は、代数的K理論のクラスによって測られ、高次FR torsionが、位相的バンドル上の微分構造を区別する厳密な微分不変量であることが示される。