[论文解读] Fried conjecture in small dimensions

Nguyen Viet Dang, Colin Guillarmou+2 more|HAL (Le Centre pour la Communication Scientifique Directe)|Jul 3, 2018

Advanced Topology and Set Theory被引用 4

一句话总结

本文证明了在三维情况下，对于平坦向量丛上的光滑Anosov向量场，解析 torsion 与扭曲 Ruelle zeta 函数在零点处的取值之间的 Fried 猜想。在高维情况下，该研究在谱条件成立时建立了 zeta 函数在零点处的局部常数性，并验证了在双曲 3-流形上的测地流附近，Anosov 流的猜想，提供了在变负曲率下首个非解析情形中该猜想成立的示例。

ABSTRACT

We study the twisted Ruelle zeta function $ζ_X(s)$ for smooth Anosov vector fields $X$ acting on flat vector bundles over smooth compact manifolds. In dimension $3$, we prove Fried conjecture, relating Reidemeister torsion and $ζ_X(0)$. In higher dimensions, we show more generally that $ζ_X(0)$ is locally constant with respect to the vector field $X$ under a spectral condition. As a consequence, we also show Fried conjecture for Anosov flows near the geodesic flow on the unit tangent bundle of hyperbolic $3$-manifolds. This gives the first examples of non-analytic Anosov flows and geodesic flows in variable negative curvature where Fried conjecture holds true.

研究动机与目标

• 证明对于平坦向量丛上的 Anosov 向量场，解析 torsion 与扭曲 Ruelle zeta 函数在零点处的取值之间的 Fried 猜想。
• 将 Fried 猜想的有效性扩展至非解析 Anosov 流以及变负曲率下的测地流。
• 在高维情况下，于谱条件成立时，建立扭曲 Ruelle zeta 函数在零点处的局部常数性。
• 验证 Anosov 流在双曲 3-流形单位切丛上的测地流附近的 Fried 猜想。
• 提供变负曲率背景下首个非解析 Anosov 流中 Fried 猜想成立的示例。

提出的方法

• 通过紧致流形 M 上光滑 Anosov 向量场 X 的原始闭轨道，分析定义在平坦 Hermitian 向量丛 E 上的扭曲 Ruelle zeta 函数 ζ_X,ρ(λ)。
• 应用 zeta 函数的亚纯延拓技术，基于 Rugh、Fried 以及 Giulietti-Liverani-Pollicott 对 C^∞ Anosov 流的前期工作。
• 利用谱条件：扭曲 Laplacian 在不稳定与稳定方向上无零模态，证明 ζ_X(0) 关于 X 的局部常数性。
• 依赖 Ray-Singer 解析 torsion τ_ρ(M)，并通过 Cheeger-Müller 定理，将其与 Reidemeister torsion 对应，适用于无扭酉表示。
• 应用 Selberg 迹公式技术与 SO(n) 的表示理论，分析双曲流形上迹零对称张量的 zeta 函数。
• 通过扭曲 Laplacian 与散度算子的核维数，建立 Selberg zeta 函数零点的阶数。

实验结果

研究问题

• RQ1 Fried 猜想是否对三维情况下平坦向量丛上的 Anosov 流成立？
• RQ2 在高维情况下，能否在谱条件成立时证明扭曲 Ruelle zeta 函数在 s=0 处局部常数？
• RQ3 Fried 猜想是否可推广至变负曲率下的双曲 3-流形上的测地流？
• RQ4 是否存在非解析 Anosov 流使得 Fried 猜想成立？
• RQ5 Selberg zeta 函数零点的阶数与迹零对称张量上扭曲 Laplacian 核之间的精确关系为何？

主要发现

• 在三维情况下，对于光滑 Anosov 向量场在平坦向量丛上，证明了 Fried 猜想，即 |ζ_X,ρ(0)|^{(-1)^{n_0}} = τ_ρ(M)。
• 在高维情况下，当扭曲 Laplacian 满足谱条件时，证明了 ζ_X(0) 关于向量场 X 的局部常数性。
• 验证了在双曲 3-流形单位切丛上测地流附近的 Anosov 流的猜想，即使在变负曲率下也成立。
• 这提供了首个已知的非解析 Anosov 流中 Fried 猜想成立的示例。
• 通过扭曲 Laplacian 与散度算子的核维数，计算了 Selberg zeta 函数 Z_{S,σ_m}(s) 的零点阶数。
• 当 s₀ ≠ n/2 时，零点阶数为 dim(ker(∇*∇ - n²/4 - m + (s₀ - n/2)²) ∩ ker D*)，当 s₀ = n/2 时，阶数为该值的两倍。