[论文解读] Classical and quantum dilogarithmic invariants of flat PSL(2,C)-bundles over 3-manifolds

Stéphane Baseilhac, Riccardo Benedetti|arXiv (Cornell University)|Jun 19, 2003

Geometric and Algebraic Topology被引用 6

一句话总结

本文引入了矩阵双对数——与奇数 N 对应的 ℂ^N ⊗ ℂ^N 的自同构——关联于带装饰的双曲理想四面体，满足广义五项恒等式。这些不变量构成具有平坦 PSL(2,ℂ)-丛的 3-流形的状态和，当 N=1 时恢复经典不变量（体积、Chern–Simons），在 N>1 时定义了新的量子不变量，其渐近体积猜想将量子不变量与几何体积联系起来，当 N→∞ 时成立。

ABSTRACT

We introduce a family of matrix dilogarithms, which are automorphisms of C^N tensor C^N, N being any odd positive integer, associated to hyperbolic ideal tetrahedra equipped with an additional decoration. The matrix dilogarithms satisfy fundamental five-term identities that correspond to decorated versions of the 2 --> 3 move on 3-dimensional triangulations. Together with the decoration, they arise from the solution we give of a symmetrization problem for a specific family of basic matrix dilogarithms, the classical (N=1) one being the Rogers dilogarithm, which only satisfy one special instance of five-term identity. We use the matrix dilogarithms to construct invariant state sums for closed oriented 3-manifolds $W$ endowed with a flat principal PSL(2,C)-bundle rho, and a fixed non empty link L if N>1, and for (possibly "marked") cusped hyperbolic 3-manifolds M. When N=1 the state sums recover known simplicial formulas for the volume and the Chern-Simons invariant. When N>$, the invariants for M are new; those for triples (W,L,rho) coincide with the quantum hyperbolic invariants defined in [Topology 43 (2004) 1373-1423], though our present approach clarifies substantially their nature. We analyse the structural coincidences versus discrepancies between the cases N=1 and N>1, and we formulate "Volume Conjectures", having geometric motivations, about the asymptotic behaviour of the invariants when N tends to infinity.

研究动机与目标

• 构建一个统一框架，用于研究 3-流形上平坦 PSL(2,ℂ)-丛的类经典与量子双对数不变量。
• 通过在双曲理想四面体上引入装饰结构，解决基本矩阵双对数的对称化问题。
• 利用矩阵双对数，为带链接和平坦丛的闭 3-流形，以及具尖点的双曲 3-流形定义状态和不变量。
• 阐明先前在 [3] 中定义的量子双曲不变量（QHI）的几何与代数本质，表明其自然源于此构造。
• 提出并论证渐近体积猜想，描述当 N→∞ 时量子不变量的行为，将其与几何体积及剪裁合同类联系起来。

提出的方法

• 将矩阵双对数定义为奇数 N 对应的 ℂ^N ⊗ ℂ^N 的自同构，关联于带装饰的双曲理想四面体。
• 在四面体上引入装饰结构，以确保矩阵双对数满足完整的五项恒等式，广义化 N=1 时的经典 Rogers 双对数。
• 通过在 3-流形的带装饰 I-三角剖分中对四面体分配的矩阵双对数进行整体收缩，构造状态和不变量。
• 利用这些不变量在 N=1 时恢复已知的体积与 Chern–Simons 不变量的单纯公式，在 N>1 时为具尖点的双曲 3-流形定义新不变量。
• 通过剪裁合同类，建立经典不变量与通用第二 Cheeger–Chern–Simons 类之间的联系。
• 提出并论证 H_N(M) 和 H_N(W,L,ρ) 在 N→∞ 时的渐近行为的体积猜想，将其主导项与几何体积及剪裁合同类联系起来。

实验结果

研究问题

• RQ1 如何构造矩阵双对数，使其对带装饰的双曲四面体满足完整的五项恒等式，且在 N=1 时广义化经典 Rogers 双对数？
• RQ2 通过这些矩阵双对数定义的状态和不变量是否在 N=1 时恢复已知的经典不变量（体积、Chern–Simons），并在 N>1 时为具尖点的双曲 3-流形定义新不变量？
• RQ3 根据体积猜想，当 N→∞ 时，具尖点的双曲 3-流形 M 的量子不变量 H_N(M) 是否仅依赖于其 I_fc-剪裁合同类？
• RQ4 当 N 和流形的几何复杂度同时增加时，闭 3-流形上带链接和平坦丛的量子不变量 H_N(W,L,ρ) 的渐近行为如何？
• RQ5 量子不变量的渐近行为是否可通过 N→∞ 极限下的精确增长率与几何体积精确关联？

主要发现

• 矩阵双对数满足对应于三角剖分中带装饰的 2→3 移动的完整五项恒等式，广义化了 N=1 时的经典 Rogers 双对数。
• 在 N=1 时，状态和不变量恢复了平坦 PSL(2,ℂ)-丛的体积与 Chern–Simons 不变量的经典单纯公式。
• 在 N>1 时，具尖点的双曲 3-流形 M 的不变量 H_N(M) 为新构造，且与 [3] 中定义的量子双曲不变量（QHI）一致，但现具有更清晰的几何与代数基础。
• 经典不变量 H_1(X) 等于通用第二 Cheeger–Chern–Simons 类在流形的 I_f-剪裁合同类上的取值。
• 具尖点流形的体积猜想预测，H_N(M)^N 的主导项随 N→∞ 以速率 exp((1/iπ)R(M)) 指数增长，其中 R(M) 为双曲体积。
• 该猜想可推广至序列 (W_n,L_n,ρ_n) 几何收敛于具尖点流形 M 的情形，表明 H_N(W_n,L_n,ρ_n) 的渐近行为也仅依赖于极限剪裁合同类。