[论文解读] 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

一句话总结

本论文研究了在紧致奇数维双曲流形上，配备有沿共(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 维数公式，显式计算渐近多项式的首项系数。

提出的方法

• 使用 Selberg 跟踪公式将分析 torsion 与谱数据关联，重点分析跟踪公式中恒等元的贡献。
• 应用 Plancherel 公式显式计算 L²-torsion，表明其为 m 的次数为 n(n+1)/2 + 1 的多项式。
• 通过上同调群 vanish（H*(X, E_τ(m)) = 0）建立分析 torsion 与 L²-torsion 的谱比较，该条件意味着度量无关性，从而实现渐近等价。
• 利用 Weyl 维数公式将 dim(τ(m)) 表示为 m 的次数为 n(n+1)/2 的多项式。
• 通过分析投影多项式在谱区间上的积分，推导渐近展开的首项。
• 在三维情形（n=1）下验证结果的一致性，并通过表示论方法将结论推广至更高奇数维。

实验结果

研究问题

• RQ1 当 G = Spin(d,1) 的不可约表示的最高权沿固定射线增加时，Ray-Singer 分析 torsion 的渐近行为如何？
• RQ2 log T_X(τ(m)) 的精确多项式增长速率如何以双曲体积与参数 m 表示？
• RQ3 对于此类表示序列，分析 torsion 在多大程度上渐近等价于 L²-torsion？
• RQ4 能否从表示论数据显式计算渐近多项式的首项系数？
• RQ5 分析 torsion 的渐近行为如何通过分析 torsion 与 Reidemeister torsion 在无挠情形下的相等性，与 Reidemeister torsion 关联？

主要发现

• 分析 torsion 的对数 log T_X(τ(m)) 满足 log T_X(τ(m)) = vol(X)P_τ(m) + O(e^{-cm})，其中 P_τ(m) 是 m 的次数为 n(n+1)/2 + 1 的多项式，且误差项为指数衰减，当 m → ∞ 时成立。
• 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 的渐近增长满足 −log T_X(τ(m)) = C(n)vol(X)m·dim(τ(m)) + O(m^{n(n+1)/2})，当 m → ∞ 时成立。
• 渐近展开的首项与已知的 n=1 情形（三维双曲流形）一致，确认并扩展了先前结果。
• 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) 存在且为负数。