解析的トーション

ライデマイスタートーション（テンプレート:Lang-en-short）またはRトーション、ライデマイスター・フランツトーションとは、テンプレート:仮リンクがテンプレート:仮リンクに対して導入した多様体の位相不変量である テンプレート:Harv。さらに、テンプレート:仮リンクとジョルジュ・ド・ラームによってより高次元の場合へと一般化された (テンプレート:Harvnb, テンプレート:Harvnb)。

ライデマイスタートーションに対し、その解析的類似としてテンプレート:仮リンクとイサドール・シンガーが導入したのが解析的トーション（テンプレート:Lang-en-short）またはレイ・シンガートーションであり、こちらはリーマン多様体の位相不変量である (テンプレート:Harvs)。レイとシンガーは「コンパクトなリーマン多様体において、ライデマイスタートーションと解析的トーションは一致する」と予想した。この予想はテンプレート:仮リンクとテンプレート:仮リンクにより証明された (テンプレート:Harvs, テンプレート:Harvnb)。

代数的位相幾何学において、ホモトピー同値であり位相同型でない空間を識別できる不変量として最初に与えられたのがライデマイスタートーションであり、これはレンズ空間の分類にも用いられる。それゆえ、これを以って幾何学的トポロジーという分野が誕生したと見ることができる。

このほかライデマイスタートーションはテンプレート:仮リンクと密接な関係を持ち (テンプレート:Harvnb)、また数論的位相幾何学においては大きな動機付けの一つとなっている テンプレート:Harv。トーションに関する近年の研究は書籍 テンプレート:Harvtxt, テンプレート:Harvs を参照。

解析的トーションの定義

M をリーマン多様体、E を M 上のベクトルバンドルとすると、E に値を持つ i -形式に作用するラプラス作用素が存在する。i -形式上のラプラス作用素の固有値を λ_j とすると、大きな s に対してゼータ函数 ζ_i が次のように定義される。

${\zeta }_i(s)=\sum _{{\lambda }_j>0}{\lambda }_j^{-s}$

このゼータ函数は解析接続により、全複素平面へ拡張される。ゼータ正規化されたi -形式上に作用するのラプラス作用素の行列式は次の式となる。

${\mathrm{\Delta }}_i=\exp (-{\zeta }_i^{\prime }(0))$

これは形式的には、i -形式上に作用するのラプラス作用素の正の値の固有値の積である。解析的トーション T(M,E) は次のように定義される。

$T(M,E)=\exp (\sum _i(-1{)}^{i}i{\zeta }_i^{\prime }(0)/2)=\prod _i{\mathrm{\Delta }}_i^{-(-1{)}^{i}i/2}.$

ライデマイスタートーションの定義

X を基本群 π := π₁(X ) と普遍被覆 $\tilde{X}$ を持つ有限で連結なCW複体とし、$U$ を有限次元の直交な $\pi$-表現とする。さらに全ての n に対し、

$H_n^{\pi }(X;U):=H_n(U{\otimes }_{𝐙[\pi ]}{C}_{*}(\tilde{X}))=0$

とする。$C_{*}(\tilde{X})$ についての胞体の基底と U についての直交 R -基底を固定すると、$D_{*}:=U{\otimes }_{𝐙[\pi ]}{C}_{*}(\tilde{X})$ は R -鎖体に有限で自由な基底を持ち可縮となる。${\gamma }_{*}:D_{*}\to D_{*+1}$ を D_* の任意の鎖収縮、つまりすべての n に対して $d_{n+1}\circ {\gamma }_n+{\gamma }_{n-1}\circ d_n={\mathrm{i}\mathrm{d}}_{D_n}$ とすると、$D_{odd}:={\oplus }_{nodd}{D}_n$, $D_{even}:={\oplus }_{neven}{D}_n$ として、同型 $(d_{*}+{\gamma }_{*}{)}_{odd}:D_{odd}\to D_{even}$ を得る。ライデマイスタートーション を次のように定義する。

$\rho (X;U):=|\det (A){|}^{-1}\in {𝐑}^{>0}$

ここで A は与えられた基底に関する $(d_{*}+{\gamma }_{*}{)}_{odd}$ の行列である。ライデマイスタートーション $\rho (X;U)$ は $C_{*}(\tilde{X})$の胞体の基底の選択や、U についての直交基底の選択や、鎖体の縮め方 ${\gamma }_{*}$ の選択にはよらない。

M をコンパクトで滑らかな多様体で、$\rho :\pi (M)\to GL(E)$ をユニモジュラー表現とする。M は滑らかな三角分割を持つ。体積 $\mu \in \det H_{*}(M)$ の任意の選択について、不変量 ${\tau }_M(\rho :\mu )\in {𝐑}^{+}$ を得るので、この正の実数 ${\tau }_M(\rho :\mu )$ を ρ と μ についての多様体 M のライデマイスタートーションと呼ぶことにする。

