The Holonomy Inverse Problem

MaRDI QIDQ6367595zbMATH OpenFDO

Authors Mihajlo Cekić, Thibault Lefeuvre

Publication date 13 May 2021

Mathematics Subject Classification ID

Inverse problems for PDEs (35R30) Uniformly hyperbolic systems (expanding, Anosov, Axiom A, etc.) (37D20) Dynamical systems of geometric origin and hyperbolicity (geodesic and horocycle flows, etc.) (37D40) Rigidity results (53C24) Spectral problems; spectral geometry; scattering theory on manifolds (58J50)

Abstract: Let $(M,g)$ be a smooth Anosov Riemannian manifold and $mathcal{C}^{s}harp$ the set of its primitive closed geodesics. Given a Hermitian vector bundle $mathcalE$ equipped with a unitary connection $abl{a}^{mathcalE}$, we define $mathcal{T}^{s}harp(mathcalE,abl{a}^{mathcalE})$ as the sequence of traces of holonomies of $abl{a}^{mathcalE}$ along elements of $mathcal{C}^{s}harp$. This descends to a homomorphism on the additive moduli space $mathbbA$ of connections up to gauge $mathcal{T}^{s}harp:(mathbbA,oplus)oel{l}^{i}nfty(mathcal{C}^{s}harp)$, which we call the $extitprimitivetracemap$. It is the restriction of the well-known $extitWilsonloop$ operator to primitive closed geodesics. The main theorem of this paper shows that the primitive trace map $mathcal{T}^{s}harp$ is locally injective near generic points of $mathbbA$ when $dim(M)geq3$. We obtain global results in some particular cases: flat bundles, direct sums of line bundles, and general bundles in negative curvature under a spectral assumption which is satisfied in particular for connections with small curvature. As a consequence of the main theorem, we also derive a spectral rigidity result for the connection Laplacian. The proofs are based on two new ingredients: a Livv{s}ic-type theorem in hyperbolic dynamical systems showing that the cohomology class of a unitary cocycle is determined by its trace along closed primitive orbits, and a theorem relating the local geometry of $mathbbA$ with the Pollicott-Ruelle resonance near zero of a certain natural transport operator.

This page was built for publication: The Holonomy Inverse Problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6367595)