解析的トーション

ライデマイスタートーション（）またはRトーション、ライデマイスター・フランツトーションとは、がに対して導入した多様体の位相不変量である 。さらに、とジョルジュ・ド・ラームによってより高次元の場合へと一般化された (, )。
ライデマイスタートーションに対し、その解析的類似としてとイサドール・シンガーが導入したのが解析的トーション（）またはレイ・シンガートーションであり、こちらはリーマン多様体の位相不変量である ()。レイとシンガーは「コンパクトなリーマン多様体において、ライデマイスタートーションと解析的トーションは一致する」と予想した。この予想はとにより証明された (, )。
代数的位相幾何学において、ホモトピー同値であり位相同型でない空間を識別できる不変量として最初に与えられたのがライデマイスタートーションであり、これはレンズ空間の分類にも用いられる。それゆえ、これを以って幾何学的トポロジーという分野が誕生したと見ることができる。
このほかライデマイスタートーションはと密接な関係を持ち ()、また数論的位相幾何学においては大きな動機付けの一つとなっている 。トーションに関する近年の研究は書籍 , を参照。
解析的トーションの定義.
"M" をリーマン多様体、"E" を "M" 上のベクトルバンドルとすると、"E" に値を持つ "i" -形式に作用するラプラス作用素が存在する。"i" -形式上のラプラス作用素の固有値を λ"j" とすると、大きな "s" に対してゼータ函数 ζ"i" が次のように定義される。
このゼータ函数は解析接続により、全複素平面へ拡張される。ゼータ正規化された"i" -形式上に作用するのラプラス作用素の行列式は次の式となる。
これは形式的には、"i" -形式上に作用するのラプラス作用素の正の値の固有値の積である。解析的トーション "T"("M","E") は次のように定義される。
ライデマイスタートーションの定義.
"X" を基本群 π := π1("X" ) と普遍被覆 formula_4 を持つ有限で連結なCW複体とし、formula_5 を有限次元の直交な formula_6-表現とする。さらに全ての "n" に対し、
とする。formula_8 についての胞体の基底と "U" についての直交 R -基底を固定すると、formula_9 は R -鎖体に有限で自由な基底を持ち可縮となる。formula_10 を D* の任意の鎖収縮、つまりすべての "n" に対して formula_11 とすると、formula_12, formula_13 として、同型 formula_14 を得る。ライデマイスタートーション を次のように定義する。
ここで "A" は与えられた基底に関する formula_16 の行列である。ライデマイスタートーション formula_17 は formula_8の胞体の基底の選択や、"U" についての直交基底の選択や、鎖体の縮め方 formula_19 の選択にはよらない。
"M" をコンパクトで滑らかな多様体で、formula_20 をユニモジュラー表現とする。"M" は滑らかな三角分割を持つ。体積 formula_21 の任意の選択について、不変量 formula_22 を得るので、この正の実数 formula_23 を ρ と μ についての多様体 "M" のライデマイスタートーションと呼ぶことにする。
ライデマイスター小史.
ライデマイスタートーションは、最初はライデマイスターにより、3-次元レンズ空間の組み合わせ的論な分類に使われた。高次元への一般化はフランツによりなされた。この分類は、同相ではないがホモトピー同値な 3 次元多様体の例を含んでいる。1935年当時、その分類はPL 同相の差を除いた分類でしか無かったが、後に はこの分類が実は、同相の差を除いた分類となっていることを示した。
J. H. C. ホワイトヘッドは有限複体の間のホモトピーの「トーション」を定義した。これはライデマイスター、フランツ、ドラムの考えたライデマイスタートーションの直接の一般化であるが、より微妙な不変量である。 は非自明な基本群を持つ組み合わせ的、もしくは微分可能多様体の研究の重要なツールを提供し、密接に｢単純ホモトピータイプ｣の考えに関連している。 を参照。
1960年にミルナーは多様体のトーション不変量の双対関係を発見し、結び目の（ツイストした）アレクサンダー多項式が、"S"3 における結び目補空間のライデマイスタートーションであることを示した。各々の "q" に対し、ポアンカレの双対性 formula_24 は、
を導くので、
を得る。結び目補空間の基本群の表現は、そこで中心的な役割を果たす。これが結び目理論とトーション不変量の関係を与え、また数論トポロジーへの動機ともなった。
チーガー-ミューラーの定理.
("M" , "g" ) を向きづけ可能な "n" 次元リーマン多様体とし、formula_27 を "N" 次元実ベクトル空間上への "M" の基本群の表現とすると、"Eq" の平坦性のために、ド・ラーム複体
と、形式的な随伴作用素 "dp" および δ"p" を定義できる。さらに通常のように"p" -形式上のラプラシアン
を得る。∂"M" = 0 を仮定すると、ラプラシアンは対称的で半正値な楕円作用素で、点スペクトル
を持つ。上の定義と同様に、Λ"q" ("E" ) 上のラプラシアン Δ"q" に付随するゼータ函数を
と定義することができる。ここに "P" はラプラシアン Δ"q" の、"L"2 Λ("E" ) の核空間 formula_32 の上への写像である。
1967年、セーレイは formula_33 が "s" = 0 で正則な formula_34 の有理型函数に拡張することができることを証明した。
直交表現の場合は、解析トーション formula_35 を
により定義できる。
1971に、D.B. レイとI.M. シンガーは、任意のユニタリ表現 ρ に対し formula_37 であろうことを予想した。 J. Cheeger と W. Muller は、このレイ-シンガーの予想を独立に証明した。彼らのアイデアはトーションの対数を考え、そのトレースを取るというものである。最初に奇数次元の多様体に対して証明し、それから技術的に困難がある偶数に対して証明した。
後年、アティヤ・パトーディ・シンガーの指数定理とともに、2つのトーションが同値であるというチーガー-ミューラーの定理は、チャーン-サイモンズ摂動論の基礎をなしている。このもう一つの側面として、1978年に出されたA. シュワルツの論文が重要である。