Asymptotic behaviour of analytic torsion and cohomological torsion for $\mathbb{Q}$-rank $1$ arithmetic groups

这是一篇关于算术群（Arithmetic Groups）中解析扭转（Analytic Torsion）与上同调扭转（Cohomological Torsion）渐近行为的高水平数学论文。以下是对该论文的详细技术总结：

1. 研究问题 (The Problem)

论文的核心问题是研究算术群的丛合子群（Congruence Subgroups）序列中，其上同调群中扭转部分的增长速度。

具体而言，根据 Bergeron-Venkatesh 猜想，对于一个定义在 $\mathbb{Q}$ 上的半单代数群 $G$，当其亏格（Deficiency）$\delta(G) = \text{rank}_{\mathbb{C}} G(\mathbb{R}) - \text{rank}_{\mathbb{C}} K = 1$ 时，其中间维度的上同调扭转应呈指数级增长。论文旨在解决以下两个层面的问题：

• 解析层面：在非紧（Non-cocompact）情况下，解析扭转 $T_{X(N)}(\tau)$ 的精确渐近展开式及其误差项的阶数。
• 上同调层面：利用解析扭转与 Reidemeister 扭转之间的关系（Cheeger-Müller 定理），推导出算术群上同调扭转 $|H^i(\Gamma_N, L)|_{\text{tors}}$ 的增长界限。

论文特别关注 $\mathbb{Q}$-秩为 1（$\mathbb{Q}$-rank 1） 的情况，因为这类群对应的流形是有限体积但非紧的，处理起来比紧流形复杂得多。

2. 研究方法 (Methodology)

作者采用了一套结合了算术几何、谱几何与表示论的综合方法：

• Arthur-Selberg 迹公式 (Arthur-Selberg Trace Formula)：这是论文的技术基石。作者通过迹公式将解析扭转的计算转化为几何侧（Geometric side）的分布计算。
• 单位元贡献的限制 (Restricting to Unipotent Contribution)：通过构造合适的测试函数（Test function），作者证明了在 $N$ 足够大时，迹公式的几何侧主要由单配（Unipotent）贡献决定，从而简化了计算。
• 局部轨道积分的估计 (Local Orbital Integrals)：作者对非阿基米德（$p$-adic）和阿基米德（$\mathbb{R}$）场所的局部加权轨道积分进行了显式的解析估计。
• 近似定理 (Approximation Theorem)：通过精细化 Matz-Müller 之前的近似定理，作者证明了解析扭转可以被 $L^2$-扭转近似，并给出了更强的误差项估计。
• Cheeger-Müller 定理的推广：在非紧情形下，利用已有的非紧 Cheeger-Müller 定理（如针对 $SL(2, \mathcal{O}_F)$ 和 $SO(n, 1)$ 的结果），将解析结果转化为上同调结果。

3. 核心贡献 (Key Contributions)

1. 强化近似定理 (Strengthened Approximation Theorem)：这是论文最重要的技术贡献（Theorem 1.2/9.2）。作者不仅证明了近似的存在性，还给出了误差项的精确阶数 $O\left(\frac{(\log N)^a}{N^{k(G)}}\right)$，其中 $k(G)$ 是由群的单配轨道维度决定的常数。
2. 处理非紧情形的全局系数：作者在证明过程中克服了 Arthur 迹公式中全局系数 $a_M(S, \gamma)$ 可能随 $N$ 增长的困难，通过假设“素数固定集”或引用关于 $GL(n)$ 的猜想解决了这一问题。
3. 显式的 $k(G)$ 计算：作者为不同类型的群（如 $SL(n)$和$SO(n, 1)$）计算了决定误差项阶数的关键常数$k(G)$。

4. 主要结果 (Main Results)

论文分为两部分，分别给出解析和上同调的结果：

Part A: 解析扭转的渐近性

• Theorem 1.2/9.2：对于满足特定性质（$\lambda$-强非循环表示、TWN 和 BD 性质）的群 $G$，解析扭转的渐近行为满足：
  $$\frac{\log T_{X(N)}(\tau)}{[\Gamma : \Gamma(N)]} = T^{(2)}_{X(1)}(\tau) + O\left(\frac{(\log N)^a}{N^{k(G)}}\right)$$
  这为解析扭转提供了一个带有精确误差项的二阶渐近展开。

Part B: 上同调扭转的增长

作者将上述结果应用于两类重要的算术群：

• $SL(2, \mathcal{O}_F)$ 情况 (Theorem 1.3/Corollary 1.4)：
  • 当亏格 $\delta(G) > 1$ 时（即复嵌入对数 $r_2 > 1$），上同调扭转的增长是**次指数级（Subexponential）**的，其界限为 $O\left(\frac{(\log N)^a}{N^n}\right)$。这为之前关于该情形增长速度的开放问题提供了上界。
• $SO(n, 1)$ 情况 (Theorem 1.5/Corollary 1.6)：
  • 对于奇数维双曲流形，给出了上同调扭转的渐近公式。
  • 特别地，当 $n=3$ 时（即 $SO(3, 1)$），得到了极其精确的结果：
    $$\frac{\log |H^2(\Gamma(N), L_\rho)|}{[\Gamma : \Gamma(N)]} = -2 \cdot T^{(2)}_{X(1)}(\rho_{\mathbb{R}}) + O\left(\frac{(\log N)^a}{N^2}\right)$$

5. 学术意义 (Significance)

1. 填补理论空白：论文解决了非紧算术群在扭转增长研究中的关键技术问题，将研究范围从紧流形扩展到了更广泛的 $\mathbb{Q}$-秩为 1 的情形。
2. 验证与深化猜想：通过给出次指数级的上界，论文为 Bergeron-Venkatesh 猜想中关于 $\delta(G) \neq 1$ 时扭转增长行为的讨论提供了重要的定量证据。
3. 技术集成：论文成功地将极其复杂的 Arthur 迹公式技术与现代谱几何中的解析扭转理论结合在一起，为后续研究算术群的 $L^2$-不变量提供了强有力的工具。