[論文レビュー] A special value of Ruelle L-function and the theorem of Cheeger and Muller

Ken‐ichi Sugiyama|ArXiv.org|Mar 14, 2008

Geometric and Algebraic Topology参考文献 12被引用数 3

ひとこと要約

この論文は、有限体積の非コンパクトな双曲的3次元多様体に対して、Cheeger-Müller型の定理を確立し、ゼロにおけるRuelle L関数の特殊値が、修正されたRay-Singer torsionと幾何的周期の積の平方に等しいことを証明している。単位的局所系に対して、ねじれアレクサンダー多項式を用いて、ねじれ補間空間の上でのこの値を明示的に計算し、非コンパクトな設定への解析的 torsion の恒等式を一般化している。

ABSTRACT

We will show a theorem of a type of Cheeger and Muller for a noncompact complete hyperbolic threefold of finite vulume. As an application we will compute a special value of Ruelle L-function at the origin for a unitary local system which is cuspidal.

研究の動機と目的

• 有限体積の非コンパクトな完全双曲的3次元多様体に対して、Cheeger-Müller定理を拡張すること。
• ゼロにおけるRuelle L関数の特殊値を解析的および組み合わせ的不変量に関連付ける公式を確立すること。
• ねじれ補間空間上の単位的局所系に対して、Ruelle L関数の特殊値を計算すること。
• スペクトル理論およびReidemeister torsionの技法を用いて、カスプを持つ非コンパクト多様体への解析的 torsion の恒等式を一般化すること。

提案手法

• J. Parkの結果を用い、Ruelle L関数が $ z=0 $ で $ 2h^1(X,\rho) $ 階の零点を持つことから、問題を先導係数の解析に還元する。
• スペクトルゼータ関数 $\zeta_X(z,\rho)$ を用い、そのゼロにおける微分がRuelle L関数の特殊値と関係することを示す。
• トーラス境界を持つコンパクト化における極限の議論を用いて、非コンパクトな状況下でもRay-Singer torsionとFranz-Reidemeister torsionが等価であることを証明する。
• Fox微分法を用い、ねじれ補間空間の群の提示から、ねじれアレクサンダー多項式 $\Delta_{K,\rho}(t)$ を計算する。
• コhomologyの長完全系列を適用し、$ h^1(X_K,\rho) $ の消滅が $ \Delta_1(1) $ と $ A_K(\xi)\neq 0 $ の非消滅と同値であることを関係づける。
• $ h^1=0 $ のときの関係 $ \tau(X_K,\rho) = |\Delta_{K,\rho}(1)| $ を用いて、特殊値 $ R_{X_K}(0,\rho) = \left| \frac{A_K(\xi)}{1-\xi} \right|^2 $ を計算する。

実験結果

リサーチクエスチョン

• RQ1 カスプを持つ非コンパクトな双曲的3次元多様体に対し、Cheeger-Müller定理は成り立つか？
• RQ2 ゼロにおけるRuelle L関数の特殊値は、解析的および組み合わせ的 torsion 不変量で表現可能か？
• RQ3 ねじれ補間空間上の単位的局所系に対して、Ruelle L関数のゼロにおける明示的値は何か？
• RQ4 ねじれアレクサンダー多項式は、Ruelle L関数の特殊値とどのように関係するか？
• RQ5 $ h^1(X_K,\rho) $ の消滅を保証する条件は何か？ そして、その消滅がL関数の値にどのように影響するか？

主な発見

• ゼロにおけるRuelle L関数の特殊値は、$ \lim_{z\to 0} z^{-2h^1(X,\rho)} R_X(z,\rho) = (\tau^*(X,\rho) \cdot \mathrm{Per}(X))^2 $ で与えられ、ここで $ \tau^* $ は修正されたRay-Singer torsion、$ \mathrm{Per}(X) $ は幾何的周期である。
• $ h^1(X,\rho) = 0 $ のとき、特殊値は $ R_X(0,\rho) = \tau(X,\rho)^2 $ に簡略化され、ここで $ \tau $ は標準的なFranz-Reidemeister torsionである。
• 双曲的ねじれ $ K $ と単位的特徴 $ \rho_\xi $ に対して $ \xi \neq 1 $ ならば、特殊値は $ R_{X_K}(0,\rho) = \left| \frac{A_K(\xi)}{1-\xi} \right|^2 $ である。ここで $ A_K(t) $ はアレクサンダー多項式である。
• $ h^1(X_K,\rho) $ の消滅は、$ A_K(\xi) \neq 0 $ かつ $ \xi \neq 1 $ と同値であり、これにより特殊値が計算可能であることが保証される。
• 証明は、非積分的計量を持つコンパクト化の極限に依拠し、Dai-Fangの公式を用いて、極限においてRay-Singer torsionとFranz-Reidemeister torsionが等価であることを示す。
• ねじれアレクサンダー多項式 $ \Delta_{K,\rho}(t) $ は、$ \Delta_{K,\rho}(1) = \frac{A_K(\xi)}{1-\xi} $ を満たし、これにより特殊値と直接的に関連づけられる。