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

Werner Mueller, Jonathan Pfaff|arXiv (Cornell University)|Aug 11, 2011

Geometric and Algebraic Topology参考文献 23被引用数 5

ひとこと要約

本稿は、コンpaktoな奇数次元双曲的多様体に、co-compact格子に制限されたSpin(d,1)の無限系列の非自明な表現を備えた場合のRay-Singer解析的 torsion の漸近的挙動を確立する。Selbergの跡公式とPlancherel理論を用いて、解析的 torsion の対数がパラメータ m に対して線形に増加し、次数 n(n+1)/2 + 1 の多項式係数を伴うことを示し、この増加が指数的に減衰する誤差項を除いて L²-torsion によって支配されることを証明する。

ABSTRACT

In this paper we study the asymptotic behavior of the analytic torsion for compact, oriented hyperbolic manifolds with respect to certain rays of representations obtained by restriction of irreducible representations of the group of isometries of the hyperbolic space

研究の動機と目的

• G = Spin(d,1) の可約表現の最高重量が固定された方向に無限に近づく際、コンパクトな向き付け可能な双曲的多様体におけるRay-Singer解析的 torsion の漸近的挙動を特定すること。
• 双曲的体積と表現次元の観点から、解析的 torsion の対数の明示的な多項式的増加率を確立すること。
• このような表現系列に対して、解析的 torsion が指数的に小さい誤差項を除いて L²-torsion と漸近的に同値であることを示すこと。
• Plancherel多項式とWeylの次元公式を用いて、漸近的多項式の主要係数を明示的に計算すること。

提案手法

• 解析的 torsion をスペクトルデータに関連付けるためにSelbergの跡公式を用い、跡公式における単位元の寄与に注目する。
• Plancherel公式を適用して L²-torsion を明示的に計算し、それが m に関する次数 n(n+1)/2 + 1 の多項式であることを示す。
• コホモロジーの消失（H*(X, E_τ(m)) = 0）を介して、解析的 torsion と L²-torsion のスペクトル的比較を確立し、計量に依存しないことと漸近的同値性を示す。
• Weylの次元公式を用いて、dim(τ(m)) を次数 n(n+1)/2 の m に関する多項式として表現する。
• スペクトル区間における射影多項式の積分を分析することで、漸近展開の主要項を導出する。
• 次元3（n=1）における既知の結果と整合性を確認し、表現論的技法を用いて高次元への拡張を行う。

実験結果

リサーチクエスチョン

• RQ1 G = Spin(d,1) の可約表現の最高重量が固定された方向に無限に近づく際、Ray-Singer解析的 torsion はどのように漸近的に振る舞うか？
• RQ2 双曲的体積とパラメータ m の観点から、log T_X(τ(m)) の明示的な多項式的増加率は何か？
• RQ3 このような表現系列に対して、解析的 torsion はどの程度 L²-torsion と漸近的に同値か？
• RQ4 漸近的多項式の主要係数は、表現論的データから明示的に計算可能か？
• RQ5 解析的 torsion の漸近的挙動は、アサイクルの場合の解析的 torsion とReidemeister torsion の等価性を介して、Reidemeister torsion とどのように関係するか？

主な発見

• 解析的 torsion の対数 log T_X(τ(m)) は、体積 vol(X) に m に関する次数 n(n+1)/2 + 1 の多項式 P_τ(m) を乗じたものに、指数的に減衰する誤差項を加えた形で増加する：m → ∞ のとき log T_X(τ(m)) = vol(X)P_τ(m) + O(e^{-cm})。
• L²-torsion log T^{(2)}_X(τ(m)) は、ちょうど vol(X)P_τ(m) に等しく、解析的 torsion が L²-torsion によって漸近的に決定されることを示している。
• P_τ(m) の主要係数は、m·dim(τ(m)) に比例し、比例定数は C(n) = 2πc(n) であり、c(n) はPlancherel多項式から導かれる。
• 解析的 torsion の漸近的増加は、m → ∞ のとき −log T_X(τ(m)) = C(n)vol(X)m·dim(τ(m)) + O(m^{n(n+1)/2}) を満たす。
• 漸近的展開の主要項は、既知の n=1（3次元双曲的多様体）の場合と整合しており、以前の結果を確認・拡張している。
• Reidemeister torsion τ_X(τ(m)) も同様の漸近的法則に従う：−log τ_X(τ(m)) = C(n)vol(X)m·dim(τ(m)) + O(m^{n(n+1)/2}) であり、lim_{m→∞} log τ_X(τ(m)) / m^{n(n+1)/2 + 1} = C₁(n)vol(X) が存在し、負である。