ライデマイスター小史

ライデマイスタートーションは、最初はライデマイスターテンプレート:Harvにより、3-次元レンズ空間の組み合わせ的論な分類に使われた。高次元への一般化はフランツによりなされた。この分類は、同相ではないがホモトピー同値な 3 次元多様体の例を含んでいる。1935年当時、その分類はPL 同相の差を除いた分類でしか無かったが、後に テンプレート:Harv はこの分類が実は、同相の差を除いた分類となっていることを示した。

J. H. C. ホワイトヘッドは有限複体の間のホモトピーの「トーション」を定義した。これはライデマイスター、フランツ、ドラムの考えたライデマイスタートーションの直接の一般化であるが、より微妙な不変量である。テンプレート:仮リンク は非自明な基本群を持つ組み合わせ的、もしくは微分可能多様体の研究の重要なツールを提供し、密接に｢単純ホモトピータイプ｣の考えに関連している。テンプレート:Harv を参照。

1960年にミルナーは多様体のトーション不変量の双対関係を発見し、結び目の（ツイストした）アレクサンダー多項式が、S³ における結び目補空間のライデマイスタートーションであることを示したテンプレート:Harv。各々の q に対し、ポアンカレの双対性 $P_o$ は、

$P_o:\det (H_q(M))\stackrel{\sim }{⟶}(\det (H_{n-q}(M)){)}^{-1}$

を導くので、

$\mathrm{\Delta }(t)=\pm t^n\mathrm{\Delta }(1/t)$

を得る。結び目補空間の基本群の表現は、そこで中心的な役割を果たす。これが結び目理論とトーション不変量の関係を与え、また数論トポロジーへの動機ともなった。

チーガー-ミューラーの定理

(M , g ) を向きづけ可能な n 次元リーマン多様体とし、$\rho :\pi (M)\to GL(E)$ を N 次元実ベクトル空間上への M の基本群の表現とすると、E_q の平坦性のために、ド・ラーム複体

${\mathrm{\Lambda }}^0\stackrel{d_0}{⟶}{\mathrm{\Lambda }}^1\stackrel{d_1}{⟶}\cdots \stackrel{d_{n-1}}{⟶}{\mathrm{\Lambda }}^n$

と、形式的な随伴作用素 d_p および δ_p を定義できる。さらに通常のようにp -形式上のラプラシアン

${\mathrm{\Delta }}_p={\delta }_p{d}_p+d_{p-1}{\delta }_{p-1}.$

を得る。∂M = 0 を仮定すると、ラプラシアンは対称的で半正値な楕円作用素で、点スペクトル

$0\le {\lambda }_0\le {\lambda }_1\le \cdots \to \mathrm{\infty }$

を持つ。上の定義と同様に、Λ^q (E ) 上のラプラシアン Δ_q に付随するゼータ函数を

${\zeta }_q(s;\rho )=\sum _{{\lambda }_j>0}{\lambda }_j^{-s}=\frac{1}{\mathrm{\Gamma }(s)}\underset{0}{\overset{\mathrm{\infty }}{\int }}{t}^{s-1}Tr(e^{-t{\mathrm{\Delta }}_q}-P_q)dt,\mathrm{R}\mathrm{e}(s)>\frac{n}{2}$

と定義することができる。ここに P はラプラシアン Δ_q の、L² Λ(E ) の核空間 ${\mathscr{H}}^q(E)$ の上への写像である。

1967年、セーレイは ${\zeta }_q(s;\rho )$ が s = 0 で正則な $s\in 𝐂$ の有理型函数に拡張することができることを証明したテンプレート:Harv。

直交表現の場合は、解析トーション $T_M(\rho ;E)$ を

$T_M(\rho ;E)=\exp (\frac{1}{2}\sum _{q=0}^n(-l{)}^{q}q\frac{d}{ds}{\zeta }_q(s;\rho ){|}_{s=0}).$

により定義できる。

1971に、D.B. レイとI.M. シンガーは、任意のユニタリ表現 ρ に対し $T_M(\rho ;E)={\tau }_M(\rho ;\mu )$ であろうことを予想したテンプレート:Harvs。 J. Cheeger テンプレート:Harvs と W. Muller テンプレート:Harvtxt は、このレイ-シンガーの予想を独立に証明した。彼らのアイデアはトーションの対数を考え、そのトレースを取るというものである。最初に奇数次元の多様体に対して証明し、それから技術的に困難がある偶数に対して証明した。

後年、アティヤ・パトーディ・シンガーの指数定理とともに、2つのトーションが同値であるというチーガー-ミューラーの定理は、チャーン-サイモンズ摂動論の基礎をなしている。このもう一つの側面として、1978年に出されたA. シュワルツの論文が重要である。

参考文献

• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:SpringerEOM
• テンプレート:Citation
• テンプレート:Citation Online book
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation