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

Basic Information

• Paper ID: 2510.11399
• Title: Marked Poincaré rigidity near hyperbolic metrics and injectivity of the Lichnerowicz Laplacian in dimension 3
• Authors: Karen Butt, Alena Erchenko, Tristan Humbert, Thibault Lefeuvre, Amie Wilkinson
• Classification: math.DG (Differential Geometry), math.DS (Dynamical Systems), math.SP (Spectral Theory)
• Publication Date: October 13, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.11399

Abstract

This paper studies compact boundaryless negatively curved Riemannian manifolds $(M, g)$ and introduces the marked Poincaré determinant (MPD), a new geometric invariant. The MPD is a homogeneous invariant of $g$ that depends on differentiable periodic orbit data of the geodesic flow, assigning a numerical value to each free homotopy class of closed curves that measures the unstable volume expansion of the geodesic flow along the corresponding closed geodesic. The authors 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 byproduct of the proof, the paper also establishes the injectivity of the Lichnerowicz Laplacian of $g_0$ on the space of traceless divergence-free symmetric 2-tensors, the first such result in the negatively curved setting.

Research Background and Motivation

Core Problem

The core problem addressed in this paper is a fundamental question in geodesic flow rigidity theory: Can certain dynamical invariants of the geodesic flow characterize the geometric properties of Riemannian metrics? Specifically, the paper investigates whether the marked Poincaré determinant, a new invariant, can locally determine hyperbolic metrics.

Importance of the Problem

1. Development of geometric rigidity theory: This represents important progress following marked length spectrum rigidity, providing new perspectives on understanding the geometric-dynamical correspondence of negatively curved manifolds
2. Geodesic flow dynamics: The MPD depends on first-order differentiable data of the geodesic flow, containing richer dynamical information than the marked length spectrum
3. Breakthrough in spectral theory: First proof of injectivity of the Lichnerowicz Laplacian on compact negatively curved manifolds

Limitations of Existing Methods

1. Marked length spectrum approach: Depends only on geodesic length information, lacking information about geodesic flow stability
2. Entropy rigidity methods: Primarily focuses on metric entropy, but computationally complex with limited applicability
3. Lyapunov rigidity: Requires special symmetry assumptions

Research Motivation

The authors were inspired by:

• Hamenstädt's work on marked length spectrum rigidity for hyperbolic 3-manifolds
• Guillarmou-Lefeuvre's microlocal techniques for local marked length spectrum rigidity
• Flaminio's methods regarding Katok's entropy conjecture

Core Contributions

1. Introduction of a new geometric invariant: Defines the marked Poincaré determinant (MPD), a homogeneous invariant measuring unstable volume expansion of the geodesic flow along periodic orbits
2. Proof of 3-dimensional local rigidity theorem: Establishes MPD local rigidity in dimension 3: if two negatively curved metrics near a hyperbolic metric have the same MPD, then they are homothetic
3. Establishment of Lichnerowicz Laplacian injectivity: First proof of injectivity of the Lichnerowicz Laplacian on the TT tensor space on compact negatively curved manifolds
4. Development of new analytical techniques: Combines innovative methods from microlocal analysis, generalized X-ray transforms, and mean scalar curvature analysis
5. Provision of stability estimates: Similar to marked length spectrum stability estimates

Detailed Methodology

Task Definition

Input: Compact boundaryless negatively curved Riemannian manifold $(M, g)$Output: Marked Poincaré determinant function $P_g: \mathcal{C} \to \mathbb{R}$, where $\mathcal{C}$ is the set of free homotopy classes of closed curves Objective: Prove that near hyperbolic metrics, MPD locally determines the metric (modulo homothety)

Core Concepts and Definitions

Marked Poincaré Determinant

For a free homotopy class $c \in \mathcal{C}$, let $\gamma_g(c)$ be its unique geodesic representative, $v = \gamma'_g(c)(0)$, $T = \ell_g(\gamma_g(c))$. Define: $P_g(c) = \det(D_v\phi^T|_{E^u})$ where $D_v\phi^T: E^u(v) \to E^u(v)$ is the linearized Poincaré map restricted to the unstable bundle.

Relationship with Unstable Jacobian

Lemma 3.1 establishes a key connection: $\log P_g(c) = \int_{\gamma_g(c)} \text{tr}(U_g) d\ell_{\gamma_g(c)}$ where $U_g$ is the second fundamental form of the unstable horosphere.

Technical Architecture

Step One: Linearization Analysis

Proposition 3.2 computes the derivative of MPD at the hyperbolic metric $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}$ where the operator $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))$.

Step Two: Microlocal Techniques

Utilizes the generalized X-ray transform $\Pi$ and generalized Poincaré X-ray transform: $Q(S) := \pi_{2*}\Pi\pi_2^* R(S)$ establishing coercivity estimates that reduce the problem to injectivity of operator $R$ on divergence-free tensors.

Step Three: Lichnerowicz Laplacian Analysis

Proves the key reduction: in dimension 3, injectivity of $R$ on TT tensors is equivalent to injectivity of the Lichnerowicz Laplacian $\Delta_L$.

Step Four: Mean Scalar Curvature Method

Introduces Osserman-Sarnak's mean scalar curvature: $\kappa(g) = \int_{S_g M} \text{tr}((-R_g(v))^{1/2}) dm_g(v)$ Completes the proof using the inequality $\kappa(g) \leq h_{\text{Liou}}(g)$ and special properties of curvature tensors in dimension 3.

Technical Innovations

1. Novel geometric invariant design: MPD cleverly combines geodesic flow stability theory with periodic orbit analysis
2. Dimension reduction technique: In dimension 3, exploits the special property that the curvature tensor is completely determined by the Ricci tensor
3. Microlocal-geometric combination: Combines Guillarmou's microlocal X-ray transform theory with classical Riemannian geometry
4. New application of mean scalar curvature: Innovatively uses Hessian analysis of mean scalar curvature to prove operator injectivity

Main Results

Theorem 1.3 (Main Rigidity Theorem)

Statement: Let $(M, g_0)$ be a closed hyperbolic 3-manifold. There exist $N \in \mathbb{N}$ and $\varepsilon > 0$ such that for any smooth negatively curved metric $g$ satisfying $\|g - g_0\|_{C^N} < \varepsilon$, we have $P_g = P_{g_0}$ if and only if there exist a smooth diffeomorphism $\phi \in \text{Diff}_0(M)$ and a constant $c > 0$ such that $\phi^* g = c g_0$.

Theorem 1.6 (Lichnerowicz Laplacian Injectivity)

Statement: Let $(M^3, g_0)$ be a closed hyperbolic 3-manifold and $\Delta_L$ its Lichnerowicz Laplacian. Then $\Delta_L$ is injective on TT tensors.

Theorem 1.5 (Conformal Class Rigidity)

Statement: For any closed hyperbolic manifold $(M, g_0)$ of dimension $n \geq 2$, within the class of conformally equivalent negatively curved metrics, MPD locally determines the metric.

Theorem 1.8 (Mean Scalar Curvature Saddle Point Property)

Statement: There exist hyperbolic 3-manifolds $(M, g_0)$ such that the mean scalar curvature function $\kappa(g)$ at $g_0$ is neither a local maximum nor a local minimum.

Proof Strategy Analysis

Core Technical Path

1. Functional analysis foundation: Utilizes decomposition of symmetric tensors and divergence-free conditions
2. Dynamical systems theory: Stability of Anosov flows and periodic orbit analysis
3. Microlocal analysis: Coercivity estimates of generalized X-ray transforms
4. Riemannian geometry: Curvature tensor differentiation and variational formulas

Key Difficulty Breakthroughs

1. Operator non-positivity: Unlike the positive curvature case, the Lichnerowicz Laplacian in negative curvature is not always positive definite
2. Dimension restriction: The proof technique essentially depends on special properties of dimension 3
3. Technical complexity: Requires delicate microlocal estimates and geometric analysis

Related Work

This paper is closely related to the following research areas:

1. Marked length spectrum rigidity:
   • Otal-Croke (2-dimensional case)
   • Hamenstädt (locally symmetric case)
   • Guillarmou-Lefeuvre (local rigidity)
2. Entropy rigidity theory:
   • Katok's entropy conjecture
   • Partial results by Flaminio
   • Minimal entropy rigidity by Besson-Courtois-Gallot
3. Lyapunov rigidity:
   • Butler's characterization of symmetric spaces
   • Lyapunov spectrum theory of geodesic flows
4. Lichnerowicz Laplacian:
   • Einstein manifold stability theory
   • Positivity results in positive curvature case

Conclusions and Discussion

Main Conclusions

1. In dimension 3, the marked Poincaré determinant exhibits local rigidity near hyperbolic metrics
2. The Lichnerowicz Laplacian on compact hyperbolic 3-manifolds is injective on the TT tensor space
3. Mean scalar curvature can have saddle point properties on certain hyperbolic manifolds

Limitations

1. Dimension restriction: Main results hold only in dimension 3; higher dimensions remain open
2. Local nature: Only local rigidity is proven; global rigidity remains conjectural
3. Technical dependence: Proof heavily relies on special properties of hyperbolic geometry

Future Directions

1. Higher-dimensional generalization: Seek new techniques applicable to higher dimensions
2. Global rigidity: Prove or disprove global MPD rigidity conjecture
3. Algorithmic applications: Develop geometric recognition algorithms based on MPD
4. Physical applications: Explore applications in general relativity

In-Depth Evaluation

Strengths

1. Theoretical innovation: Introduces a completely new geometric invariant, enriching rigidity theory
2. Technical depth: Skillfully combines deep theories from multiple mathematical branches
3. Result importance: First proof of Lichnerowicz operator injectivity in negatively curved setting
4. Method generality: Microlocal techniques may apply to other geometric problems

Weaknesses

1. Dimension restriction: The 3-dimensional restriction is strong, limiting result generality
2. Computational complexity: Practical computation of MPD may be difficult
3. Application scope: Currently mainly theoretical results with limited practical applications

Impact

1. Academic value: Opens new directions in rigidity theory, likely to inspire subsequent research
2. Technical contribution: Microlocal-geometric combination method has methodological significance
3. Theory completion: Fills important gap in negatively curved Lichnerowicz theory

Applicable Scenarios

• Geometric classification problems for negatively curved manifolds
• Stability analysis of geodesic flow dynamics
• Perturbation theory of Einstein manifolds
• Spacetime geometry research in mathematical physics

Technical Details Supplement

Key Inequalities

Core inequality used in the paper: $\kappa(g) \leq h_{\text{Liou}}(g)$ where equality holds if and only if $g$ is locally symmetric.

Special Properties of Dimension 3

In dimension 3, the curvature tensor is completely determined by the Ricci tensor: $R(X,Y)Z = \text{Ric}(Y,Z)X - \text{Ric}(X,Z)Y + g(Y,Z)\text{Ric}(X,\cdot)^{\sharp} - g(X,Z)\text{Ric}(Y,\cdot)^{\sharp} + \frac{\text{Scal}}{2}(g(X,Z)Y - g(Y,Z)X)$

This property is a key technical element in the proof.

This paper makes important contributions to rigidity theory, particularly opening new directions in cross-disciplinary research between negatively curved geometry and dynamical systems. Despite limitations such as dimension restrictions, its innovative methods and profound results establish important foundations for further development in this field.