[论文解读] On the asymptotics of the analytic torsion for compact hyperbolic orbifolds

Ksenia Fedosova|arXiv (Cornell University)|Nov 13, 2015

Geometric and Algebraic Topology参考文献 15被引用 7

一句话总结

本文研究了紧致奇数维双曲轨道丛 $Γ\backslash\mathbb{H}^{2n+1}$ 上解析 torsion 的渐近行为，针对与最高权射线相关的 $\Gamma$ 的表示序列。通过 Selberg 迹公式与 $\mathrm{Spin}(1,2n+1)$ 上的谱分析，证明了对数解析 torsion 的增长形式为关于 $m$ 的多项式加上包含椭圆元素引起的指数振荡的拟多项式项，且误差项呈指数衰减。该结果将先前针对光滑流形的工作推广至具有奇点的轨道丛，并为研究算术群上同调中 torsion 的增长提供了基础。

ABSTRACT

We study the analytic torsion of odd-dimensional hyperbolic orbifolds $Γ\backslash \mathbb{H}^{2n+1}$, depending on a representation of $Γ$. Our main goal is to understand the asymptotic behavior of the analytic torsion with respect to sequences of representations associated to rays of highest weights.

研究动机与目标

• 将解析 torsion 的渐近分析从光滑流形推广至含椭圆元素的紧致双曲轨道丛。
• 理解奇数维双曲轨道丛在 $\mathrm{Spin}(1,2n+1)$ 的不可约表示序列下的解析 torsion 增长行为。
• 通过振荡性拟多项式项表征椭圆元素对 torsion 渐近展开的贡献。
• 在上同调消失时，建立解析 torsion 在光滑度量变形下的度量无关性结果，支持其与 Reidemeister torsion 相等的可能性。
• 通过谱方法将先前针对非共(compact)与奇异情形的解析 torsion 指数增长结果推广。

提出的方法

• 通过平坦轨道丛bundle 上拉普拉斯-de Rham 算子的 zeta-正则化热核迹定义解析 torsion，该轨道丛与不可约表示相关。
• 应用 Selberg 迹公式，将热核迹分解为 $\Gamma$ 中单位元、双曲与椭圆共轭类的贡献。
• 利用 Plancherel 公式分析单位元贡献，通过矩阵系数与球函数表达核函数。
• 采用表示论技术计算椭圆贡献，特别关注最高权依赖性与奇点层结构。
• 利用 Plancherel 多项式性质与矩阵系数估计，在 $m \to \infty$ 极限下分析谱数据的渐近行为。
• 通过将 zeta 积分化为短时间与长时间区域，推导渐近展开，其中长时间部分被证明呈指数衰减。

实验结果

研究问题

• RQ1 当与最高权射线相关的表示维数增大时，紧致双曲轨道丛的解析 torsion 的渐近行为如何？
• RQ2 椭圆元素在解析 torsion 的渐近展开中起什么作用？与流形情形相比，它们如何改变增长行为？
• RQ3 当轨道丛bundle 的上同调消失时，能否证明解析 torsion 在光滑度量变形下保持不变？
• RQ4 轨道丛bundle 上拉普拉斯算子的谱性质在多大程度上反映了底层轨道丛的算术或几何不变量？
• RQ5 奇点层的存在如何影响 torsion 渐近展开的函数形式？

主要发现

• 当 $m \to \infty$ 时，解析 torsion 的对数 $\log T_{\mathcal{O}}(\tau(m))$ 具有如下渐近展开形式：$PI(m) + PE(m) + O(e^{-Cm})$，其中 $PI(m)$ 是次数为 $\frac{n^2 + n + 2}{2}$ 的多项式。
• 项 $PE(m)$ 是次数为 $\frac{d^2 + d + 2}{2}$ 的拟多项式，$d$ 为奇点层的最大维数，其包含来自椭圆共轭类的振荡项 $m^j e^{im\phi_{j,k}}$。
• 当 $\mathcal{O}$ 为流形（即无椭圆元素）时，$PE(m)$ 项消失，恢复 [MP11] 中的结果。
• zeta 积分的长时间部分贡献的误差项有界于 $O(e^{-m/8})$，随 $m$ 呈指数衰减。
• 通过将 Plancherel 公式应用于核函数 $k_t^{\tau(m)}(1)$，计算了单位元对 torsion 的贡献，从而得到基于矩阵系数的谱分解。
• 椭圆贡献被证明有界且具有振荡性，其振幅受 Weyl 分母与奇点层结构控制，从而导致拟多项式 $PE(m)$ 的出现。