Showing 1–50 of 68 results for author: Paternain, G P

Local and global blow-downs of transport twistor space

Authors: Jan Bohr, François Monard, Gabriel P. Paternain

Abstract: Transport twistor spaces are degenerate complex $2$-dimensional manifolds $Z$ that complexify transport problems on Riemannian surfaces, appearing e.g.~in geometric inverse problems. This article considers maps $β\colon Z\to \mathbb{C}^2$ with a holomorphic blow-down structure that resolve the degeneracy of the complex structure and allow to gain insight into the complex geometry of $Z$. The main… ▽ More Transport twistor spaces are degenerate complex $2$-dimensional manifolds $Z$ that complexify transport problems on Riemannian surfaces, appearing e.g.~in geometric inverse problems. This article considers maps $β\colon Z\to \mathbb{C}^2$ with a holomorphic blow-down structure that resolve the degeneracy of the complex structure and allow to gain insight into the complex geometry of $Z$. The main theorems provide global $β$-maps for constant curvature metrics and their perturbations and local $β$-maps for arbitrary metrics, thereby proving a version of the classical Newlander--Nirenberg theorem for degenerate complex structures. △ Less

Submitted 9 March, 2024; originally announced March 2024.

Marked length spectrum rigidity for Anosov surfaces

Authors: Colin Guillarmou, Thibault Lefeuvre, Gabriel P. Paternain

Abstract: Let $Σ$ be a smooth closed oriented surface of genus $\geq 2$. We prove that two metrics on $Σ$ with the same marked length spectrum and Anosov geodesic flow are isometric via an isometry isotopic to the identity. The proof combines microlocal tools with the geometry of complex curves. Let $Σ$ be a smooth closed oriented surface of genus $\geq 2$. We prove that two metrics on $Σ$ with the same marked length spectrum and Anosov geodesic flow are isometric via an isometry isotopic to the identity. The proof combines microlocal tools with the geometry of complex curves. △ Less

Submitted 25 March, 2024; v1 submitted 21 March, 2023; originally announced March 2023.

Comments: v2: We correct and simplify the proof of Lemma 3.11. v3: Added a corollary on the centralizer of Anosov geodesic flows. v4: Revision after referee process. To appear in Duke Mathematical Journal. 22 pages, 1 figure

MSC Class: 53C24; 53C22; 37C27; 37D40; 57K20; 32G20

Invariant distributions and the transport twistor space of closed surfaces

Authors: Jan Bohr, Thibault Lefeuvre, Gabriel P. Paternain

Abstract: The purpose of this paper is to study transport equations on the unit tangent bundle of closed oriented Riemannian surfaces and to connect these to the transport twistor space of the surface (a complex surface naturally tailored to the geodesic vector field). We show that fibrewise holomorphic distributions invariant under the geodesic flow - which play an important role in tensor tomography on su… ▽ More The purpose of this paper is to study transport equations on the unit tangent bundle of closed oriented Riemannian surfaces and to connect these to the transport twistor space of the surface (a complex surface naturally tailored to the geodesic vector field). We show that fibrewise holomorphic distributions invariant under the geodesic flow - which play an important role in tensor tomography on surfaces - form a unital algebra, that is, multiplication of such distributions is well-defined and continuous. We also exhibit a natural bijective correspondence between fibrewise holomorphic invariant distributions and genuine holomorphic functions on twistor space with polynomial blowup on the boundary of the twistor space. Eventually, when the surface is Anosov, we classify holomorphic line bundles over twistor space which are smooth up to the boundary. As a byproduct of our analysis, we obtain a quantitative version of a result of Flaminio, asserting that invariant distributions of the geodesic flow of a positively-curved metric on the 2-sphere are determined by their zeroth and first Fourier modes. △ Less

Submitted 26 January, 2024; v1 submitted 18 January, 2023; originally announced January 2023.

Comments: An error in Table 1 has been corrected. Some typos have been fixed. Examples have been added to the appendix

Resonant forms at zero for dissipative Anosov flows

Authors: Mihajlo Cekić, Gabriel P. Paternain

