[论文解读] A surgery formula for the asymptotics of the higher dimensional Reidemeister torsion and Seifert fibered spaces

Yoshikazu Yamaguchi|arXiv (Cornell University)|Oct 30, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 7被引用 4

一句话总结

本文建立了在 Seifert 纤维化 3-流形中高维 Reidemeister torsion 渐近行为的手术公式，表明 torsion 的对数随维度 $2N$ 线性增长，且主导系数收敛于有限个值。该系数的最大值为 $-\chi\log 2$，其中 $\chi$ 为底 orbifold 的欧拉示性数，且该最大值仅在 Seifert 球面的 $\mathrm{SU}(2)$-表征簇的顶维分量上取得。

ABSTRACT

We give a surgery formula for the asymptotic behavior of the sequence given by the logarithm of the higher dimensional Reidemeister torsion. Applying the resulting formula to Seifert fibered spaces, we show that the growth of the sequences has the same order as the indices and we give the explicit values for the limits of the leading coefficients. There are finitely many possibilities as the limits of the leading coefficients for a Seifert fibered space. We also show that the maximum is given by the product of (-log 2) and the Euler characteristic of the base orbifold for a Seifert fibered space. These limits of the leading coefficients give a locally constant function on a character variety. This function takes the maximum only on the top-dimensional components of the SU(2)-character varieties for Seifert fibered homology spheres.

研究动机与目标

• 推导通过 Dehn 滞性填充得到的 3-流形中高维 Reidemeister torsion 渐近行为的手术公式。
• 分析在 $\mathrm{SL}_{2}(\mathbb{C})$-表示下 Seifert 纤维化空间中 torsion 对数的渐近增长。
• 确定 torsion 对数主导系数的极限并识别其最大值。
• 证明最大主导系数 $-\chi\log 2$ 仅在 Seifert 球面的 $\mathrm{SU}(2)$-表征簇的顶维分量上取得。

提出的方法

• 在由 $\mathrm{SL}_2(\mathbb{C})$-表示诱导的扭曲链复形满足无扭条件时，为 $\log|\mathrm{Tor}(M;\rho_{2N})|$ 的渐近行为建立手术公式。
• 通过将 Seifert 纤维化空间分解为曲面丛与实心环面的结构，将手术公式应用于此类空间。
• 定义 $\lambda_j$ 为 $\rho(\ell_j)$ 的阶的一半，其中 $\ell_j$ 是第 $j$ 个实心环面的中心线，以计算渐近系数。
• 使用公式 $\lim_{N\to\infty} \frac{\log|\mathrm{Tor}|}{2N} = \lim_{N\to\infty} \frac{\log|\mathrm{Tor}(M;\rho_{2N})|}{2N} - \log 2 \sum_{j=1}^m \frac{1}{\lambda_j}$ 在 Dehn 滞性填充后计算主导系数。
• 分析表征簇以识别最大系数 $-\chi\log 2$ 被取得的分量。
• 验证最大值仅在 Seifert 球面的 $\mathrm{SU}(2)$-表征簇的顶维分量上取得。

实验结果

研究问题

• RQ1 当维度 $2N$ 增大时，Seifert 纤维化空间中高维 Reidemeister torsion 对数的渐近增长速率是什么？
• RQ2 主导系数在 Dehn 滞性填充下的行为如何，其极限值由什么决定？
• RQ3 所有表示中 $\log|\mathrm{Tor}|/(2N)$ 的主导系数可能的最大值是多少，且在何处取得？
• RQ4 对于 Seifert 球面，最大主导系数 $-\chi\log 2$ 在 $\mathrm{SU}(2)$-表征簇的哪些分量上取得？
• RQ5 将每个表示映射到主导系数极限的函数在表征簇上是否局部常数？

主要发现

• 对于 Seifert 纤维化空间，$\log|\mathrm{Tor}(M;\rho_{2N})|$ 的渐近增长在 $N$ 上为线性，且 $2N$ 的系数收敛于有限个值。
• 主导系数的最大值为 $-\chi\log 2$，其中 $\chi$ 为底 orbifold 的欧拉示性数。
• 该最大值仅在 Seifert 球面的 $\mathrm{SU}(2)$-表征簇的顶维分量上取得。
• 对于特定示例 $M(\frac{2}{1}, \frac{3}{-2}, \frac{5}{-2}, \frac{7}{4})$，当 $\xi_4 = 0$ 时，极限为 $-\chi\log 2 - \frac{6}{7}\log 2$，表明其严格小于最大值。
• 在情形 $M(\frac{5}{3}, \frac{6}{-1}, \frac{7}{-3})$ 中，最大值 $-\chi\log 2$ 在 $X_1$ 上取得，而 $X_2$ 仅给出严格更小的值 $-\chi\log 2 - \frac{1}{3}\log 2$，确认最大值并非在所有分量上均取得。
• 将每个表示映射到极限主导系数的函数在表征簇上是局部常数，且最大值 $-\chi\log 2$ 仅在顶维分量上取得。