2025-11-20T13:01:15.441702

Marked PoincarÃ© rigidity near hyperbolic metrics and injectivity of the Lichnerowicz Laplacian in dimension 3

Butt, Erchenko, Humbert et al.

Let $M$ be a compact manifold without boundary equipped with a Riemannian metric $g$ of negative curvature. In this paper, we introduce the marked PoincarÃ© determinant (MPD), a homothety invariant of $g$ depending on differentiable periodic data of its geodesic flow. The MPD associates to each free homotopy class of closed curves in $M$ a number which measures the unstable volume expansion of the geodesic flow along the associated closed geodesic. We prove a local MPD rigidity result in dimension 3: if $g$ is sufficiently close to a hyperbolic metric $g_0$ and both metrics have the same MPD, then they are homothetic. As a by-product of our proof, we show the Lichnerowicz Laplacian of $g_0$ is injective on the space of trace-free divergence-free symmetric 2-tensors, which, to our knowledge, is the first result of its kind in negative curvature.

academic

Marked Poincaré rigidity near hyperbolic metrics and injectivity of the Lichnerowicz Laplacian in dimension 3

基本信息

论文ID: 2510.11399
标题: Marked Poincaré rigidity near hyperbolic metrics and injectivity of the Lichnerowicz Laplacian in dimension 3
作者: Karen Butt, Alena Erchenko, Tristan Humbert, Thibault Lefeuvre, Amie Wilkinson
分类: math.DG (微分几何), math.DS (动力系统), math.SP (谱理论)
发表时间: 2025年10月13日 (arXiv预印本)
论文链接: https://arxiv.org/abs/2510.11399

摘要

本文研究紧致无边界负曲率黎曼流形 $(M, g)$ ，引入了标记Poincaré行列式(MPD)这一新的几何不变量。MPD是 $g$ 的齐次不变量，依赖于测地流的可微周期轨道数据，为每个闭曲线的自由同伦类分配一个数值，测量沿相应闭测地线的测地流的不稳定体积膨胀。作者在3维情形下证明了局部MPD刚性结果：若 $g$ 充分接近双曲度量 $g_0$ 且两度量具有相同的MPD，则它们是齐次的。作为证明的副产品，文章还证明了 $g_0$ 的Lichnerowicz拉普拉斯算子在无迹无散度对称2-张量空间上的单射性，这是负曲率情形下的首个此类结果。

研究背景与动机

核心问题

本文要解决的核心问题是测地流刚性理论中的一个基本问题：能否通过测地流的某些动力学不变量来刻画黎曼度量的几何性质？具体而言，研究标记Poincaré行列式这一新不变量是否能够局部地决定双曲度量。

问题重要性

几何刚性理论的发展：这是继标记长度谱刚性之后的重要进展，为理解负曲率流形的几何-动力学对应关系提供新视角
测地流动力学：MPD依赖于测地流的一阶可微数据，比标记长度谱包含更丰富的动力学信息
谱理论突破：首次在紧致负曲率流形上证明Lichnerowicz拉普拉斯算子的单射性

现有方法局限性

标记长度谱方法：仅依赖测地线长度信息，缺乏关于测地流稳定性的信息
熵刚性方法：主要关注度量熵，但计算复杂且适用范围有限
Lyapunov刚性：需要特殊的对称性假设

研究动机

作者受到以下几个方面启发：

Hamenstädt关于双曲3-流形标记长度谱刚性的工作
Guillarmou-Lefeuvre关于局部标记长度谱刚性的微局部技术
Flaminio关于Katok熵猜想的研究方法

核心贡献

