ライデマイスタートーション(英: Reidemeister torsion)またはRトーション、ライデマイスター・フランツトーションとは、クルト・ライデマイスター(英語版)が三次元多様体(英語版)に対して導入した多様体の位相不変量である (Reidemeister 1935)。さらに、ヴォルフガング・フランツ(ドイツ語版)とジョルジュ・ド・ラームによってより高次元の場合へと一般化された (Franz 1935, de Rham 1936)。
| 原文と比べた結果、この記事には多数の(または内容の大部分に影響ある)誤訳があることが判明しています。情報の利用には注意してください。 |
ライデマイスタートーションに対し、その解析的類似としてダニエル・バリル・レイ(ドイツ語版)とイサドール・シンガーが導入したのが解析的トーション(英: analytic torsion)またはレイ・シンガートーションであり、こちらはリーマン多様体の位相不変量である (Ray and Singer 1971, 1973a, 1973b)。レイとシンガーは「コンパクトなリーマン多様体において、ライデマイスタートーションと解析的トーションは一致する」と予想した。この予想はジェフ・チーガー(英語版)とヴェルナー・ミュラー(英語版)により証明された (Cheeger 1977, 1979, Müller 1978)。
代数的位相幾何学において、ホモトピー同値であり位相同型でない空間を識別できる不変量として最初に与えられたのがライデマイスタートーションであり、これはレンズ空間の分類にも用いられる。それゆえ、これを以って幾何学的トポロジーという分野が誕生したと見ることができる。
このほかライデマイスタートーションはホワイトヘッドトーション(英語版)と密接な関係を持ち (Milnor 1966)、また数論的位相幾何学においては大きな動機付けの一つとなっている (Mazur)。トーションに関する近年の研究は書籍 Turaev (2002), Nicolaescu (2002, 2003) を参照。
M をリーマン多様体、E を M 上のベクトルバンドルとすると、E に値を持つ i -形式に作用するラプラス作用素が存在する。i -形式上のラプラス作用素の固有値を λj とすると、大きな s に対してゼータ函数 ζi が次のように定義される。
![{\displaystyle \zeta _{i}(s)=\sum _{\lambda _{j}>0}\lambda _{j}^{-s}}](//wikimedia.org/api/rest_v1/media/math/render/svg/45371e10a9008b708c5c6a38d3d13b3ef087359e)
このゼータ函数は解析接続により、全複素平面へ拡張される。ゼータ正規化されたi -形式上に作用するのラプラス作用素の行列式は次の式となる。
![{\displaystyle \Delta _{i}=\exp(-\zeta _{i}^{\prime }(0))}](//wikimedia.org/api/rest_v1/media/math/render/svg/efe51cfa26363e6c852f5583bad68185ca983193)
これは形式的には、i -形式上に作用するのラプラス作用素の正の値の固有値の積である。解析的トーション T(M,E) は次のように定義される。
![{\displaystyle T(M,E)=\exp \left(\sum _{i}(-1)^{i}i\zeta _{i}^{\prime }(0)/2\right)=\prod _{i}\Delta _{i}^{-(-1)^{i}i/2}.}](//wikimedia.org/api/rest_v1/media/math/render/svg/3bbc9e55dbbe616892a66c972bfb82dc146424be)
ライデマイスタートーションは、最初はライデマイスター(Reidemeister 1935)により、3-次元レンズ空間の組み合わせ的論な分類に使われた。高次元への一般化はフランツによりなされた。この分類は、同相ではないがホモトピー同値な 3 次元多様体の例を含んでいる。1935年当時、その分類はPL 同相の差を除いた分類でしか無かったが、後に (Brody 1960) はこの分類が実は、同相の差を除いた分類となっていることを示した。
J. H. C. ホワイトヘッドは有限複体の間のホモトピーの「トーション」を定義した。これはライデマイスター、フランツ、ドラムの考えたライデマイスタートーションの直接の一般化であるが、より微妙な不変量である。ホワイトヘッドトーション(英語版) は非自明な基本群を持つ組み合わせ的、もしくは微分可能多様体の研究の重要なツールを提供し、密接に「単純ホモトピータイプ」の考えに関連している。(Milnor 1966) を参照。
1960年にミルナーは多様体のトーション不変量の双対関係を発見し、結び目の(ツイストした)アレクサンダー多項式が、S3 における結び目補空間のライデマイスタートーションであることを示した(Milnor 1962)。各々の q に対し、ポアンカレの双対性
は、
![{\displaystyle P_{o}:\det(H_{q}(M)){\stackrel {\sim }{\longrightarrow }}(\det(H_{n-q}(M)))^{-1}}](//wikimedia.org/api/rest_v1/media/math/render/svg/0f239d0c40443d79ebfb5d26652919d0776fe17c)
を導くので、
![{\displaystyle \Delta (t)=\pm t^{n}\Delta (1/t)}](//wikimedia.org/api/rest_v1/media/math/render/svg/16a251fb1a32940b2b896b93bb192e9f6d5ddd2e)
を得る。結び目補空間の基本群の表現は、そこで中心的な役割を果たす。これが結び目理論とトーション不変量の関係を与え、また数論トポロジーへの動機ともなった。
(M , g ) を向きづけ可能な n 次元リーマン多様体とし、 :\pi (M)\rightarrow \mathop {GL} (E)}
を N 次元実ベクトル空間上への M の基本群の表現とすると、Eq の平坦性のために、ド・ラーム複体
![{\displaystyle \Lambda ^{0}{\stackrel {d_{0}}{\longrightarrow }}\Lambda ^{1}{\stackrel {d_{1}}{\longrightarrow }}\cdots {\stackrel {d_{n-1}}{\longrightarrow }}\Lambda ^{n}}](//wikimedia.org/api/rest_v1/media/math/render/svg/3aae335fc14ebbd92fd16deda8f04159fc67be17)
と、形式的な随伴作用素 dp および δp を定義できる。さらに通常のようにp -形式上のラプラシアン
![{\displaystyle \Delta _{p}=\delta _{p}d_{p}+d_{p-1}\delta _{p-1}.}](//wikimedia.org/api/rest_v1/media/math/render/svg/d126300c6ab4c1927a1050969cb7efeaa1b890d0)
を得る。∂M = 0 を仮定すると、ラプラシアンは対称的で半正値な楕円作用素で、点スペクトル
![{\displaystyle 0\leq \lambda _{0}\leq \lambda _{1}\leq \cdots \rightarrow \infty }](//wikimedia.org/api/rest_v1/media/math/render/svg/a14d9d0337296436c49f34dcef9b651ec287ec8b)
を持つ。上の定義と同様に、Λq (E ) 上のラプラシアン Δq に付随するゼータ函数を
![{\displaystyle \zeta _{q}(s;\rho )=\sum _{\lambda _{j}>0}\lambda _{j}^{-s}={\frac {1}{\Gamma (s)}}\int _{0}^{\infty }t^{s-1}\mathop {Tr} (e^{-t\Delta _{q}}-P_{q})dt,\ \ \ \mathrm {Re} (s)>{\frac {n}{2}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/8a67a8e66f455a6a3a97b71d9bedadce44cf77ea)
と定義することができる。ここに P はラプラシアン Δq の、L2 Λ(E ) の核空間
の上への写像である。
1967年、セーレイは
が s = 0 で正則な
の有理型函数に拡張することができることを証明した(Seeley 1967)。
直交表現の場合は、解析トーション
を
![{\displaystyle T_{M}(\rho ;E)=\exp {\biggl (}{\frac {1}{2}}\sum _{q=0}^{n}(-l)^{q}q{\frac {d}{ds}}\zeta _{q}(s;\rho ){\biggl |}_{s=0}{\biggr )}.}](//wikimedia.org/api/rest_v1/media/math/render/svg/3170d3db88199302003c768c043194fd7f207d4c)
により定義できる。
1971に、D.B. レイとI.M. シンガーは、任意のユニタリ表現 ρ に対し ;\mu )}
であろうことを予想したRay and Singer (1971)。 J. Cheeger Cheeger (1977, 1979) と W. Muller Müller (1978) は、このレイ-シンガーの予想を独立に証明した。彼らのアイデアはトーションの対数を考え、そのトレースを取るというものである。最初に奇数次元の多様体に対して証明し、それから技術的に困難がある偶数に対して証明した。
後年、アティヤ・パトーディ・シンガーの指数定理とともに、2つのトーションが同値であるというチーガー-ミューラーの定理は、チャーン-サイモンズ摂動論の基礎をなしている。このもう一つの側面として、1978年に出されたA. シュワルツの論文が重要である。
- Brody, E. J. (1960), “The topological classification of the lens spaces”, Annals of Mathematics, 2 71 (1): 163–184, doi:10.2307/1969884, JSTOR 1969884, https://jstor.org/stable/1969884
- Cheeger, Jeff (1977), “Analytic Torsion and Reidemeister Torsion”, PNAS 74 (7): 2651–2654, doi:10.1073/pnas.74.7.2651, MR0451312, PMC 431228, PMID 16592411, http://www.pnas.org/cgi/content/abstract/74/7/2651
- Cheeger, Jeff (1979), “Analytic torsion and the heat equation”, Ann. Of Math. (2) (Annals of Mathematics) 109 (2): 259–322, doi:10.2307/1971113, JSTOR 1971113, MR0528965, https://jstor.org/stable/1971113
- Franz, W. (1935), “Ueber die Torsion einer Ueberdeckung”, J. Reine Angew. Math. 173: 245–254
- Milnor, J. (1962), “A Duality Theorem for Reidemeister Torsion.”, Ann. of Math. 76 (1): 137–138, doi:10.2307/1970268
- Milnor, J. (1966), “Whitehead torsion.”, Bull. Amer. Math. Soc. 72 (3): 358–426, doi:10.1090/S0002-9904-1966-11484-2, MR0196736, http://www.ams.org/bull/1966-72-03/S0002-9904-1966-11484-2/home.html
- Mishchenko, A.S. (2001), “Reidemeister torsion”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Reidemeister_torsion
- Müller, Werner (1978), “Analytic torsion and R-torsion of Riemannian manifolds.”, Adv. In Math. 28 (3): 233–305, doi:10.1016/0001-8708(78)90116-0, MR0498252
- Nicolaescu, Liviu I. (2002), Notes on the Reidemeister torsion, http://www.nd.edu/~lnicolae/Torsion.pdf Online book
- Nicolaescu, Liviu I. (2003), The Reidemeister torsion of 3-manifolds, de Gruyter Studies in Mathematics, 30, Berlin: Walter de Gruyter & Co., pp. xiv+249, ISBN 3-11-017383-2, MR1968575
- Ray, D. B.; Singer, I. M. (1973a), “Analytic torsion for complex manifolds.”, Ann. Of Math. (2) (Annals of Mathematics) 98 (1): 154–177, doi:10.2307/1970909, JSTOR 1970909, MR0383463, https://jstor.org/stable/1970909
- Ray, D. B.; Singer, I. M. (1973b), “Analytic torsion.”, Partial differential equations, Proc. Sympos. Pure Math., XXIII, Providence, R.I.: Amer. Math. Soc., pp. 167–181, MR0339293
- Ray, D. B.; Singer, I. M. (1971), “R-torsion and the Laplacian on Riemannian manifolds.”, Advances in Math. 7 (2): 145–210, doi:10.1016/0001-8708(71)90045-4, MR0295381
- Reidemeister, Kurt (1935), “Homotopieringe und Linsenräume”, Abh. Math. Sem. Univ. Hamburg 11: 102–109, doi:10.1007/BF02940717
- de Rham, G. (1936), “Sur les nouveaux invariants de M. Reidemeister”, Mat. Sb. , 1 (5): 737–743
- Turaev, Vladimir (2002), Torsions of 3-dimensional manifolds, Progress in Mathematics, 208, Basel: Birkhäuser Verlag, pp. x+196, ISBN 3-7643-6911-6, MR1958479
- Mazur, Barry, REMARKS ON THE ALEXANDER POLYNOMIAL, http://www.math.harvard.edu/~mazur/papers/alexander_polynomial.pdf
- Seeley, R. T. (1967), “Complex powers of an elliptic operator”, in Calderón, Alberto P., Singular Integrals (Proc. Sympos. Pure Math., Chicago, Ill., 1966), Proceedings of Symposia in Pure Mathematics, 10, Providence, R.I.: Amer. Math. Soc., pp. 288–307, ISBN 978-0-8218-1410-9, MR0237943