[論文レビュー] The asymptotics of the Ray-Singer analytic torsion of hyperbolic 3-manifolds

Werner Mueller|arXiv (Cornell University)|Mar 26, 2010

Geometric and Algebraic Topology参考文献 18被引用数 17

ひとこと要約

この論文は、閉じた双曲的3次元多様体上の標準表現の対称冪のリーマン・シングル解析 torsion の漸近的挙動を確立する。対称冪のインデックス $ m \to \infty $ のとき、torsion の対数は $ m $ に関して2次的に増大し、主係数は多様体の双曲的体積に比例する。これは、体積がリードマイスター torsion 不変量によって決定されることを示している。

ABSTRACT

In this paper we consider the analytic torsion of a closed hyperbolic 3-manifold associated with the m-th symmetric power of the standard representation of SL(2,C) and we study its asymptotic behavior if m tends to infinity. The leading coefficient of the asymptotic formula is given by the volume of the hyperbolic 3-manifold. It follows that the Reidemeister torsion associated with the symmetric powers determines the volume of a closed hyperbolic 3-manifold.

研究の動機と目的

• 閉じた双曲的3次元多様体上での標準表現の対称冪に対するレイ・シンガー解析 torsion の漸近的成長を分析すること。
• 対称冪インデックス $ m \to \infty $ のとき、解析 torsion の明確な漸近公式を確立すること。
• 閉じた3次元多様体の双曲的体積が、そのリードマイスター torsion 不変量によって決定されるトップロジカル不変量であることを示すこと。

提案手法

• 解析 torsion $ T_X(\tau_m) $ は、既知の関数等式および zeta 関数の解析的性質を活用して、ねじれ Ruelle zeta 関数 $ R_{\tau_m}(s) $ で表現される。
• 対称冪のための Ruelle zeta 関数は、非可約表現 $ \sigma_l $ における積に分解され、関数等式と収束推定に利用可能になる。
• Ruelle zeta 関数の関数等式を用いて、$ s = k $ と $ s = -k $ の値を関連付け、対数 torsion における指数的体積項を抽出する。
• 半平面 $ \operatorname{Re}(s) > 2 $ での絶対収束を用いて、zeta 関数項の対数絶対値の推定がなされ、$ m $ に一様な境界が得られる。
• 幾何的減衰を示す閉じた測地線長の減衰に基づき、$ k \geq 3 $ または $ k \geq 2 $ での和をとり、漸近展開が得られる。誤差項は制御可能である。
• 対数 $ \log T_X(\tau_m) $ の主要項が抽出され、$ m $ に対して2次的依存を示し、係数は $ \frac{\operatorname{vol}(X)}{4\pi} $ となる。

実験結果

リサーチクエスチョン

• RQ1 対称冪インデックス $ m \to \infty $ のとき、閉じた双曲的3次元多様体の解析 torsion はどのように漸近的に振る舞うか？
• RQ2 閉じた3次元多様体の双曲的体積は、標準表現の対称冪に関連するリードマイスター torsion 不変量から回復可能か？
• RQ3 双曲的3次元多様体上での対称冪に対する解析 torsion 漸近展開における正確な主係数は何か？
• RQ4 解析 torsion の漸近的挙動は、体積が双曲的3次元多様体のトポロジカル不変量であることを示唆するか？

主な発見

• 解析 torsion の対数の漸近展開は、$ m \to \infty $ のとき $ -\log T_X(\tau_m) = \frac{\operatorname{vol}(X)}{4\pi}m^2 + O(m) $ であり、体積が主係数として現れる。
• リードマイスター torsion $ \tau_X(\tau_m) $ は同じ漸近公式を満たし、体積が torsion 不変量に符号化されていることが確認される。
• 閉じた双曲的3次元多様体の体積は、トップロジカル不変量である。これは、集合 $ \{\tau_X(\tau_m)\}_{m \in \mathbb{N}} $ によって決定されるためである。
• この結果は、すべての対称冪においてリードマイスター torsion 不変量が与えられたとき、双曲的3次元多様体が有限個の可能性のうちで一意に決定されることを示唆する。
• 証明は、ねじれ Ruelle zeta 関数の関数等式と、対数項に対する一様な境界に依存しており、誤差項が $ O(m) $ のままであることを保証する。
• 主項は、zeta 関数積における測地線長の指数的減衰から生じ、体積は共役類にわたる和から現れる。