引入新的几何不变量：定义了标记Poincaré行列式(MPD)，这是一个齐次不变量，测量测地流沿周期轨道的不稳定体积膨胀
证明3维局部刚性定理：在3维情形下，证明了MPD的局部刚性：若两个负曲率度量在双曲度量附近且具有相同MPD，则它们是齐次的
建立Lichnerowicz拉普拉斯算子单射性：首次在紧致负曲率流形上证明Lichnerowicz拉普拉斯算子在TT张量空间上的单射性
发展新的分析技术：结合微局部分析、广义X射线变换和平均根曲率分析的创新方法
提供稳定性估计：类似于标记长度谱的稳定性估计

方法详解

任务定义

输入：紧致无边界负曲率黎曼流形 $(M, g)$ 输出：标记Poincaré行列式函数 $P_g: \mathcal{C} \to \mathbb{R}$ ，其中 $\mathcal{C}$ 是闭曲线自由同伦类的集合目标：证明在双曲度量附近，MPD局部地决定度量（模齐次变换）

核心概念与定义

标记Poincaré行列式

对于自由同伦类 $c \in \mathcal{C}$ ，设 $\gamma_g(c)$ 是其唯一的测地代表， $v = \gamma'_g(c)(0)$ ， $T = \ell_g(\gamma_g(c))$ 。定义： $P_g(c) = \det(D_v\phi^T|_{E^u})$ 其中 $D_v\phi^T: E^u(v) \to E^u(v)$ 是限制在不稳定束上的线性化Poincaré映射。

与不稳定Jacobian的关系

通过Lemma 3.1建立了关键联系： $\log P_g(c) = \int_{\gamma_g(c)} \text{tr}(U_g) d\ell_{\gamma_g(c)}$ 其中 $U_g$ 是不稳定马蹄面的第二基本形式。

技术架构

第一步：线性化分析

通过Proposition 3.2计算MPD在双曲度量 $g_0$ 处的导数： $d_{g_0}\Phi(S)(c) = \frac{1}{D_{g_0}(c)} \int_{\gamma_{g_0}(c)} \pi_2^* R(S) d\ell_{g_0}$ 其中算子 $R(S) = \frac{1}{4}\Delta_L S - \frac{1}{2}D_{g_0}D_{g_0}^*(S) - \frac{1}{2}\nabla d(\text{tr}(S))$ 。

第二步：微局部技术

利用广义X射线变换 $\Pi$ 和广义Poincaré X射线变换： $Q(S) := \pi_{2*}\Pi\pi_2^* R(S)$ 建立强制性估计，将问题归结为算子 $R$ 在无散度张量上的单射性。

第三步：Lichnerowicz拉普拉斯算子分析

证明关键归约：在3维情形下， $R$ 在TT张量上的单射性等价于Lichnerowicz拉普拉斯算子 $\Delta_L$ 的单射性。

第四步：平均根曲率方法

引入Osserman-Sarnak的平均根曲率： $\kappa(g) = \int_{S_g M} \text{tr}((-R_g(v))^{1/2}) dm_g(v)$ 利用不等式 $\kappa(g) \leq h_{\text{Liou}}(g)$ 和3维曲率张量的特殊性质完成证明。

技术创新点

新的几何不变量设计：MPD巧妙地结合了测地流的稳定性理论和周期轨道分析
维数约简技术：在3维情形下，利用曲率张量完全由Ricci张量决定这一特殊性质
微局部-几何结合：将Guillarmou的微局部X射线变换理论与经典的黎曼几何相结合
平均根曲率的新应用：创新性地利用平均根曲率的Hessian分析来证明算子单射性

主要结果

定理1.3（主要刚性定理）

陈述：设 $(M, g_0)$ 是闭双曲3-流形。存在 $N \in \mathbb{N}$ 和 $\varepsilon > 0$ ，使得对任意满足 $\|g - g_0\|_{C^N} < \varepsilon$ 的光滑负曲率度量 $g$ ，有 $P_g = P_{g_0}$ 当且仅当存在光滑微分同胚 $\phi \in \text{Diff}_0(M)$ 和常数 $c > 0$ 使得 $\phi^* g = c g_0$ 。