Abstract: We study resonant differential forms at zero for transitive Anosov flows on $3$-manifolds. We pay particular attention to the dissipative case, that is, Anosov flows that do not preserve an absolutely continuous measure. Such flows have two distinguished Sinai-Ruelle-Bowen $3$-forms, $Ω_{\text{SRB}}^{\pm}$, and the cohomology classes $[ι_{X}Ω_{\text{SRB}}^{\pm}]$ (where $X$ is the infinitesimal ge… ▽ More We study resonant differential forms at zero for transitive Anosov flows on $3$-manifolds. We pay particular attention to the dissipative case, that is, Anosov flows that do not preserve an absolutely continuous measure. Such flows have two distinguished Sinai-Ruelle-Bowen $3$-forms, $Ω_{\text{SRB}}^{\pm}$, and the cohomology classes $[ι_{X}Ω_{\text{SRB}}^{\pm}]$ (where $X$ is the infinitesimal generator of the flow) play a key role in the determination of the space of resonant $1$-forms. When both classes vanish we associate to the flow a $\textit{helicity}$ that naturally extends the classical notion associated with null-homologous volume preserving flows. We provide a general theory that includes horocyclic invariance of resonant $1$-forms and SRB-measures as well as the local geometry of the maps $X\mapsto [ι_{X}Ω_{\text{SRB}}^{\pm}]$ near a null-homologous volume preserving flow. Next, we study several relevant classes of examples. Among these are thermostats associated with holomorphic quadratic differentials, giving rise to quasi-Fuchsian flows as introduced by Ghys. For these flows we compute explicitly all resonant $1$-forms at zero, we show that $[ι_{X}Ω_{\text{SRB}}^{\pm}]=0$ and give an explicit formula for the helicity. In addition we show that a generic time change of a quasi-Fuchsian flow is semisimple and thus the order of vanishing of the Ruelle zeta function at zero is $-χ(M)$, the same as in the geodesic flow case. In contrast, we show that if $(M,g)$ is a closed surface of negative curvature, the Gaussian thermostat driven by a (small) harmonic $1$-form has a Ruelle zeta function whose order of vanishing at zero is $-χ(M)-1$. △ Less

Submitted 11 November, 2022; originally announced November 2022.

Comments: 67 pages, 1 figure

MSC Class: 37C30; 37D40; 58C40; 53C65; 35P05

Retrieving Yang--Mills--Higgs fields in Minkowski space from active local measurements

Authors: Xi Chen, Matti Lassas, Lauri Oksanen, Gabriel P. Paternain

Abstract: We show that we can retrieve a Yang--Mills potential and a Higgs field (up to gauge) from source-to-solution type data associated with the classical Yang--Mills--Higgs equations in Minkowski space $\mathbb{R}^{1+3}$. We impose natural non-degeneracy conditions on the representation for the Higgs field and on the Lie algebra of the structure group which are satisfied for the case of the Standard Mo… ▽ More We show that we can retrieve a Yang--Mills potential and a Higgs field (up to gauge) from source-to-solution type data associated with the classical Yang--Mills--Higgs equations in Minkowski space $\mathbb{R}^{1+3}$. We impose natural non-degeneracy conditions on the representation for the Higgs field and on the Lie algebra of the structure group which are satisfied for the case of the Standard Model. Our approach exploits the non-linear interaction of waves generated by sources with values in the centre of the Lie algebra showing that abelian components can be used effectively to recover the Higgs field. △ Less

Submitted 27 April, 2022; originally announced April 2022.

The Transport Oka-Grauert Principle for Simple Surfaces

Authors: Jan Bohr, Gabriel P. Paternain

Abstract: This article considers the attenuated transport equation on Riemannian surfaces in the light of a novel twistor correspondence under which matrix attenuations correspond to holomorphic vector bundles on a complex surface. The main result is a transport version of the classical Oka-Grauert principle and states that the twistor space of a simple surface supports no nontrivial holomorphic vector bund… ▽ More This article considers the attenuated transport equation on Riemannian surfaces in the light of a novel twistor correspondence under which matrix attenuations correspond to holomorphic vector bundles on a complex surface. The main result is a transport version of the classical Oka-Grauert principle and states that the twistor space of a simple surface supports no nontrivial holomorphic vector bundles. This solves an open problem on the existence of matrix holomorphic integrating factors on simple surfaces and is applied to give a range characterisation for the non-Abelian X-ray transform. The main theorem is proved using the inverse function theorem of Nash and Moser and the required tame estimates are obtained from recent results on the injectivity of attenuated X-ray transforms and microlocal analysis of the associated normal operators. △ Less

Submitted 17 April, 2023; v1 submitted 11 August, 2021; originally announced August 2021.

Comments: Revised version, to appear in Journal de l'École polytechnique (JEP)

The Ruelle zeta function at zero for nearly hyperbolic 3-manifolds

Authors: Mihajlo Cekić, Benjamin Delarue, Semyon Dyatlov, Gabriel P. Paternain

Abstract: We show that for a generic conformal metric perturbation of a compact hyperbolic 3-manifold $Σ$ with Betti number $b_1$, the order of vanishing of the Ruelle zeta function at zero equals $4-b_1$, while in the hyperbolic case it is equal to $4-2b_1$. This is in contrast to the 2-dimensional case where the order of vanishing is a topological invariant. The proof uses the microlocal approach to dynam… ▽ More We show that for a generic conformal metric perturbation of a compact hyperbolic 3-manifold $Σ$ with Betti number $b_1$, the order of vanishing of the Ruelle zeta function at zero equals $4-b_1$, while in the hyperbolic case it is equal to $4-2b_1$. This is in contrast to the 2-dimensional case where the order of vanishing is a topological invariant. The proof uses the microlocal approach to dynamical zeta functions, giving a geometric description of generalized Pollicott-Ruelle resonant differential forms at 0 in the hyperbolic case and using first variation for the perturbation. To show that the first variation is generically nonzero we introduce a new identity relating pushforwards of products of resonant and coresonant 2-forms on the sphere bundle $SΣ$ with harmonic 1-forms on $Σ$. △ Less

Submitted 8 February, 2022; v1 submitted 17 September, 2020; originally announced September 2020.

Comments: 69 pages; revisions to the exposition following the referee comments. To appear in Inventiones Mathematicae

Statistical guarantees for Bayesian uncertainty quantification in non-linear inverse problems with Gaussian process priors

Authors: François Monard, Richard Nickl, Gabriel P. Paternain

Abstract: Bayesian inference and uncertainty quantification in a general class of non-linear inverse regression models is considered. Analytic conditions on the regression model $\{\mathscr G(θ): θ\in Θ\}$ and on Gaussian process priors for $θ$ are provided such that semi-parametrically efficient inference is possible for a large class of linear functionals of $θ$. A general semi-parametric Bernstein-von Mi… ▽ More Bayesian inference and uncertainty quantification in a general class of non-linear inverse regression models is considered. Analytic conditions on the regression model $\{\mathscr G(θ): θ\in Θ\}$ and on Gaussian process priors for $θ$ are provided such that semi-parametrically efficient inference is possible for a large class of linear functionals of $θ$. A general semi-parametric Bernstein-von Mises theorem is proved that shows that the (non-Gaussian) posterior distributions are approximated by certain Gaussian measures centred at the posterior mean. As a consequence posterior-based credible sets are valid and optimal from a frequentist point of view. The theory is illustrated with two applications with PDEs that arise in non-linear tomography problems: an elliptic inverse problem for a Schrödinger equation, and inversion of non-Abelian X-ray transforms. New analytical techniques are deployed to show that the relevant Fisher information operators are invertible between suitable function spaces △ Less

Submitted 14 April, 2021; v1 submitted 31 July, 2020; originally announced July 2020.

Comments: 42 pages, 2 figures; to appear in the Annals of Statistics

MSC Class: 62F15; 65N21

The non-Abelian X-ray transform on surfaces

Authors: Gabriel P. Paternain, Mikko Salo

Abstract: This paper settles the question of injectivity of the non-Abelian X-ray transform on simple surfaces for the general linear group of invertible complex matrices. The main idea is to use a factorization theorem for Loop Groups to reduce to the setting of the unitary group, where energy methods and scalar holomorphic integrating factors can be used. We also show that our main theorem extends to cove… ▽ More This paper settles the question of injectivity of the non-Abelian X-ray transform on simple surfaces for the general linear group of invertible complex matrices. The main idea is to use a factorization theorem for Loop Groups to reduce to the setting of the unitary group, where energy methods and scalar holomorphic integrating factors can be used. We also show that our main theorem extends to cover the case of an arbitrary Lie group. △ Less

Submitted 26 January, 2022; v1 submitted 3 June, 2020; originally announced June 2020.

Comments: 16 pages, this version to appear in JDG

Inverse problem for the Yang-Mills equations

Authors: Xi Chen, Matti Lassas, Lauri Oksanen, Gabriel P. Paternain

Abstract: We show that a connection can be recovered up to gauge from source-to-solution type data associated with the Yang-Mills equations in the four dimensional Minkowski space. Our proof analyzes the principal symbols of waves generated by suitable nonlinear interactions and reduces the inversion to a broken non-abelian light ray transform. The principal symbol analysis of the interaction is based on a… ▽ More We show that a connection can be recovered up to gauge from source-to-solution type data associated with the Yang-Mills equations in the four dimensional Minkowski space. Our proof analyzes the principal symbols of waves generated by suitable nonlinear interactions and reduces the inversion to a broken non-abelian light ray transform. The principal symbol analysis of the interaction is based on a delicate calculation that involves the structure of the Lie algebra under consideration and the final result holds for any compact Lie group. △ Less

Submitted 26 May, 2020; originally announced May 2020.

MSC Class: 35R30

Vortices over Riemann surfaces and dominated splittings

Authors: Thomas Mettler, Gabriel P. Paternain

Abstract: We associate a flow $φ$ to a solution of the vortex equations on a closed oriented Riemannian 2-manifold $(M,g)$ of negative Euler characteristic and investigate its properties. We show that $φ$ always admits a dominated splitting and identify special cases in which $φ$ is Anosov. In particular, starting from holomorphic differentials of fractional degree, we produce novel examples of Anosov flows… ▽ More We associate a flow $φ$ to a solution of the vortex equations on a closed oriented Riemannian 2-manifold $(M,g)$ of negative Euler characteristic and investigate its properties. We show that $φ$ always admits a dominated splitting and identify special cases in which $φ$ is Anosov. In particular, starting from holomorphic differentials of fractional degree, we produce novel examples of Anosov flows on suitable roots of the unit tangent bundle of $(M,g)$. △ Less

Submitted 14 December, 2020; v1 submitted 10 February, 2020; originally announced February 2020.

Comments: Exposition improved, subsection 3.5 added, typos corrected, references updated, 27 pages

A sharp stability estimate for tensor tomography in non-positive curvature

Authors: Gabriel P. Paternain, Mikko Salo

Abstract: We consider the geodesic X-ray transform acting on solenoidal tensor fields on a compact simply connected manifold with strictly convex boundary and non-positive curvature. We establish a stability estimate of the form $L^2\mapsto H^{1/2}_{T}$, where the $H^{1/2}_{T}$-space is defined using the natural parametrization of geodesics as initial boundary points and incoming directions (fan-beam geomet… ▽ More We consider the geodesic X-ray transform acting on solenoidal tensor fields on a compact simply connected manifold with strictly convex boundary and non-positive curvature. We establish a stability estimate of the form $L^2\mapsto H^{1/2}_{T}$, where the $H^{1/2}_{T}$-space is defined using the natural parametrization of geodesics as initial boundary points and incoming directions (fan-beam geometry); only tangential derivatives at the boundary are used. The proof is based on the Pestov identity with boundary term localized in frequency. △ Less

Submitted 17 September, 2020; v1 submitted 13 January, 2020; originally announced January 2020.

Comments: Revised version to appear in Mathematische Zeitschrift, 24p. The appendix of version 1 has been removed and incorporated in shorter form into the main text. The appendix still can be found in v1 and could be useful for other purposes

Resonant spaces for volume preserving Anosov flows

Authors: Mihajlo Cekić, Gabriel P. Paternain

Abstract: We consider Anosov flows on closed 3-manifolds preserving a volume form $Ω$. Following Dyatlov and Zworski (2017) we study spaces of invariant distributions with values in the bundle of exterior forms whose wavefront set is contained in the dual of the unstable bundle. Our first result computes the dimension of these spaces in terms of the first Betti number of the manifold, the cohomology class… ▽ More We consider Anosov flows on closed 3-manifolds preserving a volume form $Ω$. Following Dyatlov and Zworski (2017) we study spaces of invariant distributions with values in the bundle of exterior forms whose wavefront set is contained in the dual of the unstable bundle. Our first result computes the dimension of these spaces in terms of the first Betti number of the manifold, the cohomology class $[ι_{X}Ω]$ (where $X$ is the infinitesimal generator of the flow) and the helicity. These dimensions coincide with the Pollicott-Ruelle resonance multiplicities under the assumption of $\textit{semisimplicity}$. We prove various results regarding semisimplicity on 1-forms, including an example showing that it may fail for time changes of hyperbolic geodesic flows. We also study non null-homologous deformations of contact Anosov flows and we show that there is always a splitting Pollicott-Ruelle resonance on 1-forms and that semisimplicity persists in this instance. These results have consequences for the order of vanishing at zero of the Ruelle zeta function. Finally our analysis also incorporates a flat unitary twist in both, the resonant spaces and the Ruelle zeta function. △ Less

Submitted 1 December, 2020; v1 submitted 10 November, 2019; originally announced November 2019.

Comments: 41 pages, 1 figure; v2: minor changes, to appear in Pure and Applied Analysis

MSC Class: 37C30; 37D40; 58C40; 53C65

Journal ref: Pure Appl. Analysis 2 (2020) 57-102

Consistent Inversion of Noisy Non-Abelian X-Ray Transforms

Authors: François Monard, Richard Nickl, Gabriel P. Paternain

Abstract: For $M$ a simple surface, the non-linear statistical inverse problem of recovering a matrix field $Φ: M \to \mathfrak{so}(n)$ from discrete, noisy measurements of the $SO(n)$-valued scattering data $C_Φ$ of a solution of a matrix ODE is considered ($n\geq 2$). Injectivity of the map $Φ\mapsto C_Φ$ was established by [Paternain, Salo, Uhlmann; Geom.Funct.Anal. 2012]. A statistical algorithm for t… ▽ More For $M$ a simple surface, the non-linear statistical inverse problem of recovering a matrix field $Φ: M \to \mathfrak{so}(n)$ from discrete, noisy measurements of the $SO(n)$-valued scattering data $C_Φ$ of a solution of a matrix ODE is considered ($n\geq 2$). Injectivity of the map $Φ\mapsto C_Φ$ was established by [Paternain, Salo, Uhlmann; Geom.Funct.Anal. 2012]. A statistical algorithm for the solution of this inverse problem based on Gaussian process priors is proposed, and it is shown how it can be implemented by infinite-dimensional MCMC methods. It is further shown that as the number $N$ of measurements of point-evaluations of $C_Φ$ increases, the statistical error in the recovery of $Φ$ converges to zero in $L^2(M)$-distance at a rate that is algebraic in $1/N$, and approaches $1/\sqrt N$ for smooth matrix fields $Φ$. The proof relies, among other things, on a new stability estimate for the inverse map $C_Φ\to Φ$. Key applications of our results are discussed in the case $n=3$ to polarimetric neutron tomography, see [Desai et al., Nature Sc.Rep. 2018] and [Hilger et al., Nature Comm. 2018] △ Less

Submitted 1 June, 2020; v1 submitted 2 May, 2019; originally announced May 2019.

Comments: 51 pages, 5 figures; to appear in Comm. Pure Appl. Math

Detection of Hermitian connections in wave equations with cubic non-linearity

Authors: Xi Chen, Matti Lassas, Lauri Oksanen, Gabriel P. Paternain

Abstract: We consider the geometric non-linear inverse problem of recovering a Hermitian connection $A$ from the source-to-solution map of the cubic wave equation $\Box_{A}φ+κ|φ|^{2}φ=f$, where $κ\neq 0$ and $\Box_{A}$ is the connection wave operator in the Minkowski space $\mathbb{R}^{1+3}$. The equation arises naturally when considering the Yang-Mills-Higgs equations with Mexican hat type potentials. Our… ▽ More We consider the geometric non-linear inverse problem of recovering a Hermitian connection $A$ from the source-to-solution map of the cubic wave equation $\Box_{A}φ+κ|φ|^{2}φ=f$, where $κ\neq 0$ and $\Box_{A}$ is the connection wave operator in the Minkowski space $\mathbb{R}^{1+3}$. The equation arises naturally when considering the Yang-Mills-Higgs equations with Mexican hat type potentials. Our proof exploits the microlocal analysis of nonlinear wave interactions, but instead of employing information contained in the geometry of the wave front sets as in previous literature, we study the principal symbols of waves generated by suitable interactions. Moreover, our approach relies on inversion of a novel non-abelian broken light ray transform. △ Less

Submitted 15 February, 2019; originally announced February 2019.

MSC Class: 35R30

Functions of constant geodesic X-ray transform

Authors: Joonas Ilmavirta, Gabriel P. Paternain

Abstract: We show that the existence of a function in $L^{1}$ with constant geodesic X-ray transform imposes geometrical restrictions on the manifold. The boundary of the manifold has to be umbilical and in the case of a strictly convex Euclidean domain, it must be a ball. Functions with constant geodesic X-ray transform always exist on manifolds with rotational symmetry. We show that the existence of a function in $L^{1}$ with constant geodesic X-ray transform imposes geometrical restrictions on the manifold. The boundary of the manifold has to be umbilical and in the case of a strictly convex Euclidean domain, it must be a ball. Functions with constant geodesic X-ray transform always exist on manifolds with rotational symmetry. △ Less

Submitted 13 March, 2019; v1 submitted 9 December, 2018; originally announced December 2018.

Comments: 10 pages

MSC Class: 44A12; 53A35; 52A99

Broken ray tensor tomography with one reflecting obstacle

Authors: Joonas Ilmavirta, Gabriel P. Paternain

Abstract: We show that a tensor field of any rank integrates to zero over all broken rays if and only if it is a symmetrized covariant derivative of a lower order tensor which satisfies a symmetry condition at the reflecting part of the boundary and vanishes on the rest. This is done in a geometry with non-positive sectional curvature and a strictly convex obstacle in any dimension. We give two proofs, both… ▽ More We show that a tensor field of any rank integrates to zero over all broken rays if and only if it is a symmetrized covariant derivative of a lower order tensor which satisfies a symmetry condition at the reflecting part of the boundary and vanishes on the rest. This is done in a geometry with non-positive sectional curvature and a strictly convex obstacle in any dimension. We give two proofs, both of which contain new features also in the absence of reflections. The result is new even for scalars in dimensions above two. △ Less

Submitted 23 January, 2020; v1 submitted 13 May, 2018; originally announced May 2018.

Comments: 21 pages

MSC Class: 44A12; 53A35; 58J90; 58C99

Carleman estimates for geodesic X-ray transforms

Authors: Gabriel P. Paternain, Mikko Salo

Abstract: In this article we introduce an approach for studying the geodesic X-ray transform and related geometric inverse problems by using Carleman estimates. The main result states that on compact negatively curved manifolds (resp. nonpositively curved simple or Anosov manifolds), the geodesic vector field satisfies a Carleman estimate with logarithmic weights (resp. linear weights) on the frequency side… ▽ More In this article we introduce an approach for studying the geodesic X-ray transform and related geometric inverse problems by using Carleman estimates. The main result states that on compact negatively curved manifolds (resp. nonpositively curved simple or Anosov manifolds), the geodesic vector field satisfies a Carleman estimate with logarithmic weights (resp. linear weights) on the frequency side. As a particular consequence, on negatively curved simple manifolds the geodesic X-ray transform with attenuation given by a general connection and Higgs field is invertible modulo natural obstructions. The proof is based on showing that the Pestov energy identity for the geodesic vector field completely localizes in frequency. Our approach works in all dimensions $\geq 2$, on negatively curved manifolds with or without boundary, and for tensor fields of any order. △ Less

Submitted 25 November, 2021; v1 submitted 6 May, 2018; originally announced May 2018.

Comments: 39 pages, this revised version to appear in Ann. Sci. École Norm. Sup. The original version contains some additional material that was removed in the revision

Convex projective surfaces with compatible Weyl connection are hyperbolic

Authors: Thomas Mettler, Gabriel P. Paternain

Abstract: We show that a properly convex projective structure $\mathfrak{p}$ on a closed oriented surface of negative Euler characteristic arises from a Weyl connection if and only if $\mathfrak{p}$ is hyperbolic. We phrase the problem as a non-linear PDE for a Beltrami differential by using that $\mathfrak{p}$ admits a compatible Weyl connection if and only if a certain holomorphic curve exists. Turning th… ▽ More We show that a properly convex projective structure $\mathfrak{p}$ on a closed oriented surface of negative Euler characteristic arises from a Weyl connection if and only if $\mathfrak{p}$ is hyperbolic. We phrase the problem as a non-linear PDE for a Beltrami differential by using that $\mathfrak{p}$ admits a compatible Weyl connection if and only if a certain holomorphic curve exists. Turning this non-linear PDE into a transport equation, we obtain our result by applying methods from geometric inverse problems. In particular, we use an extension of a remarkable $L^2$-energy identity known as Pestov's identity to prove a vanishing theorem for the relevant transport equation. △ Less

Submitted 2 June, 2019; v1 submitted 12 April, 2018; originally announced April 2018.

Comments: 23 pages, added Corollary 4.6, references updated, typos corrected

Journal ref: Analysis & PDE 13 (2020) 1073-1097

Lens rigidity for a particle in a Yang-Mills field

Authors: Gabriel P. Paternain, Gunther Uhlmann, Hanming Zhou

Abstract: We consider the motion of a classical colored spinless particle under the influence of an external Yang-Mills potential $A$ on a compact manifold with boundary of dimension $\geq 3$. We show that under suitable convexity assumptions, we can recover the potential $A$, up to gauge transformations, from the lens data of the system, namely, scattering data plus travel times between boundary points. We consider the motion of a classical colored spinless particle under the influence of an external Yang-Mills potential $A$ on a compact manifold with boundary of dimension $\geq 3$. We show that under suitable convexity assumptions, we can recover the potential $A$, up to gauge transformations, from the lens data of the system, namely, scattering data plus travel times between boundary points. △ Less

Submitted 20 January, 2019; v1 submitted 4 October, 2017; originally announced October 2017.

Comments: 27 pages, 1 figure; to appear in Communications in Mathematical Physics

Efficient Nonparametric Bayesian Inference For X-Ray Transforms

Authors: François Monard, Richard Nickl, Gabriel P. Paternain

Abstract: We consider the statistical inverse problem of recovering a function $f: M \to \mathbb R$, where $M$ is a smooth compact Riemannian manifold with boundary, from measurements of general $X$-ray transforms $I_a(f)$ of $f$, corrupted by additive Gaussian noise. For $M$ equal to the unit disk with `flat' geometry and $a=0$ this reduces to the standard Radon transform, but our general setting allows fo… ▽ More We consider the statistical inverse problem of recovering a function $f: M \to \mathbb R$, where $M$ is a smooth compact Riemannian manifold with boundary, from measurements of general $X$-ray transforms $I_a(f)$ of $f$, corrupted by additive Gaussian noise. For $M$ equal to the unit disk with `flat' geometry and $a=0$ this reduces to the standard Radon transform, but our general setting allows for anisotropic media $M$ and can further model local `attenuation' effects -- both highly relevant in practical imaging problems such as SPECT tomography. We propose a nonparametric Bayesian inference approach based on standard Gaussian process priors for $f$. The posterior reconstruction of $f$ corresponds to a Tikhonov regulariser with a reproducing kernel Hilbert space norm penalty that does not require the calculation of the singular value decomposition of the forward operator $I_a$. We prove Bernstein-von Mises theorems that entail that posterior-based inferences such as credible sets are valid and optimal from a frequentist point of view for a large family of semi-parametric aspects of $f$. In particular we derive the asymptotic distribution of smooth linear functionals of the Tikhonov regulariser, which is shown to attain the semi-parametric Cramér-Rao information bound. The proofs rely on an invertibility result for the `Fisher information' operator $I_a^*I_a$ between suitable function spaces, a result of independent interest that relies on techniques from microlocal analysis. We illustrate the performance of the proposed method via simulations in various settings. △ Less

Submitted 12 February, 2018; v1 submitted 21 August, 2017; originally announced August 2017.

Comments: 38 pages, 6 figures

MSC Class: 62G20 (Primary); 58J40; 65R10; 62F15 (Secondary)

Holomorphic differentials, thermostats and Anosov flows

Authors: Thomas Mettler, Gabriel P. Paternain

Abstract: We introduce a new family of thermostat flows on the unit tangent bundle of an oriented Riemannian $2$-manifold. Suitably reparametrised, these flows include the geodesic flow of metrics of negative Gauss curvature and the geodesic flow induced by the Hilbert metric on the quotient surface of divisible convex sets. We show that the family of flows can be parametrised in terms of certain weighted h… ▽ More We introduce a new family of thermostat flows on the unit tangent bundle of an oriented Riemannian $2$-manifold. Suitably reparametrised, these flows include the geodesic flow of metrics of negative Gauss curvature and the geodesic flow induced by the Hilbert metric on the quotient surface of divisible convex sets. We show that the family of flows can be parametrised in terms of certain weighted holomorphic differentials and investigate their properties. In particular, we prove that they admit a dominated splitting and we identify special cases in which the flows are Anosov. In the latter case, we study when they admit an invariant measure in the Lebesgue class and the regularity of the weak foliations. △ Less

Submitted 14 June, 2018; v1 submitted 12 June, 2017; originally announced June 2017.

Comments: Final version, exposition improved, references added, 23 pages

Journal ref: Math. Ann. 373 (2019), no. 1-2, 553-580

The geodesic X-ray transform with a $GL(n,\mathbb{C})$-connection

Authors: François Monard, Gabriel P. Paternain

Abstract: We derive reconstruction formulas for a family of geodesic ray transforms with connection, defined on simple Riemannian surfaces. Such formulas provide injectivity of such all transforms in a neighbourhood of constant curvature metrics and non-unitary connections with curvature close to zero. If certain Fredholm equations are injective in the absence of connection, then for any smooth enough conne… ▽ More We derive reconstruction formulas for a family of geodesic ray transforms with connection, defined on simple Riemannian surfaces. Such formulas provide injectivity of such all transforms in a neighbourhood of constant curvature metrics and non-unitary connections with curvature close to zero. If certain Fredholm equations are injective in the absence of connection, then for any smooth enough connection multiplied by a complex parameter, the corresponding transform is injective for all values of that parameter outside a discrete set. Range characterizations are also provided, as well as numerical illustrations. △ Less

Submitted 20 September, 2017; v1 submitted 29 October, 2016; originally announced October 2016.

Comments: 42 pages. Version accepted to Journal of Geometric Analysis. v1 contains numerical simulations not included in the published version

The geodesic X-ray transform with matrix weights

Authors: Gabriel P. Paternain, Mikko Salo, Gunther Uhlmann, Hanming Zhou

Abstract: Consider a compact Riemannian manifold of dimension $\geq 3$ with strictly convex boundary, such that the manifold admits a strictly convex function. We show that the attenuated ray transform in the presence of an arbitrary connection and Higgs field is injective modulo the natural obstruction for functions and one-forms. We also show that the connection and the Higgs field are uniquely determined… ▽ More Consider a compact Riemannian manifold of dimension $\geq 3$ with strictly convex boundary, such that the manifold admits a strictly convex function. We show that the attenuated ray transform in the presence of an arbitrary connection and Higgs field is injective modulo the natural obstruction for functions and one-forms. We also show that the connection and the Higgs field are uniquely determined by the scattering relation modulo gauge transformations. The proofs involve a reduction to a local result showing that the geodesic X-ray transform with a matrix weight can be inverted locally near a point of strict convexity at the boundary, and a detailed analysis of layer strip** arguments based on strictly convex exhaustion functions. As a somewhat striking corollary, we show that these integral geometry problems can be solved on strictly convex manifolds of dimension $\geq 3$ having non-negative sectional curvature (similar results were known earlier in negative sectional curvature). We also apply our methods to solve some inverse problems in quantum state tomography and polarization tomography. △ Less

Submitted 2 June, 2018; v1 submitted 25 May, 2016; originally announced May 2016.

Comments: 38 pages, to appear in American Journal of Mathematics

Invariant distributions and the geodesic ray transform

Authors: Gabriel P. Paternain, Hanming Zhou

Abstract: We establish an equivalence principle between the solenoidal injectivity of the geodesic ray transform acting on symmetric $m$-tensors and the existence of invariant distributions or smooth first integrals with prescribed projection over the set of solenoidal $m$-tensors. We work with compact simple manifolds, but several of our results apply to non-trap** manifolds with strictly convex boundary… ▽ More We establish an equivalence principle between the solenoidal injectivity of the geodesic ray transform acting on symmetric $m$-tensors and the existence of invariant distributions or smooth first integrals with prescribed projection over the set of solenoidal $m$-tensors. We work with compact simple manifolds, but several of our results apply to non-trap** manifolds with strictly convex boundary. △ Less

Submitted 14 September, 2016; v1 submitted 14 November, 2015; originally announced November 2015.

Comments: 27 pages; final version, to appear in Analysis & PDE

Journal ref: Anal. PDE 9 (2016) 1903-1930

Inverse problems for the connection Laplacian

Authors: Yaroslav Kurylev, Lauri Oksanen, Gabriel P. Paternain

Abstract: We reconstruct a Riemannian manifold and a Hermitian vector bundle with compatible connection from the hyperbolic Dirichlet-to-Neumann operator associated with the wave equation of the connection Laplacian. The boundary data is local and the reconstruction is up to the natural gauge transformations of the problem. As a corollary we derive an elliptic analogue of the main result which solves a Cald… ▽ More We reconstruct a Riemannian manifold and a Hermitian vector bundle with compatible connection from the hyperbolic Dirichlet-to-Neumann operator associated with the wave equation of the connection Laplacian. The boundary data is local and the reconstruction is up to the natural gauge transformations of the problem. As a corollary we derive an elliptic analogue of the main result which solves a Calderon problem for connections on a cylinder. △ Less

Submitted 22 May, 2017; v1 submitted 9 September, 2015; originally announced September 2015.

MSC Class: 35R30

The X-ray transform for connections in negative curvature

Authors: Colin Guillarmou, Gabriel P. Paternain, Mikko Salo, Gunther Uhlmann

Abstract: We consider integral geometry inverse problems for unitary connections and skew-Hermitian Higgs fields on manifolds with negative sectional curvature. The results apply to manifolds in any dimension, with or without boundary, and also in the presence of trapped geodesics. In the boundary case, we show injectivity of the attenuated ray transform on tensor fields with values in a Hermitian bundle (i… ▽ More We consider integral geometry inverse problems for unitary connections and skew-Hermitian Higgs fields on manifolds with negative sectional curvature. The results apply to manifolds in any dimension, with or without boundary, and also in the presence of trapped geodesics. In the boundary case, we show injectivity of the attenuated ray transform on tensor fields with values in a Hermitian bundle (i.e. vector valued case). We also show that a connection and Higgs field on a Hermitian bundle are determined up to gauge by the knowledge of the parallel transport between boundary points along all possible geodesics. The main tools are an energy identity, the Pestov identity with a unitary connection, which is presented in a general form, and a precise analysis of the singularities of solutions of transport equations when there are trapped geodesics. In the case of closed manifolds, we obtain similar results modulo the obstruction given by twisted conformal Killing tensors, and we also study this obstruction. △ Less

Submitted 13 September, 2015; v1 submitted 16 February, 2015; originally announced February 2015.

Comments: 48 pages, 1 figure, final version to appear in CMP

Infinitely many periodic orbits of exact magnetic flows on surfaces for almost every subcritical energy level

Authors: Alberto Abbondandolo, Leonardo Macarini, Marco Mazzucchelli, Gabriel P. Paternain

Abstract: We consider an exact magnetic flow on the tangent bundle of a closed surface. We prove that for almost every energy level $κ$ below the Mañé critical value of the universal cover there are infinitely many periodic orbits with energy $κ$. We consider an exact magnetic flow on the tangent bundle of a closed surface. We prove that for almost every energy level $κ$ below the Mañé critical value of the universal cover there are infinitely many periodic orbits with energy $κ$. △ Less

Submitted 10 January, 2017; v1 submitted 30 April, 2014; originally announced April 2014.

Comments: 29 pages. Final version. To appear in Journal of the European Mathematical Society

MSC Class: 37J45; 58E05

Journal ref: Journal of the European Mathematical Society 19 (2017), no. 2, 551-579

Invariant distributions, Beurling transforms and tensor tomography in higher dimensions

Authors: Gabriel P. Paternain, Mikko Salo, Gunther Uhlmann

Abstract: In the recent articles \cite{PSU1,PSU3}, a number of tensor tomography results were proved on two-dimensional manifolds. The purpose of this paper is to extend some of these methods to manifolds of any dimension. A central concept is the surjectivity of the adjoint of the geodesic ray transform, or equivalently the existence of certain distributions that are invariant under geodesic flow. We prove… ▽ More In the recent articles \cite{PSU1,PSU3}, a number of tensor tomography results were proved on two-dimensional manifolds. The purpose of this paper is to extend some of these methods to manifolds of any dimension. A central concept is the surjectivity of the adjoint of the geodesic ray transform, or equivalently the existence of certain distributions that are invariant under geodesic flow. We prove that on any Anosov manifold, one can find invariant distributions with controlled first Fourier coefficients. The proof is based on subelliptic type estimates and a Pestov identity. We present an alternative construction valid on manifolds with nonpositive curvature, based on the fact that a natural Beurling transform on such manifolds turns out to be essentially a contraction. Finally, we obtain uniqueness results in tensor tomography both on simple and Anosov manifolds that improve earlier results by assuming a condition on the terminator value for a modified Jacobi equation. △ Less

Submitted 15 January, 2015; v1 submitted 28 April, 2014; originally announced April 2014.

Comments: Final fully revised version, to appear in Math. Annalen

Symplectic and contact properties of the Mañé critical value of the universal cover

Authors: Gabriel P. Paternain, Alfonso Sorrentino

Abstract: We discuss several symplectic aspects related to the Mañé critical value c_u of the universal cover of a Tonelli Hamiltonian. In particular we show that the critical energy level is never of virtual contact type for manifolds of dimension greater than or equal to three. We also show the symplectic invariance of the finiteness of the Peierls barrier and the Aubry set of the universal cover. We also… ▽ More We discuss several symplectic aspects related to the Mañé critical value c_u of the universal cover of a Tonelli Hamiltonian. In particular we show that the critical energy level is never of virtual contact type for manifolds of dimension greater than or equal to three. We also show the symplectic invariance of the finiteness of the Peierls barrier and the Aubry set of the universal cover. We also provide an example where c_u coincides with the infimum of Mather's α-function but the Aubry set of the universal cover is empty and the Peierls barrier is finite. A second example exhibits all the ergodic invariant minimizing measures with zero homotopy, showing that, quite surprisingly, the union of their supports is not a graph, in contrast with Mather's celebrated graph theorem. △ Less

Submitted 19 December, 2013; v1 submitted 4 September, 2013; originally announced September 2013.

Comments: 25 pages, to appear on NoDEA

MSC Class: 37J50; 37J05; 37J55; 53D05; 53D10

Conformal great circle flows on the three-sphere

Authors: Adam Harris, Gabriel P. Paternain

Abstract: We consider a closed orientable Riemannian 3-manifold $(M,g)$ and a vector field $X$ with unit norm whose integral curves are geodesics of $g$. Any such vector field determines naturally a 2-plane bundle contained in the kernel of the contact form of the geodesic flow of $g$. We study when this 2-plane bundle remains invariant under two natural almost complex structures. We also provide a geometri… ▽ More We consider a closed orientable Riemannian 3-manifold $(M,g)$ and a vector field $X$ with unit norm whose integral curves are geodesics of $g$. Any such vector field determines naturally a 2-plane bundle contained in the kernel of the contact form of the geodesic flow of $g$. We study when this 2-plane bundle remains invariant under two natural almost complex structures. We also provide a geometric condition that ensures that $X$ is the Reeb vector field of the 1-form $λ$ obtained by contracting $g$ with $X$. We apply these results to the case of great circle flows on the 3-sphere with two objectives in mind: one is to recover the result in \cite{GG} that a volume preserving great circle flow must be Hopf and the other is to characterize in a similar fashion great circle flows that are conformal relative to the almost complex structure in the kernel of $λ$ given by rotation by $π/2$ according to the orientation of $M$. △ Less

Submitted 5 May, 2015; v1 submitted 29 August, 2013; originally announced August 2013.

Comments: 10 pages, final version to appear in Proceedings of the AMS

Floer homology for non-resonant magnetic fields on flat tori

Authors: Urs Frauenfelder, Will J. Merry, Gabriel P. Paternain

Abstract: In this article we define and compute the Novikov Floer homology associated to a non-resonant magnetic field and a mechanical Hamiltonian on a flat torus T^{2N}. As a result, we deduce that this Hamiltonian system always has 2N+1 contractible solutions, and generically even 2^{2N} contractible solutions. Moreover if there exists a non-degenerate non-contractible solution then there necessarily exi… ▽ More In this article we define and compute the Novikov Floer homology associated to a non-resonant magnetic field and a mechanical Hamiltonian on a flat torus T^{2N}. As a result, we deduce that this Hamiltonian system always has 2N+1 contractible solutions, and generically even 2^{2N} contractible solutions. Moreover if there exists a non-degenerate non-contractible solution then there necessarily exists another. △ Less

Submitted 15 May, 2013; v1 submitted 14 May, 2013; originally announced May 2013.

Comments: 20 pages, V2 - fixed problem with fonts not displaying properly

On the existence of three closed magnetic geodesics for subcritical energies

Authors: Alberto Abbondandolo, Leonardo Macarini, Gabriel P. Paternain

Abstract: We consider exact magnetic flows on closed orientable surfaces. We show that for almost every energy $κ$ below Mañé's critical value of the universal covering there are always at least three distinct closed magnetic geodesics with energy $κ$. If in addition the energy level is assumed to be non-degenerate we prove existence of infinitely many closed magnetic geodesics. We consider exact magnetic flows on closed orientable surfaces. We show that for almost every energy $κ$ below Mañé's critical value of the universal covering there are always at least three distinct closed magnetic geodesics with energy $κ$. If in addition the energy level is assumed to be non-degenerate we prove existence of infinitely many closed magnetic geodesics. △ Less

Submitted 8 May, 2013; originally announced May 2013.

Comments: 30 pages

Journal ref: Comment. Math. Helv. 90 (2015), 155-193

Tensor tomography: progress and challenges

Authors: Gabriel P. Paternain, Mikko Salo, Gunther Uhlmann

Abstract: We survey recent progress in the problem of recovering a tensor field from its integrals along geodesics. We also propose several open problems. We survey recent progress in the problem of recovering a tensor field from its integrals along geodesics. We also propose several open problems. △ Less

Submitted 25 March, 2013; originally announced March 2013.

Comments: 30 pages

On the range of the attenuated ray transform for unitary connections

Authors: Gabriel P. Paternain, Mikko Salo, Gunther Uhlmann

Abstract: We describe the range of the attenuated ray transform of a unitary connection on a simple surface acting on functions and 1-forms. We use this to determine the range of the ray transform acting on symmetric tensor fields. We describe the range of the attenuated ray transform of a unitary connection on a simple surface acting on functions and 1-forms. We use this to determine the range of the ray transform acting on symmetric tensor fields. △ Less

Submitted 2 October, 2013; v1 submitted 20 February, 2013; originally announced February 2013.

Comments: Revised version, to appear in IMRN

Spectral rigidity and invariant distributions on Anosov surfaces

Authors: Gabriel P. Paternain, Mikko Salo, Gunther Uhlmann

Abstract: This article considers inverse problems on closed Riemannian surfaces whose geodesic flow is Anosov. We prove spectral rigidity for any Anosov surface and injectivity of the geodesic ray transform on solenoidal 2-tensors. We also establish surjectivity results for the adjoint of the geodesic ray transform on solenoidal tensors. The surjectivity results are of independent interest and imply the exi… ▽ More This article considers inverse problems on closed Riemannian surfaces whose geodesic flow is Anosov. We prove spectral rigidity for any Anosov surface and injectivity of the geodesic ray transform on solenoidal 2-tensors. We also establish surjectivity results for the adjoint of the geodesic ray transform on solenoidal tensors. The surjectivity results are of independent interest and imply the existence of many geometric invariant distributions on the unit sphere bundle. In particular, we show that on any Anosov surface $(M,g)$, given a smooth function $f$ on $M$ there is a distribution in the Sobolev space $H^{-1}(SM)$ that is invariant under the geodesic flow and whose projection to $M$ is the given function $f$. △ Less

Submitted 28 April, 2014; v1 submitted 24 August, 2012; originally announced August 2012.

Comments: Final version, to appear in JDG

Equivariant symplectic homology of Anosov contact structures

Authors: Leonardo Macarini, Gabriel P. Paternain

Abstract: We show that the differential in positive equivariant symplectic homology or linearized contact homology vanishes for non-degenerate Reeb flows with a continuous invariant Lagrangian subbundle (e.g. Anosov Reeb flows). Several applications are given, including obstructions to the existence of these flows and abundance of periodic orbits for contact forms representing an Anosov contact structure. We show that the differential in positive equivariant symplectic homology or linearized contact homology vanishes for non-degenerate Reeb flows with a continuous invariant Lagrangian subbundle (e.g. Anosov Reeb flows). Several applications are given, including obstructions to the existence of these flows and abundance of periodic orbits for contact forms representing an Anosov contact structure. △ Less

Submitted 24 February, 2012; v1 submitted 23 November, 2011; originally announced November 2011.

Comments: Minor revision, references updated

Tensor tomography on surfaces

Authors: Gabriel P. Paternain, Mikko Salo, Gunther Uhlmann

Abstract: We show that on simple surfaces the geodesic ray transform acting on solenoidal symmetric tensor fields of arbitrary order is injective. This solves a long standing inverse problem in the two-dimensional case. We show that on simple surfaces the geodesic ray transform acting on solenoidal symmetric tensor fields of arbitrary order is injective. This solves a long standing inverse problem in the two-dimensional case. △ Less

Submitted 10 November, 2012; v1 submitted 2 September, 2011; originally announced September 2011.

Comments: This final version incorporates referees' comments, to appear in Inventiones

Floer homology for magnetic fields with at most linear growth on the universal cover

Authors: Urs Frauenfelder, Will J. Merry, Gabriel P. Paternain

Abstract: The Floer homology of a cotangent bundle is isomorphic to loop space homology of the underlying manifold, as proved by Abbondandolo-Schwarz, Salamon-Weber, and Viterbo. In this paper we show that in the presence of a Dirac magnetic monopole which admits a primitive with sublinear growth on the universal cover, the Floer homology in atoroidal free homotopy classes is again isomorphic to loop space… ▽ More The Floer homology of a cotangent bundle is isomorphic to loop space homology of the underlying manifold, as proved by Abbondandolo-Schwarz, Salamon-Weber, and Viterbo. In this paper we show that in the presence of a Dirac magnetic monopole which admits a primitive with sublinear growth on the universal cover, the Floer homology in atoroidal free homotopy classes is again isomorphic to loop space homology. As a consequence we prove that for any atoroidal free homotopy class and any sufficiently small T>0, any magnetic flow associated to the Dirac magnetic monopole has a closed orbit of period T belonging to the given free homotopy class. In the case where the Dirac magnetic monopole admits a bounded primitive on the universal cover we also prove the Conley conjecture for Hamiltonians that are quadratic at infinity, i.e., we show that such Hamiltonians have infinitely many periodic orbits. △ Less

Submitted 23 January, 2012; v1 submitted 15 August, 2011; originally announced August 2011.

Comments: 24 pages, V2 - minor corrections, final version to appear in JFA

The attenuated ray transform for connections and Higgs fields

Authors: Gabriel P. Paternain, Mikko Salo, Gunther Uhlmann

Abstract: We show that for a simple surface with boundary the attenuated ray transform in the presence of a unitary connection and a skew-Hermitian Higgs field is injective modulo the natural obstruction for functions and vector fields. We also show that the connection and the Higgs field are uniquely determined by the scattering relation modulo a gauge transformation. The proofs involve a Pestov type energ… ▽ More We show that for a simple surface with boundary the attenuated ray transform in the presence of a unitary connection and a skew-Hermitian Higgs field is injective modulo the natural obstruction for functions and vector fields. We also show that the connection and the Higgs field are uniquely determined by the scattering relation modulo a gauge transformation. The proofs involve a Pestov type energy identity for connections together with holomorphic gauge transformations which arrange the curvature of the connection to have definite sign. △ Less

Submitted 13 March, 2012; v1 submitted 4 August, 2011; originally announced August 2011.

Comments: 27 pages, to appear in Geom. Funct. Anal

On the growth rate of leaf-wise intersections

Authors: Leonardo Macarini, Will J. Merry, Gabriel P. Paternain

Abstract: We define a new variant of Rabinowitz Floer homology that is particularly well suited to studying the growth rate of leaf-wise intersections. We prove that for closed manifolds $M$ whose loop space is "complicated", if $Σ$ is a non-degenerate fibrewise starshaped hypersurface in $T^*M$ and $φ$ is a generic Hamiltonian diffeomorphism then the number of leaf-wise intersection points of $φ$ in $Σ$ gr… ▽ More We define a new variant of Rabinowitz Floer homology that is particularly well suited to studying the growth rate of leaf-wise intersections. We prove that for closed manifolds $M$ whose loop space is "complicated", if $Σ$ is a non-degenerate fibrewise starshaped hypersurface in $T^*M$ and $φ$ is a generic Hamiltonian diffeomorphism then the number of leaf-wise intersection points of $φ$ in $Σ$ grows exponentially in time. Concrete examples of such manifolds $M$ are the connected sum of two copies of $S^2 \times S^2$, the connected sum of $T^4$ and $CP^2$, or any surface of genus greater than one. △ Less

Submitted 25 January, 2011; originally announced January 2011.

Comments: 42 pages

Transparent pairs

Authors: Gabriel P. Paternain

Abstract: Let $M$ be a closed orientable Riemannian surface. Consider an SO(3)-connection $A$ and a Higgs field $Φ:M\to so(3)$. The pair $(A,Φ)$ naturally induces a cocycle over the geodesic flow of $M$. We classify (up to gauge transformations) cohomologically trivial pairs $(A,Φ)$ with finite Fourier series in terms of a suitable Bäcklund transformation. In particular, if $M$ is negatively curved we obtai… ▽ More Let $M$ be a closed orientable Riemannian surface. Consider an SO(3)-connection $A$ and a Higgs field $Φ:M\to so(3)$. The pair $(A,Φ)$ naturally induces a cocycle over the geodesic flow of $M$. We classify (up to gauge transformations) cohomologically trivial pairs $(A,Φ)$ with finite Fourier series in terms of a suitable Bäcklund transformation. In particular, if $M$ is negatively curved we obtain a full classification of SO(3)-transparent pairs. △ Less

Submitted 24 November, 2011; v1 submitted 2 December, 2010; originally announced December 2010.

Comments: Minor corrections

The contact geometry of the restricted 3-body problem

Authors: Peter Albers, Urs Frauenfelder, Otto van Koert, Gabriel P. Paternain

Abstract: We show that the planar circular restricted three body problem is of restricted contact type for all energies below the first critical value (action of the first Lagrange point) and for energies slightly above it. This opens up the possibility of using the technology of Contact Topology to understand this particular dynamical system. We show that the planar circular restricted three body problem is of restricted contact type for all energies below the first critical value (action of the first Lagrange point) and for energies slightly above it. This opens up the possibility of using the technology of Contact Topology to understand this particular dynamical system. △ Less

Submitted 11 October, 2010; originally announced October 2010.

Comments: 29 pages, 1 figure

Journal ref: Communications on Pure and Applied Mathematics, (2012), 229 - 263

Index computations in Rabinowitz Floer homology

Authors: Will J. Merry, Gabriel P. Paternain

Abstract: In this note we study two index questions. In the first we establish the relationship between the Morse indices of the free time action functional and the fixed time action functional. The second is related to Rabinowitz Floer homology. Our index computations are based on a correction term which is defined as follows: around a non-degenerate Hamiltonian orbit lying in a fixed energy level a well-k… ▽ More In this note we study two index questions. In the first we establish the relationship between the Morse indices of the free time action functional and the fixed time action functional. The second is related to Rabinowitz Floer homology. Our index computations are based on a correction term which is defined as follows: around a non-degenerate Hamiltonian orbit lying in a fixed energy level a well-known theorem says that one can find a whole cylinder of orbits parametrized by the energy. The correction term is determined by whether the periods of the orbits are increasing or decreasing as one moves up the orbit cylinder. We also provide an example to show that, even above the Mañé critical value, the periods may be increasing thus producing a jump in the Morse index of the free time action functional in relation to the Morse index of the fixed time action functional. △ Less

Submitted 2 December, 2010; v1 submitted 20 September, 2010; originally announced September 2010.

Comments: 20 pages - V3 - Final version to appear in JFPTA, improved results

Journal ref: J. Fixed Point Theory Appl., Vol. 10 No. 1, 88-111 (2011)

On the stability of Mañé critical hypersurfaces

Authors: Leonardo Macarini, Gabriel P. Paternain

Abstract: We construct examples of Tonelli Hamiltonians on $\T^n$ (for any $n\geq 2$) such that the hypersurfaces corresponding to the Mañé critical value are stable (i.e. geodesible). We also provide a criterion for instability in terms of closed orbits in free homotopy classes and we show that any stable energy level of a Tonelli Hamiltonian must contain a closed orbit. We construct examples of Tonelli Hamiltonians on $\T^n$ (for any $n\geq 2$) such that the hypersurfaces corresponding to the Mañé critical value are stable (i.e. geodesible). We also provide a criterion for instability in terms of closed orbits in free homotopy classes and we show that any stable energy level of a Tonelli Hamiltonian must contain a closed orbit. △ Less

Submitted 29 October, 2009; originally announced October 2009.

Comments: 13 pages, 4 figures

Stability is not open

Authors: K. Cieliebak, U. Frauenfelder, G. P. Paternain

Abstract: We give an example of a symplectic manifold with a stable hypersurface such that nearby hypersurfaces are typically unstable. We give an example of a symplectic manifold with a stable hypersurface such that nearby hypersurfaces are typically unstable. △ Less

Submitted 18 August, 2009; originally announced August 2009.

Comments: 9 pages

Bäcklund transformations for transparent connections

Authors: Gabriel P. Paternain

Abstract: Let $M$ be a closed orientable surface of negative curvature. A connection is said to be transparent if its parallel transport along closed geodesics is the identity. We describe all transparent SU(2)-connections and we show that they can be built up from suitable Bäcklund transformations. Let $M$ be a closed orientable surface of negative curvature. A connection is said to be transparent if its parallel transport along closed geodesics is the identity. We describe all transparent SU(2)-connections and we show that they can be built up from suitable Bäcklund transformations. △ Less

Submitted 2 December, 2010; v1 submitted 11 May, 2009; originally announced May 2009.

Comments: Minor sign correction, to appear in Crelle

Stability of Anosov Hamiltonian Structures

Authors: Will J. Merry, Gabriel P. Paternain

Abstract: Consider the tangent bundle of a Riemannian manifold $(M,g)$ of dimension $n\geq3$ admitting a metric of negative curvature (not necessarily equal to $g$) endowed with a twisted symplectic structure defined by a closed 2-form on $M$. We consider the Hamiltonian flow generated (with respect to that symplectic structure) by the standard kinetic energy Hamiltonian, and we consider a compact regular e… ▽ More Consider the tangent bundle of a Riemannian manifold $(M,g)$ of dimension $n\geq3$ admitting a metric of negative curvature (not necessarily equal to $g$) endowed with a twisted symplectic structure defined by a closed 2-form on $M$. We consider the Hamiltonian flow generated (with respect to that symplectic structure) by the standard kinetic energy Hamiltonian, and we consider a compact regular energy level $Σ_{k}:=H^{-1}(k)$ of $H$. Suppose $Σ_{k}$ is an Anosov energy level. We prove that if $n$ is odd, then if the Hamiltonian flow restricted to $Σ_{k}$ is Anosov with $C^{1}$ weak bundles then the Hamiltonian structure $(Σ_{k}$ is stable if and only if it is contact. If $n$ is even and in addition the flow is assumed to be 1/2-pinched then the same conclusion holds. As a corollary we deduce that if $g$ is negatively curved, strictly 1/4-pinched and the 2-form defining the twisted symplectic structure is not exact then the Hamiltonian structure $(Σ_{k}$ is never stable for all sufficiently large $k$. △ Less

Submitted 22 June, 2010; v1 submitted 23 March, 2009; originally announced March 2009.

Comments: V2 - minor changes

Journal ref: J. Topol. Anal. 2 (2010) 419--451

Symplectic topology of Mañé's critical values

Authors: K. Cieliebak, U. Frauenfelder, G. P. Paternain

Abstract: We study the dynamics and symplectic topology of energy hypersurfaces of mechanical Hamiltonians on twisted cotangent bundles. We pay particular attention to periodic orbits, displaceability, stability and the contact type property, and the changes that occur at the Mane critical value c. Our main tool is Rabinowitz Floer homology. We show that it is defined for hypersurfaces that are either stabl… ▽ More We study the dynamics and symplectic topology of energy hypersurfaces of mechanical Hamiltonians on twisted cotangent bundles. We pay particular attention to periodic orbits, displaceability, stability and the contact type property, and the changes that occur at the Mane critical value c. Our main tool is Rabinowitz Floer homology. We show that it is defined for hypersurfaces that are either stable tame or virtually contact, and it is invariant under under homotopies in these classes. If the configuration space admits a metric of negative curvature, then Rabinowitz Floer homology does not vanish for energy levels k>c and, as a consequence, these level sets are not displaceable. We provide a large class of examples in which Rabinowitz Floer homology is non-zero for energy levels k>c but vanishes for k<c, so levels above and below c cannot be connected by a stable tame homotopy. Moreover, we show that for strictly 1/4-pinched negative curvature and non-exact magnetic fields all sufficiently high energy levels are non-stable, provided that the dimension of the base manifold is even and different from two. △ Less

Submitted 10 August, 2010; v1 submitted 4 March, 2009; originally announced March 2009.

Comments: 101 pages, no figures, final version appeared in Geometry and Topology

MSC Class: 53D40; 37D40

Journal ref: Geom. Topol. 14 (2010) 1765-1870

Helicity and the Mañé critical value

Authors: Gabriel P. Paternain

Abstract: We establish a relationship between the helicity of a magnetic flow on a closed surface of genus $\geq 2$ and the Mañé critical value. We establish a relationship between the helicity of a magnetic flow on a closed surface of genus $\geq 2$ and the Mañé critical value. △ Less

Submitted 25 August, 2009; v1 submitted 17 February, 2009; originally announced February 2009.

Comments: 9 pages, minor corrections

Journal ref: Algebr. Geom. Topol. 9 (2009) 1413-1422