[論文レビュー] Lecture notes on torsions

Pavel Mnëv|arXiv (Cornell University)|Jun 14, 2014

Mathematics and Applications参考文献 14被引用数 12

ひとこと要約

本稿は、位相幾何学における3種類の torsion（リーデマイスター、ホワイトヘッド、レイ＝シンガー解析的 torsion）について包括的な講義ノートを提供する。定義、関係性、応用（特に3次元のレンズ空間の分類およびチェーン＝シモンズ理論を介した量子場理論との接続）を解説する。主な結果として、レイ＝シンガー torsion が曲面への平坦な束のモジュライ空間のシンプレクティック体積に一致することを特定する。

ABSTRACT

These are the lecture notes for the introductory course on Whitehead, Reidemeister and Ray-Singer torsions, given by the author at the University of Zurich in Spring semester 2014.

研究の動機と目的

• 代数的・幾何的位相の3大 torsion（リーデマイスター、ホワイトヘッド、解析的（レイ＝シンガー）torsion）の自己完結的入門を提供すること。
• これらの torsion 間の概念的・技術的関係、特に環の変換手続きと行列式ラインバンドルの役割を説明すること。
• torsion 不変量がホモトピー同値だが位相同値ではない3次元多様体（特にレンズ空間）を区別する方法を示すこと。
• torsion を量子場理論と結びつけること。チェーン＝シモンズ理論においてガウス積分として torsion が現れ、1ループの分配関数と関係することを示すこと。
• チーリング＝ミュラー定理とポアンカレ双対性を用いて、解析的 torsion と平坦束のモジュライ空間のシンプレクティック体積との関係を確立すること。

提案手法

• ミルナーによるチェーン複体の行列式ラインを用いた torsion の定義を用い、乗法性とチェーンホモトピー下での不変性に重点を置く。
• 安定自由加群の理論とチェーンの縮約を応用して、アサイクルな場合の torsion を定義し、基底および内積の選択と関連付ける。
• ホワイトヘック torsion を、ホモトピー同値が単純ホモトピー同値にホモトープでない障害として定義し、CW複体の基本的拡張・収縮を用いる。
• ホワイトヘック torsion からの環の変更を経てリーデマイスター torsion を導出し、特にレンズ空間のセルホモロジーの文脈で扱う。
• 平坦束に係数を持つp-形式上のホッジ＝ド・ラームラプラシアンのゼータ正則化行列式を用いて解析的 torsion を構成する。
• ポアンカレ双対性とメイヤ＝ビエトリスの貼り合わせを適用し、ペア・オブ・パンツへの分解と包含除法則を用いて、表面の torsion を計算する。

実験結果

リサーチクエスチョン

• RQ1 リーデマイスター、ホワイトヘック、レイ＝シンガー torsion の関係性は何か？ その背後にある代数的・幾何的メカニズムは何か？
• RQ2 ホワイトヘック torsion が、有限CW複体間のホモトピー同値が単純ホモトピー同値にホモトープでないという完全な障害を果たす役割は何か？
• RQ3 チェーン＝シモンズ理論の文脈において、解析的 torsion がどのように自然にガウス経路積分として現れるか？
• RQ4 レイ＝シンガー torsion の幾何的意味は、平坦束のモジュライ空間のシンプレクティック体積としてどう解釈できるか？
• RQ5 曲面への G-バンドルの平坦束のモジュライ空間のシンプレクティック体積は、torsion 不変量とピーター＝ウェイ氏の定理を用いてどのように計算できるか？

主な発見

• リーデマイスター torsion は3次元のレンズ空間を位相同値で分類する：$L(p,q_1)$ と $L(p,q_2)$ は、$q_1 q_2 \not\to \text{mod } p$ または $q_1 \to \text{mod } p$ であるとき、位相同値である。
• ホワイトヘック torsion は、有限CW複体間のホモトピー同値が単純ホモトピー同値にホモトープでないという完全な障害である。
• レイ＝シンガー解析的 torsion は、チーリング＝ミュラー定理によりリーデマイスター torsion と等しい。これにより、位相的・解析的不変量が結びつけられる。
• 閉じた向き付け可能な曲面 $\Sigma$ が genus $g \geq 2$ のとき、$SU(2)$-バンドルのモジュライ空間のシンプレクティック体積は $\mathrm{Vol} = \frac{2}{(2\pi^2)^{g-1}} \sum_{n=1}^\infty \frac{1}{n^{2g-2}}$ に等しい。
• 3次元多様体上の解析的 torsion の平方根は、平坦 $G$-バンドルのモジュライ空間上の体積形式であり、積分可能でチェーン＝シモンズ理論と関連付けることができる。
• 平坦 $SU(2)$-バンドルのモジュライ空間上のラインバンドル $L^{\bigotimes k}$ の正則切断の空間の次元は、ヴェルリンドの公式により与えられ、シンプレクティック体積の漸近的挙動と一致する。