[论文解读] First variation of flat traces on negatively curved surfaces

Hy Lam|arXiv (Cornell University)|Feb 12, 2026

Geometry and complex manifolds被引用 0

一句话总结

论文推导了负曲率曲面在光滑度量变形下平坦迹的分布性一阶变分，辨识出带有传输系数的领先 δ′(τ−ℓ) 项，并证明路径刚性：若在光滑变形中平坦迹保持相等，则度量在微同胚下等距。

ABSTRACT

For a closed negatively curved surface $(X,g)$ the flat trace of the geodesic Koopman operators $V_g^τf=f\circ G_g^τ$ is the periodic orbit distribution \[ \mathrm{Tr}^{\flat} V_{g}(τ)=\sum_γ\frac{L_γ^{\#}}{\lvert\det(I-P_γ) vert}\,δ(τ-L_γ), \qquad τ>0, \] supported on the length spectrum and weighted by the linearized Poincaré maps $P_γ$. For a smooth family of negatively curved metrics $g_t$ we compute the first variation $\partial_t\vert_{0}\,\mathrm{Tr}^{\flat} V_{g_t}$ as a distribution. At an isolated length $\ell$ the leading singularity is a multiple of $δ'(τ-\ell)$, and its coefficient is an explicit linear functional of the length variations $\dot L_{γ^m}$ of the closed geodesics with $L_{γ^m}=\ell$. This transport coefficient forces the marked lengths to be locally constant along any deformation with constant flat trace. As an application, if $\mathrm{Tr}^{\flat} V_{g_t}=\mathrm{Tr}^{\flat} V_{g_0}$ for all $t$ then $g_t$ is isometric to $g_0$ for all $t$. Together with Sunada-type constructions of non isometric pairs with equal flat traces, this shows that the flat trace is globally non-unique yet locally complete along smooth families.

研究动机与目标

• 通过将平坦迹与动力学 zeta 函数及长度谱联系起来来动机化研究在负曲率曲面上的研究。
• 计算平坦迹在光滑度量变形下的分布性一阶变分。
• 识别领先的 δ′(τ−ℓ) 奇点并将其系数表达为长度变化的传输泛函。
• 推导对标记长度谱刚性及在光滑度量族中的路径刚性的含义。

提出的方法

• 将平坦迹表示为对原始闭合轨迹的 Lefschetz 型求和，权重涉及 Lγ# 和 det(I−Pγ^m)。
• 在一个干净的固定集设置中进行稳态相位分析，以获得领先的 δ(τ−Lγ^m) 项。
• 对 Lefschetz 公式关于度量参数进行微分以提取 δ′(τ−Lγ^m) 系数。
• 将 δ′ 系数表达为长度变化 dot{L}_{γ^m} = (1/2)∫_{γ^m} h(T,T) ds 的线性泛函。

实验结果

研究问题

• RQ1 在一组负曲率度量 g_t 的光滑族下，分布性的一阶变分 ∂t|0 Tr^flat V_t(τ) 是什么？
• RQ2 在 t 变动中领先的奇异性 δ′(τ−ℓ) 如何出现，其系数在度量扰动方面如何表达？
• RQ3 若 Tr^flat V_t(τ) 在 t 变化下保持恒定，是否意味着度量的刚性，以及在何种条件下成立？
• RQ4 Livšic 理论与 Guillemin-Kazhdan 计算如何将消失的传输系数与变形的 infinitesimal 无效性联系起来？
• RQ5 平坦迹等价与同胚或同群等价性之间的关系在曲线族 g_t 中如何表现？

主要发现

• 第一变分 ∂t|0 Tr^flat V_t(τ) 在孤立长度 ℓ 处具有形如 T(ℓ) δ′(τ−ℓ) 的领先奇异性。
• 传输系数 T(ℓ) 是标记长度变化 dot{L}_{γ^m} 在长度 L_{γ^m}=ℓ 的测度线性泛函。
• 若 Tr^flat V_t(τ) 恒定，则对每个孤立的 ℓ 有 T(ℓ)=0，从而 dot{L}_{γ^m}=0，局部上标记长度谱为常数。
• 利用 Livšic 理论和 Guillemin-Kazhdan 的 SO(2) 计算，可以得到 infinitesimal 的无效性：存在向量场 v_t 使 ∂t g_t = −L_{v_t} g_t，进而得 g_t = φ_t^* g_0 与一个微分同胚族 φ_t。
• Sunada 型结构表明平坦迹在全局上并非唯一，但在光滑族上局部完备。
• 定理1.2：若 Tr^flat V_g_t 作为对所有 t 的分布对同等于 Tr^flat V_g_0，则存在一个光滑的一参同胚族 φ_t，使 g_t = φ_t^* g_0。